Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
net/publication/304784271
CITATIONS READS
0 1,501
1 author:
SEE PROFILE
Some of the authors of this publication are also working on these related projects:
All content following this page was uploaded by Jose William Porras on 05 July 2016.
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
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:
(7)
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 ( )
√ 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.
( ) ( )
( ) √
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:
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:
( )
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
Fig. 10 Coeficientes de Newton o triángulo de Pascal. 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
Si no es un número natural, no se puede expresar cómo la
el primer coeficiente es 1 y no 2. Esto prueba también el
suma de dos enteros. Si , es un número natural, para ser
Último Teorema de Fermat.
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 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.