헤그너 수

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요
2. 오일러의 소수 생성 다항식
3. 라마누잔 상수와 거의 정수
- 3.1. j-불변량과 관련된 상세 설명
4. 원주율( $\pi$ ) 공식
5. 기타 헤그너 수의 성질
6. 유수가 2인 수
7. 연속 소수
참조

1. 개요

헤그너 수는 레온하르트 오일러가 제시한 소수 생성 다항식과 관련된 수로, 라마누잔 상수를 비롯한 거의 정수와 연관되어 있다. 헤그너 수는 7, 11, 19, 43, 67, 163이 있으며, 이 수들은 j-불변량과 원주율 공식, 그리고 다른 대수적 수에 의한 근사를 통해 정수에 가까운 값을 생성한다. 또한, 허수 이차수체가 유수 2를 갖는 수와 연속 소수 생성과도 관련이 있다.

2. 오일러의 소수 생성 다항식

레온하르트 오일러는 1772년에 $n^2 + n + 41$ 식이 $n = 0, \cdots, 39$ 에 대해 소수가 됨을 지적하였다.^[3] 이 다항식은 헤그너 수 $163 = 4 \cdot 41 - 1$ 과 관련이 있다. 라비노비츠^[3]는 $n^2 + n + p$ 꼴의 다항식이 그 판별식의 절댓값 $4p - 1$ 이 헤그너 수일 때만 이러한 성질을 가짐을 증명하였다.

따라서 $p = 2, 3, 5, 11, 17, 41$ (각각 헤그너 수 7, 11, 19, 43, 67, 163에 대응)에 대해, $n^2 + n + p$ 꼴의 다항식은 $n = 0, \cdots, p-2$ 일 때 소수가 된다. (참고로 $p-1$ 은 $p^2$ 을 생성하므로, $p-2$ 가 최대이다.)^[19]

1, 2, 3은 요구되는 형태가 아니므로, 유효한 헤그너 수는 7, 11, 19, 43, 67, 163이며, 이는 2, 3, 5, 11, 17, 41에 대한 오일러 형태의 소수 생성 함수를 생성한다. 이 숫자들은 F. 르 리오네에 의해 오일러의 럭키 넘버라고 불린다.^[4]

3. 라마누잔 상수와 거의 정수

라마누잔 상수는 초월수^[5] $e^{\pi \sqrt{163}}$ 를 의미하며, 정수에 매우 가까운 값을 가진다.^[6]

: $e^{\pi \sqrt{163}} = 262\,537\,412\,640\,768\,743.999\,999\,999\,999\,25\ldots\approx 640\,320^3+744.$

이 수는 1859년 수학자 샤를 에르미트에 의해 발견되었다.^[7] 1975년 ''사이언티픽 아메리칸'' 잡지의 만우절 기사^[8]에서 "수학 게임" 칼럼니스트 마틴 가드너는 이 수가 사실 정수이며, 인도의 수학 천재 스리니바사 라마누잔이 이를 예측했다고 주장하는 거짓말을 했다. 하지만 이는 과학적 사실을 왜곡하여 대중을 현혹하는 가짜 뉴스의 일종으로, 주의해야 한다.

이러한 현상은 j-불변량의 q-전개를 통해 설명할 수 있다. j-불변량과 관련된 상세 설명은 하위 섹션을 참조하면 된다. 다른 헤그너 수에 대해서도 j-불변량을 사용해서 정수에 가까운 값을 생성하는 것이 가능하며, 그 예시는 다음과 같다.

헤그너 수	근사값
19	$e^{\pi \sqrt{19}} \approx 96^3+744-0.22$
43	$e^{\pi \sqrt{43}} \approx 960^3+744-0.00022$
67	$e^{\pi \sqrt{67}} \approx 5280^3+744-0.0000013$

$d \le 11$ 일 때는 일차 오류항 $-196,884 / e^{\pi \sqrt{d}}$ 이 1보다 커져서 이러한 성질이 나타나지 않는다.

3. 1. j-불변량과 관련된 상세 설명

j-불변량

j(\tau)

는 복소수

\tau

에 대한 함수로, 헤그너 수 ''d''에 대해

\textstyle j\left(\frac{1+\sqrt{-d}}{2}\right)

