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

net/publication/304784273

Ultimo Teorema de Fermat, Una demostracion Sencilla

Data · July 2016

CITATIONS READS

0 203

1 author:

Jose William Porras

Escuela Naval Almirante Padilla Colombia
52 PUBLICATIONS   63 CITATIONS   

SEE PROFILE

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

Prime numbers investigation View project

Investigation of squares of primes View project

All content following this page was uploaded by Jose William Porras on 05 July 2016.

The user has requested enhancement of the downloaded file.

 Último Teorema de Fermat, Una demostración Sencilla
Jose William Porras Ferreira
Traducción artículo: Fermat’s Last Theorem A simple Demonstration. International Journal of
Mathematical Science. Vol 7, No. 10, pp 51-60. 2013 by José William Porras Ferreira

Abstract— Este documento presenta dos soluciones del Último Si es un entero mayor que 2, entonces no existen tres
Teorema de Fermat (UTF). La primera solución usando algunas números naturales y siendo ( ) en:
propiedades básicas del algebra relacionadas con el Teorema de
Pitágoras, expresiones de ecuaciones, un análisis de su
comportamiento, cuando se comparan con potencias y Pierre de Fermat (1667), demostró el caso para n=4,
potencias y empleando el principio matemático del “Buen utilizando la técnica del descenso infinito [5]; Leonard Euler
Orden de los números naturales”, se demuestra que en la ecuación de (1735), demostró el caso de n=3 confirmado en 1770 [8]. Más
Fermat . La segunda solución es empleando la conexción
tarde Germain, estableció que si p y 2p+1 son ambos primos ,
entre y la potencia a través del triángulo de Pascal o los
coeficientes del binomio de Newton, donde la ecuación de Fermat no entonces la expresión para la potencia de la conjetura de
cumple el primer coeficiente, por lo tanto es imposible que: Fermat significaba que uno de los o sería divisible por
[8]. Germain comprobó para números n<100 y Legendre,
para y( ) 1.
extendió el método para n<197 [8]. En 1825, Dirichlet y
Palabras claves— Último Teorema de Fermat, Teorema de Legendre, extendieron el caso de n=3 para n=5. Más
Pitágoras, Coeficientes del binomio de Newton,, Triángulo de Pascal, recientemente, Lame (1839), lo extendió para n=7 [8].
Principio del buen orden
A. El gráfico de la ecuación de Fermat
I. INTRODUCCIÓN
La Figura 1 muestra una representación de la Ecuación de
E STE documento comprueba con relación a Pierre de
Fermat: podría ser cierta su expresión cuando el dijo que
tenía una “demostración maravillosa” sobre el Último
Fermat, dividiendo dicha ecuación por zn, transformando:

Teorema de Fermat en 1637? [3]

“Cubum autem in duos cubos, aut quadratoquadratum in A la ecuación:
duos quadratoquadratos, et generaliter nullam in infinitum
ultra quadratum potestatem in duos eiusdem nominis fas est 1,
dividere cuius rei demonstrationem mirabilem sane detexi.
Hanc marginis exiguitas non caperet.” Pierre de Fermat [3] Dónde:
“Es imposible descomponer un cubo en dos cubos, un ξ yβ
bicuadrado en dos bicuadrados y en general cualquier
potencia diferente a la del cuadrado en dos potencias con el
mismo exponente. He encontrado una demostración
maravillosa, pero el margen del libro es demasiado pequeño
para colocarla.” Pierre de Fermat [3].
La demostración de Wiles (1995) utilizando curvas
elípticas, esquemas de grupos, el algebra de Heck, la teoría de
Iwasawa, teorías de Von Neumann-Bernays-Gödel’ y,
Zermelo-Fraenkel’ y otras herramientas matemáticas
complejas, desarrolladas muchos años después de la época
cuando Fermat vivió [7]. Este documento muestra una
demostración sencilla, utilizando procedimientos conocidos en
el siglo XVII.
II. ÚLTIMO TEOREMA DE FERMAT

El Último Teorema de Fermat o Teorema Fermat-Wiles es

