EL LTIMO TEOREMA DE FERMAT

Por: Ramn Garza Wilmot Monterrey N.L. Mexico Julio de 2004 "Por otro lado, es imposible descomponer un cubo en dos cubos, o una cuarta potencia en dos cuartas potencias o, en general cualquier potencia --excepto un cuadrado-- en dos potencias con el mismo exponente. He descubierto una maravillosa prueba de ello, pero por desgracia es tan extensa que no cabe en el margen". Con estas palabras, Pierre de Fermat, un jurista francs, aficionado a las matemticas, expona en el ao 1637, una nota en latn al margen de un ejemplar de la obra de Diofanto. No fue sino hasta mayo de 1995 (358 aos despus) que un matemtico llamado Andrew Wiles, public en la revista "Anales de Matemticas" la prueba de que Fermat tena razn. Lo increble de todo este asunto es como en esos 358 aos, generaciones de matemticos no pudieron probarlo y l deca que era mas extensa de lo que cabra en el margen. Es decir; era extensa pero conceba que caba en un poco mas que un margen. Hoy, las matemticas modernas estn tan avanzadas y son tan sofisticadas, que la mayora de ellas estn fuera del alcance del pblico en general. Y la solucin del Teorema adquiri tintes de novela de gigantes. El pblico novato y no versado en estos asuntos an cuando le guste el reto y el reino de los nmeros, no se atreve ni siquiera a plantarse el problema. Lo mas seguro es que todos piensen: "Eso es para los genios, no para los legos". Bueno, yo como el abejorro, volar aunque la fsica diga que ese vuelo es imposible. El Teorema puede ser expuesto en la siguiente forma: El ltimo Teorema de Fermat , establece que para todo exponente n entero mayor de 2 , la siguiente igualdad para todo a, b, c, y n enteros : (1) a^n + b^n = c^n es falsa

Si a , b y c son todos enteros. (2) a^n + b^n = c^n es cierta

(a y b) , (a y c), (b y c) pueden ser enteros pero no los tres. Como se deben interpretar las ecuaciones anteriores? ; El problema se puede contemplar desde dos direcciones: a) Dados dos enteros a y b y un exponente entero n mayor que 2, no existe un tercer entero c que elevado a la n sea igual a la suma de los dos sumandos a y b. b) Dado el entero c elevado a la n potencia, no existen dos sumandos enteros a y b que elevados a esa misma potencia y sumados, den como resultado a c elevado a la n.

Debe aclararse que aunque Fermat no lo especific (al menos en el texto citado) , que la combinacin a,b,c s admite que haya hasta 2 enteros. pero el tercero no puede serlo. Es decir, si a y b son enteros, c no lo es. Si a y c son enteros, b no lo es. etc. Lo anterior es tan simple de ver que solo basta con dar valores a cualquiera de las dos literales y se puede obtener la tercera. Probar que esta tercer literal no es entera sera el objeto del Teorema. Podemos decir entonces que hay una tercera direccin (definicin) que es la correcta y completa: c) Si en a^n + b^n = c^n

hay hasta dos enteros (excluyendo a n), el tercero no lo es. De estas visiones, por la redaccin de Fermat se deduce que se refera a la segunda. Pues cada una de ellas es un animal distinto aunque se parezcan. En el caso (a) se trata de determinar si c es entero no, y en el segundo si a y b son enteros no. En el caso (a), es obvio que la ecuacin tiene soluciones para c una vez conocidas a , b y n. Lo que no es obvio es si esa solucin es entera no. Aqu tenemos una sola incgnita "c" Pero en el caso (b) eso es mas complicado, pues no solo no sabemos si a y b son enteros, sino que adems no sabemos si hay mas de una pareja de enteros a y b que lo resuelvan. sea que aqu hay dos incgnitas. Esta situacin se salva especificando la tercera visin que ya cit, es decir especificando dos enteros y probar que el tercero no lo es. Por ejemplo: en el caso del Teorema de Pitgoras, dados a y b y n = 2, saber si c es entero no solo es cosa de hacer la operacin de elevar a y b a la 2 potencia, sumarlos y luego sacar la raz cuadrada para obtener la respuesta y saber si existe c entero no. A la inversa no es lo mismo, si sabemos cuanto es c y con n = 2 no hay manera sencilla (aunque no imposible) de averiguar cul cuales parejas a y b cumplen el teorema. Sabemos que el Teorema de Pitgoras es un caso igual al de Fermat en el que n es igual a 2. Sabemos que existen algunas parejas de nmeros que s son solucin para el de Pitgoras. Como c = 5 a = 4 b = 3 , pero Fermat afirma que para n > 2 no hay ninguna combinacin posible en la que la ecuacin est constituida toda, por enteros. Citar antes de la demostracin algunas propiedades de los nmeros: - Los nmeros enteros primos son aquellos nmeros que no tienen factores. - Todo nmero entero que no es primo, tiene factores que son todos primos. - El menor nmero primo que existe es el 2 seguido por el 3. - El menor nmero que tiene la raz cuadrada mas baja es el 4 - El menor nmero que tiene la raz cbica mas baja es el 8 - El menor nmero que tiene la raz cuarta mas baja es el 16 - Etc. - Todos los nmeros que tienen raz n mas baja son mltiplos de 2 - Los nmeros fraccionarios pueden ser racionales irracionales. Si son mayores que 1 les llamo fraccionarios, si son menores les llamo fracciones.

