See discussions, stats, and author profiles for this publication at: https://www.researchgate.

net/publication/309400336

Traducción del Articulo " Solution for Fermat's Last Theorem " publicada por la
Revista Cientifica Jose Maria Cordoba

Article  in  Revista Cientifica UDO Agricola · June 2016

CITATIONS READS

0 4,373

2 authors, including:

Jose William Porras

Escuela Naval Almirante Padilla Colombia
64 PUBLICATIONS   67 CITATIONS   

SEE PROFILE

Some of the authors of this publication are also working on these related projects:

Investigation of squares of primes View project

Prime numbers investigation View project

All content following this page was uploaded by Jose William Porras on 25 October 2016.

The user has requested enhancement of the downloaded file.

Traducción del Articulo “Solution for Fermat’s Last Theorem” publicada por la Revista Científica
“General José María Córdova”. Revista colombiana sobre investigación en el campo militar Vol. 14, Número
17, pp 412-418. Enero-junio 2016

Demostración del Último teorema de Fermat

Vicealmirante (RA) José William Porras Ferreira

Resumen

El Último Teorema de Fermat (UTF), (1637), establece que si es un entero mayor que 2, entonces
no es posible encontrar tres números naturales , y tal que se cumpla la ecuación
siendo ( )
Este manuscrito muestra la metodología para probar el UTF empleando Reducción al Absurdo, el
Teorema de Pitágoras y la propiedad de los triángulos semejantes, conocidos en el siglo XVII,
cuando Fermat enunció el teorema.

Palabras claves: Último Teorema de Fermat, Reducción al Absurdo, Teorema de Pitágoras y

triángulos semejantes.

1. Introducción

El UTF o Teorema Fermat-Wiles, es uno de los más famosos teoremas en la historia de las
matemáticas [1]-[2]-[3]. La búsqueda de una solución estimuló el desarrollo de la teoría de números
en el siglo XIX y la prueba del teorema de la modularidad en el siglo XX. Antes de la demostración
lograda por Andrew Wiles (1995), [4]-[5]-[6], fue considerado el problema más difícil de las
matemáticas, en el libro Guinness de records mundiales.
Empleando notación moderna el UTF dice:
Si es un entero mayor que 2, entonces no es posible encontrar tres números naturales , y tal
que se cumpla la ecuación siendo ( )
Pierre de Fermat (1667), demostró el caso , empleando la técnica del descenso infinito; Euler
(1735) demostró el caso confirmado en 1770 [7]-[8]-[9]-[10]-[11]; posteriormente Germain
[12] estableció que sí y eran ambos primos, entonces la expresión para el UTF para la
potencia significaba que uno de los , o eran divisibles por . Germain lo comprobó para
; Legendre lo extendió para . Legendre y Dirichlet (1823-1825), [13]-[14],
1
demostraron también el caso de . Lame (1840), [15]-[16], demostró el caso . El UTF
también ha sido demostrado para los exponentes , , }.
Finalmente Andrew Wiles en 1995 [6] logró una prueba general para todos los exponente mayores
que 2, Wiles pudo demostrar el último teorema de Fermat a partir de la conexión, esbozada por
Frey, y demostrada por Ken Ribet en 1985 [17]-[18], de que una demostración de la llamada
Conjetura de Taniyama-Shimura [19]-[20], conduciría directamente a una demostración del último
teorema de Fermat. En resumen, la conjetura de Taniyama-Shimura establece que cada curva
elíptica puede asociarse unívocamente con un objeto matemático denominado forma modular. Si el
UTF fuese falso, entonces existiría una curva elíptica tal que no puede asociarse con ninguna forma
modular, y por lo tanto la conjetura de Taniyama-Shimura sería falsa. Es decir, la solución de la
conjetura de, Taniyama-Shimura demostraría el UTF.
La demostración de la conjetura de Taniyama-Shimura suponía ya de por sí un reto de suma
importancia, ya que constituía uno de los puntos del llamado Programa Langlands, cuyo objetivo
consiste en unificar áreas de las matemáticas que aparentemente no tienen relación entre sí. Wiles
pasó los 8 años siguientes a la demostración de Ribet en completo aislamiento trabajando en el
problema y confiando solo en su esposa, lo cual es un modo de trabajo inusual en matemáticas,
donde es habitual que matemáticos de todo el mundo compartan sus ideas a menudo. Para no
levantar sospechas, Wiles fue publicando artículos periódicamente, como haría cualquier
matemático de cualquier universidad del mundo. Su estudio inicial significó el primer avance
significativo en la teoría de Galois antes de pasar a un intento de extender la teoría de Iwasawa con
un argumento inductivo (1990-1991). Cuando parecía que se estancaba, buscaba otros rumbos. En
el verano de 1991, busco en la teoría de Iwasawa soluciones pero también parecía no llegar a los
temas centrales para solucionar el UTF. En respuesta, se acercó a colegas a buscar cualquier
insinuación de investigación de vanguardia y las nuevas técnicas y descubrió un sistema de Euler
recientemente desarrollado por Víctor Kolyvagin y Matthias Flach que parecía la medida para la
parte inductiva de su prueba. Wiles estudió y extendió este enfoque, en enero de 1993 pidió a su
colega de Princeton, Nick Katz, para comprobar su razonamiento. Su conclusión al momento fue
que las técnicas utilizadas por Wiles parecían funcionar correctamente. ([2] pp 209-232) pero
habían errores sutiles que Wiles finalmente corrigió y concluyó con éxito su demostración en 1995
[21]-[22]-[23].
Dado que Wiles utilizó más de 100 páginas y modernas técnicas matemáticas, es en la práctica