는 정수가 된다.^[3] 이 값은 ''q''-전개를 통해 다음과 같이 근사할 수 있다.

:

e^{\pi \sqrt{d}} \approx -j\left(\frac{1+\sqrt{-d}}{2}\right) + 744

\tau

가 이차 무리수일 때,

j(\tau)

는

\mathbf{Q}(\tau)

의 대수적 정수가 된다. 그 차수는

\mathbf{Q}(\tau)

의 유수와 같으며, 이를 만족하는 최소 다항식을 '힐베르트 유수 다항식'이라고 한다. 허수 이차 확장

\mathbf{Q}(\tau)

의 유수가 1이면 (즉, ''d''가 헤그너 수), ''j''-불변량은 정수가 된다.^[4]

''j''의 푸리에 급수 전개는

q=e^{2 \pi i \tau}

에 대한 로랑 급수로 나타낼 수 있으며, ''q''-전개는 다음과 같이 시작한다.

:

j(\tau) = \frac{1}{q} + 744 + 196\,884 q + \cdots.

계수

c_n

은

\ln(c_n) \sim 4\pi \sqrt{n} + O\bigl(\ln(n)\bigr)

와 같이 점근적으로 증가하며, 낮은 차수의 계수는

200\,000^n

보다 느리게 증가한다. 따라서

\textstyle q \ll \frac{1}{200\,000}

에 대해 ''j''는 처음 두 항 (

\frac{1}{q} + 744

)으로 매우 잘 근사된다.

\textstyle\tau = \frac{1+\sqrt{-163}}{2}

로 설정하면,

q=-e^{-\pi \sqrt{163}}

이고

\frac{1}{q}=-e^{\pi \sqrt{163}}

이다. 이때

j\left(\frac{1+\sqrt{-163}}{2}\right)=\left(-640\,320\right)^3

이므로, 다음 식이 성립한다.

:

\left(-640\,320\right)^3=-e^{\pi \sqrt{163}}+744+O\left(e^{-\pi \sqrt{163}}\right).

즉, 라마누잔 상수는 다음과 같이 표현된다.

:

e^{\pi \sqrt{163}}=640\,320^3+744+O\left(e^{-\pi \sqrt{163}}\right)

오차의 선형 항은

\frac{-196\,884}{e^{\pi \sqrt{163}}} \approx -0.000\,000\,000\,000\,75

로 매우 작기 때문에,

e^{\pi \sqrt{163}}

이 정수에 매우 가까운 값을 가지는 이유를 설명한다.

4. 원주율( $\pi$ ) 공식

추드노프스키 형제가 1987년에 발견한 원주율 공식은 다음과 같다.

: $\frac{1}{\pi} = \frac{12}{640\,320^\frac32} \sum_{k=0}^\infty \frac{(6k)! (163 \cdot 3\,344\,418k + 13\,591\,409)}{(3k)!(k!)^3 (-640\,320)^{3k}}$

이 공식은 $j\left(\frac{1+\sqrt{-163}}{2}\right) = -640\,320^3$ 이라는 사실을 이용하여 증명할 수 있다. 여기서 $j$ 는 j-불변량을 의미한다.

이와 비슷한 공식으로 라마누잔-사토 급수가 있다.

5. 기타 헤그너 수의 성질

다른 헤그너 수에 대해서도 j-불변량을 사용해서 정수에 가까운 값을 생성해 내는 것이 가능하다.

$e^{\pi \sqrt{19}} \approx 96^3+744-.22$
$e^{\pi \sqrt{43}} \approx 960^3+744-.00022$
$e^{\pi \sqrt{67}} \approx 5280^3+744-.0000013$

d \le 11

일 때는 일차 오류항

-196,884 / e^{\pi \sqrt{d}}

이 1보다 크기 때문에 이러한 성질을 잃는다.

\tau

가 이차 무리수이면, ''j''-불변량

j(\tau)

는

\mathbf{Q}(\tau)

의 대수적 정수이며, 그 차수는

\mathbf{Q}(\tau)

의 유수와 같다. 이를 만족하는 최소 다항식을 '힐베르트 유수 다항식'이라고 한다. 허수 이차 확장

\mathbf{Q}(\tau)

