In de getaltheorie combineert het vermoeden van Fermat-Catalan de ideeën van de laatste stelling van Fermat en het vermoeden van Catalan, vandaar de naam. Het vermoeden zegt dat de vergelijking
slechts eindig veel oplossingen heeft waarvoor geldt dat
, met verschillende waardes van het co-priem tripel
.
In 2014 waren er 10 bekend:
![{\displaystyle 1^{m}+2^{3}=3^{2}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f8afb6d4e05eaefbe639ba5d45e43dfb6ee13e9)
![{\displaystyle 2^{5}+7^{2}=3^{4}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1718454167d76583c10140116381338a9692ca9)
![{\displaystyle 13^{2}+7^{3}=2^{9}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50b55619bf9c30281454234c3024801e3af21cdc)
![{\displaystyle 2^{7}+17^{3}=71^{2}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5e4f4d745b2b05d826b6e3bed549da95f41c949)
![{\displaystyle 3^{5}+11^{4}=122^{2}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f7929fcd100798be1a019cddc3f7ac28b6496ac)
![{\displaystyle 33^{8}+1549034^{2}=15613^{3}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4522462348031553822809ccb98ca8cb3b9cc92)
![{\displaystyle 1414^{3}+2213459^{2}=65^{7}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4af9cd371583f7e885bb82ee5b1d1002bfe6a4f9)
![{\displaystyle 9262^{3}+15312283^{2}=113^{7}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83e0c0a19073ae7748e32876c35d033697e60f79)
![{\displaystyle 17^{7}+76271^{3}=21063928^{2}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77246507623d0370759a78275493321a50d2300b)
![{\displaystyle 43^{8}+96222^{3}=30042907^{2}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ecac39e31a3eecbd5d6cd5a5b4fcddebb6de71c)
De eerste van deze (1m+23=32) is de enige oplossing waarbij een van a, b of c gelijk aan 1 is, zo zegt het Vermoeden van Catalan, dat in 2002 bewezen is door Preda Mihăilescu. Hoewel deze vergelijking oneindig veel oplossingen geeft zolang m maar groter is dan 6. Dit is echter maar een oplossing aangezien dit geen verschillende waardes am, bn en ck zijn
Als het ABC-vermoeden vermoeden waar is, is dit vermoeden ook waar.