2
imposible que esta demostración sea la misma que insinuó Fermat. (Fermat poseía un ejemplar de la
“Arithmetica de Diofanto” en cuyos márgenes anotaba las reflexiones que le iban surgiendo. En uno
de estos márgenes enunció el teorema y escribió en Latín: “Cuius rei demonstrationem mirabilem
sane detexi. Hanc marginis exiguitas non caperet”, cuya traducción es: “Poseo una demostración
en verdad maravillosa para este hecho, pero este margen es demasiado estrecho para
contenerla”. Aunque Fermat en 1667, llegó a demostrar el caso n = 4 mediante el método de
descenso infinito; es probable que se haya engañado al creer que tenía una prueba para el caso
general. Puede ser incluso que se haya percatado de su error ulteriormente: sus notas marginales
eran de uso personal, y por lo tanto Fermat no hubiera tenido que desdecirse con sus
correspondientes.
El 7 de octubre de 2013 fui invitado a Paris por WASET (World Academy of Science Engineering
and Thechnology) para dictar una conferencia sobre la demostración del Último Teorema de
Fermat, empleando herramientas matemáticas que existían en el siglo XVII, la cual fue publicada
por WASET [24]. Aquí se presenta una solución aún más resumida y que fue presentada por
invitación del Departamento de Física de la Universidad del Valle Cali, Colombia el 4 de diciembre
de 2014.
2. Definiciones
2.1 Definición 1. Ternas Pitagóricas primitivas: Una terna Pitagórica es un conjunto de tres
enteros positivos y , teniendo la propiedad que pueden ser respectivamente los dos lados
y la hipotenusa de un triángulo rectángulo que satisface la ecuación ; la terna
Pitagórica se dice que es primitiva si y solamente si y no tiene divisores comunes. Las
ternas Pitagóricas primitivas solo aparecen una vez.

2.2 Definición 2. Árbol de ternas Pitagóricas primitivas: En matemáticas, un árbol de ternas

Pitagóricas primitivas es un árbol de datos donde cada nodo contiene una rama de tres
subsecuentes nodos con un infinito conjunto de todos los nodos que contienen todas (y
solamente) ternas Pitagóricas primitivas sin duplicarse. Esto fue descubierto por B Berggren
en 1934.

3
2.3 Definición 3. Coprimos. Sean y dos enteros algunos de los cuales es distinto de cero. El
máximo común divisor de y es el mayor entero positivo notado por ( ) que
divide ambos y . En el caso en que ( ) , diremos que y son coprimos.
2.4 Definición 4. Reducción al absurdo: La reducción al absurdo (del latín Reductio ad absurdum)
es un modo de argumentación que pretende establecer una proposición derivando un absurdo
de su negación, argumentando así que una tesis debe ser aceptada porque su rechazo sería
insostenible. Para demostrar la invalidez de una proposición, se supone como punto de partida
que la proposición es cierta. Si la derivación final es una contradicción, se concluye que la
proposición original es falsa Es un estilo de razonamiento que se ha empleado a lo largo de la
historia de las matemáticas y la filosofía de la antigüedad clásica.

3. Teoremas
3.1 Teorema 1
En la Ecuación siempre se cumple que: ( para ) ( for )

Demostración:

1. Sea para ⇒( ) 1

2. Evidentemente
3. Sea para y para

Para .se tiene:

( ) (√ )

((√ ) ) ((√ ) ) (1)

Para se tiene:

(2)

1
significa enteros positivos sin incluir el 0.

4
4. Comparando las Ecuaciones (1) y (2), evidentemente se tiene:

[ ((√ ) ) ((√ ) ) ] [ ]

Porque √ , entonces
Q.E.D. 2

Corolario: En la Ecuación:

Siempre: para todo

Demostración

Se sigue el mismo procedimiento del Teorema 1, para , donde y

y así sucesivamente para todo .

3.2 Teorema 2. Último Teorema de Fermat:

En la ecuación para y ( ) , no hay soluciones con números

enteros positivos no nulos.
Demostración por Reducción al absurdo:
1. Asumiendo que para tiene una solución mínima con números enteros
positivos no nulos ( ), donde ( ) son coprimos y caso contrario √
es irracional. Por conveniencia se asume y por lo tanto .
2. De acuerdo al Teorema 1:
.
3. en [24] se demuestra que al ser , se puede hacer donde

( ) ⇒ . Para el caso de las ternas pitagóricas primitivas

( ) siendo ( ) coprimos, es un entero positivo no nulo. En los demás casos no

2Del Latin: Quod erat demonstrandum

5
es un número natural y ( ) no son ternas pitagóricas primitivas ( es un número
irracional, lo mismo ).
Como también se puede hacer donde debe ser un entero positivo no
nulo para que también lo sea, por lo tanto:
( )
Como por lo tanto .
Como puedo hacer donde debe ser un entero positivo no nulo, es decir
( ) deben ser enteros positivos no nulos por lo tanto:
⇒
( ) ( )

[ ( ) ( ) ] [ ]⇒

La figura 1 muestra este concepto, donde se tienen los triángulos pitagóricos semejantes
( )y( ).

Figura 1 Triángulo Pitagóricos Semejantes ( )y( ).

6
4. La solución mínima de con ( ) coprimos, implica que y , donde y
deben ser enteros positivos coprimos no nulos.
Si ( ) no son enteros positivos coprimos no nulos, no tendrá una solución mínima en
enteros positivos no nulos y lo asumido en 1 es falso.
Como y es un entero positivo no nulo se tiene:
Los triángulos Pitagóricos ( ) y ( ) son triángulos semejantes (sus
lados son paralelos) entonces debe existir un número fraccionario que divida a y tal

que y pero ( ) son coprimos (no tiene divisores comunes), por lo tanto si

( divide a para que sea un entero positivo no nulo) quedaría , entonces ( no

divide a ), es decir es un número fraccionario de la forma y también sería

fraccionario, es decir no es un entero positivo no nulo (un número entero no

puede ser igual a un entero más un fraccionario) por lo tanto √ √

no es un entero positivo no nulo y lo asumido en 1 es falso, quedando demostrado el último
teorema de Fermat por reducción al absurdo.
Nota: De acuerdo a las definiciones 1 y 2, en un triángulo pitagórico con ternas pitagóricas
primitivas (todos sus lados son enteros), no puede existir otro triángulo pitagórico semejante al
anterior pero de lados menores con todos sus lados enteros, porque contradice el Teorema de
Pitágoras. Por la misma razón, no es necesario expandir la demostración para el caso de los
triángulos pitagóricos (( ) que no correspondan a ternas pitagóricas primitivas, porque
ningún triángulo pitagórico semejante al anterior y de lados menores ( ) puede tener
soluciones enteras (definiciones 2. 1 y 2.2), es decir no es posible que ( ) .

Corolario: En la Ecuación para si cualquiera de los o son

( ⁄ ) ( ⁄ ) ( )
irracionales de la forma o o con ( )( )( )
coprimos, ( )y( ) entonces no hay soluciones en ,
porque de acuerdo a las definiciones 2.1 y 2.2, y Teorema 1, un triángulo Pitagórico
( ) no puede ser un triángulo Pitagórico primitivo (con todos los lados enteros),
( ⁄ ) ( ⁄ ) ( ⁄)
porque ( ) o ( ) o ( ) serán números irracionales al
ser ( ) , por lo tanto no puede existir otro triángulo Pitagórico más pequeño y

7
similar al anterior con lados menores ( ) con soluciones enteras (todos los
lados ( ) ), porque contradice el teorema de Pitágoras.

Q.E.D.
4. Conclusiones:
Sí podía existir una demostración sencilla y maravillosa con herramientas matemáticas del siglo
XVII tal como Fermat lo afirmó en el margen de la “Arithmetica de Diofanto” donde escribía sus
notas. Teniendo en cuenta que Fermat fue quien introdujo el principio del descenso infinito, el cual
fue empleado en su demostración para en el UTF, no sería extraño que hubiese empleado
algún procedimiento similar o que su solución particular para el caso de , lo hiciera pensar
que tenía la solución general de su Último Teorema.
El teorema de por si no tiene una mayor aplicación, pero al ser considerado el problema más difícil
del mundo durante 360 años, la búsqueda de su demostración, permitió el avance de la ciencia
matemática durante los últimos cuatro siglos y en donde grandes matemáticos como Euler (1707-
1783),Legrange (1736-1813), Germain (1776-1831), Gauss (1777-1855), Cauchy (1789-1857),
Lamé (1795-1870), Dirichlet (1805-1859), Liouville (1809-1882), Kumer (1810-1893),Vaudiver
(1882-1973),Taniyama (1927-1958), Shimura (1930-), Wiles (1953-) y muchísimos otros
matemáticos que en la búsqueda de su demostración contribuyeron con el avance de las ciencias
exactas y teoría de números.

RECONOCIMIENTO

Estoy muy agradecido con todos los matemáticos y colegas por sus comentarios en estos
años de investigación.

Referencias

[1] Cox D. A. Introduction to Fermat's last theorem. Amer. Math. Monthly 101 (1), pp 3-14. 1994.
[2] Singh S. Fermat’s Last Theorem. London. ISBN 1-85702-521-0. 1997.
[3] Ribenboim P., The history of Fermat's last theorem (Portuguese), Bol. Soc. Paran. Mat. (2) 5
(1), pp 14-32. 1984.
[4] van der Poorten A. Remarks on Fermat's last theorem, Austral. Math. Soc. Gaz.21 (5), pp 150-
159. 1994

8
[5] de Castro Korgi R. The proof of Fermat's last theorem has been announced in Cambridge,
England (Spanish), Lect. Mat.14, pp 1-3. 1993.
[6] Wiles A. Modular elliptic curves and Fermat’s Last Theorem (PDF). Annals of Mathematics
141 (3): pp. 443-531. Doi: 10.2307/211855, May 1995.
[7] Heath-Brown D. R. The first case of Fermat's last theorem. Math. Intelligencer7 (4), pp 40-47.
1985
[8] Cox D. A. Introduction to Fermat's last theorem. Amer. Math. Monthly101 (1), pp 44-45. 1994
[9] Barlow P. An Elementary Investigation of Theory of Numbers. St. Paul's Church-Yard,
London: J. Johnson. pp. 144–145. 1811.
[10] Gautschi, W. Leonhard Euler: His Life, the Man, and His Work. SIAM Review 50 (1): pp 3–33.
2008.
[11] Mačys J.—J. On Euler’s hypothetical proof. Mathematical Notes 82 (3–4) . pp 352–356. 2007
[12] Del Centina, A. Unpublished manuscripts of Sophie Germain and a revaluation of her work on
Fermat's Last Theorem. Archive for History of Exact Sciences 62.4 (2008): pp 349-392. Web.
September 2009.
[13] Carmichael, R.—D. The Theory of numbers and Diophantine Analysis. Dover N. Y. 1959.
[14] Legendre, A.M., Research on some analysis of unknown objects, particularly on Fermat's
theorem (in French) Mem. Acad. Roy. Sci. Institut France 6: 1–60. 1823.
[15] Lamé, G., Memory on Fermat's Last Theorem (in French). C. R. Acad. Sci. Paris 9. pp. 45–46.
1839.
[16] Lamé, G., Memory of the undetermined analysis demonstrating that the equation
is impossible in integer numbers (in French). J. Math. Pures Appl. 5: pp. 195-211, 1840.
[17] Ribet K. Galois representation and modular forms. Bulletin AMS 32, pp 375-402. 1995.
[18] Ribet, K. A. "From the Taniyama-Shimura Conjecture to Fermat's Last Theorem." Ann. Fac.
Sci. Toulouse Math. 11, pp. 116-139, 1990.
[19] Serge L. Some History of the Shimura-Taniyama Conjecture. Notices of the AMS. Volume 42,
Number 11, pp 301-1307. November 1995.
[20] Gerhard F. Links between stable elliptic curve and certain Diophantine equations. Annales
Universitatis Saraviensis. Series Mathematicae 1 (1) iv+40. ISSN 0933-8268, MR 853387.
1986.

9
 [21] Gerd F. The proof of Fermat’s Last Theorem R. Thaylor and A. Wiles. Notices of the AMS.
Volume 42 Number 7, pp 743-746, July 1995.
[22] Darmon H., Deamond F. and Taylor R. Fermat’s Last Theorem. Current Developments in
Math. International Press. Cambridge MA, pp 1-107. 1995.
[23] Kleiner I. From Fermat to wiles: Fermat’s Last Theorem Becomes a Theorem. Elem. Math. 55,
pp. 19-37 doi: 10.1007/PL00000079. 2000.
[24] Porras Ferreira J. W. Fermat’s Last Theorem A Simple Demonstration. International Journal of
Mathematical Science. Vol 7 No.10, pp 51-60. 2013.
Conflicto de intereses

No tengo ningún conflicto de intereses, porque este trabajo es producto de las investigaciones
realizadas por mí y relacionadas con todas las referencias descritas en este manuscrito y mis
conocimientos matemáticos sobre la materia.

Derechos de autor registrados en Colombia.

10

View publication stats