uno de los más famosos teoremas en la historia de las Fig. 1 Representación gráfica de la Ecuación de Fermat.
matemáticas [3] y [6]. La búsqueda de su demostración
contribuyó con el desarrollo de la teoría de números en De este gráfico se pueden extraer tres ecuaciones:
algebra en el siglo XIX y la prueba del teorema de la Último
1. La ecuación de la línea recta , para
1
significa los números naturales sin el 0 2. La ecuación del círculo , para
 3. La ecuación de Fermat , para 3. x² 2ym m²…………...………….…. Acuerdo a 1.
4. x² 2y(x u) (x u)²… substituyendo en 3., m por x
III. TERNAS PITAGÓRICAS u ……..…………………..……….… Acuerdo a 3.
Una terna Pitagórica primitive esta compuesta de tres 5. x² 2yx 2yu x² 2xu u²………… Acuerdo a 4.
numerous enteros (x, y, z) tales que . Desde la 6. 0 2yx 2yu 2 xu u².………….… Acuerdo a 5.
época de los Babilonios se conocía como generar estas ternas 7. 2yx 2yu 2xu u² y esto es un absurdo (un
para ciertos casos. Los Pitagóricos extendieron el studio sobre
número positive no puede ser igual a uno negativo o 0
ellas encontrando resultados como: “ cualquier entero impar
cuando ).
es un miembro de una terna Pitagórica primitiva” [3]. Sin
embargo la solución completa para este problema solo se 8. Por lo tanto lo asumido en 2 es incorrecto…………….
obtuvo en el siglo XIII cuando Fibonacci encontró la manera …………………………………...……… Acuerdo a 7.
de generar todas las ternas Pitagóricas posibles [2]. 9. Por lo tanto: m < x…..………….…......… Acuerdo a 8.
Hay diferentes maneras de generar las ternas Pitagóricas Q.E.D2.
primitivas [1], [2] y [4], pero aquí se mostrará otra manera de
encontrar ternas Pitagóricas (x, y, z) como se indica a En la Ecuación (2) de acuerdo al Principio del Buen Orden,
continuación. debe contener un elemento mínimo dentro de los números
Aplicado a un triángulo rectángulo de lados e hipotenusa naturales y como es una ecuación de primer grado debe
enteras, el Teorema de Pitágoras establece que la siguiente cumplirse para todo , siendo el elemento más pequeño
ecuación: el número 1. Adicionalmente con , es posible encontrar
x² y² z² (1) todas las ternas Pitagóricas, porque pertenecerá a los
Puede ser satisfecha por números naturales (x, y, z) 0 números naturales, otros valores de , darán
En la Ecuación (1), una de las dos variables ( o ) debe ser también .
mayor que la otra y no pueden ser iguales, porque cuando son Reemplazando la Ecuación (2) en la Ecuación (1) se
iguales se tiene y no sería un número obtiene:
natural, (la raíz cuadrada de dos es un número irracional con x² y² (y m)² y² 2ym m²
una matiza infinita, que continúa siendo irracional cuando se
multiplica por un número natural). (x² m²) (2m) y (3)
Asumiendo que ( ) entonces debe ser mayor que Las ternas Pitagóricas primitivas de y con impar, se
( ) para que la ecuación (1) tenga solución, es decir: obtienen reemplazando m 1 en las Ecuaciones (2) y (3),
, y por lo tanto se puede escribir: quedando:
(2) (4)
Para . Si es igual o mayor que , la Ecuación (5)
(1) no tendría solución con la Ecuación (2).
La Figura 2 muestra una representación gráfica de las Las ternas Pitagóricas primitivas de y con impar, se
ecuaciones (1) y (2). obtienen reemplazando m 2 en las Ecuaciones (2) y (3),
quedando:
(6)

(7)

Las Ecuaciones (4), (5), (6) y (7) permiten encontrar las

