हेगनर संख्या

संख्या सिद्धांत में, हेगनर संख्या (जैसा कि जॉन हॉर्टन कॉनवे और गाइ द्वारा कहा गया है) वर्ग-मुक्त धनात्मक पूर्णांक d इस प्रकार होता है कि काल्पनिक द्विघात क्षेत्र $\mathbb {Q} \left[{\sqrt {-d}}\right]$ का आदर्श वर्ग समूह 1 होता है। सामान्यतः, बीजगणितीयम पूर्णांकों का वलय $\mathbb {Q} \left[{\sqrt {-d}}\right]$ में अद्वितीय गुणनखंडन होता है।

ऐसी संख्याओं का निर्धारण वर्ग संख्या समस्या की विशेष स्थिति होती है और वह संख्या सिद्धांत में अनेक आश्चर्यजनक परिणामों का आधार हैं।

(बेकर-) स्टार्क-हीगनर प्रमेय के अनुसार, वास्तव में नौ हीगनर संख्याएँ होती हैं।

1, 2, 3, 7, 11, 19, 43, 67, and 163. (sequence A003173 in the OEIS)

इस परिणाम का अनुमान कार्ल फ्रेडरिक गॉस द्वारा लगाया गया था और सन्न 1952 में कर्ट हेगनर द्वारा इसे छोटी खामियों तक सिद्ध किया गया था। इस प्रकार एलन बेकर (गणितज्ञ) और हेरोल्ड स्टार्क ने सन्न 1966 में स्वतंत्र रूप से परिणाम को सिद्ध किया था और स्टार्क ने आगे संकेत दिया था कि हेगनर के प्रमाण में अंतर साधारण होता था।

यूलर का अभाज्य-जनक बहुपद

अभाज्यों के लिए यूलर काअभाज्य-जनक बहुपद

$$n^{2}+n+41,$$

जो n = 0, ..., 39 के लिए (विशिष्ट) अभाज्य संख्या देता है, अतः हेगनर संख्या 163 = 4 · 41 − 1 से संबंधित होता है।

जॉर्ज यूरी रेनिच ने यह सिद्ध कर दिया था कि

$$n^{2}+n+p$$

इसके लिए अभाज्य अंक देता है $n=0,\dots ,p-2$ और यदि यह द्विघात विभेदक होता है जो $1-4p$ हेगनर संख्या का ऋणात्मक होता है।

(ध्यान दीजिए कि $p-1$ पैदावार $p^{2}$, इसलिए $p-2$ अधिकतम होता है।)

1, 2, और 3 आवश्यक रूप में नहीं होते हैं, अतः हेगनर संख्याएँ जो कार्य करती हैं वह 7, 11, 19, 43, 67, 163 होती हैं, जो 2, 3, 5, 11, 17, के लिए यूलर फॉर्म के प्राइम जनरेटिंग फलन प्रदान करती हैं। इस प्रकार 41, इन बाद वाले नंबरों को फ्रांकोइस ले लियोनिस द्वारा यूलर के भाग्यशाली नंबर कहा जाता है।

लगभग पूर्णांक और रामानुजन का स्थिरांक

रामानुजन का स्थिरांक पारलौकिक संख्या है $e^{\pi {\sqrt {163}}}$, जो [[लगभग पूर्णांक]] है, इसमें यह गणितीय संयोग है#पूर्णांक में पाई या ई और संख्या 163 सम्मिलित है:

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

इस संख्या की खोज 1859 में गणितज्ञ चार्ल्स हर्मिट ने की थी। अमेरिकी वैज्ञानिक पत्रिका में 1975 अप्रैल फूल्स डे लेख में, गणितीय खेलों के स्तंभकार मार्टिन गार्डनर ने झूठा प्रामाणित किया कि संख्या वास्तव में पूर्णांक थी, और भारतीय गणितीय प्रतिभा श्रीनिवास रामानुजन ने इसकी भविष्यवाणी की थी - इसलिए इसका नाम रखा गया।

इस संयोग को जटिल गुणन और j-अपरिवर्तनीय के q-विस्तार|q-विस्तार द्वारा समझाया गया है।

विस्तार

निम्नलिखित में, j(z) सम्मिश्र संख्या z के j-अपरिवर्तनीय को दर्शाता है। संक्षेप में, $\textstyle j\left({\frac {1+{\sqrt {-d}}}{2}}\right)$ d हेगनर संख्या के लिए पूर्णांक है, और

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

क्यू-विस्तार के माध्यम से।

यदि $\tau$ द्विघात अपरिमेय है, तो j-अपरिवर्तनीय डिग्री का बीजगणितीय पूर्णांक है $\left|\mathrm {Cl} {\bigl (}\mathbf {Q} (\tau ){\bigr )}\right|$, वर्ग संख्या (संख्या सिद्धांत) की $\mathbf {Q} (\tau )$ और जिस न्यूनतम (मोनिक इंटीग्रल) बहुपद को यह संतुष्ट करता है उसे 'हिल्बर्ट वर्ग बहुपद' कहा जाता है। इस प्रकार यदि काल्पनिक द्विघात विस्तार $\mathbf {Q} (\tau )$ इसकी कक्षा संख्या 1 है (इसलिए d हेगनर संख्या है), j-अपरिवर्तनीय पूर्णांक है।

