Page 69 - 16 Fermat
P. 69

DEMOSTRACIÓN DE LA INFINITUD DE LOS NÚMEROS PRIMOS
             Esta demostración se debe a Euclides, y procede por el  ya conocido méto-
             do de reducción al  absurdo. Supongamos que la  conclusión es  falsa  y  los
             números primos son  finitos.  Esto quiere decir que hay un número primo
             máximo. Llamémosle Pn· Ahora  bien, construyamos el  número N  como el
             producto de todos los primos más uno: N=P,Pr-Pn-,Pn +l =An +l.  Este nú-
             mero no es  divisible por ningún primo desde p,  hasta Pn,  ya  que,  para ser
             divisible, tendría que serlo también tanto An como 1, y,  claramente, ningún
             número divide a 1,  salvo él  mismo. Es decir, o bien N es un número primo, o
             bien contiene factores primos mayores que Pn·  Por tanto, hemos encontra-
             do un número primo mayor que pn, contradiciendo nuestra hipótesis de que
             Pn es el  número primo máximo. Se  sigue que la  hipótesis es  falsa  y  que el
             número de primos es  infinito.






           Finalmente, hay otros números muy relacionados con los nú-
       meros perfectos: los llamados números amigos. Dos números son
       amigos entre sí cuando la suma de los divisores propios de uno es
       igual al otro y viceversa. En la Antigüedad, el único par de núme-
       ros amigos conocido era 220 y 284.  En efecto, los divisores pro-
       pios de 220 son 1, 2, 4, 5, 10, 11, 20, 22, 44, 55, 110, y 284 = 1 + 2 + 4 +
       + 5 + 10 + 11 + 20 + 22 + 44 + 55 + 110.  Análogamente, los · divisores
       propios de 284 son 1, 2, 4, 71, 142, y 220= 1 +2 +4+ 71 + 142.
           También este par de números amigos tenía un significado
       mágico-místico. En la Edad Media, se creía que si dos personas
       comían dos panes en los que se habían inscrito estos dos núme-
       ros, respectivamente, esas personas serían amigas para siempre,
       aunque no se conocieran con anterioridad.
           La resurrección del misticismo pitagórico al principio de la
       Edad Moderna mantuvo el interés en estos problemas. En su libro
       Traité de l'harmonie universeUe, Mersenne afirmaba que Fermat
       había descubierto un par de números anúgos, 17296 y 18416, el
       primer par de números amigos descubierto desde la Antigüedad.
       Y también que Fermat había demostrado que tanto 120 como 672
       eran números deficientes con valor igual a la mitad de la suma de






                                            LA MODERNA TEORÍA DE NÚMEROS    69
   64   65   66   67   68   69   70   71   72   73   74