Related papers: There are infinitely many rational Diophantine sex…
A rational triangle is a triangle with sides of rational lengths. In this short note, we prove that there exists a unique pair of a rational right triangle and a rational isosceles triangle which have the same perimeter and the same area.…
On propose une m\'ethode de r\'esolution effective de l'\'equation diophantienne $(E_2): ax^2-by^2=1$ o\`u $a$ et $b$ sont des entiers naturels non nuls et premiers entre eux. Cette m\'ethode s'appuie sur le d\'eveloppement en fraction…
Starting from any given rational-sided, right triangle, for example the $(3,4,5)$-triangle with area $6$, we use Euclidean geometry to show that there are infinitely many other rational-sided, right triangles of the same area. We show…
In this paper we examine the diophantine equation $x^k-y^k=x-y$ where $k$ is a positive integer $\geq 2$, and consider its applications. While the complete solution of the equation $x^k-y^k=x-y$ in positive rational numbers is already known…
We consider the question of how well points in a quadric hypersurface $M\subset\mathbb R^d$ can be approximated by rational points of $\mathbb Q^d\cap M$. This contrasts with the more common setup of approximating points in a manifold by…
In this paper, we use the method of Thue and Siegel, based on explicit Pade approximations to algebraic functions, to completely solve a family of quartic Thue equations. From this result, we can also solve the diophantine equation in the…
This work is motivated by problems on simultaneous Diophantine approximation on manifolds, namely, establishing Khintchine and Jarnik type theorems for submanifolds of R^n. These problems have attracted a lot of interest since Kleinbock and…
We obtain an essentially optimal estimate for the moment of order 32/3 of the exponential sum having argument $\alpha x^3+\beta x^2$. Subject to modest local solubility hypotheses, we thereby establish that pairs of diagonal Diophantine…
We investigate approximation to a given real number by algebraic numbers and algebraic integers of prescribed degree. We deal with both best and uniform approximation, and highlight the similarities and differences compared with the…
We show that there are infinitely many elliptic curves $E/\mathbb{Q}$, up to isomorphism over $\overline{\mathbb{Q}}$, for which the finitely generated group $E(\mathbb{Q})$ has rank exactly $2$. Our elliptic curves are given by explicit…
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…
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 consider a classial case of irrational integrals containing a square root of a quadratic polynomial. It is well known that they can be expressed in terms of elementary functions by one of three Euler's substitutions. It is less known…
This work determine the entire family of positive integer solutions of the diophantine equation. The solution is described in terms of $\frac{(m-1)(m+n-2)}{2} $ or $\frac{(m-1)(m+n-1)}{2}$ positive parameters depending on $n$ even or odd.…
In this paper we prove a conjecture that $D(4)$-quintuple does not exist using both classical and new methods. Also, we give a new version of the Rickert's theorem that can be applied on some $D(4)$-quadruples.
This paper investigates the exponential Diophantine equation of the form $a^x+b=c^y$, where $a, b, c$ are given positive integers with $a,c \ge 2$, and $x,y$ are positive integer unknowns. We define this form as a "Type-I transcendental…
We study the exponential Diophantine equation $x^2+p^mq^n=2y^p$ in positive integers $x,y,m,n$, and odd primes $p$ and $q$ using primitive divisors of Lehmer sequences in combination with elementary number theory. We discuss the solvability…
We refine a result of W.P. Li and Wang on the values of the form $ \lambda_1p_1 + \lambda_2p_2^{2} + \lambda_3p_3^{2} + \mu_1 2^{m_1} +...+ \mu_s 2^{m_s}, $ where $p_1,p_2,p_3$ are prime numbers, $m_1,..., m_s$ are positive integers,…
We prove that if $\lambda_1$, $\lambda_2$, $\lambda_3$ and $\lambda_4$ are non-zero real numbers, not all of the same sign, $\lambda_1 / \lambda_2$ is irrational, and $\varpi$ is any real number then, for any $\eps > 0$ the inequality $…
We study connections between linear equations over various semigroups and recursively enumerable sets of positive integers. We give variants of the universal Diophantine representation of recursively enumerable sets of positive integers…