Related papers: On Diophantine triples containing a triangular num…

We show that there are only finitely many triples of integers $ 0 < a < b < c $ such that the product of any two of them is the value of a given polynomial with integer coefficients evaluated at an $ S $-unit that is also a positive…

We give an explicit formula for the $p$-Frobenius number of triples associated with Diophantine equations $x^2+y^2=z^r$, that is, the largest positive integer that can only be represented in $p$ ways by combining the three integers of the…

In terms of the number of triangles, it is known that there are more than exponentially many triangulations of surfaces, but only exponentially many triangulations of surfaces with bounded genus. In this paper we provide a first geometric…

We prove that almost every finite collection of matrices in $GL_d(\mathbb{R})$ and $SL_d(\mathbb{R})$ with positive entries is Diophantine. Next we restrict ourselves to the case $d=2$. A finite set of $SL_2(\mathbb{R})$ matrices induces a…

In this note we show that the known relation between double groupoids and matched pairs of groups may be extended, or seems to extend, to the triple case. The references give some other occurrences of double groupoids.

A triangular form is defined to be an integer-valued quadratic polynomial of the form $a_1P_3(x_1)+a_2P_3(x_2)+\cdots+a_kP_3(x_k)$ where $a_i's$ are positive integers and $P_3(x)=x(x+1)/2$. A triangular form is called regular if it…

We shall show that, for any positive integer $D>0$ and any primes $p_1, p_2$ not dividing $D$, the diophantine equation $x^2+D=2^s p_1^k p_2^l$ has at most $63$ integer solutions $(x, k, l, s)$ with $x, k, l\geq 0$ and $s\in \{0, 2\}$.

For non-zero integers $n$ and $k\geq2$, a generalized Diophantine $m$-tuple with property $D_k(n)$ is a set of $m$ positive integers $S = \{a_1,a_2,\ldots, a_m\}$ such that $a_ia_j + n$ is a $k$-th power for $1\leq i< j\leq m$. Define…

In 1926 Khintchine introduced a topological argument proving the existence of uncountably many nontrivial singular linear forms of $n \geq 2$ variables. Throughout the years, this argument has been extensively modified and generalized. Most…

We show that for any n divisible by 3, almost all order-n Steiner triple systems have a perfect matching (also known as a parallel class or resolution class). In fact, we prove a general upper bound on the number of perfect matchings in a…

A rational Diophantine m-tuple is a set of m nonzero rationals such that the product of any two of them increased by 1 is a perfect square. The first rational Diophantine quadruple was found by Diophantus, while Euler proved that there are…

Triangular numbers that are multiple of other triangular numbers are investigated. It is known that for any positive non-square integer multiplier, there is an infinity of multiples of triangular numbers which are triangular numbers. If the…

This paper examines the problem of obtaining a $D(4)$-quadruple by adding a smaller element to a $D(4)$-triple. We prove some relations between elements of observed hypothetical $D(4)$-quadruples under which conjecture of the uniqueness of…

We prove a strong simultaneous Diophantine approximation theorem for values of additive and multiplicative functions provided that the functions have certain regularity on the primes.

Let $r, v, n$ be positive integers. This paper investigate the number of solutions $s_{r,v}(n)$ of the following infinite Diophantine equations $$ n=1^{r}\cdot |k_{1}|^{v}+2^{r}\cdot |k_{2}|^{v}+3^{r}\cdot |k_{3}|^{v}+\ldots, $$ for ${\bf…

Given any positive integer n, it is well known that there always exist triangles with rational sides a, b and c such that the area of the triangle is n. Assuming finiteness of the Shafarevich-Tate group, we first construct a family of…

We present a universal construction of Diophantine equations with bounded complexity in Isabelle/HOL. This is a formalization of our own work in number theory. Hilbert's Tenth Problem was answered negatively by Yuri Matiyasevich, who showed…

With the $[0,1,2]$-family of cyclic triangulations we introduce a rich class of vertex-transitive triangulations of surfaces. In particular, there are infinite series of cyclic $q$-equivelar triangulations of orientable and non-orientable…

A famous problem posed by Diophantus was to find sets of distinct positive rational numbers such that the product of any two is one less than a rational square. Some sets of six such numbers are presented and the computational algorithm…

We prove a result on the existence of linear forms of a given Diophantine type.