En teoría de números , la conjetura de Fermat-Catalan es una generalización del último teorema de Fermat y de la conjetura de Catalan , de ahí el nombre. La conjetura establece que la ecuación
tiene sólo un número finito de soluciones ( a , b , c , m , n , k ) con tripletes distintos de valores ( a m , b n , c k ) donde a , b , c son enteros coprimos positivos y m , n , k son enteros positivos que satisfacen
La desigualdad sobre m , n y k es una parte necesaria de la conjetura. Sin la desigualdad habría infinitas soluciones, por ejemplo con k = 1 (para cualquier a , b , m y n y con c = a m + b n ) o con m , n y k todas iguales a dos ( para las infinitas ternas pitagóricas conocidas ).
A partir de 2015, se conocen las siguientes diez soluciones a la ecuación (1) que cumplen con los criterios de la ecuación (2): [1]
La primera de ellas (1 m + 2 3 = 3 2 ) es la única solución donde uno de a , b o c es 1, según la conjetura catalana , probada en 2002 por Preda Mihăilescu . Si bien este caso conduce a infinitas soluciones de (1) (ya que se puede elegir cualquier m para m > 6), estas soluciones solo dan un triplete de valores ( a m , b n , c k ).
Se sabe por el teorema de Darmon-Granville, que utiliza el teorema de Faltings , que para cualquier elección fija de enteros positivos m , n y k que satisfagan (2), sólo existen un número finito de tripletes coprimos ( a , b , c ) que resuelvan (1). . [2] [3] : pág. 64 Sin embargo, la conjetura completa de Fermat-Catalan es más sólida ya que permite que varíen los exponentes m , n y k .
La conjetura abc implica la conjetura de Fermat-Catalan. [4]
Para obtener una lista de resultados de combinaciones imposibles de exponentes, consulte Conjetura de Beal#Resultados parciales . La conjetura de Beal es cierta si y sólo si todas las soluciones de Fermat-Catalan tienen m = 2, n = 2 o k = 2.