जे का क्यू-विस्तार|क्यू-विस्तार, इसके फूरियर श्रृंखला विस्तार के साथ लॉरेंट श्रृंखला के रूप में लिखा गया है $q=e^{2\pi i\tau }$, इस प्रकार प्रारंभ होता है:

$$j(\tau )={\frac {1}{q}}+744+196\,884q+\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}}}\quad \therefore \quad {\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 {\frac {-196\,884}{640\,320^{3}+744}}\approx -0.000\,000\,000\,000\,75$$

क्यों समझा रहा हूँ $e^{\pi {\sqrt {163}}}$ पूर्णांक होने के लगभग ऊपर के अंदर है।

पाई सूत्र

चुडनोव्स्की बंधुओं ने 1987 में इसकी खोज की

$${\frac {1}{\pi }}={\frac {12}{640\,320^{\frac {3}{2}}}}\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}.$$

समान सूत्रों के लिए, रामानुजन-सातो श्रृंखला देखें।

अन्य हेगनर संख्याएँ

चार सबसे बड़ी हेगनर संख्याओं के लिए, जो सन्निकटन प्राप्त होता है निम्नानुसार हैं।

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

वैकल्पिक रूप से,

$${\begin{aligned}e^{\pi {\sqrt {19}}}&\approx 12^{3}\left(3^{2}-1\right)^{3}{\color {white}00}+744-0.22\\e^{\pi {\sqrt {43}}}&\approx 12^{3}\left(9^{2}-1\right)^{3}{\color {white}00}+744-0.000\,22\\e^{\pi {\sqrt {67}}}&\approx 12^{3}\left(21^{2}-1\right)^{3}{\color {white}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{aligned}}$$

जहां वर्गों का कारण कुछ आइज़ेंस्टीन श्रृंखला के कारण है। हेगनर संख्या के लिए $d<19$, किसी को लगभग पूर्णांक प्राप्त नहीं होता है; यहां तक ​​की $d=19$ उल्लेखनीय नहीं है. पूर्णांक j-अपरिवर्तनीय अत्यधिक गुणनखंडन योग्य हैं, जो प्रपत्र से अनुसरण करता है

$$12^{3}\left(n^{2}-1\right)^{3}=\left(2^{2}\cdot 3\cdot (n-1)\cdot (n+1)\right)^{3},$$

और कारक के रूप में,

$${\begin{aligned}j\left({\frac {1+{\sqrt {-19}}}{2}}\right)&={\color {white}000\,0}96^{3}=\left(2^{5}\cdot 3\right)^{3}\\j\left({\frac {1+{\sqrt {-43}}}{2}}\right)&={\color {white}000\,}960^{3}=\left(2^{6}\cdot 3\cdot 5\right)^{3}\\j\left({\frac {1+{\sqrt {-67}}}{2}}\right)&={\color {white}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{aligned}}$$

ये पारलौकिक संख्याएँ, पूर्णांकों (जो केवल डिग्री 1 की बीजीय संख्याएँ हैं) द्वारा बारीकी से अनुमानित होने के अतिरिक्त, डिग्री 3 की बीजगणितीय संख्याओं द्वारा बारीकी से अनुमानित की जा सकती हैं,

$${\begin{aligned}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{aligned}}$$

क्यूबिक्स के फलन का मूल बिल्कुल डेडेकाइंड और फलन η(τ) के भागफल द्वारा दिया जा सकता है, मॉड्यूलर फलन जिसमें 24वां रूट सम्मिलित है, और जो सन्निकटन में 24 की व्याख्या करता है। उन्हें घात 4 की बीजगणितीय संख्याओं द्वारा भी बारीकी से अनुमानित किया जा सकता है,

$${\begin{aligned}e^{\pi {\sqrt {19}}}&\approx 3^{5}\left(3-{\sqrt {2\left(1-{\tfrac {96}{24}}+1{\sqrt {3\cdot 19}}\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\cdot 43}}\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\cdot 67}}\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\cdot 163}}\right)}}\right)^{-2}-12.000\,000\,000\,000\,000\,21\dots \end{aligned}}$$

यदि $x$ कोष्ठक के अंदर अभिव्यक्ति को दर्शाता है (उदा. $x=3-{\sqrt {2\left(1-{\tfrac {96}{24}}+1{\sqrt {3\cdot 19}}\right)}}$), यह क्रमशः चतुर्थक समीकरणों को संतुष्ट करता है

