Simplifying the solution of Ljunggren's equation \(x^ 2+1=2y^ 4\) (Q752739): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3243346 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Continued Fraction Algorithm for Real Algebraic Numbers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the practical solution of the Thue equation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Congruent numbers / rank | |||
Normal rank |
Revision as of 13:12, 21 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Simplifying the solution of Ljunggren's equation \(x^ 2+1=2y^ 4\) |
scientific article |
Statements
Simplifying the solution of Ljunggren's equation \(x^ 2+1=2y^ 4\) (English)
0 references
1991
0 references
\textit{W. Ljunggren} solved the title equation in his 1942 paper [Zur Theorie der Gleichung \(x^ 2+1=Dy^ 4\), Avh. Norske Vid. Akad. Oslo No.5, 1-27 (1942; Zbl 0027.01103)] by a rather complicated argument depending on the structure of units of relative norm -1 in a quadratic extension of a quartic number field. The solutions are \((x,y)=(1,1)\), (239, 13) and no others. In the present paper the authors offer an entirely different proof, essentially depending on a deep result of \textit{M. Mignotte} and \textit{M. Waldschmidt} [Acta Arith. 53, 251-287 (1989; Zbl 0642.10034)] on lower bounds of linear forms in logarithms of algebraic numbers. It is remarkable that the high-precision calculations involved do not require more than 30 significant decimal digits.
0 references
Ljunggren's equation
0 references
quartic diophantine equation
0 references
continued fractions
0 references
linear forms in logarithms
0 references