의 유수가 1이면(즉, ''d''가 헤그너 수이면), ''j''-불변량은 정수이다.

''q''-전개는 ''j''의 푸리에 급수 전개를

q=e^{2 \pi i \tau}

에 대한 로랑 급수로 나타낸 것이다.

:

j(\tau) = \frac{1}{q} + 744 + 196\,884 q + \cdots.

계수

c_n

은 점근적으로

\ln(c_n) \sim 4\pi \sqrt{n} + O\bigl(\ln(n)\bigr)

와 같이 증가하며, 낮은 차수의 계수는

200\,000^n

보다 느리게 증가한다. 따라서

\textstyle q \ll \frac{1}{200\,000}

에 대해 ''j''는 처음 두 항으로 매우 잘 근사된다.

\textstyle\tau = \frac{1+\sqrt{-163}}{2}

로 설정하면

q=-e^{-\pi \sqrt{163}}

이므로,

:

j\left(\frac{1+\sqrt{-163}}{2}\right)=\left(-640\,320\right)^3,

:

e^{\pi \sqrt{163}}=640\,320^3+744+O\left(e^{-\pi \sqrt{163}}\right)

이며, 오차의 선형 항은

:

\frac{-196\,884}{e^{\pi \sqrt{163}}} \approx \frac{-196\,884}{640\,320^3+744}\approx -0.000\,000\,000\,000\,75

이므로

e^{\pi \sqrt{163}}

이 정수와 근사적으로 일치한다.

네 개의 가장 큰 헤그너 수에 대한 근사값은 다음과 같다.

:

\begin{align}e^{\pi \sqrt{19}}  &\approx \phantom{000\,0}96^3+744-0.22\\e^{\pi \sqrt{43}}  &\approx \phantom{000\,}960^3+744-0.000\,22\\e^{\pi \sqrt{67}}  &\approx \phantom{00}5\,280^3+744-0.000\,0013\\e^{\pi \sqrt{163}} &\approx 640\,320^3+744-0.000\,000\,000\,000\,75\end{align}

또는,

:

\begin{align}e^{\pi \sqrt{19}}  &\approx 12^3\left(3^2-1\right)^3\phantom{00}+744-0.22\\e^{\pi \sqrt{43}}  &\approx 12^3\left(9^2-1\right)^3\phantom{00}+744-0.000\,22\\e^{\pi \sqrt{67}}  &\approx 12^3\left(21^2-1\right)^3\phantom{0}+744-0.000\,0013\\e^{\pi \sqrt{163}} &\approx 12^3\left(231^2-1\right)^3+744-0.000\,000\,000\,000\,75\end{align}

여기서 제곱의 이유는 특정 아이젠슈타인 급수 때문이다. 헤그너 수

d < 19

의 경우, 거의 정수를 얻을 수 없다. 정수 ''j''-불변량은 다음과 같이 인수분해된다.

:

\begin{align}j\left(\frac{1+\sqrt{-19}}{2}\right) &= \phantom{000\,0}-96^3 = -\left(2^5 \cdot 3\right)^3\\j\left(\frac{1+\sqrt{-43}}{2}\right) &= \phantom{000\,}-960^3 = -\left(2^6 \cdot 3 \cdot 5\right)^3\\j\left(\frac{1+\sqrt{-67}}{2}\right) &= \phantom{00}-5\,280^3 = -\left(2^5 \cdot 3 \cdot 5 \cdot 11\right)^3\\j\left(\frac{1+\sqrt{-163}}{2}\right)&= -640\,320^3 = -\left(2^6 \cdot 3 \cdot 5 \cdot 23 \cdot 29\right)^3.\end{align}

이러한 초월수는 3차 대수적 수에 의해서도 매우 근사될 수 있다.

:

\begin{align}e^{\pi \sqrt{19}}  &\approx x^{24}-24.000\,31 ; & x^3-2x-2&=0\\e^{\pi \sqrt{43}}  &\approx x^{24}-24.000\,000\,31 ; & x^3-2x^2-2&=0\\e^{\pi \sqrt{67}}  &\approx x^{24}-24.000\,000\,0019 ; & 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{align}

근은 모듈러 함수인 데데킨트 에타 함수 ''η''(''τ'')의 몫으로 정확하게 주어지며, 이는 근사값에서 24를 설명한다. 또한 4차 대수적 수에 의해서도 매우 근사될 수 있다.

