Ir al contenido

Teorema del triángulo rectángulo de Fermat

De Wikipedia, la enciclopedia libre
Dos triángulos rectángulos con los dos catetos del superior iguales al cateto y la hipotenusa del inferior. Para estas longitudes, , y forman una progresión aritmética separada por un espacio de . No es posible que las cuatro longitudes , , y sean números enteros

El teorema del triángulo rectángulo de Fermat es una prueba de no existencia en teoría de números, publicada en 1670 entre los trabajos de Pierre de Fermat, poco después de su muerte. Es la única prueba completa dada por Fermat.[1]​ Tiene varias formulaciones equivalentes, una de las cuales fue enunciada (pero no probada) en 1225 por Leonardo de Pisa. En sus formas geométricas, dice:

De manera más abstracta, como resultado de una ecuación diofántica (soluciones de números enteros o racionales para ecuaciones polinómicas), es equivalente a las declaraciones de que:

  • Si tres cuadrados perfectos forman una progresión aritmética, entonces la brecha entre números consecutivos en la progresión (llamada congruum en latín) no puede ser un cuadrado.
  • Los únicos puntos racionales en la curva elíptica son los tres puntos triviales con y .
  • La ecuación de cuarto grado no tiene una solución entera distinta de cero.

Una consecuencia inmediata de la última de estas formulaciones es que el último teorema de Fermat es verdadero en el caso especial de que su exponente sea 4.

Formulación

[editar]

Cuadrados en progresión aritmética

[editar]

En 1225, el emperador Frederico II desafió al matemático Leonardo de Pisa a participar en un concurso matemático contra varios otros matemáticos, con tres problemas planteados por el filósofo de la corte Juan de Palermo. El primero de estos problemas pedía tres números racionales cuyos cuadrados estuvieran separados por cinco unidades, resuelto por Fibonacci con los tres números , y .

En El Libro de los Cuadrados, publicado ese mismo año por Fibonacci, resolvió el problema más general de encontrar ternas de cuadrados perfectos que estuvieran igualmente separadas entre sí, formando una progresión aritmética. Fibonacci llamó a la brecha entre estos números congruum.[2]​ Una forma de describir la solución de Fibonacci es que los números a elevar al cuadrado son la diferencia de catetos, la hipotenusa y la suma de los catetos de una terna pitagórica, y que el congruo es cuatro veces el área del mismo triángulo.[3]​ Fibonacci observó que es imposible que un congruo sea un número cuadrado en sí mismo, pero no presentó una prueba satisfactoria de este hecho.[4]

Si tres cuadrados , y pudieran formar una progresión aritmética cuyo congruo fuera también un cuadrado , entonces estos números satisfarían las ecuaciones diofánticas

Es decir, por el teorema de Pitágoras, formarían dos triángulos rectángulos de lados enteros en los que el par da un cateto y la hipotenusa del triángulo menor y el mismo par también forma los dos catetos del triángulo mayor. Pero si (como afirmó Fibonacci) no puede existir un congruo de cuadrados, entonces no puede haber dos triángulos rectángulos enteros que compartan dos lados de esta manera.[5]

Áreas de triángulos rectángulos

[editar]

Debido a que los congruos son exactamente los números que son cuatro veces el área de un triángulo pitagórico, y la multiplicación por cuatro no cambia la condición de un número cuadrado (que sigue siéndolo), la existencia de un congruo cuadrado es equivalente a la existencia de un triángulo pitagórico con un área que sea un cuadrado. Es esta variante del problema a la que se refiere la prueba de Fermat: muestra que no existe tal triángulo. Al considerar este problema, Fermat no se inspiró en Fibonacci sino en una edición de la Arithmetica de Diofanto de Alejandría, publicada en una traducción al francés en 1621 por Claude Gaspard Bachet de Méziriac.[6]​ Este libro describía varios triángulos rectángulos especiales cuyas áreas tenían formas relacionadas con los cuadrados, pero no consideraba el caso de áreas que en sí mismas eran cuadradas.[7]

Al reorganizar las ecuaciones de los dos triángulos pitagóricos anteriores y luego multiplicarlas, se obtiene la única ecuación diofántica

que se puede simplificar introduciendo una nueva variable para

Por el contrario, tres enteros positivos cualesquiera que obedezcan a la ecuación conducen a un congruo de cuadrados: para estos números, los cuadrados , y forman una progresión aritmética con el congruo , que es un cuadrado en sí mismo. Así, la solucionabilidad de es equivalente a la existencia de un congruo de cuadrados. Pero, si el último teorema de Fermat tuviera un contraejemplo para el exponente , una solución entera para la ecuación , entonces elevar al cuadrado uno de los tres números en el contraejemplo daría tres números que resuelven la ecuación . Por lo tanto, la prueba de Fermat de que ningún triángulo pitagórico tiene un área cuadrada implica la verdad del caso con exponente- del último teorema de Fermat.[7]

