The Diophantine equation reference article from the English Wikipedia on 24-Apr-2004 (provided by Fixed Reference: snapshots of Wikipedia from wikipedia.org)

Diophantine equation

In mathematics, \Diophantine equations are equations of the form f = 0, where f is a polynomial with integer coefficients in one or several variables which take on integral values. They are named after Diophantus who studied equations with variables which take on rational values. A traditional name for the study of Diophantine equations is Diophantine analysis. The questions asked include:

• Are there any solutions?
• Are there any solutions beyond some that are easily found by inspection?
• Are there finitely or infinitely many solutions?
• Can all solutions be found, in theory?
• Can one in practice compute a full list of solutions?

Such problems often lay unsolved for centuries, and mathematicians gradually came to understand their depth (in some cases), rather than treat them as puzzles. Mathematical logic now has shown that it is hopeless to expect a complete theory. The point of view of Diophantine geometry, which is the application of algebraic geometry techniques in this field, has continued to grow as a result; since treating equations is a dead end, attention turns to equations having a geometric meaning also.

Examples of Diophantine equations are

• ax + by = 1: See Bézout's identity.
• xⁿ + yⁿ = zⁿ: For n=2 there are many solutions (x,y,z), the Pythagorean triples. For larger values of n, Fermat's Last Theorem states that no positive integer solutions x, y, z satisfying the above equation exist.
• x² - n y² = 1: (Pell's equation) which is named, mistakenly, after the English mathematician John Pell. It was studied by Fermat.

One of the few general approaches is through the Hasse principle. Infinite descent is the traditional method, and has been pushed a long way.

---

The depth of the study of general Diophantine equations is shown by the characterisation of Diophantine sets as recursively enumerable.

The field of Diophantine approximation deals with the cases of Diophantine inequalities: variables are still supposed to be integral, but some coefficients may be irrational numbers, and the equality sign is replaced by upper and lower bounds.

This is the "Diophantine equation" reference article from the English Wikipedia. All text is available under the terms of the GNU Free Documentation License. See also our Disclaimer.