- ƒ(x,y) = r,
where ƒ is an irreducible bivariate form of degree at least 3 over the rational numbers, and r is a nonzero rational number. It is named after Axel Thue who in 1909 proved a theorem, now called Thue's theorem, that a Thue equation has finitely many solutions in integers x and y.
The Thue equation is solvable effectively: there is an explicit bound on the solutions x, y of the form where constants C1 and C2 depend only on the form ƒ. A stronger result holds, that if K is the field generated by the roots of ƒ then the equation has only finitely many solutions with x and y integers of K and again these may be effectively determined.
Finiteness of solutions and diophantine approximation
Thue's original proof that the equation named in his honour has finitely many solutions is through the proof of what is now known as Thue's theorem: it asserts that for any algebraic number having degree and for any there exists only finitely many co-prime integers with such that . Applying this theorem allows one to almost immediately deduce the finiteness of solutions. However, Thue's proof, as well as subsequent improvements by Siegel, Dyson, and Roth were all ineffective.
Solving Thue equations
- in PARI/GP as functions thueinit() and thue().
- in Magma computer algebra system as functions ThueObject() and ThueSolve().
- in Mathematica through Reduce
Bounding the number of solutions to Thue equations
While there are several effective methods to solve Thue equations (including using Baker's method and Skolem's -adic method), these are not able to give the best theoretical bounds on the number of solutions. One may qualify an effective bound of the Thue equation by the parameters it depends on, and how "good" the dependence is. The best results known today, essentially building on pioneering work of Bombieri and Schmidt, gives a bound of the shape , where is an absolute constant (that is, independent of both and ) and is the number of distinct prime divisors of . The most significant qualitative improvement to the theorem of Bombieri and Schmidt is due to Stewart, who obtained a bound of the form where is a divisor of exceeding in absolute value. It is conjectured that one may take the bound ; that is, depending only on the degree of but not its coefficients, and completely independent of the integer on the right hand side of the equation. This is a weaker form of a conjecture of Stewart, and is a special case of the uniform boundedness conjecture for rational points. This conjecture has been proven for "small" integers , where smallness is measured in terms of the discriminant of the form , by various authors, including Evertse, Stewart, and Akhtari. Stewart and Xiao demonstrated a strong form of this conjecture, asserting that the number of solutions is absolutely bounded, holds on average (as ranges over the interval with ) 
- A. Thue (1909). "Über Annäherungswerte algebraischer Zahlen". Journal für die reine und angewandte Mathematik. 1909 (135): 284–305. doi:10.1515/crll.1909.135.284.
- Baker, Alan (1975). Transcendental Number Theory. Cambridge University Press. p. 38. ISBN 0-521-20461-5.
- N. Tzanakis and B. M. M. de Weger (1989). "On the practical solution of the Thue equation". Journal of Number Theory. 31 (2): 99–132. doi:10.1016/0022-314X(89)90014-0.
- E. Bombieri and W. M. Schmidt (1987). "On Thue's equation". Inventiones Mathematicae. 88 (2): 69–81. doi:10.1007/BF01405092.
- C.L. Stewart (1991). "On the number of solutions to polynomial congruences and Thue equations". Journal of the American Mathematical Society. 4 (4): 793–835. doi:10.2307/2939289.
- C.L. Stewart and Stanley Yao Xiao (2019). "On the representation of integers by binary forms". Mathematische Annalen. 375 (4): 133–163. doi:10.1007/s00208-019-01855-y.
- Baker, Alan; Wüstholz, Gisbert (2007). Logarithmic Forms and Diophantine Geometry. New Mathematical Monographs. 9. Cambridge University Press. ISBN 978-0-521-88268-2.