- Los nmeros fraccionarios que se presentan como quebrados son racionales. Pueden ser representados como la razn de dos enteros. Vg: 5/3 - Los fraccionarios irracionales las fracciones irracionales no tienen una ltima decimal, no son cclicos y no pueden ser representados como la razn entre dos enteros. - Las races de los nmeros primos son siempre irracionales. - A los irracionales se les pueden aplicar todas las operaciones aritmticas, pero sus resultados sern siempre irracionales. Se exceptan las potencias de las races que les dieron origen y la divisin por s mismos por sus mltiplos. - Las races de los nmeros naturales que no son potencias primas ( de sus mltiplos) de un nmero son siempre irracionales. Se puede representar la ecuacin (1) para todos los casos, como un tringulo escaleno en el que a y b son los dos lados menores , c el mayor y & el ngulo opuesto a c. Se observa del dibujo siguiente en el que se mantienen constantes a y b, que c puede tener medidas que dependen del ngulo & el cual puede variar desde 180 grados hasta 0 grados. Tambin variara c si se mantiene el ngulo & constante y a b ambos variaran.

La forma de ver esta situacin es ver como variara c con la rotacin de b desde que el ngulo & es de 180 grados hasta que es de 0 grados. Esto queda expresada en la ley Trigonomtrica de los cosenos, en donde: (3) c^2 = a^2 + b^2 - 2abCos &

a^2 + b^2 - c^2 Cos& = ---------------------------2ab Nota: a^2 significa a elevado al exponente 2 a) Aqu se ve fcilmente que c es mxima cuando Cos& = -1 y & =180 grados que corresponde exactamente a c^2 = (a + b)^2 = a^2 + b^2 + 2ab c = a + b n =1 b) c^2 = a^2 + b^2 cuando Cos& = 0 y & = 90 grados que es el mbito del teorema de Pitgoras. n = 2

c) c^2 = a^2 + b^2 -2abCos& que corresponde a & mayor que 60 grados Por qu 60 grados? porque el valor lmite superior que puede tener c corresponde al Coseno & mnimo y este es cuando porque c no puede ser inferior a "a" c = a en ese caso : Cos& = b^2/2ab que es mnimo cuando b = a Cos& = 1/2 Por lo tanto & es 60 grados y el triangulo es un triangulo equiltero. En estas condiciones, el nico valor posible de n es n = Muy interesante el resultado. Este muestra que & se mueve entre 180 y 90 grados para 2 n 1, y & se mueve entre 90 y 60 grados para n 2 Esto significa tambin que el Cos& vara desde 0 hasta 1/2 aumentando a medida que n crece. De esta ecuacin y de lo ya dicho, se desprenden algunas propiedades que vale la pena mencionar: (5) (a^n + b^n)^(2/n) = a^2 + b^2 - 2abCos& = c^2

Obsrvese que para unos "a" y "b" dados, a medida que & disminuye por abajo de los 90 grados (y no menos de 60), c disminuye, esto sucede si n aumenta. Naturalmente, el significado es que para un par a y b dados, c disminuye con el exponente n hasta su lmite que es c = a (siendo a b) Otro modo de verlo es diciendo que c tiende a tener el valor de el mayor de los sumandos (a en este caso) a medida que el exponente n crece. Eso es natural, pues por pequea que sea la diferencia entre a y b esta diferencia se acenta con el crecimiento de a. DEMOSTRACION 1 Notas previas: El smbolo ^ significa exponente y este puede ser entero fraccionario, es decir: - a^n significa "a" elevado a la "n" potencia - a^(1/n) significa "a" a la "n" raz > significa que el trmino que est del lado abierto del smbolo es mayor del que esta del otro lado. As que es lo mismo decir : a > b que b < a significa que el trmino del lado abierto es mayor igual al que est del lado cerrado.

