SearcharxivSearch

arXiv subjects

N. Tzanakis

Publications and source records attributed to N. Tzanakis.

4 recordsLinked to original sources

On $px^2 + q^{2n}= y^p$ and related Diophantine equations

The title equation, where $p>3$ is a prime number $\not\equiv 7 \pmod 8$, $q$ is an odd prime number and $x,y,n$ are positive integers with $x,y$ relatively prime, is studied. When $p\equiv 3\pmod 8$, we prove (Theorem 2.3) that there are no solutions. For $p\not\equiv 3\pmod 8$ the treatment of the equation turns out to be a difficult task. We focus our attention to $p=5$, by reason of an article by F. Abu Muriefah, published in this journal, vol. 128 (2008), 1670-1675. Our main result concerning this special equation is Theorem 1.1, whose proof is based on results around the Diophantine equation $5x^2-4=y^n$ (integer solutions), interesting in themselves, which are exposed in Sections 3 and 4. These last results are obtained by using tools such as Linear Forms in Two Logarithms and Hypergeometric Series.

math.NT

Elementary Trigonometric Sums related to Quadratic Residues

Let p be a prime = 3 (mod 4). A number of elegant number-theoretical properties of the sums T(p) = \sqrt{p}sum_{n=1}^{(p-1)/2} tan(n^2π/p) and C(p) = \sqrt{p}sum_{n=1}^{(p-1)/2} cot(n^2π/p) are proved. For example, T(p) equals p times the excess of the odd quadratic residues over the even ones in the set {1,2,...,p-1}; this number is positive if p = 3 (mod 8) and negative if p = 7 (mod 8). In this revised version the connection of these sums with the class-number h(-p) is also discussed. For example, a very simple formula expressing h(-p) by means of the aforementioned excess is proved. The bibliography has been considerably enriched. This article is of an expository nature.

math.NT

On squares in Lucas sequences

Let P and Q be non-zero integers. The Lucas sequence U_n(P,Q) is defined by U_0=0, U_1=1, U_n= P*U_{n-1}-Q*U_{n-2} for n >1. The question of when U_n(P,Q) can be a perfect square has generated interest in the literature. We show that for n=2,...,7, U_n is a square for infinitely many pairs (P,Q) with gcd(P,Q)=1; further, for n=8,...,12, the only non-degenerate sequences where gcd(P,Q)=1 and U_n(P,Q)=square, are given by U_8(1,-4)=21^2, U_8(4,-17)=620^2, and U_12(1,-1)=12^2.

math.NT