$${\begin{aligned}x^{4}-{\color {white}00}4\cdot 3x^{3}+{\color {white}000\,0}{\tfrac {2}{3}}(96+3)x^{2}-{\color {white}000\,000}{\tfrac {2}{3}}\cdot 3(96-6)x-3&=0\\x^{4}-{\color {white}00}4\cdot 9x^{3}+{\color {white}000\,}{\tfrac {2}{3}}(960+3)x^{2}-{\color {white}000\,00}{\tfrac {2}{3}}\cdot 9(960-6)x-3&=0\\x^{4}-{\color {white}0}4\cdot 21x^{3}+{\color {white}00}{\tfrac {2}{3}}(5\,280+3)x^{2}-{\color {white}000}{\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}}$$

पूर्णांकों के पुनः प्रकटन पर ध्यान दें $n=3,9,21,231$ साथ ही यह तथ्य भी

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

जो, उचित भिन्नात्मक शक्ति के साथ, त्रुटिहीन रूप से जे-अपरिवर्तनीय हैं।

इसी प्रकार घात 6 की बीजगणितीय संख्याओं के लिए,

$${\begin{aligned}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{aligned}}$$

जहां xs क्रमशः सेक्सटिक समीकरणों की उचित जड़ द्वारा दिए गए हैं,

$${\begin{aligned}5x^{6}-{\color {white}000\,0}96x^{5}-10x^{3}+1&=0\\5x^{6}-{\color {white}000\,}960x^{5}-10x^{3}+1&=0\\5x^{6}-{\color {white}00}5\,280x^{5}-10x^{3}+1&=0\\5x^{6}-640\,320x^{5}-10x^{3}+1&=0\end{aligned}}$$

जे-इनवेरिएंट के फिर से प्रकट होने के साथ। ये सेक्स्टिक्स न केवल बीजगणितीय हैं, वे एनवें मूल में हल करने योग्य समूह भी हैं क्योंकि वे विस्तार पर दो घन समीकरण में कारक हैं $\mathbb {Q} {\sqrt {5}}$ (पहले गुणनखंडन के साथ आगे दो द्विघात समीकरण में)। इन बीजगणितीय सन्निकटनों को डेडेकाइंड ईटा भागफल के रूप में त्रुटिहीन रूप से व्यक्त किया जा सकता है। उदाहरण के तौर पर, आइए $\textstyle \tau ={\frac {1+{\sqrt {-163}}}{2}}$, तब,

$${\begin{aligned}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{aligned}}$$

जहां ईटा भागफल ऊपर दी गई बीजगणितीय संख्याएं हैं।

कक्षा 2 संख्या

तीन संख्याएँ 88, 148, 232, जिसके लिए काल्पनिक द्विघात क्षेत्र $\mathbb {Q} \left[{\sqrt {-d}}\right]$ आदर्श वर्ग समूह 2 है, हेगनर संख्याएं नहीं हैं किन्तु लगभग पूर्णांकों के संदर्भ में कुछ समान गुण हैं। उदाहरण के लिए,

$${\begin{aligned}e^{\pi {\sqrt {88}}}+8\,744&\approx {\color {white}00\,00}2\,508\,952^{2}-0.077\dots \\e^{\pi {\sqrt {148}}}+8\,744&\approx {\color {white}00\,}199\,148\,648^{2}-0.000\,97\dots \\e^{\pi {\sqrt {232}}}+8\,744&\approx 24\,591\,257\,752^{2}-0.000\,0078\dots \\\end{aligned}}$$

और

$${\begin{aligned}e^{\pi {\sqrt {22}}}-24&\approx {\color {white}00}\left(6+4{\sqrt {2}}\right)^{6}+0.000\,11\dots \\e^{\pi {\sqrt {37}}}+24&\approx \left(12+2{\sqrt {37}}\right)^{6}-0.000\,0014\dots \\e^{\pi {\sqrt {58}}}-24&\approx \left(27+5{\sqrt {29}}\right)^{6}-0.000\,000\,0011\dots \\\end{aligned}}$$

लगातार अभाज्य

यदि कोई गणना करता है, तो उसे विषम अभाज्य p दिया गया है $k^{2}\mod p$ के लिए $\textstyle k=0,1,\dots ,{\frac {p-1}{2}}$ (यह पर्याप्त है क्योंकि $\left(p-k\right)^{2}\equiv k^{2}\mod p$), किसी को लगातार कंपोजिट मिलता है, उसके बाद लगातार अभाज्य संख्याएं मिलती हैं, यदि और केवल यदि पी हेगनर संख्या है। विवरण के लिए, रिचर्ड मोलिन द्वारा लिखित द्विघात बहुपद, जो लगातार विशिष्ट अभाज्य और जटिल द्विघात क्षेत्रों के वर्ग समूहों का निर्माण करते हैं, देखें।

बाहरी संबंध

• Weisstein, Eric W. "Heegner Number". MathWorld.
• OEIS sequence A003173 (Heegner numbers: imaginary quadratic fields with unique factorization)
• Gauss' Class Number Problem for Imaginary Quadratic Fields, by Dorian Goldfeld: Detailed history of problem.
• Clark, Alex. "163 and Ramanujan Constant". Numberphile. Brady Haran. Archived from the original on 2013-05-16. Retrieved 2013-04-02.