Sea

c^n = a^n + b^n

Siendo c y n enteros y tambin: Se establecen las siguientes caractersticas del problema: c>a, c>b, ab

Se podra haber dicho que otra alternativa sera que b >a pero no es aplicable, pues de lo que se trata es que para a y b hay las siguientes opciones independientemente de su descripcin, estas son: a>b , a=b , b=0

- El caso general ser en el que a > b. si b fuera mayor que a entonces analizaba para b en lugar de para a. Luego, no se pierde ni generalidad ni lgica diciendo que alguno de los dos sumandos es mayor igual al otro. - En el caso que a = b , c^n = 2a^n , c = 2^(1/n) a , a = c / 2^(1/n) Como 2^(1/n) es un irracional, inmediatamente quedara demostrado que a es una fraccin irracional. - El caso en que b = 0 no nos interesa, pues el Teorema se refiere a que ambos sumandos tengan algn valor. Entonces: Empecemos con la siguiente ecuacin que de acuerdo al problema est dentro de l. (1) x^n + y^n = 1

Es posible esta ecuacin? S pero es obvio que ni x ni y pueden ser enteros, pues si lo fueran sera su suma mayor que 1 y eso es inadmisible. Luego x e y son fracciones de algn tipo. Hagamos x = py que significa que si han de existir tanto x como y , una debe ser mayor que otra. En este caso tom x > y sin menoscabo del anlisis.
x^n + x^n/p^n = 1 Resolviendo para x tenemos que: p x = ----------------------------

(p^n + 1)^(1/n) 1 --------------------(p^n + 1)^(1/n)

y=

Ahora multipliquemos (1) por c^n (xc)^n + (yc)^n = c^n a^n + b^n = c^n

sea : a = xc y b = yc Ahora, si a y b han de ser enteros, (como c s es un entero), tanto x como y deben ser fracciones quebradas racionales cuyo numerador sea un entero y cuyo denominador sea un submltiplo de c tambin entero. Vg:

Si c = 12, entonces x y deben ser del tipo 3/4, 1/2, 2/3, 1/6, etc, de tal modo que el numerador sea un entero menor que el denominador (para que sean fraccin) y el denominador un entero factor de c o que lo divida completamente. En el ejemplo seran ; 2, 3, 4 , 6, 12 . El 8 no cuenta porque no divide al 12 completamente. Como quiera que sea, el denominador debe ser entero. No son aceptables los denominadores fraccionarios porque entonces la fraccin no estara completamente reducida. Y menos los irracionales. Vg: x = 5 / 1.5 no est reducida x = 5/(3/2) = 10/3 si est reducida Ya que x e y estn simplificados al mximo (ya no se pueden dividir algebraicamente el numerador por el denominador. Vg: 4/12 no est simplificado reducido 1/3 s lo est). El divisor (p^n + 1)^(1/n) de x y de y, debe ser un entero como primera condicin, y como segunda que sea divisor completo de c. Bien, ahora analicemos a (p^n + 1)^(1/n) Si (p^n + 1)^(1/n) ha de ser un entero, este debe ser mayor que "p" pues hubo necesidad de sumarle un 1 a p^n para completarlo al sacarle la raz. Luego este entero al que llamar simplemente "h" (el divisor de c) es : (p^n + 1)^(1/n) = h (2) (p^n + 1) = h^n

Como h debe ser mayor que p, lo debe ser en un entero "e" por lo menos igual a 1. h=p+e (3) h^n = (p + e)^n

Aqu puedo optar por decir que "p" puede ser un entero no. Supondr que lo es porque si no lo fuera, h sera de inmediato fraccionario y demostrara el teorema sin mas. El segundo miembro de (3) caracteriza al llamado Binomio de Newton que permite calcular el valor de cualquier binomio a cualquier potencia. Su desarrollo nos lleva a que : (4) h^n = p^n + e^n + Q

En donde Q es el conjunto de trminos del binomio (aparte de p^n y e^n) caracterizado porque su primer miembro tiene este valor: Q > n. p^(n-1). e Este y los dems elementos de Q todos son mayores de 1 si aceptamos que p y e son enteros. Entonces Q > 1. Ahora, de (2) y (4)

p^n + 1 = h^n = p^n + e^n + Q (5) 1 = e^n + Q

