Pell's equation for d
= 2 and six integer solutions
As Pell's equation (after John Pell , 1611-1685) is defined as a Diophantine equation of the form
with positive integer .
If it is a square number, then the equation obviously only has the trivial solutions . Otherwise there are an infinite number of solutions that can be determined using the continued fraction expansion of . The related equations and are also often called Pell's equations .
The equation is mistakenly attributed to John Pell. The name Fermat's equation would be more correct .
The equation was already known to Brahmagupta and Bhaskara II . The solution to this equation was posed as a problem by Pierre de Fermat in a letter to Bernard Frénicle de Bessy and published as a problem in 1657. Pell never bothered to solve the equation. Brouncker found some solutions (published in Commercium epistolicum of John Wallis in 1658). Leonhard Euler came across Brouncker's solution in the Latin edition of the Treatise of Algebra by John Wallis and incorrectly named the equation after Pell. Euler first published the Pell equation in 1732 and later found the connection with continued fractions (published in 1765), which is basically behind Brouncker's solution. After Euler, Joseph-Louis Lagrange studied the equation extensively and was the first to provide a proof that there is a solution for each , and Fermat possibly had a proof as well.
Algebraic Number Theory
Finding all solutions is equivalent to finding the units of the integral ring of the real-square number field for special ones. After the Dirichlet set unit has unit group to Rank 1 d. That is, there is a fundamental unit (or basic unit ) with which all solutions can be represented as .
For example, the unit is a fundamental unit , it corresponds to the solution x = 17, y = 12, and the other solutions can be generated from it.
Solution with the help of continued fraction expansion
The continued fraction expansion of a quadratically irrational number is infinite and periodic. For example, the continued fraction expansion
If you break off the development at the point , you get starting with
and finds the places and the solutions
It is also found that for each element of the broken continued fraction expansion of length there is a solution to a Pell's equation with a right-hand side .
Generate further solutions based on a known
If a solution is known, further solutions can be determined with a matrix multiplication . It applies
Pell's equation for has the minimal solution . The next solutions then arise to
has the continued fraction expansion (see Continued Fraction # Periodic Continued Fractions ). Let with integers , then is the smallest solution of the generalized Pell's equation . As mentioned, the other solutions can be constructed from this.
Archimedes' cattle problem
When solving Archimedes' cattle problem , one comes across (if one calculates skillfully) Pell's equation for the parameter , which is the minimal solution
Has. For the cattle problem, however, you don't need the minimum solution, but rather a (more precisely: the smallest) solution where is a multiple of .
Alternatively, you can search for the minimum solution (now without secondary conditions) for Pell's equation with parameters , which is of the following order of magnitude (see above source):
It is not by chance what numerically establishes the relationship between the minimal solutions of Pell's two equations.
For the cattle problem itself, the number is important as an intermediate result . The end result is times that, i.e. approx .
- HW Lenstra Jr .: Solving the Pell Equation , Notices of the American Mathematical Society, Volume 49, Issue 2, 2002, pp. 182-192, online (PDF; 237 kB).
- MJ Jacobson Jr., HC Williams: Solving the Pell Equation , CMS Books in Mathematics, Springer 2009, ISBN 978-0-387-84922-5
Leonard Dickson : History of the theory of numbers , Washington DC: Carnegie Institution, 1920, Chapter 12 (on the history of Pell's equation)
↑ See article by HW Lenstra Jr.
^ Also Dickson, History of the theory of numbers, Volume 2, p. 341 (Chapter 12 on the history of Pell's equation)
↑ Noel Malcolm, Jacqueline Steadall: John Pell in his correspondence with Sir Charles Cavendish, Oxford UP, 2005, p 320
^ André Weil, Number theory - An approach through history from Hammurapi to Legendre, Birkhäuser 1984, p. 174
↑ Dickson, History of the theory of numbers, Volume 2, Carnegie Institution 1920, p. 353. He used his method of infinite descent
↑ Max Lahn, Jonathan Spiegel: Continued Fractions and Pell's Equation. In: Mixed Math - Explorations in math and number theory. David Lowry-Duda, May 2016, accessed May 31, 2020 .
↑ See article by HW Lenstra Jr.