12.07.2015 Views

Taller 8 - Universidad de Talca

Taller 8 - Universidad de Talca

Taller 8 - Universidad de Talca

SHOW MORE
SHOW LESS
  • No tags were found...

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>Universidad</strong> <strong>de</strong> <strong>Talca</strong><strong>Taller</strong> <strong>de</strong> MatemáticaInstituto <strong>de</strong> Matemática y Física 2008<strong>Taller</strong> 8AritméticaIntroducciónEmpecemos con algo <strong>de</strong> historia <strong>de</strong> la Matemática.Es bien sabido que la ecuación2 2 2a + b = ctiene infinitas soluciones con a , b,c números enteros, llamados Triples Pitagóricos (verejercicios). Para un matemático resulta entonces natural preguntarse qué pasa sireemplazamos la potencia 2 por otra potencia mayor.Es <strong>de</strong>cir preguntarse: Qué soluciones en números enteros po<strong>de</strong>mos encontrar para ecuaciones:3 3 3a + b = c4 4 4a + b = c5 5 5a + b = cetc.En general qué soluciones en enteros hay para:n n na + b = c , con n > 2La respuesta es NO HAY NINGUNA, no existe ninguna solución entera <strong>de</strong> las ecuacionesanteriores. Sólo es posible resolver la ecuación con cuadrados.Esta afirmación se conoce como "Ultimo Teorema <strong>de</strong> Fermat o Teorema <strong>de</strong> Fermat".


<strong>Universidad</strong> <strong>de</strong> <strong>Talca</strong><strong>Taller</strong> <strong>de</strong> MatemáticaInstituto <strong>de</strong> Matemática y Física 2008Alre<strong>de</strong>dor <strong>de</strong> 1637, Pierre <strong>de</strong> Fermat <strong>de</strong>mostró que no hay solución para exponente = 4.Durante los siglos 18 y 19, Karl Friedrich Gauss y Leonard Euler <strong>de</strong>mostraron que no haysolución para exponente 3 y Lejeune Dirichlet y Adrien Legendre lo <strong>de</strong>mostraron paraexponente 5.Este problema para n ≥ 5 se transformó en un problema central <strong>de</strong> la Teoría <strong>de</strong> Números y <strong>de</strong>las matemáticas en general durante 350 años.Des<strong>de</strong> que lo enunció Fermat hasta su solución por Andrew Wiles en 1995.La historia al respecto se inicia cuando Fermat escribió en el margen <strong>de</strong> un libro que leía enese momento:Es imposible separar un cubo en dos cubos, una cuarta potencia en dos cuartas potencias, o engeneral cualquier potencia superior en dos potencias iguales.He <strong>de</strong>scubierto una solución verda<strong>de</strong>ramente notable <strong>de</strong> esta afirmación pero el margen <strong>de</strong>este libro es muy pequeño para escribirla.Cubum autem in duos cubos, aut quadrato quadratum in duosquadratos et generaliter nullam in infinitum ultra quadratumpotestatem in duos ejus<strong>de</strong>m nominis fas est dividiere; cujus rei<strong>de</strong>monstrationem mirabilem sane <strong>de</strong>texi. Hanc marginis exiguitas noncaperet.Pocos matemáticos creen hoy que Fermat tenia un prueba correcta <strong>de</strong> la afirmación. Lahistoria <strong>de</strong>l Teorema <strong>de</strong> Fermat es fascinante y cientos <strong>de</strong> matemáticos han trabajado en él.Esta historia llenaría un libro completo.Veamos solamente algunos hitos importantes <strong>de</strong> esta historia.• Una <strong>de</strong> las primeras luces en la <strong>de</strong>mostración final fue dada porSophie Germain en 1823. Ella <strong>de</strong>mostró lo siguiente:p p pSi p y 2p+1 son ambos primos, entonces a + b = c no tienesolución en enteros tal que p no divi<strong>de</strong> abc . Pregunta: Hayprimos tal que p y 2p+1 son ambos primos?.• A. Wieferich en 1909 <strong>de</strong>mostró un resultado similar:


