En teoría de números, un número de Heegner (como lo llaman Conway y Guy) es un entero positivo sin cuadrados
tal que el campo cuadrático imaginario
tiene número de clase
. De manera equivalente, su anillo de enteros posee una factorización única.[1]
La determinación de tales números es un caso especial del problema del número de clase, con varios resultados sorprendentes en la teoría de números.
De acuerdo con el teorema de (Baker-)Stark-Heegner, hay exactamente nueve números de Heegner:
. (sucesión A003173 en OEIS)
Gauss conjeturó este resultado y Kurt Heegner lo demostró con algunos defectos menores en 1952. Alan Baker y Harold Stark probaron independientemente el resultado en 1966, y Stark indicó además que el defecto en la prueba de Heegner era menor.[2]
El polinomio de generación principal de Euler
El polinomio de generación principal de Euler
![{\displaystyle n^{2}-n+41,\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/903af5d78dce3241329b5110f4db3defdcf51b81)
que da primos (distintos) para n = 1, ..., 40, está relacionado con el número 163 de Heegner = 4 · 41 - 1)
La fórmula de Euler, con
tomando los valores entre 1, ... 40 es equivalente a
![{\displaystyle n^{2}+n+41,\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3bcde5f630c9df36bb8eded024b5c569469c12b)
con
tomando los valores 0, ... 39. Rabinowitz[3] demostró que
![{\displaystyle n^{2}+n+p\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4cc61dafeaa57dd0b5712e7fe090a63e55ea0ca7)
da primos para
si y solo si su discriminante
es el negativo de un número de Heegner.
(Téngase en cuenta que si
produce
, entonces
es un máximo). 1, 2 y 3 no tienen la forma requerida, por lo que los números de Heegner que funcionan son
, produciendo funciones generadoras principales de la forma de Euler para
; estos últimos números fueron denominados números afortunados de Euler por el matemático F. Le Lionnais.[4]
Casi enteros y la constante de Ramanujan
La constante de Ramanujan es el número trascendental
, que es un casi entero, ya que está muy cerca de un entero:
[5] ![{\displaystyle \approx 640\,320^{3}+744.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5218da5eb4a2dc13803269c7938fab1a4f15579)
Este número fue descubierto en 1859 por el matemático Charles Hermite.[6] En un artículo de 1975 de April Fool en la revista Scientific American,[7] el columnista de la sección "Juegos matemáticos" Martin Gardner hizo la falsa afirmación de que el número era en realidad un número entero, y que el genio matemático indio Srinivasa Ramanujanlo había predicho, y de ahí su nombre.
Esta coincidencia se explica por la multiplicación compleja y la expansión q del j-invariante.
Detalle
Brevemente,
es un entero cuando d es un número de Heegner, y
a través de la q- expansión.
Si
es un irracional cuadrático, entonces el j- invariante es un entero algebraico de grado
, el número de clase de
y el polinomio mínimo (entero mónico) que lo satisface se llama 'polinomio de clase de Hilbert'. Así, si la extensión cuadrática imaginaria
tiene la clase número 1 (entonces d es un número de Heegner), el j- invariante es un número entero.
La expansión q de j, con su expansión de la serie de Fourier escrita como una serie de Laurent en términos de
, comienza como:
![{\displaystyle j(\tau )={\frac {1}{q}}+744+196\,884q+\cdots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75365d670bdc48461852791ccf44856a211f93be)
Los coeficientes
crecen asintóticamente como
, y los coeficientes de orden más bajo crecen más lentamente que
. Entonces, para
, j está muy bien aproximado por sus dos primeros términos. Ajustando
se obtiene
o equivalentemente,
. Ahora
, y entonces
![{\displaystyle (-640\,320)^{3}=-e^{\pi {\sqrt {163}}}+744+O\left(e^{-\pi {\sqrt {163}}}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1fd8a622e45163605f0f230049c22c4ca15580b)
O,
![{\displaystyle e^{\pi {\sqrt {163}}}=640\,320^{3}+744+O\left(e^{-\pi {\sqrt {163}}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07cb00f04614ed25b5d0acda08f3008689ca8c29)
donde el término lineal del error es
![{\displaystyle -196\,884/e^{\pi {\sqrt {163}}}\approx -196\,884/(640\,320^{3}+744)\approx -0.000\,000\,000\,000\,75}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9973e411c7f2333b2d177c8cfa34a0e02e04c43f)
explicando por qué
está tan aproximadamente cercano a ser un número entero.
Fórmulas Pi
Los hermanos Chudnovsky descubrieron en 1987 que
![{\displaystyle {\frac {1}{\pi }}={\frac {12}{640\,320^{3/2}}}\sum _{k=0}^{\infty }{\frac {(6k)!(163\cdot 3\,344\,418k+13\,591\,409)}{(3k)!(k!)^{3}(-640\,320)^{3k}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e67b51bbc6b8a1db968511de01d87d478dc81f7)
que usa el hecho de que
. Para fórmulas similares, véase la serie de Ramanujan-Sato.
Otros números de Heegner
Para los cuatro números más grandes de Heegner, las aproximaciones que se obtienen[8] son las siguientes.
![{\displaystyle {\begin{aligned}e^{\pi {\sqrt {19}}}&\approx 96^{3}+744-0.22\\e^{\pi {\sqrt {43}}}&\approx 960^{3}+744-0.000\,22\\e^{\pi {\sqrt {67}}}&\approx 5\,280^{3}+744-0.000\,0013\\e^{\pi {\sqrt {163}}}&\approx 640\,320^{3}+744-0.000\,000\,000\,000\,75\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae1b0410510e779ef58ca854be7818be9513104b)
Alternativamente,[9]
![{\displaystyle {\begin{aligned}e^{\pi {\sqrt {19}}}&\approx 12^{3}(3^{2}-1)^{3}+744-0.22\\e^{\pi {\sqrt {43}}}&\approx 12^{3}(9^{2}-1)^{3}+744-0.000\,22\\e^{\pi {\sqrt {67}}}&\approx 12^{3}(21^{2}-1)^{3}+744-0.000\,0013\\e^{\pi {\sqrt {163}}}&\approx 12^{3}(231^{2}-1)^{3}+744-0.000\,000\,000\,000\,75\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b23dd1a171114f22d67d9767d8917799883540c1)
donde la razón de los cuadrados se debe a ciertas series de Eisenstein. Para números de Heegner
, no se obtiene un número casi entero; incluso
no es digno de mención. Los enteros j- invariantes son altamente factorizables, lo que se deduce de
, forma y factor como
![{\displaystyle {\begin{aligned}j((1+{\sqrt {-19}})/2)&=96^{3}=(2^{5}\cdot 3)^{3}\\j((1+{\sqrt {-43}})/2)&=960^{3}=(2^{6}\cdot 3\cdot 5)^{3}\\j((1+{\sqrt {-67}})/2)&=5\,280^{3}=(2^{5}\cdot 3\cdot 5\cdot 11)^{3}\\j((1+{\sqrt {-163}})/2)&=640\,320^{3}=(2^{6}\cdot 3\cdot 5\cdot 23\cdot 29)^{3}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/636ffe295ec7edc042f17121b6f52f7aabe3c7ec)
Estos números trascendentales, además de estar estrechamente aproximados por enteros (que son simplemente números algebraicos de grado 1), se pueden aproximar estrechamente por números algebraicos de grado 3,[10]
![{\displaystyle {\begin{aligned}e^{\pi {\sqrt {19}}}&\approx x^{24}-24.000\,31;\ \ \qquad \qquad \qquad x^{3}-2x-2=0\\e^{\pi {\sqrt {43}}}&\approx x^{24}-24.000\,000\,31;\qquad \qquad \quad x^{3}-2x^{2}-2=0\\e^{\pi {\sqrt {67}}}&\approx x^{24}-24.000\,000\,001\,9;\qquad \qquad x^{3}-2x^{2}-2x-2=0\\e^{\pi {\sqrt {163}}}&\approx x^{24}-24.000\,000\,000\,000\,0011;\quad x^{3}-6x^{2}+4x-2=0\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c83ae8bcfb7ba3ec65882ea45b38ad4520d22087)
Las raíces de los polinomios de tercer grado se pueden dar exactamente por cocientes de la función eta de Dedekind η(τ), una función modular que implica una raíz 24 y que explica la aparición del número 24 en la aproximación. También se pueden aproximar estrechamente por números algebraicos de grado 4,[11]
![{\displaystyle {\begin{aligned}e^{\pi {\sqrt {19}}}&\approx 3^{5}\left(3-{\sqrt {2(1-96/24+1{\sqrt {3\cdot 19}})}}\right)^{-2}-12.000\,06\dots \\e^{\pi {\sqrt {43}}}&\approx 3^{5}\left(9-{\sqrt {2(1-960/24+7{\sqrt {3\cdot 43}})}}\right)^{-2}-12.000\,000\,061\dots \\e^{\pi {\sqrt {67}}}&\approx 3^{5}\left(21-{\sqrt {2(1-5\,280/24+31{\sqrt {3\cdot 67}})}}\right)^{-2}-12.000\,000\,000\,36\dots \\e^{\pi {\sqrt {163}}}&\approx 3^{5}\left(231-{\sqrt {2(1-640\,320/24+2\,413{\sqrt {3\cdot 163}})}}\right)^{-2}-12.000\,000\,000\,000\,000\,21\dots \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb9d3d685c5da04985e949d05e0ad53d6bbad427)
Si
denota la expresión entre paréntesis (p. ej.
), satisface respectivamente las ecuaciones cuárticas
![{\displaystyle {\begin{aligned}&x^{4}-4\cdot 3x^{3}+{\tfrac {2}{3}}(96+3)x^{2}\qquad \quad -{\tfrac {2}{3}}\cdot 3(96-6)x-3=0\\&x^{4}-4\cdot 9x^{3}+{\tfrac {2}{3}}(960+3)x^{2}\ \ \quad \quad -{\tfrac {2}{3}}\cdot 9(960-6)x-3=0\\&x^{4}-4\cdot 21x^{3}+{\tfrac {2}{3}}(5\,280+3)x^{2}\quad \ \;-{\tfrac {2}{3}}\cdot 21(5\,280-6)x-3=0\\&x^{4}-4\cdot 231x^{3}+{\tfrac {2}{3}}(640\,320+3)x^{2}-{\tfrac {2}{3}}\cdot 231(640\,320-6)x-3=0\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1354dcf76e701a20e89ad95a45053daa5a274fe7)
Téngase en cuenta la reaparición de los enteros
así como el hecho de que
![{\displaystyle {\begin{aligned}&2^{6}\cdot 3(-(1-96/24)^{2}+1^{2}\cdot 3\cdot 19)=96^{2}\\&2^{6}\cdot 3(-(1-960/24)^{2}+7^{2}\cdot 3\cdot 43)=960^{2}\\&2^{6}\cdot 3(-(1-5\,280/24)^{2}+31^{2}\cdot 3\cdot 67)=5\,280^{2}\\&2^{6}\cdot 3(-(1-640\,320/24)^{2}+2413^{2}\cdot 3\cdot 163)=640\,320^{2}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd46b2686b3b1b557bb2cdd6b0bce2ef3e6984a8)
que, con la potencia fraccional apropiada, son precisamente los j-invariantes.
Similarmente para números algebraicos de grado 6,
![{\displaystyle {\begin{aligned}e^{\pi {\sqrt {19}}}&\approx (5x)^{3}-6.000\,010\dots \\e^{\pi {\sqrt {43}}}&\approx (5x)^{3}-6.000\,000\,010\dots \\e^{\pi {\sqrt {67}}}&\approx (5x)^{3}-6.000\,000\,000\,061\dots \\e^{\pi {\sqrt {163}}}&\approx (5x)^{3}-6.000\,000\,000\,000\,000\,034\dots \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba565a31271e4311502a2704cfd28844d85790a4)
donde las x están dadas respectivamente por la raíz apropiada de las ecuaciones séxticas,
![{\displaystyle {\begin{aligned}&5x^{6}-96x^{5}-10x^{3}+1=0\\&5x^{6}-960x^{5}-10x^{3}+1=0\\&5x^{6}-5\,280x^{5}-10x^{3}+1=0\\&5x^{6}-640\,320x^{5}-10x^{3}+1=0\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ec0499a7832143e02913c2c1d16698cc4066abb)
con los j-invariantes apareciendo de nuevo. Estas ecuaciones séxticas no solo son algebraicas, sino que también se pueden resolver en radicales, ya que se convierten en dos cúbicas sobre la extensión
(con la primera factorización adicional en dos polinomios cuadráticos). Estas aproximaciones algebraicas se pueden expresar exactamente en términos de cocientes eta de Dedekind. Como ejemplo, sea
, entonces
![{\displaystyle {\begin{aligned}e^{\pi {\sqrt {163}}}&=\left({\frac {e^{\pi i/24}\eta (\tau )}{\eta (2\tau )}}\right)^{24}-24.000\,000\,000\,000\,001\,05\dots \\e^{\pi {\sqrt {163}}}&=\left({\frac {e^{\pi i/12}\eta (\tau )}{\eta (3\tau )}}\right)^{12}-12.000\,000\,000\,000\,000\,21\dots \\e^{\pi {\sqrt {163}}}&=\left({\frac {e^{\pi i/6}\eta (\tau )}{\eta (5\tau )}}\right)^{6}-6.000\,000\,000\,000\,000\,034\dots \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b42828f5ede3f342e2460b5de93145473f921bd1)
donde los cocientes eta son los números algebraicos dados anteriormente.
Números de clase 2
Los tres números
, para los que el campo cuadrático imaginario
tiene número de clase
, no se consideran números de Heegner, pero tienen ciertas propiedades similares en términos de casi enteros. Por ejemplo, se tiene que
![{\displaystyle {\begin{aligned}e^{\pi {\sqrt {88}}}+8\,744\approx \quad \quad 2\,508\,952^{2}&-.077\dots \\e^{\pi {\sqrt {148}}}+8\,744\approx \quad 199\,148\,648^{2}&-.000\,97\dots \\\ e^{\pi {\sqrt {232}}}+8\,744\approx 24\,591\,257\,752^{2}&-.000\,0078\dots \\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0441bb4bf3119932d28d7a0ca1683dbaaabf4aca)
y
![{\displaystyle {\begin{aligned}e^{\pi {\sqrt {22}}}-24&\approx (6+4{\sqrt {2}})^{6}\quad +.000\,11\dots \\e^{\pi {\sqrt {37}}}{\color {red}+}\,24&\approx (12+2{\sqrt {37}})^{6}-.000\,0014\dots \\e^{\pi {\sqrt {58}}}-24&\approx (27+5{\sqrt {29}})^{6}-.000\,000\,0011\dots \\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e366fe367853b65240e8683b73ee290ab5cad3f7)
Primos consecutivos
Dado un primo impar p, si se calcula
para
(esto es suficiente porque
), se obtienen compuestos consecutivos, seguidos de números primos consecutivos, si y solo si p es un número de Heegner.[12]
Para más detalles, consúltese "Quadratic Polynomials Producing Consecutive Distinct Primes and Class Groups of Complex Quadratic Fields" (Polinomios Cuadráticos que Producen Primos Distintos Consecutivos y Grupos de Clase de Campos Cuadráticos Complejos), de Richard Mollin.[13]
Referencias
- ↑ Conway, John Horton; Guy, Richard K. (1996). The Book of Numbers. Springer. p. 224. ISBN 0-387-97993-X.
- ↑ Stark, H. M. (1969), «On the gap in the theorem of Heegner», Journal of Number Theory 1: 16-27, doi:10.1016/0022-314X(69)90023-7 .
- ↑ Rabinovitch, Georg "Eindeutigkeit der Zerlegung in Primzahlfaktoren in quadratischen Zahlkörpern."
- ↑ Le Lionnais, F. Les nombres remarquables.
- ↑ Ramanujan Constant – from Wolfram MathWorld
- ↑ Barrow, John D (2002). The Constants of Nature. London: Jonathan Cape. ISBN 0-224-06135-6.
- ↑ Gardner, Martin (April 1975). «Mathematical Games». Scientific American (Scientific American, Inc) 232 (4): 127.
- ↑ Esto puede verificarse computando
en una calculadora, y
para el término lineal del error. - ↑ http://groups.google.com.ph/group/sci.math.research/browse_thread/thread/3d24137c9a860893?hl=en#
- ↑ «Pi Formulas».
- ↑ «Extending Ramanujan's Dedekind Eta Quotients».
- ↑ http://www.mathpages.com/home/kmath263.htm
- ↑ Mollin, R. A. (1996). «Quadratic polynomials producing consecutive, distinct primes and class groups of complex quadratic fields». Acta Arithmetica 74: 17-30.
Enlaces externos
- Weisstein, Eric W. «Heegner Number». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
- OEIS sequence A003173 (Heegner numbers: imaginary quadratic fields with unique factorization)
- Problema del número de clase de Gauss para campos cuadráticos imaginarios, por Dorian Goldfeld: Historia detallada del problema.
- Clark, Alex. «163 and Ramanujan Constant». Numberphile. Brady Haran. Archivado desde el original el 16 de mayo de 2013. Consultado el 28 de junio de 2020.
Datos: Q1322644