:

\begin{align}e^{\pi \sqrt{19}}  &\approx 3^5 \left(3-\sqrt{2\left(1- \tfrac{96}{24}+1\sqrt{3\cdot19}\right)} \right)^{-2}-12.000\,06\dots\\e^{\pi \sqrt{43}}  &\approx 3^5 \left(9-\sqrt{2\left(1- \tfrac{960}{24}+7\sqrt{3\cdot43}\right)} \right)^{-2}-12.000\,000\,061\dots\\e^{\pi \sqrt{67}}  &\approx 3^5 \left(21-\sqrt{2\left(1- \tfrac{5\,280}{24} +31\sqrt{3\cdot67}\right)} \right)^{-2}-12.000\,000\,000\,36\dots\\e^{\pi \sqrt{163}}  &\approx 3^5 \left(231-\sqrt{2\left(1- \tfrac{640\,320}{24}+2\,413\sqrt{3\cdot163}\right)} \right)^{-2}-12.000\,000\,000\,000\,000\,21\dots\end{align}

만약

x

가 괄호 안의 표현식을 나타내면, 각각 4차 방정식을 만족한다.

방정식
$x^4 - 4\cdot 3 x^3 + \tfrac23( 96 +3) x^2 - \tfrac23\cdot3(96-6)x - 3=0$
$x^4 - 4\cdot 9x^3 + \tfrac23( 960 +3) x^2 - \tfrac23\cdot9(960-6)x - 3=0$
$x^4 - 4\cdot 21x^3 + \tfrac23( 5\,280 +3) x^2 - \tfrac23\cdot21(5\,280-6)x - 3=0$
$x^4 - 4\cdot 231x^3 + \tfrac23( 640\,320 +3) x^2 - \tfrac23\cdot231(640\,320-6)x - 3=0$

정수 $n = 3, 9, 21, 231$ 가 다시 나타나며, 다음과 같다.

: $\begin{align}2^6 \cdot 3\left(-\left(1- \tfrac{96}{24}\right)^2+ 1^2 \cdot3\cdot 19 \right) &= 96^2\\2^6 \cdot 3\left(-\left(1- \tfrac{960}{24}\right)^2+ 7^2\cdot3 \cdot 43 \right) &= 960^2\\2^6 \cdot 3\left(-\left(1- \tfrac{5\,280}{24}\right)^2+ 31^2 \cdot 3\cdot67 \right) &= 5\,280^2\\2^6 \cdot 3\left(-\left(1- \tfrac{640\,320}{24}\right)^2+ 2413^2\cdot 3 \cdot163 \right) &= 640\,320^2\end{align}$

이는 적절한 분수 지수와 함께 정확히 ''j''-불변량이다.

마찬가지로 6차 대수적 수의 경우,

: $\begin{align}e^{\pi \sqrt{19}} &\approx \left(5x\right)^3-6.000\,010\dots\\e^{\pi \sqrt{43}} &\approx \left(5x\right)^3-6.000\,000\,010\dots\\e^{\pi \sqrt{67}} &\approx \left(5x\right)^3-6.000\,000\,000\,061\dots\\e^{\pi \sqrt{163}} &\approx \left(5x\right)^3-6.000\,000\,000\,000\,000\,034\dots\end{align}$

여기서 ''x''는 6차 방정식의 적절한 근으로 주어진다.

방정식
$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$

''j''-불변량이 다시 나타난다. 이러한 6차 방정식은 가해 가능하며, 근호로 풀 수 있다. 이러한 대수적 근사는 데데킨트 에타 몫으로 ''정확하게'' 표현될 수 있다. 예를 들어, $\textstyle \tau = \frac{1+\sqrt{-163}}{2}$ 라고 하면,