<strong>Universidad</strong> <strong>de</strong> <strong>Talca</strong><strong>Taller</strong> <strong>de</strong> MatemáticaInstituto <strong>de</strong> Matemática y Física 2008p p ppa + b = c no tiene solución si la cantidad 2 − 22no es divisible por p .• Mientras tanto, durante la última parte <strong>de</strong>l siglo 19 matemáticoscomo Richard De<strong>de</strong>kind, Leopold Kronecker y especialmente Ernst Kummer,intentando <strong>de</strong>mostrar el Teorema <strong>de</strong> Fermat <strong>de</strong>sarrollaron una nuevaárea <strong>de</strong> las metamáticas llamada Teoría Algebraica <strong>de</strong> Números yusaron esta teoría para <strong>de</strong>mostrar que el Teorema es cierto para listasy listas <strong>de</strong> potencias particulares aunque siempre estas listasconsi<strong>de</strong>raban una cantidad finita <strong>de</strong> posibles exponentes.• En 1985, L.M. Adleman, D.R. Heath-Brown y E. Fouvry usaron losargumentos <strong>de</strong> Sophie Germain junto con argumentos analíticos muycomplicados para <strong>de</strong>mostrar que:Existen infinitos primos p tal quesolución y p no divi<strong>de</strong> a abc.p p pa + b = c no tiene• En 1986, Gerhard Frey sugirió una nueva manera <strong>de</strong> aproximar elTeorema <strong>de</strong> Fermat usando una i<strong>de</strong>a llamada modularidad. Jean PierreSerre, Ken Ribet, Goro Shimura y Yukata Taniyama <strong>de</strong>mostraron que siuna cierta propiedad <strong>de</strong> modularidad era verda<strong>de</strong>ra, entonces el Teorema<strong>de</strong> Fermat también era cierto.• Finalmente en 1995 Andrew Wiles <strong>de</strong>mostró que esta propiedad <strong>de</strong>modularidad ERA CIERTA <strong>de</strong>mostrando así el TEOREMA DE FERMAT.Ejercicioa) Decidir si las siguientes son ternas pitagóricas: 5, 12, 13; 7, 24, 25b) ¿Qué pue<strong>de</strong> <strong>de</strong>cir <strong>de</strong> la siguiente secuencia <strong>de</strong> ternas:3 4 533 44 55333 444 5553333 4444 5555...c) Encontrar un triángulo pitagórico con un lado 84.d) Verificar que para m y n enteros positivos, con m >n,como en la figura, se obtienen ternas pitagóricas.


<strong>Universidad</strong> <strong>de</strong> <strong>Talca</strong><strong>Taller</strong> <strong>de</strong> MatemáticaInstituto <strong>de</strong> Matemática y Física 2008EJERCICIOS RELACIONADOSEjercicio 1. Demuestre que si s > t ≥ 1 son enteros impares sin factores comunes,2 2 2 2s − t s + tentonces a = st,b = , c = no tienen factores comunes.22Ejercicio 2. Demuestre que los valores <strong>de</strong> a, b y c dados anteriormente2 2 2son soluciones <strong>de</strong> a + b = c .2 2 2Ejercicio 3. Por lo anterior sabemos que la ecuación a + b = c tieneinfinitas soluciones enteras. Mientras que según el Teorema <strong>de</strong> Fermat la ecuación3 3 3a + b = c no tiene soluciones en enteros.3 3 2Busquemos ahora soluciones enteras para la ecuación a + b = c (*)La terna (2, 2, 4) es solución <strong>de</strong> esta ecuación.Encuentre tres soluciones más.Ayuda: Busque soluciones <strong>de</strong>l tipo ( a , b,c)= ( xz,yz,z ) . No toda terna <strong>de</strong> esta forma essolución <strong>de</strong> la ecuación. Debe comprobar cuales <strong>de</strong> ellas si funcionan.2Ejercicio 4. Si (A, B, C) es una solución <strong>de</strong> (*) y n es un entero, <strong>de</strong>muestre que2 2 3( n A, n B,n C)es también una solución <strong>de</strong> (*). Decimos que una solución es2 2 3n A, n B,n C con n ≥ 2 .PRIMITIVA si NO es <strong>de</strong>l tipo ( )Ejercicio 5. Escribe cuatro soluciones primitivas diferentes <strong>de</strong> (*). Es <strong>de</strong>cirhay que rehacer 3.Ejercicio 6. La solución (2, 2, 4) tiene a=b. Encuentre todas las soluciones primitivas quetienen a=b.Ejercicio 7. Encuentre una solución primitiva <strong>de</strong> (*) que tenga a > 10000.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!