हेगनर संख्या

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

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

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

1, 2, 3, 7, 11, 19, 43, 67, और 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(z) सम्मिश्र संख्या z के जे-अपरिवर्तनीय को दर्शाता है। इस प्रकार संक्षेप में, $\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$ द्विघात अपरिमेय होता है, तब जे-अपरिवर्तनीय डिग्री का बीजगणितीय पूर्णांक होता है $\left|\mathrm {Cl} {\bigl (}\mathbf {Q} (\tau ){\bigr )}\right|$, वर्ग संख्या (संख्या सिद्धांत) की $\mathbf {Q} (\tau )$ और जिस न्यूनतम (मोनिक इंटीग्रल) बहुपद को यह संतुष्ट करता है, उसे 'हिल्बर्ट वर्ग बहुपद' कहा जाता है। इस प्रकार यदि काल्पनिक द्विघात विस्तार $\mathbf {Q} (\tau )$ इसकी कक्षा संख्या 1 है (इसलिए d हेगनर संख्या है), जे-अपरिवर्तनीय पूर्णांक होता है।

जे का क्यू-विस्तार, इसके फूरियर श्रृंखला विस्तार के साथ लॉरेंट श्रृंखला के रूप में लिखा गया है $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$ उल्लेखनीय नहीं होता है, अतः पूर्णांक जे-अपरिवर्तनीय अत्यधिक गुणनखंडन योग्य हैं, जो प्रपत्र से अनुसरण करता है।

$$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}}$$

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

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

जे-इनवेरिएंट के फिर से प्रकट होने के साथ यह सेक्स्टिक्स न केवल बीजगणितीय होते हैं, अतः वह nवें मूल में हल करने योग्य समूह भी होता हैं, जिससे कि वह विस्तार पर दो घन समीकरण में कारक $\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.