Matematicas

Solo disponible en BuenasTareas
  • Páginas : 5 (1127 palabras )
  • Descarga(s) : 0
  • Publicado : 9 de septiembre de 2012
Leer documento completo
Vista previa del texto
El pequeño teorema de Fermat es uno de los teoremas clásicos de teoría de números relacionado con la divisibilidad. Se formula de la siguiente manera:
Si p es un número primo, entonces, para cada número natural a , ap ≡ a (modp)Pierre de Fermat, 1636 |
Aunque son equivalentes, el teorema suele ser presentado de esta otra forma:
Si p es un número primo, entonces, para cada númeronatural a coprimo con p , ap-1 ≡ 1 (modp)Pierre de Fermat, 1636 |
Esto quiere decir que, si se eleva un número a a la p-ésima potencia y al resultado se le resta a, lo que queda es divisible por p (véase aritmética modular). Su interés principal está en su aplicación al problema de la primalidad y en criptografía.
Este teorema no tiene nada que ver con el legendario último teorema de Fermat, que fue sólouna conjetura durante 350 años y finalmente fue demostrado por Andrew Wiles en 1995.1
Contenido  [ocultar]  * 1 Historia * 2 Demostración * 3 Ejemplos * 4 Aplicaciones * 4.1 Aplicaciones teóricas * 4.2 Criptografía asimétrica * 4.3 Test de primalidad * 4.4 Número pseudoprimo * 5 Generalizaciones * 6 Véase también * 7 Bibliografía * 8 Referencias * 9 Enlacesexternos |
-------------------------------------------------
[editar]Historia
La civilización china parece que fue la primera cultura en estar interesada en la aritmética modular.2 Existe una hipótesis,3 documentada por Joseph Needham, según la cual los números de la forma 2p − 2 fueron estudiados por esta civilización.
Así pues, matemáticos chinos formularon la hipótesis (a veces conocidacomo hipótesis china) de que p es primo si y sólo si 2p ≡ 2 (mod p) (donde el símbolo ≡ significa congruencia según elmódulo indicado). Es verdad que, si p es primo, entonces 2p ≡ 2 (mod p) (este es un caso especial del pequeño teorema de Fermat), pero el recíproco (si 2p ≡ 2 (mod p), entonces p es primo) no lo es, por lo que la hipótesis es falsa.
Se cree ampliamente que la hipótesis china fuedesarrollada 2000 años antes del trabajo de Fermat en el siglo XVII. Aunque la hipótesis sea parcialmente incorrecta, es notable que pueda haber sido conocida por los matemáticos de la antigüedad. Algunos, sin embargo, sostienen que la creencia de que esta hipótesis fuera conocida hace tanto tiempo es fruto de un error de comprensión, y que se desarrolló realmente en 1872. Para más información sobre esteasunto, consúltese (Ribenboim, 1995).
Alrededor de 1636, Pierre de Fermat enunció el teorema. Aparece en una de sus cartas a su confidente Frénicle de Bessy, fechada el 18 de octubre de 1640, con el siguiente texto: p divide a ap-1 - 1 cuando p sea primo y a sea coprimo con p.4
Aunque actualmente lo conozcamos como pequeño teorema de Fermat, lo cierto es que hasta el siglo XX fue conocidocomo teorema de Fermat, como recoge por ejemplo Carl Friedrich Gaussen su libro Disquisitiones arithmeticae.5 El término pequeño teorema de Fermat, tal como lo conocemos actualmente, fue usado por primera vez por el matemático alemán Kurt Hensel en 1913 en su libro Zahlentheorie.6
Für jede endliche Gruppe besteht nun ein Fundamentalsatz, welcher der kleine Fermatsche Satz genannt zu werden pflegt, weilein ganz spezieller Teil desselben zuerst von Fermat bewiesen worden ist. | He aquí el teorema fundamental que se cumple en cada grupo finito, llamado habitualmente pequeño teorema de Fermat, porque Fermat fue el primero en probar una parte especial de él. |
Kurt Hensel
-------------------------------------------------
[editar]Demostración
Artículo principal: Demostraciones del pequeño teoremade Fermat.
Fermat estableció tal resultado en una carta a Frénicle de Bessy, pero como era habitual en él, omitió la prueba del mismo:4
Tout nombre premier mesure infailliblement une des puissances -1 de quelque progression que ce soit, et l’exposant de la dite puissance est sous-multiple du nombre premier donné -1. (...) Et cette proposition est généralement vraie en toutes progressions...
tracking img