In number theory, the Fermat–Catalan conjecture is a generalization of Fermat's Last Theorem and of Catalan's conjecture. The conjecture states that the equationhas only finitely many solutions (a,b,c,m,n,k) with distinct triplets of values (am, bn, ck) where a, b, c are positive coprime integers and m, n, k are positive integers satisfyingThe inequality on m, n, and k is a necessary part of the conjecture. Without the inequality there would be infinitely many solutions, for instance with k = 1 (for any a, b, m, and n and with c = am + bn) or with m, n, and k all equal to two (for the infinitely many known Pythagorean triples).
As of 2015 the following ten solutions to equation (1) which meet the criteria of equation (2) are known:[1]
1m+23=32
m>6
25+72=34
73+132=29
27+173=712
35+114=1222
338+15490342=156133
14143+22134592=657
92623+153122832=1137
177+762713=210639282
438+962223=300429072
It is known by the Darmon–Granville theorem, which uses Faltings's theorem, that for any fixed choice of positive integers m, n and k satisfying (2), only finitely many coprime triples (a, b, c) solving (1) exist.[2] [3] However, the full Fermat–Catalan conjecture is stronger as it allows for the exponents m, n and k to vary.
The abc conjecture implies the Fermat–Catalan conjecture.[4]
For a list of results for impossible combinations of exponents, see Beal conjecture#Partial results. Beal's conjecture is true if and only if all Fermat–Catalan solutions have m = 2, n = 2, or k = 2.
. Michel Waldschmidt . Lecture on the
abc