ternas Pitagóricas primitivas y , donde los valores y
corresponden a los valores hallados para y ,
respectivamente con esas ecuaciones y ( ) .
Las bases mayores y como ternas Pitagóricas, se
calculan utilizando la Ecuación (8) con k 1, k donde
y son ternas Pitagóricas primitivas. Con impar,
y con par, :
( ) ( ) ( ) (8)
Fig. 2 Representación gráfica de las ecuaciones (1) y (2).
Las Tablas I y II, muestran ejemplos de lo anterior:
Teorema 1:
En las Ecuaciones (1) y (2) TABLA I
Prueba:
1. z > y > x,  ( )
( ) 2
Del latín - Quod erat demonstrandum
2. Supóngase m x > 0  m = x u, u 0
TERNAS PITAGÓRICAS PRIMITIVAS Y BASES MAYORES CON
IMPAR. Este método es sencillo pero muy importante, por ejemplo
Ternas Pitagóricas Primitivas con x impar k=1 (m=1 Ecuaciones (4) y con x 24, solo hay cuatro soluciones con x y con números
(5))
naturales, siendo también z un número natural y 143, 70, 45,
x a=3 a=5 a=7 a=9 a=11 a=13 a=15 a=17 a=19 32, y z 145, 74, 51, 40 respectivamente, todos valores
y b=4 b=12 b=24 b=40 b=60 b=84 b=112 b=144 b=180 obtenidos con las Ecuaciones (4), (5), (6), (7) y (8), (ver los
z c=5 c=13 c=25 c=41 c=61 c=85 c=113 c=145 c=181
números resaltados en negro de la Tabla II), soluciones con
m 2, 4, 6, 8 todos divisores de 24. Valores con x y y z como
un número natural son equivalente y dan el mismo z, como si
Ternas Pitagóricas bases mayores: Ecuación (8) k=2 (m=2 Ecuación (2) se hubiese hecho con donde , por ejemplo
x 6 10 14 18 22 26 30 34 38 x 24, y 18, z 30 es equivalente a y=24, x=18, z=30, pero no
se han considerado como soluciones debido a que , (
y 8 24 48 80 120 168 224 288 360
siempre se ha considerado ). También con m 12 que es
z 10 26 50 82 122 170 226 290 362 un divisor de 24 y resuelve x 24, y 18, z 30 corresponde a
una terna Pitagórica similar con x 18, y 24 y z 30 con
m 6.
Ternas Pitagóricas bases mayores: Ecuación (8) k=3 (m=3 Ecuación (2)
Hay otras ternas Pitagóricas primitivas (mostradas en [1],
x 9 15 21 27 33 39 45 51 57
[2] y [4]) que también se pueden obtener con m 2 (ecuación
y 12 36 72 120 180 252 336 432 540 (3)) o con las siguientes ecuaciones:
z 15 39 75 123 183 255 339 435 543
x² y² z² x 2uv, y u² v², z u² v², (para estas
ecuaciones m 2v²) (9)
Ternas Pitagóricas bases mayores: Ecuación (8) k=4 (m=4 Ecuación (2)) Donde u y v son números primos y uno de ellos es par ( ) y
x 12 20 28 36 44 52 60 68 76
el otro impar ( ).
Ejemplos con m 8 de la Ecuación (9):
y 16 48 96 160 240 336 448 576 720

z 20 52 100 164 244 340 452 580 724 x 20, y 21, z y m 8 2v², v 2, u 20/4 5 y

TABLA II
TERNAS PITAGÓRICAS PRIMITIVAS Y BASES MAYORES CON La Tabla III muestra algunos ejemplos:
x=a. PAR
Ternas Pitagóricas primitivas x par, k=1 (m=2 Ecuaciones (6) y (7)) TABLA III

x a=6 a=8 a=10 a=12 a=14 a=16 a=18 a=20 a=22 a=24 EJAMPLOS DE TERNAS PITAGÓRICAS PRIMITIVAS CON
SECUENCIA DE NÚMEROS PRIMOS, UNO DE ELLOS PAR DE
y b=8 b=15 b=24 b=35 b=48 b=63 b=80 b=99 b=120 b=143
ACUERDO A LA ECUACIÓN (9)
z c=10 c=17 c=26 c=37 c=50 c=65 c=82 c=101 c=122 c=145
Ternas Pitagóricas Primitivas con secuencia de números primos

m=8 v=2, u=7 v=2, u=11 v=2, u=13 v=2, u=17 v=2, u=19 v=2, u=23
Ternas Pitagóricas de Bases Mayores: Ecuación (8) k=2 (m=4 Ecuación (2))
x 28 44 52 68 76 92
x 12 16 20 24 28 32 36 40 44 48
y 45 117 165 285 357 525
y 16 30 48 70 96 126 160 198 240 286
z 53 125 173 293 365 533
z 20 34 52 74 100 130 164 202 244 290
m=8 v=2, u=29 v=2, u=31 v=2, u=37 v=2, u=41 v=2, u=43 v=2, u=47
x 126 124 148 164 172 184
Ternas Pitagóricas de Bases Mayores: Ecuación (8) k=3 (m=6 Ecuación (2))
y 837 957 1365 1677 1845 2205
x 18 24 30 36 42 48 54 60 66 72
z 845 965 1373 1685 1853 2213
y 24 45 72 105 144 189 240 297 360 429

z 30 51 78 111 150 195 246 303 366 435 Para los casos donde u y v son primos y ambos son impares
las ternas Pitagóricas primitivas pueden ser obtenidas
utilizando la ecuación:
Ternas Pitagóricas de Bases Mayores: Ecuación (8) k=4 (m=8 Ecuación (2))
x² y² z² x uv, y (u² v²), z (u² v²), (para esta
x 24 32 40 48 56 64 72 80 88 96
ecuación m v² ) (10)
y 32 60 96 140 192 252 320 396 480 572

z 40 68 104 148 200 260 328 404 488 580 Para todos los números naturales x, y que no pertenezcan a
ternas Pitagóricas, z es irracional con una mantisa infinita. Su
cálculo proviene de una raíz de 2, ( √ ), lo cual
significa que m de la ecuación (2) es irracional con una
mantisa infinita. Se tiene: ( )
(irracional con mantisa infinita) (número natural)
(la mantisa debe ser infinita también). Corolario dos: El teorema 2 también se aplica para la
Otro importante análisis es que ξ y β permanecen constantes ecuación donde ( ) y
( ) , porque xⁿ⁻²< ⁿ⁻² ⁿ⁻².
para las ternas Pitagóricas primitivas, como en su proyección
hacia las ternas Pitagóricas de bases mayores: Teorema 3
ξ x/z (xk)/(zk) ak/ck a/c
β= y/z =(yk)/(zk) = bk/ck = b/c
 ( )
La importancia de las Ecuaciones (2) y (3) es que cualquier
terna Pitagórica primitiva se puede encontrar fácilmente.
Utilizando el principio del buen orden de los números
naturales, los elementos mínimos de las Ecuaciones (2) y (3) Prueba:
dentro del conjunto de los números naturales son:
. Adicionalmente con las Ecuaciones (2) y 3 1. Asumiendo que la Ecuación , tiene
soluciones enteras donde ( ) y
se puede formar cualquier triangulo rectángulo con lado
( ) son coprimos.
√ donde y número par, and donde
( ) y . La ecuación 2. Asumiendo que una de las variables ( ) es menor
resultante tiene la misma forma de la Ecuación 1, es decir que la otra ( ). No pueden ser iguales porque
, pero y . Esto es conduce a √ y por lo tanto ).
importante porque ayudará a demostrar que el Último
Teorema de Fermat es cierto en forma sencilla. 3. Entonces ……….……..…. Acuerdo a 1 y 2.

IV SOLUCIÓN DEL ÚLTIMO TEOREMA DE FERMAT 4. Si tiene soluciones enteras, se puede hacer ;
A. PRIMERA SOLUCIÓN , donde debe ser un número entero, pero
(teorema 2)
Una solución utilizando z y para resolver la ecuación
, para n 2, similar al procedimiento seguido ( )
para encontrar las ternas Pitagóricas primitivas de la sección
anterior , demostrará que :
( )
Teorema 2
En la ecuación siempre es verdad que: ( ∑( )
for ) ( para n 2)

Prueba:
( )
( )
1. para n>1
2. Sea la solución de para y En la Ecuación (11) es claro que y se esta
la solución de y asumiendo que asumiendo que es un número entero
es solución de ( )
3. 5. De acuerdo a 3:
4. ………….…….… Acuerdo a 2.
5. xⁿ ⁿ …….......… Acuerdo a 1, 2, 3 y 4. ( )
6. xⁿ ⁿ (x ) ……….… Acuerdo a 4 y 5.
7. Acurdo a 6. ∑( )
8. xⁿ⁻²< ⁿ⁻² ⁿ⁻² …………..…… … Acuerdo a 7.
9. x< <y …………….…..………… … Acuerdo a 8.
10. …. Acuerdo a 9. ( )
11. > ……………….....……...…. …. Acuerdo a 10. ( )

Q.E.D. ( )
6. Observando las Ecuaciones (11) y (12), ambas tienen
la misma forma porque en la Ecuación (11) se asumió
Corolario uno: En la ecuación: que es un entero (solo difieren en el nombre de las
 variables), lo cual significa que si + = y √ , entonces , pero
entonces: porque √ es irracional.
and √ entonces ,
( ) pero ≢
with and entonces para
7. La Ecuación (13) tiene la misma forma de la es irracional (no tiene
Ecuación de Fermat pero con valores soluciones enteras mínimas).
menores ( ) lo cual nos deja en la senda del
descenso infinito (si hay un entero mínimo, entonces d. ( ) entonces ( )
con la ecuación (13), se obtendría otro menor, lo cual
La solución mínima para es:
contradice el principio del buen orden de los números
and , then , and ,
naturales, por lo tanto y también pero:
. ≢ con
8. Aplicando el teorema 2 y el principio del buen orden and entonces para
de los números naturales: es irracional (no tiene soluciones enteras
mínimas).
Comenzando con la ecuación original (Figura 3):
Eso significa que la ecuación de Fermat no
( ) tiene una solución entera mínima donde ( )

9. Por lo tanto lo asumido en 1 es falso y el Último

(teorema 2) Teorema de Fermat queda demostrado porque
.
( ) deben pertenecer a si no Q.E.D.
( )
Por el principio del buen orden de los números
naturales, debe tener una solución mínima entera, por lo
que es necesario mirar la solución entera mínima en:

Existen cuatro casos:

a. ( ) pero ( )
La solución mínima es:

√ y √ , entonces , pero
porque √ es irracional.
√ y √ then , pero
≢ con
y por lo tanto for
es irracional (no tiene una solución entera
mínima)

b. pero ( )
La solución mínima para es:
Fig. 3 Representación gráfica de la ecuación de Fermat
√ y , entonces , pero , ( ) , .
porque √ es irracional.
√ entonces , El siguiente gráfico muestra una comparación entre la
pero ≢ with ecuación de Pitágoras ( ) y la
and entonces para ecuación de Fermat ( ) para .
es irracional (no tiene una
solución entera mínima)

c. pero ( )
La solución mínima para es:
 Fig. 4 Grápico donde y con
( ) y ( ) para n 2.

El Último Triángulo de Fermat

El Último Triángulo de Fermat se forma como un triángulo

de lados ( ), cuando se unen las líneas rectas
y , donde 60⁰ 90⁰ ( es el ángulo Fig. 6 Tipos de Triángulos
opuesto al lado ). Este triángulo ha sido nombrado
como el Último Triángulo de Fermat en su honor. Una Verificación del Teorema 3 en el Último Triángulo de
representación gráfica se muestra en la Figura 5. Aquí Fermat
. Z solamente podría ser un número
natural cuando ⁰ y ( ) pertenezcan a ternas a una En la Figura 7, se forman los siguientes tres triángulos:
terna Pitagórica, condición que nunca cumple √ , 1. Último Triángulo de Fermat, con lados x, y,
porque . √
2. Triángulo recto, con lados √

3. Triángulo recto, con lados

Fig. 5 Representación gráfica del Último Triángulo de Fermat.

El Último Triángulo de Fermat es parte de un Triángulo

Escaleno, ver la Figura 6.

Fig. 7 Representación gráfica del Último Triángulo de Fermat para

verificar el teorema 3.
 Analizando los dos triángulos rectos que forman el Último y
Triángulo de Fermat, es posible demostrar que:
con ( ) y ( ) para tener
coprimos. soluciones enteras, entonces:
Prueba:
1. Asumiendo ( ) : ( ) ( )
√

( ) ( )
( ) √
Esta ecuación para que tenga soluciones enteras:
, pero no correspondería al Último Triángulo de Fermat √
entonces . La solución no es la solución minima,
√
La Tabla IV y la figura 8 muestran algunos ejemplos. hay otra con por lo tanto:

TABLA IV 5. No hay más posibilidades para ser estudiadas, por

EJEMPLOS PARA LA ECUACIÓN: lo tanto:
( )
Q.E.D.
24
32 32 32 B. SEGUNDA SOLUCIÓN
40 40 40
En esta sección se mostrará otra solución analítica que
45 70 143 demuestra que el Último Teorema de Fermat es cierto.
51 74 145
Relación entre la potencia n de un número y su factorial
77 102 175 n! (número factorial), que permite demostrar el Último
Teorema de Fermat .
El autor encontró una relación entre cualquier número
natural ( ) elevado a una potencia , ( ), y su
correspondiente factorial (n!), donde x y n son números
naturales.
La Tabla V muestra cómo se encontró esta relación. En esta
tabla es posible ver como la potencia guarda una relación
estrecha con , mostrando como la potencia de un número
Fig. 8 El triángulo formado con ( ) y para , siempre será a partir de la columna
( )
(potencia 2 da 2! que es 2, potencia 3 da 3! que es 6, potencia
4 da 4! que es 24, potencia 5 da 5! que es 120, potencia 6 da 6!
2. Asumiendo (z, ) y ( que es 720 y así sucesivamente). Las cajas resaltadas de la
número irracional) pero . Tabla V, muestran filas y columnas de por y en el lado
. Solo hay una inferior derecho siempre da .
solución entera al mismo tiempo con ( )y
La Tabla V se construyó de la siguiente forma:
corresponde al Triángulo Isósceles (Fig. 5). Las otras
soluciones dan .  Es el número elevado a la potencia .
3. Asumiendo ( ( ) (  La primera columna de es .
números irracionales), pero ( )  La segunda columna de es la diferencia entre y
Entonces: ( ) , es decir { ( ) }.
 La tercera columna de es construída en forma similar
entre la diferencia de los valores encontrados en la
segunda columna de , es decir ( )
( ) ( ) y así sucesivamente hasta la
columna .
4. Asumiendo ( ( ) (
 El piso de la columna siempre es desde la fila
numerous racionales):
.
 Los coeficientes ( ) del polinomio generado El factor (-1)ᵏ de la Ecuación (14) es para indicar que se
( ) ( ) ( ) ( ) , como alternan los signos de los coeficientes: ( ). Estos coeficientes,
resultado de esta operación hasta se muestran en la figura 9.
son exactamente los coeficientes del binomio de Newton de la
TABLA V ecuación:
RELACIÓN ENTRE LA POTENCIA CON n!
∑( ) ( ) ⁿ ( )ⁿ ( )
x n=1 n=2 n=3

0 0 0 0 0 0 0 0 0 0
( )
1 1 1 1 1 1 1 1 1 1 ( )
2 2 1 4 3 2 8 7 6 5
3 3 1 9 5 2 27 19 12 6
O, en la siguiente ecuación:
4 4 1 16 7 2 64 37 18 6

5 5 1 25 9 2 125 61 24 6 ∑( ) ⁿ ( )ⁿ ( )
6 6 1 36 11 2 216 91 30 6

7 7 1 49 13 2 343 127 36 6
( )
8 8 1 64 15 2 512 169 42 6 ( )
9 9 1 81 17 2 729 217 48 6 La única diferencia de los coeficientes de la Ecuación (16)
10 10 1 100 19 2 1000 271 54 6 es que todos son positivos, mientras que los coeficientes de las
x n=4 n=5
Ecuaciones (14) y (15), los signos se alternan comenzando
0 0 0 0 0 0 0 0 0 0 0 0
con el primero que es positivo.
1 1 1 1 1 1 1 1 1 1 1 1 La relación de estos coeficientes de las Ecuaciones (14),
2 16 15 14 13 12 32 31 30 29 28 27 (15) y (16) se debe a que siempre es posible obtener
3 81 65 50 36 23 243 211 180 150 121 93 exactamente la raíz de ( ) or ( ) , o cuando
4 256 175 110 60 24 1024 781 570 390 240 119 una ecuación en forma de polinomio contiene esos coeficientes
5 625 369 194 84 24 3125 2101 1320 750 360 120
en la misma forma. Más adelante se demostrará que la
ecuación de Fermat no contiene esos coeficientes en la misma
6 1296 671 302 108 24 7776 4651 2550 1230 480 120
forma.
7 2401 1105 434 132 24 16807 9031 4380 1830 600 120

8 4096 1695 590 156 24 32768 15361 6930 2550 720 120 Teorema 4
9 6561 2465 770 180 24 53043 26281 10320 3390 840 120
Cualquier número natural c que este entre y( ) su
10 10000 3439 974 204 24 1E+05 40951 14670 4350 960 120
raíz n es irracional, donde
Prueba:
1. Sea el número natural que esta en:
( ) donde x
2. Si z= √
3. ………………………….…... Acuerdo a 2.
4. ( ) ..……..………. Acuerdo a 1 y 3.
5. ( ) ………………………. Acuerdo a 4.
6. sera un radical (proviene de la raíz )
…………….……………..……….. Acuerdo a 4 y 5.
7. Asumiendo que la solución de √ , donde
es una fracción irreductible ( y son factores
Fig. 9 Representación de los coeficientes de la serie
coprimos), donde ( ) .
polinomial .
8. Elevando a la potencia se obtiene: ( )
Tomando esta relación del polinomio generado como una
ecuación, se puede expresar como: ( )
9. Si entonces , pero , y sería
∑( ) ( )( )ⁿ ( )
una contradicción a lo encontrado en 5.
10. Si , entonces no sería un número natural, lo
( )
( ) cual contradice a 1.
 11. Por lo tanto no es una potencia perfecta para , (16), es decir como la potencia de la suma o diferencia de
(√ ), por lo tanto, su raíz es dos números naturales.
irracional. Acurdo a 9 y 10 La Ecuación (16) puede ser escrita de la siguiente forma:
Q.E.D.
( )
Corolario 1: La raíz para de un número primo
∑( ) ⁿ ( )
siempre es irracional. ( )
Corolario 2: Los numerous que están entre y( ) La Ecuación (17) cumple con la estructura de los
para no cumplen con la Ecuación (11) coeficientes del Binomio de Newton y la estructura de los
Corolario 3: La raíz de un entero que no es una coeficientes de la Ecuación (14) y por lo tanto es un número
potencia de otro entero es irracional ( √ → is natural.
irracional). En el caso del Último Teorema de Fermat, se comprobará
Por ejemplo para , 99 esta entre , que , no puede ser expresado manteniendo la
y ( ) ( ) estructura de los coeficientes del binomio de Newton para
), y al construirse la Tabla 4 con 99 en lugar de 100 ( ), . El primer coeficiente es 2, por lo tanto no sería un
no cumpliría que , porque la raíz 2 de 99 es un número número natural, por lo cual se probaría el Último Teorema de
Fermat (no puede cumplir las ecuaciones (14), (15) o (16)).
irracional. ( √ )
Repasemos este concepto en el Último Teorema de Fermat:
(18)
Cualquier número natural que se le pueda extraer
donde ( ) y números naturales, para
exactamente la raíz , se puede expresar por la ecuaciones (15)
.
o (16), donde los coeficientes corresponden al binomio de
Newton, cumpliendo también la Ecuación (14): Prueba:
Si √ , donde z es un número natural Asumiendo x y
y x + s, donde s
, donde a y d son números naturales. ( )
( )
( )
∑( ) ⁿ ( )
ⁿ ∑( ) ⁿ ( ) ( )
( ) Note que la estructura de los coeficientes del binomio de
Newton se encuentran en la Ecuación (19) y la raíz de es
exacta, es decir, no han cambiado y sigue siendo un número
La estructura de los coeficientes es exactamente igual al
natural.
triángulo de Pascal de la Figura 10.
Reemplazando de la ecuación (19) en la ecuación (18) se
tiene:

Fig. 10 Coeficientes de Newton o triángulo de Pascal.
Si no es un número natural, no se puede expresar cómo la
suma de dos enteros. Si , es un número natural, para ser
expresado en la forma de los coeficientes de Newton, donde
( ) , debe contener los mismos coeficientes del
binomio de Newton de la Ecuación (14), o Ecuaciones (15) y
( )
El primer coeficiente de no es 1, es 2 en la Ecuación
(20), la estructura de los coeficientes del binomio de Newton
en esta ecuación ya no es igual a la estructura de los
coeficientes de las Ecuaciones (14), (16) or (17) para que la
raíz de sea exacta por lo tanto no puede ser un número
natural. Si fuese un número natural, se estaria diciendo que
√ (Ec. 20) and √ (Ec. 17), son lo
mismo y entre estas dos ecuaciones hay una contradicción: la
ecuación en forma de polinomio dada por el binomio de
Newton y el principio básico de conexión entre n con n! a
través de los coeficientes del binomio de Newton indican que
el primer coeficiente es 1 y no 2. Esto prueba también el
Último Teorema de Fermat.
IV. CONCLUSIONES
 El método estandard conocido para encontrar ternas AUTOR:
José Willliam Porras es un Vicealmirarante retirado de la Armada
Pitagóricas, es mediante la sucesión de números primos,
Colombiana. Es Ingeniero Electrónico, Master y EE (Electrical Engineer) de
ecuaciones (9) y (10). Explorando otros métodos para la Escuela de Posgrados de la Marina americana (NPS – Monterey –
demostrar el teorema de Pitágoras, empleando la ecuación California - EE.UU.) (teléfono +54-315-7437915; e-mail:
para , las ternas Pitagóricas pueden ser jwporras@balzola.org).
obtenidas cuando es un número natural, (1,2,3,4... ∞).
Comparándolo con el método de la sucesión de numeros
primos, se puede establecer que es más fácil ,
porque de una manera sencilla se puede calcular cualquier
terna Pitagórica primitiva ordenada con par o impar.
Aplicando éste método en forma similar para , y
utilizando el principio matemático del buen orden en los
números naturales, fue posible la demostración del Último
Teorema de Fermat.
Se mostró como se forma el Último Triángulo de Fermat,
verificándose el cumplimiento del Teorema 3 dentro de este
triángulo, con lados ( ) donde ( )
cumpliéndose: .
Adicionalmente utilizando la conexión de n! con ( ) a
través de los coeficientes del binomio de Newton para
se demuestra también el Último Teorema de Fermat.

RECONOCIMIENTO
Deseo agradecer a los profesores de la Escuela Naval de
Colombia y a la Escuela de Posgraduados de los Estados
Unidos (Naval Postgraduate School, Monterey California,
USA) por enseñarme los fundamentos matemáticos que
permitieron terminar esta investigación y el artículo escrito.
Estoy agradecido también con el profesor Carlos Giraldo
Ospina por sus comentarios y sus estudios precios sobre el
Último Teorema de Fermat, igualmente que muchos de los
colegas matemáticos por sus numerosos comentarios y muchos
años de investigación.
En especial le agradezco al Dr. Carlos Alberto Andrade-
Amaya, quién críticamente ordenó la demostración siendo de
mucha ayuda para expresar el presente manuscrito en una
mejor forma científica.

REFERENCIAS
[1] CARMICHAEL, R. D. The Theory of numbers and Diophantine
Analysis. Dover N.Y., 1959
[2] DANTZIG, Tobias. The Bequest of the Greeks. London: Allen &
Unwin. ISBN0837101602. 1955
[3] DURÁN GUARDEÑO, Antonio José. I. Matemáticas y matemáticos en
el mundo griego. El legado de las matemáticas. De Euclides a Newton:
los genios a través de sus libros. Sevilla. ISBN9788492381821.

[4] LEVEQUE, W. J. Elementary Theory of numbers.. Addison-Wesley

Publishing Company, 1962
[5] PLAZA, Sergio. Aritmética Elemental una introducción (otra más).
Depto de Matemática, Facultad de Ciencias, Universidad Santiago de
Chile. Casilla 307-Correo 2.
[6] SINGH, Simon. El enigma de Fermat. Tercera Edición Planeta
ISBN9788408065722 2010
[7] WILES, Andrew. Modular elliptic curves and Fermat’s Last Theorem
(PDF). Annals of Mathematics 141 (3): pp. 443-531. Doi:
10.2307/211855, May 1995.
[8] WEB1: http://www.mathworld.wolfram.com/Fermatlasttheorem.html.
Accessed: January 4, 2011.

View publication stats