Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Introduccion A La Teoria Analitica de Numeros Tom Apostol PDF

    Cargado por

    Wilson Torres Ovejero
    102 vistas219 páginas

    Título original

    395896522 Introduccion a La Teoria Analitica de Numeros Tom Apostol PDF

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Denunciar este documento

    Copyright:

    © All Rights Reserved
    Descargue como PDF o lea en línea desde Scribd
    Marcar por contenido inapropiado
    102 vistas219 páginas

    Introduccion A La Teoria Analitica de Numeros Tom Apostol PDF

    Cargado por

    Wilson Torres Ovejero

    Copyright:

    © All Rights Reserved
    Descargue como PDF o lea en línea desde Scribd
    Marcar por contenido inapropiado
    de 219
    ‘NTRODUCCION — A LA TEORIA ! ANALITICA DE: NUMEROS ria oat, APOSTOL | Introduccion ala Teoria analitica de ntimeros Tom M. Apostol EDITORIAL REVERTE, S. A. Barcelona-Bogoté-Buenos Aires-Caracas-México-Rio de Janeiro Titulo de la obra original: Introduction to Analytic Number Theory Edicién original en lengua inglesa publicada por Springer-Verlag, New York-Heidelberg-Berlin Copyright © by Springer-Verlag New York Inc. Versién espatiola por el Dr. José Pla Carrera Doctor en Matematicas, Profesor de la Facultad de Ciencias Matematicas de la Universidad de Barcelona Revisada por el: Dr. Enrique Linés Escardé Catedratico de la Facultad de Ciencias Matematicas de la Universidad de Madrid Propiedad de EDITORIAL REVERTE, S.A. Encarnacién, 86. Barcelona (24) Reservados todos los derechos. Ninguna parte del material cubierto por este titulo de pro- Piedad literaria puede ser reproducida, almacenada en un sistema de informatica o trans- mitida de cualquier forma o por cualquier medio electrénico, mecdnico, fotocopia, grabacién u otros métodos, sin el previo y expreso permiso por escrito del editor. Edicién en espafol © EDITORIAL REVERTE, S. A., 1980 Impreso en Espafia Printed in Spain ISBN - 84 - 291 - 5006-4 Dep. Leg. 8. 10073-1080 LITOCLUB, 8. A. - Népoles, S00 - Barcelona Prdlogo Este constituye el primero de dos voltimenes de un libro de texto' que deriva de un curso (Matemdticas 160) ofrecido en el California Institute of Technology du- rante los iiltimos 25 afios. Proporciona una introduccién a la Teoria analitica de ni- meros apropiada para estudiantes de Licenciatura con cierto conocimiento del Cdlculo superior, pero que carecen de todo conocimiento de Teoria de niimeros. En realidad, gran parte del libro no requiere Célculo alguno y puede ser estudiado con provecho por los estudiantes de Escuelas superiores sofisticadas. La Teoria de nimeros es tan basta y rica que un curso no puede hacer justicia a todas sus partes. Problemas que han fascinado a generaciones de matemdticos afi- cionados y profesionales se discuten junto con algunas de las técnicas para resol- verlos. : Una de las metas de este curso consiste en nutrir el interés intrinseco que todos los estudiantes jévenes de matemdticas parecen tener por la Teoria de mimeros y abrirles algunas puertas a la literatura periédica corriente. Ha resultado grato com- probar que muchos de los estudiantes que han seguido este curso durante los 25 aiios pasados son matemdticos profesionales, y alguno ha aportado contribuciones notables por si mismo a la Teoria de mimeros. Este libro va dedicado a todos ellos. * El segundo volumen esté a punto de aparecer en la Springer-Verlag Series Graduate Texts in Mathematics bajo el titulo de Modular Functions and Dirichlet Series in Number Teory (En el momento de efectuar la traduccién ya ha hecho su aparicin. N. d. t.) Vv Indice analitico Introduccién histérica Capitulo 1 El teorema fundamental de la Aritmética 11 1.2 1, 1.4 “LS 16 eh 18 Introduccién 15 Divisibilidad 16 Maximo comin divisor 17 Numeros primos 19 . El teorema fundamental de la Aritmética 20 La serie de los inversos de los primos 22 El algoritmo de Euclides 23 El maximo comin divisor de mds de dos nimeros 24 Ejercicios del capitulo 1 25 Capitulo 2 Funciones aritméticas y producto de Dirichlet 21 22 23 24 25) 2.6 2.7 2.8 2.9 2.10 211 2.12 2.13 Introduccién 29 La funcién de Mobius p(n) 29 La funcién indicatriz de Euler g(n) 30 Una relacion que conecta y y » 32 Una formula producto para ¢(n) 32 El producto de Dirichlet de funciones aritméticas 35 Inversos de Dirichlet y formula de inversion de Mébius 37 La funcién de Mangoldt A(n) 39 Funciones multiplicativas 41 Funciones multiplicativas y producto de Dirichlet 43 La inversa de una funcién completamente multiplicativa 44 La funcién a(n) de Liouville 46 Las funciones divisor ¢, (n) 47 VII VIL 2.14 2.15 2.16 2.17 2.18 2.19 Indice analitico Convoluciones generalizadas 48 Series formales de potencias 50 La serie de Bell de una funcién aritmética 52 Series de Bell y producto de Dirichlet 54 Derivadas de funciones aritméticas 56 La identidad de Selberg 57 Ejercicios del capitulo 2 58 Capitulo 3 Medias de funciones aritméticas 3.1. Introducci6n 65 3.2 La notacién O mayuscula. Igualdad asintética de las funciones 66 3.3. Formula de sumacién de Euler 67 3.4. Algunas formulas asintoticas elementales 69 3.5 El orden medio de d(n) 72 3.6 El orden medio de las funciones divisor 0, (n) 3.7 El orden medio de ¢(n) 3.8 Una aplicacién a la distribucién de los puntos reticulares visibles desde el origen 78 3.9 El orden de y(n) y de A(n) 81 3.10 Las sumas parciales de un producto de Dirichlet 82 3.11 Aplicaciones a w(n) y Am) 83 3.12 Otra identidad para las sumas parciales de un producto de Dirichlet 87 Ejercicios del capitulo 3 88 Capitulo 4 Algunos teoremas elementales sobre la distribucién de Jos nameros primos 4.1 4.2 43 44 4.5 4.6 4.6 48 49 4.10 4.11 Introduccién 93 Las funciones de Chebyshev p(x) y 9(x) 94 Relaciones que ligan 9(x) y x(x) 96 Ciertas formas equivalentes del teorema del numero primo 99 Desigualdades relativas a x(x) y a p, 103 Teorema tauberiano de Shapiro 107 Aplicaciones del teorema de Shapiro 111 Una formula asintotica para las sumas parciales Zp 3 257 10.4 La existencia de raices primitivas mod p para primos impares p 258 10.5 Raices primitivas y restos cuadraticos 260 10.6 La existencia de raices primitivas mod p* 260 10.7 La existencia de raices primitivas mod 2p" 263 10.8 La no existencia de raices primitivas en los restantes casos 263 10.9 El ndmero de raices primitivas mod m 265 10.10 Calculo de indices 167 10.11 Raices primitivas y caracteres de Dirichlet 272 10.12 Caracteres de Dirichlet mod p* con valores reales 274 10.13. Caracteres de Dirichlet primitivos mod p* 275 Ejercicios del capitulo 10 277 Capitulo 11 Series de Dirichlet y productos de Euler 11.1 Introduccién 279 11.2 El semiplano de convergencia absoluta de una serie de Dirichlet 280 11.3 La funcién definida por una serie de Dirichlet 281 11.4 Multiplicacién de series de Dirichlet 283 11.5 Productos de Euler 286 11.6 El semiplano de convergencia de una serie de Dirichlet 289 11.7 Propiedades analiticas de las series de Dirichlet 292 11.8 Series de Dirichlet con coeficientes no negativos 294 11.9 Series de Dirichlet expresadas como exponenciales de series de Dirichlet 296 Formulas de valor medio para series de Dirichlet 298 Una formula integral para los coeficientes de una serie de Dirichlet 300 Una formula integral para las sumas parciales de una serie de Dirichlet 302 Ejercicios del capitulo 11 306 Capitulo 12 Las funciones £(s) y L(s, 7) 12.1 Introducci6n 309 12.2 Propiedades de 1a funcién gamma 310 12.3. Representaci6n integral para la funcién zeta de Hurwitz 311 12.4 Una representacion de la funcién zeta de Hurwitz mediante una integral de contorno 314 12.5 La prolongacién analitica de la funcién zeta de Hurwitz 316 XII 12.6 12.7 12.8 12.9 12.10 12.11 12.12 12.13 12.14 12.15 12.16 Indice analitico Prolongacién analitica de ¢(s) y L(s, y) 317 La formula de Hurwitz para ¢(s, a) 318 La ecuacién funcional para la funcién zeta de Riemann 322 Una ecuacién funcional para la funcién zeta de Hurwitz 324 La ecuacién funcional para L-funciones 325 CAlculo de ¢(—n, a) 327 Propiedades de los nimeros de Bernoulli y de los polinomios de Bernoulli 329 Formulas para L(0, y) 332 Aproximacin de ¢(s, a) por medio de sumas finitas 333 Desigualdades para |¢(s, a)| 336 Desigualdades para |¢(s)| y para |L(s, 7)| 338 Ejercicios del capitulo 12 339 Capitulo 13 Demostracién analitica del teorema del nimero primo 13.1 13:2) 13.3 13.4 13.5 13.6 13.7 13.8 13.9 13.10 13.11 13,12 El plan de la demostraci6n 345 Lemas 347 Una representacién de y,(x)/x?_ como integral de contorno 351 Cotas superiores para |f(s)| y para |¢’(s)| en las proximidades de la recta o=1 La no anulacién de ¢(s) en la recta o = 1 355 Desigualdades para |1/Z(s)| y |¢"(s)/C(s)|_ 357 Terminacién de la demostracién del teorema del nimero primo 359 Regiones carentes de ceros de ¢(s) 363 La hipotesis de Riemann 365 Aplicacién a la funcién divisor 366 Aplicacién a la indicatriz de Euler 370 Extension de la desigualdad de Pélya para sumas de caracteres 374 Ejercicios del capitulo 13 375 Capitulo 14 Particiones 14.1 Introduccién 379 14.2 Representacién geométrica de las particiones 383 14.3. Funciones generadoras de particiones 384 14.4 El teorema de Euler de los ntimeros pentagonales 388 14.5 Demostracion combinatoria del teorema de los nimeros pentagonales de Euler 391 14.6 Formula recursiva de Euler para p(n) 394 Indice analitico XI 14.7 14.8 14.9 14.10 14.11 Una cota superior para p(n) 395 Identidad del triple producto de Jacobi 398 Consecuencias de la identidad de Jacobi 401 Diferenciacién logaritmica de funciones generadoras 402 Las identidades de particidn de Ramanujan 405 Ejercicios del capitulo 14 406 Bibliografia 413 Indice de simbolos especiales 417 Indice alfabético 419 Introduccidén histdrica La teoria de nuimeros es la rama de la Matematica que trata de las propiedades de la totalidad de los nameros, 1, 2, 3, 4,5, ... llamados ntimeros naturales, 0 enteros positivos. Los enteros positivos constituyen, sin duda alguna, la primera creacién mate- matica del hombre. Es realmente dificil imaginar los seres humanos sin la habilidad de contar, aunque ésta se hallase reducida a estrechos limites. La Historia nos dice que ya en los afios 5700 A.C. los antiguos sumerios disponian de un calendario, luego debian haber desarrollado ya alguna forma de Aritmética. En los afios 2500 A.C. los sumerios desarrollaron un sistema de numeracién utilizando 60 como base. Este pas a los babilonios que desarrollaron una gran habilidad calculadora. Se han encontrado tablillas de arcilla babilénicas que con- tienen tablas matemiticas elaboradas, y que se datan en 2000 A.C. Cuando las antiguas civilizaciones alcanzaron un nivel que les dejaba tiempo libre para pensar sobre las cosas, algunos pueblos empezaron a especular acerca de la naturaleza y propiedades de los nuimeros. Esta curiosidad se desarrollé en ‘un cierto misticismo-numérico o «Numerologia», y atin hoy nimeros como 3, 7, 11 y 13 se consideran portadores de buena o mala suerte. Los ntimeros se utilizaron para fijar los recuerdos y celebrarlos y para las tran- sacciones comeciales unos 5000 afios antes de que se pensase en estudiarlos en si mismos de forma sistematica. La primera orientacién cientifica al estudio de los enteros, es decir, el origen de la Teoria de los ntimeros, se atribuye generalmente a los griegos, Alla por los afios 600 A.C., Pit4goras y sus discipulos efectuaron APostoL IV-1 1 2 Introducci6én histérica un estudio bastante completo de los enteros. Fueron los primeros en clasificar los enteros de diversas formas: Mimeros pares: 2, 4, 6, 8, 10, 12, 14, 16, ... Numeros impares: 1, 3, 5, 7, 9, 11, 13, 15,... Niimeros primos: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, ... Nimeros compuestos: 4, 6, 8, 9, 10, 12, 14, 15, 16, 18, 20, Un nimero primo es un nimero mayor que 1 cuyos tnicos divisores son 1 y él mismo. Los ntmeros que no son primos se llaman compuestos, excepto el nu- mero | que no se considera ni primo ni compuesto. Los pitagéricos relacionaron ademas los ntimeros con la Geometria. Introdujeron la idea de mimeros poligonales: nimeros triangulares, nimeros cuadraticos, nu- meros pentagonales, ctc. La razon de esta nomenclatura geométrica aparece clara cuando los niimeros se representan por medio de puntos colocados en forma de triangulos, cuadrados, pentagonos, etc., tal como se indica en la figura 1.1. Va & A "a BE 25 36049 Pentagonales: OG) 2 35 st 70 Figura 1.1 Introducci6n histérica 3 Otra conexién con la Geometria procede del famoso teorema de Pitagoras que establece que en todo triangulo rectangulo el cuadrado de la longitud de la hipo- tenusa es igual a la suma de los cuadrados de las longitudes de los catetos (ver figu- * Figura 1.2 ra 1.2). Los pitagéricos se interesaron por los triangulos rectangulos cuyos lados eran enteros, como los de la figura 1.3. Tales tridngulos se conocen como tridngulos pitagoricos. La correspondiente terna de numeros (x, y,z) que representan las i los lados se llama terna pitagérica. Leas eisoatrado una tablilla babildnica, datada alrededor de 1700 AC., que contiene una lista extensa de ternas pitagéricas, algunos de cuyos niimeros son bastante grandes. Los pitagéricos fueron los primeros en proporcionar un método para determinar infinidades de ternas. En notacién moderna podemos describirlo como sigue: Sea » un nimero impar mayor que 1, y sea =n yak -1), 2=Hn +1). La terna que resulta (x, y, 2) constituye siempre una terna pitagérica conz = y + 1. He aqui algunos ejemplos: x 3 5 7 9 UM 13 15 17 «19 OO y 4 12 24 40 60 84 112 144 180 Le z 5 13 25 41 61 85 113 145 181 Ademas de éstas existen otras ternas pitagéricas; por ejemplo: x 8 12 16 20 y 15 35 63 99 z 17 37 65 101 En estos ejemplos tenemos z = y + 2. Platén (430-349 A.C.) justifies un método Para determinar todas estas ternas; en notacién moderna viene dado por las formulas Introduccién histérica x=4n, 0 y=4n?-1, 0 2=4n? +1. Alrededor de 300 A.C. ocurrié, en la historia de la Matematica, un suceso realmente importante. La aparicién de los Elementos de Euclides, una coleccién de 13 libros, transform6 las matematicas de la Numerologia en una ciencia deductiva. Euclides fue el primero en presentar hechos matemiticos junto con demostraciones rigurosas de tales hechos. 5 . 3 3? +4? = 5? i 352 4492 3? 7 12 Figura 1.3 Tres de tales libros.se hallan dedicados a la Teoria de nimeros (Libros VII, IX y X). En el libro IX Euclides demostré que existe una infinidad de numeros primos. Esta demostracién todavia se ensefia hoy en-nuestras aulas. En el libro X dio un método para obtener todas las ternas pitagéricas si bien no demuestra que este método, realmente, las da todas. El método se puede establecer sumariamente por las formulas = ta? — b?), y=2tab, z= 1a? + b*), en donde ¢, a, y 5, son enteros positivos arbitrarios tales que a > b, a y b carecen de factores primos comunes, y uno de ellos, a 6 8, es par y el otro impar. Ademdas Euclides aporté una importante contribucién a otro problema plan- teado por los pitagéricos —el de buscar todos los nimeros perfectos. El numero 6 fue llamado numero perfecto puesto que 6 = 1 + 2 + 3, que es la suma de sus divisores propios (esto es, la suma de todos los divisores menores que 6). Otro ejemplo de numero perfecto es 28 puesto que 28 =14+2+4+7+ 14, y 1, 2, 4, 7, y 14 son los divisores de 28 menores que 28. Los griegos se referian a los di- visores propios de un numero Ilamandolos sus «partes». Los nimeros 6 y 28 se Iamaron perfectos porque eran iguales a la suma de todas sus partes. En el libro IX Euclides da todos los nimeros perfectos pares. Demuestra que un numero par es perfecto si tiene la forma 2P-1(2? — 1), en donde p y 2” —1 son primos. Dos mil aiios mas tarde, Euler demostré el reciproco del teorema de Euclides. Esto es, cada numero perfecto par debe ser del tipo descrito por Euclides. Por ejemplo, para 6 y 28 tenemos Introducci6n historica 5 6= 274221) 32-3 y 28 = 2-102? — 1) = 4-7. Los cinco primeros ntimeros pares perfectos son 6, 28, 496, 8128 y 33550336. Los numeros perfectos son, realmente, muy raros. En el momento actual o solo se conocen 24 numeros perfectos. Corresponden a los siguientes valores de p en la formula de Euclides: 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, $21, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937. Los numeros de la forma 2” — 1, en donde p es primo, se conocen con el nom- bre de nimeros de Mersenne y se designan por M, en honor de Mersenne, que los estudié en 1644, Se sabe que M, es primo para los 24 primos dados en la lista an- terior y compuesto para todos los demas valores de p s 257, excepto quizds para p = 157, 167, 193, 199, 227, 229: para éstos no se sabe si M, es primo o compuesto. No se conoce ningun numero perfecto impar; tampoco se sabe si existen. Pero si existen deben ser muy grandes; de hecho, mayores que 10% (ver Hagis [29]. ‘Ahora volvemos a una breve descripcién histérica de la Teoria de nimeros iempo de Euclides. . . awe fe Euclides, 300 A.C., no se efectuaron avances significativos en Teoria de nuimeros hasta aproximadamente 250 D.C. en que otro matematico griego, Diofanto de Alejandria, publicé 13 libros, de los que se han conservado seis. Esta es la primera obra griega en la que se realiza un uso sistematico de los spe algebraicos. Si bien dicha notacién algebraica parece torpe frente a la usual de hoy dia, Diofanto fue habil para resolver ecuaciones algebraicas con dos o tres incégnitas. Muchos de estos problemas se originaron en la Teoria de niimeros ya él le parecié natural buscar soluciones enteras para las ecuaciones. Las ecua- Ciones que deben ser resueltas por medio de valores enteros de las incdgnitas se Naman hoy ecuaciones diofanticas, y el estudio de tales ecuaciones recibe el nombre de Andlisis dioféntico, La ecuacién x* + y* = z* relativas a las ternas pitagéricas constituye un ejemplo de ecuacién diofantica. . 3 Tras Diofanto no se realizaron muchos progresos en Teoria de ntimeros hasta el siglo diecisiete, si bien existe evidencia de que el tema empezaba a florecer en el Lejano Oriente —especialmente en la India— en el periodo entre 500 Dicey, 1200 D.c. Introduccién historica En el siglo diecisiete el tema renacié en la Europa Oeste, en gran manera gra- cias a los esfuerzos de un matematico francés, Pierre de Fermat (1601-1665), que Se conoce generalmente como el padre de la Teoria moderna de numeros., Gran parte de la inspiracién de Fermat deriva de los trabajos de Diofanto. Fue el pri- mero en descubrir propiedades realmente profundas de los enteros. Fermat demos- tré los siguientes teoremas sorprendentes: Todo entero o es un niimero triangular 0 una suma de 2 0 3 mimeros triangulares; todo entero 0 es cuadratico 0 es una suma de 2,30 4 cuadraticos; todo entero es pentagonal 0 es una suma de 2, 3, 4 6 5 nimeros pentagonales, y asi sucesivamente. Fermat descubrié también que todo niimero primo de la forma 4n + | tal como 5, 13, 17, 29, 37, 41, etc. es una suma de dos cuadrados. Por ejemplo, 5 = 1? 422, B=P43, 17a 44 29227452, 37=17 +62, 41 = 42 452, Poco tiempo después de Fermat, los nombres de Euler (1707-1783), Lagrange (1763-1813), Legendre (1752-1833), Gauss (1777-1855), y Dirichlet (1805-1859) re- sultaron prominentes en el posterior desarrollo de la teoria. El primer libro de Teoria de ntimeros fue publicado por Legendre en 1798. Tres afios mas tarde Gauss pu- blicd Disquisitiones Arithmeticae, un libro que transformaba la materia en una ciencia sistematica y bella. Sin embargo utilizaba gran cantidad de contribuciones de otras ramas de la Matematica,. asi como de otras ciencias, El mismo Gauss consideraba este libro sobre Teoria de nimeros su mejor obra. En los tiltimos doscientos aitos, o sea desde los tiempos de Gauss, ha existido un desarrollo intenso de la materia en muchas direcciones. Es imposible dar en pocas paginas una clara exposicién de los tipos de problemas que se estudian en Ja Teoria de numeros. El campo es muy vasto y algunas de sus partes requieren un profundo conocimiento de matematicas superiores. A pesar de todo, existen muchos problemas de Teoria de numeros que resulta muy facil enunciarlos. Al- gunos de ellos se refieren a ntimeros primos, y dedicamos el resto de esta intro- duccidn a tales problemas. En las paginas anteriores hemos dado Ia lista de los primos menores que 100. Una tabla que daba Ia lista de todos los niimeros primos menores que 10 millones fue publicada en 1914 por un matematico americano, D. N. Lehmer [43]. Existen exactamente 664 579 primos menores que 10 millones, 0 aproximadamente 6 4 Veg Mas recientemente D. H. Lehmer (el hijo de D. N. Lehmer) calculé el total de pri- mos menores que 10 mil millones; hay exactamente 455 052 512 de tales primos, o sea aproximadamente 44 % si bien no se conocen todos estos primos individual- mente (ver Lehmer [41]). Un examen detallado de una tabla de Primos pone de manifiesto que se hallan distribuidos de forma muy irregular. Las tablas muestran grandes espacios entre 7 Introduccion historica i ido de 111 compuestos. No existe i j lo, el primo 370 261 va seguido : ee aa Seats 20 331 323 y 20831 533. Es facil demostrar que entre aie Cee ot den presentar eventualmente espacios arbitrariamente grandes. S00 i rimos Tia Por ie lado, las tablas muestran que se presentan reiteradamente p1 i ue, como éstos, difieren ivos tales como 3 y 5, 0 101 y 103. Los primos qt ; Sere es unidades se conocen como primos gemelos. Ce eee ere + eed jo de 1 . j 8000 por debajo er ics ea sa Zarnke [76]) es 76:3 —1 y 16-3 + 1. i or hoy (ver Willi nke [ ane Coe watoutiogs creen que existe una infinidad de estos pares, pero ningui uc! i de demostrarlo. Nas A | i ie a is razones de la irregularidad en la distribucién de primos es que no a s primos. Algunas xiste ninguna férmula simple que produzca todos e ee gt férmulas proporcionan muchos primos. Por ejemplo, la exp x?-x+41 da un primo para x = 0, 1,2, ...,40, mientras que x? — 79x + 1601 da un primo para x = 0,1, 2, 79. Sin embargo, ninguna de tales formulas i I simples puede dar un primo para todo x, aunque se utilicen cubos y potencias s. De hecho, en 1752 Goldbach probé que ningin polinomio en x con eaten lo x, e incluso para x suficientemente coeficientes enteros puede ser primo para tod iS i i j ando x, Ere polinomios representan infinidad de primos. Por ejemplo, cu: recorre los enteros 0, 1, 2,3, ..., el polinomio lineal 2x+1 infini imos. bién, da todos los nameros impares por lo tanto una infinidad de primos. Tam! cada uno de los polinomios 4x +1 y 4x43 rimos. En un trabajo famoso [15] publicado en 1837, Tepresenta una infinidad de p' Da eon eae i iti ent Dirichlet demostré que, si a y 5 son enteros positivos car el polinomio Introduccién histérica ax+b da una infinidad de primos cuando x recorre todos los enteros positivos. Este re- sultado se conoce como teorema de Dirichlet sobre la existencia de primos en una Pprogresion aritmética dada. Para demostrar el teorema, Dirichet salié fuera del reino de los enteros e in- trodujo instrumentos de Anilisis tales como los limites y la continuidad. Por este motivo puso los fundamentos de una nueva rama de la Matematica llamada Teoria analitica de mimeros, en la cual se utilizan ideas y métodos del Anlisis real y com- plejo para resolver problemas sobre enteros. No se sabe si existe un polinomio cuadratico ax? + bx + ¢ con a #0 que Tepresenta una infinidad de primos. Sin embargo, Dirichley [16] utilizé sus pode- Tosos métodos analiticos para-demostrar que, si a, 2b, y c carecian de factores Primos comunes, el polinomio cuadratico en dos variables ax? + 2bxy + cy? Tepresenta una infinidad de primos cuando x e ¥ recorren los enteros positivos. Fermat creja que la formula 2" + I daria siempre un primo paran = 0,1, 2, ... Estos niimeros se Ilaman mimeros de Fermat y se designan por F,. Los cinco pri- meros son: Fo=3, Fy=5, F,=17, F3=257 y Fa, = 65537, y todos ellos son primos. Sin embargo, en 1732 Euler hallé que F, es compuesto; de hecho Fs = 2°? + 1 = (641)(6 700417). Estos ntimeros son de interés también en Geometria plana. Gauss demostré que, si F, es un primo, por ejemplo F, = p, entonces se puede construir un poligono regular de p lados con regla y compas. Mas alld de F; no se han hallado otros Primos de Fermat. En efecto, para 5

    También podría gustarte