: $\begin{align}e^{\pi \sqrt{163}} &= \left( \frac{e^\frac{\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^\frac{\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^\frac{\pi i}{6} \eta(\tau)}{\eta(5\tau)} \right)^{6}-6.000\,000\,000\,000\,000\,034\dots\end{align}$

여기서 에타 몫은 위에 주어진 대수적 수이다.

6. 유수가 2인 수

허수 이차수체의 유수가 2인 수 88, 148, 232는 헤그너 수는 아니지만, 거의 정수와 유사한 성질을 갖는다.^[14]

: $e^{\pi \sqrt{88}} +8744 \approx 2508952^2-0.077\dots$

: $e^{\pi \sqrt{148}} +8744 \approx 199148648^2-0.00097\dots$

: $e^{\pi \sqrt{232}} +8744 \approx 24591257752^2-0.0000078\dots$

: $e^{\pi \sqrt{22}} -24 \approx (6+4\sqrt{2})^{6} +0.00011\dots$

: $e^{\pi \sqrt{37}} +24 \approx (12+ 2 \sqrt{37})^6 -0.0000014\dots$

: $e^{\pi \sqrt{58}} -24 \approx (27 + 5 \sqrt{29})^6 -0.0000000011\dots$

7. 연속 소수

홀수 소수 '''p'''가 주어졌을 때, $k^2 \mod p$ 를 $\textstyle k=0,1,\dots,\frac{p-1}{2}$ 에 대해 계산하면( $\left(p-k\right)^2\equiv k^2\mod p$ 이므로 충분하다), '''p'''가 헤그너 수일 경우에만 연속된 합성수가 나오고 그 다음에 연속된 소수가 나온다.^[15]

자세한 내용은 리처드 몰린의 "Quadratic Polynomials Producing Consecutive Distinct Primes and Class Groups of Complex Quadratic Fields"를 참조.^[16]^[32]

참조

_[1] 서적 The Book of Numbers https://archive.org/[...] Springer
_[2] 간행물 On the gap in the theorem of Heegner http://deepblue.lib.[...]
_[3] 문서 Eindeutigkeit der Zerlegung in Primzahlfaktoren in quadratischen Zahlkörpern. https://babel.hathit[...] Proc. Fifth Internat. Congress Math. ( Cambridge)
_[4] 서적 Les nombres remarquables. Hermann
_[5] MathWorld Transcendental Number
_[6] 웹사이트 Ramanujan Constant http://mathworld.wol[...]
_[7] 서적 The Constants of Nature Jonathan Cape
_[8] 간행물 Mathematical Games Scientific American, Inc 1975-04
_[9] 문서
_[10] 웹사이트 More on e^(pi*SQRT(163)) http://groups.google[...] 2008-04-19
_[11] 문서
_[12] 웹사이트 Pi Formulas http://sites.google.[...]
_[13] 웹사이트 Extending Ramanujan's Dedekind Eta Quotients http://sites.google.[...]
_[14] 웹사이트 Ramanujan’s Constant e^(pv163) And Its Cousins https://www.oocities[...]
_[15] 웹사이트 Simple Complex Quadratic Fields http://www.mathpages[...]
_[16] 간행물 Quadratic polynomials producing consecutive, distinct primes and class groups of complex quadratic fields http://matwbn.icm.ed[...]
_[17] 서적 The Book of Numbers https://archive.org/[...] Springer
_[18] 간행물 On the gap in the theorem of Heegner http://deepblue.lib.[...]
_[19] 문서 Eindeutigkeit der Zerlegung in Primzahlfaktoren in quadratischen Zahlkörpern. https://babel.hathit[...]
_[20] 문서 Les nombres remarquables.
_[21] MathWorld Transcendental Number
_[22] 웹사이트 Ramanujan Constant http://mathworld.wol[...]
_[23] 서적 The Constants of Nature Jonathan Cape
_[24] 간행물 Mathematical Games Scientific American, Inc 1975-04
_[25] 문서
_[26] url https://groups.googl[...]
_[27] 문서
_[28] 웹사이트 Pi Formulas https://sites.google[...] 2020년6월
_[29] 웹사이트 Extending Ramanujan's Dedekind Eta Quotients https://sites.google[...] 2020년6월
_[30] 문서
_[31] url http://www.mathpages[...]
_[32] 간행물 Quadratic polynomials producing consecutive, distinct primes and class groups of complex quadratic fields http://matwbn.icm.ed[...]
_[33] 문서 Eindeutigkeit der Zerlegung in Primzahlfaktoren in quadratischen Zahlkörpern. Proc. Fifth Internat. Congress Math. (Cambridge)

본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com