Small solutions of the Legendre equation (Q1267309): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: An Introduction to the Geometry of Numbers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Minimal Solutions of Diophantine Equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the magnitude of the integer solutions of the equation \(ax^ 2 +by^ 2 +cz^ 2 = 0\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3818387 / rank | |||
Normal rank |
Latest revision as of 16:31, 28 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Small solutions of the Legendre equation |
scientific article |
Statements
Small solutions of the Legendre equation (English)
0 references
18 March 1999
0 references
Let \(a\), \(b\), \(c\) be positive integers. The Legendre equation \(ax^2+ by^2- cz^2= 0\) is said to be in normal form if \(a\), \(b\), \(c\) are squarefree and pairwise coprime. If the Legendre equation \(ax^2+ by^2- cz^2= 0\) is in normal form and has a solution in integers \(x\), \(y\), \(z\) not all zero, then there is a nontrivial solution with \(| x|\leq \sqrt{bc}\), \(| y|\leq \sqrt{ac}\) and \(| z|\leq \sqrt{ab}\). This result was first proved by \textit{L. Holzer} [Can. J. Math. 2, 238-244 (1950; Zbl 0037.02602)] using a deep result. The first elementary proof was given by \textit{L. J. Mordell} [J. Number Theory 1, 1-3 (1969; Zbl 0169.06104)] with a small gap filled by \textit{K. S. Williams} [Util. Math. 34, 65-72 (1988; Zbl 0666.10010)]. In this paper, the authors give a new elementary proof of this theorem by showing that the lattice of solutions of the congruence \[ ax^2+ by^2- cz^2\equiv 0\pmod{abc}, \] which is constructed in most textbook proofs of Legendre's necessary and sufficient condition for the solvability of \(ax^2+ by^2- cz^2\equiv 0\), always contains a solution satisfying the above bounds.
0 references
small solutions
0 references
quadratic diophantine equations
0 references
congruences
0 references
Legendre equation
0 references