Que es evidentemente falsa por haber aceptado el supuesto de que "e" es un entero. La nica manera en que la ecuacin (5) sea vlida es haciendo a "e" fraccionario y en consecuencia a "h". Pero "h" no puede ser fraccionario si va a ser divisor de "c" (que es entero) , luego los valores de x e y no son quebrados racionales y por lo tanto los productos xc y yc (a y b) no son enteros. Demostrando con esto el Teorema.

DEMOSTRACION 2 La demostracin se har mediante el mtodo de reduccin al absurdo. Se harn suposiciones iniciales y si se llega a contradicciones se probar que la suposicin original es falsa. Se demostrar (2) Partir primero de la siguiente ecuacin: (3) ( b^n + 1^n ) = s^n = ( b^n + 1 ) La que supondremos cierta, y en donde supondremos que b, n , s son enteros. Obsrvese que la ecuacin (3) es semejante a la (1) excepto porque el segundo sumando entre el parntesis es unitario. Si s ha de ser un entero, su valor deber ser algo mayor que b en un cierto nmero de unidades enteras e , es decir: (4) s= b+ e Pues es obvio que s> b en algn entero e 1, pues si e fuera menor que 1 sera igual a cero y la ecuacin (3) sera falsa ya que b no puede ser igual a s Luego (5) s^n = (b + e )^n

Cuando esta ecuacin (5) se desarrolla segn el Teorema del binomio de Newton, tenemos que : n (n 1) (n 2) 2 (n-3) 3 (b + e)^n = b + n.b. e + n.(n 1).b. e / 2! + n.(n-1).(n-2).b. e / 3! (n 4) 4 + n.(n 1).(n 2).(n 3). b. e / 4!................+ e^n

(6)

( b + e)^n = b^n + e^n + Q = s^n

segn (5)

En donde Q es la suma de todos los trminos que hay entre el primero y el ltimo del desarrollo anterior de Newton. Dado que tanto b, e, s y n son entero positivos(supuesto), Q es un nmero entero positivo, mayor que 1 (como se ve del primer sumando de Newton en negrilla). Igualando (6) con (3) obtenemos:

b^n + e^n b^n + 1

+ Q = s^n = s^n

Restando una ecuacin de otra, tenemos: e^n - 1 + Q = 0 y (6) e^n + Q = 1

Pero si tanto e como Q son enteros positivos segn las condiciones iniciales supuestas, la ecuacin anterior (6) es falsa. pues su suma no puede ser igual a 1. Ya que e^n + Q > 1 pues se supuso que e>1 y Q > 1 Luego, una de las dos ecuaciones originales ( las dos) ,(5) (3) es falsa para las condiciones dadas (que todos sean enteros). La nica forma en que la ecuacin (6) se puede cumplir es que e sea fraccionario, y en consecuencia s tambin es fraccionario. sea que podramos aceptar a (6) siempre y cuando e < 1 , pero en ese caso s no sera mayor que b en una unidad y s sera fraccionario. b+1> s > b Entonces podemos decir que la ecuacin (2) se debe indicar como: (7) s^n b^n + 1

Significando que si tanto b y n como s son enteros la ecuacin es falsa. (8) s^n = b^n + 1

Si aceptamos que s es fraccionario ya que siempre e < 1. En (8), sumando a ambos miembros el entero a^n tenemos : (9) s^n + ( a^n - 1) = b^n + a^n y transponiendo a 1,

Ahora: (a^n - 1) es un entero y s^n es un fraccionario, (un fraccionario elevada a una potencia entera es un fraccionario), entonces todo el primer miembro es fraccionario. (un entero mas una fraccin) y la raz ensima (entera) de un fraccionario es un fraccionario tambin. O sea: la suma de dos enteros (a y b) elevados a la n potencia no puede ser igual a un entero elevado a esa misma potencia. Si a este fraccionario le llamamos c , o sea : s^n + (a^n - 1) = c^n Entonces: c^n = a^n + b^n

Es cierta , si y solo si c es fraccionario (como ya demostr) .Que es la demostracin del Teorema de Fermat.

DEMOSTRACION 3 Figura 1

Figura 2

La Figura 1 representa un tringulo rectngulo que cumple con el teorema de Pitgoras c^2 = a^2 + b^2 siendo a,b,c enteros. En ella se han multiplicado las reas por una altura unitaria (1) y nos da tres quesos de altura 1 cuyos volmenes son: c^2 x 1 = a^2 x 1 + b^2 x 1 vc = va + vb vc = volumen c , va = volumen a , vb = volumen b En la Figura 2 se han considerado una suma de "quesos" igual a "b" veces. En esta suma, sigue siendo cierto que : (1) Vc = Va + Vb