Otra formulación equivalente del mismo problema implica números congruentes, los números que son áreas de triángulos rectángulos cuyos tres lados son todos números racionales. Multiplicando los lados por un denominador común, cualquier número congruente puede transformarse en el área de un triángulo pitagórico, de lo cual se sigue que los números congruentes son exactamente los números formados al multiplicar un congruo por el cuadrado de un número racional.[8]​ Por lo tanto, la existencia de un congruo cuadrado es equivalente a la afirmación de que el número 1 no es un número congruente.[9]​ Otra forma más geométrica de enunciar esta formulación es que es imposible que un cuadrado (la forma geométrica) y un triángulo rectángulo tengan áreas iguales y todos los lados conmensurables entre sí.[10]

Curva elíptica

[editar]
La curva elíptica y2 = x(x + 1)(x − 1). Los tres puntos racionales (−1,0), (0,0) y (1,0) son los cruces de esta curva con el eje x

Otra forma equivalente del teorema de Fermat involucra una curva elíptica que consiste en los puntos cuyos coordenadas cartesianas satisfacen la ecuación

Los puntos (+1,0), (0,0) y (1,0) proporcionan soluciones obvias a esta ecuación. El teorema de Fermat es equivalente a afirmar que estos son los únicos puntos de la curva para los que tanto como son racionales. Más generalmente, los triángulos rectángulos con lados racionales y área se corresponden uno por uno con los puntos racionales con coordenada positiva en la curva elíptica .[11]

Prueba de Fermat

[editar]

Durante su vida, Fermat desafió a varios otros matemáticos a probar la inexistencia de un triángulo pitagórico con área cuadrada, pero él mismo no publicó la prueba. Sin embargo, escribió una prueba en su copia de la Aritmética de Diofanto, la misma copia en la que escribió que podía probar el último teorema de Fermat. El hijo de Fermat, Clement-Samuel, publicó una edición de este libro, incluidas las notas marginales de Fermat con la prueba del teorema del triángulo rectángulo, en 1670.[12]

La demostración de Fermat está basada en un descenso infinito. Muestra que, de cualquier ejemplo de un triángulo pitagórico con área cuadrada, se puede deducir un ejemplo más pequeño. Dado que los triángulos pitagóricos tienen áreas enteras positivas y no existe una secuencia descendente infinita de números enteros positivos, tampoco puede existir un triángulo pitagórico con área cuadrada.[13]

Con más detalle, supóngase que , y son los lados enteros de un triángulo rectángulo con área cuadrada. Al dividir por cualquier factor común, se puede suponer que este triángulo es primitivo[10]​ y, a partir de la forma conocida de todos los triples pitagóricos primitivos, se puede establecer que , y , por lo que el problema se transforma en encontrar números enteros primos relativos entre sí y (uno de los cuales es par), tales que el área es cuadrada. Para que este número sea un cuadrado, sus cuatro factores lineales , , y (que son primos entre sí) deben ser cuadrados. Sean ​ y . Tanto como deben ser impares, ya que exactamente uno de o es par y el otro es impar. En consecuencia, tanto como son pares, y uno de ellos es divisible por 4. Dividirlos por dos produce dos enteros más y , uno de los cuales es par por la proposición anterior. Como es un cuadrado, y son los catetos de otro triángulo pitagórico primitivo cuya área es . Como es en sí mismo un cuadrado y como es par, es un cuadrado. Por lo tanto, cualquier triángulo pitagórico con área cuadrada conduce a un triángulo pitagórico más pequeño con área cuadrada, completando la prueba.[14]

Referencias

[editar]
  1. Edwards (2000). Muchos matemáticos posteriores publicaron demostraciones, incluidos Gottfried Leibniz (1678), Leonhard Euler (1747) y Bernard Frenicle de Bessy (antes de 1765); véase Dickson (1920) y Goldstein (1995).
  2. Bradley, 2006.
  3. Beiler, 1964.
  4. Ore (2012);Dickson (1920).
  5. El hecho de que no puede haber dos triángulos rectángulos que compartan dos de sus lados enteros, y la conexión entre este problema y el problema de los cuadrados en progresión aritmética, se describe como "bien conocido" por Cooper y Poirel (2008)
  6. Edwards, 2000.
  7. a b Stillwell, 1998.
  8. Conrad (2008);Koblitz (1993, p. 3).
  9. Conrad (2008), Theorem 2;Koblitz (1993), Exercise 3, p. 5.
  10. a b Dickson, 1920.
  11. Koblitz (1993), Proposition 19, pp. 46–47;Kato y Saitō (2000).
  12. Edwards (2000);Dickson (1920). For other proofs, see Grant y Perella (1999) and Barbara (2007).
  13. Edwards (2000);Dickson (1920).
  14. Edwards (2000);Dickson (1920);Stillwell (1998).

Bibliografía

[editar]