V = b veces v Puesto que solo hemos sumado cantidades iguales a cantidades iguales sea, ahora hay "b" quesos iguales. Digamos que c = pb y a = qb siendo p y q mayores que 1 Calculemos ahora los volmenes Va , Vb y Vc utilizando (1) c^2.b = a^2 .b + b^3 c^2 .(c/p) = a^2 .(a/q) + b^3 c^3/p = a^3/q + b^3

Demostrando obviamente que c^3 a^3 + b^3 sea, no es posible obtener un cubo de enteros a partir de la suma de cubos de otros enteros. Podemos hablar de volmenes n dimensionales sin peligro de la le generalidad de tal modo que el volumen n de un entero A cualquiera es A^n . Luego la operacin hecha de multiplicar por b la podemos hacer para b tantas veces como queramos y tendramos digamos para b 3 veces: c^2 .(c/p) (c/p) (c/p) = a^2 .(a/q)(a/q)(a/q) + b^3.b^2

c^5/p^3 = a^5/q^3 + b^5 y de nuevo : c^5 a^5 + b^5 y as sucesivamente para todos los exponentes nones. En cuanto a los pares, solo habra que utilizar un exponente que fraccionario que contenga 1/2 para hacerlo, Vg b^(1.5) La conclusin final es: No es posible formar un entero b^n a partir de otros enteros c^n y a^n lo que es lo mismo : si dos de los trminos son enteros, el tercero no puede ser entero.

DEMOSTRACION 4 a) Los nmeros naturales enteros resultado de potenciar con potencias mayores de 2 los nmeros naturales base, forman un conjunto en el que no estn todos los nmeros naturales. Vg: Las potencias cbicas de los nmeros naturales 2, 3, 4, 5, 6, 7, 8, 9 a los que llamo p son: p^3 = 8, 27, 64, 125, 216, 343, 512, 729, etc.

Ninguno de estos nmeros difiere del anterior en por lo menos una unidad (1) de hecho, la menor diferencia es entre 8 y el 27 que es de 19 b) Lo mismo sucede para cualquier otra potencia, y no solo eso, sino que la diferencia entre cualquiera de ellos y el siguiente de esa potencia, es mayor a medida que la potencia crece. En general: p^n = 2^n, 3^n, 4^n, 5^n, 6^n, 7^n, 8^n, 9^n, ............etc

c) En consecuencia: - El nmero inmediato posterior inferior a cualquiera de estos p^n y para todas las potencias enteras mayores que 2, difiere en mas de una unidad de l. sea: (p +1)^n es mayor que p^n en mas de 1 (p -1)^n es menor que p^n en mas de 1 Esto quiere decir que los nmeros :

(p^n + 1) y (p^n -1) no estn es esa lista generalizada y en consecuencia no tienen races enteras "n" Es decir que en ; (p^n + 1)^(1/n) = i no tiene races enteras e i>p (p^n - 1)^(1/n) = i no tiene races enteras e i<p O lo que es lo mismo: i en cualquier caso es irracional y esta formado por un entero "e" mas una fraccin irracional "f" Adems, todas las potencias y races enteras son factores de los nmeros primos por: - Todo nmero entero que no es primo, tiene factores que son todos primos. Como las potencias enteras son enteros, entonces esas potencias tienen factores primos. Adems: - Las races de los nmeros naturales que no son potencias primas ( de sus mltiplos) de un nmero son siempre irracionales. Y en consecuencia : (p^n + 1)^(1/n) y (p^n - 1)^(1/n)

No solo no son enteros, sino que adems son irracionales. d) Tomemos ahora (p^n + 1)^(1/n) = i en donde "i" es un nmero irracional segn lo dicho. Tenemos ahora despejando: p^n + 1 = i^n Multipliquemos cada miembro por (e/i)^n en donde "e" es un entero cualquiera, e "i" es el irracional definido antes. Entonces; (pe/i)^n + (e/i)^n = e^n

(e) es un entero al que llamar "c" , (pe/i) es un irracional al que llamar "a" (porque un entero "pe" dividido por un irracional "i" es un irracional), y (e/i) es un irracional al que llamar "b" por la misma razn, entonces: c^n = b^n + a^n Que es la prueba del Teorema pues "c" es entero y "b" y "a" son fraccionarios irracionales