कार्ल स्टॉर्मर और उनकी संख्याएं

मूल जानकारी

• पेपर ID: 2511.03030
• शीर्षक: Carl Størmer and his Numbers
• लेखक: Matthew Kroesche, Lance L. Littlejohn, Graeme Reinhart
• वर्गीकरण: math.HO (गणित का इतिहास) math.NT (संख्या सिद्धांत)
• प्रकाशन समय: 4 नवंबर 2025
• पेपर लिंक: https://arxiv.org/abs/2511.03030

सारांश

फर्मा के द्विवर्ग प्रमेय के कई प्रमाणों में, द्विघात सर्वांगसमता समीकरण $x^2 \equiv -1 \bmod p$ का न्यूनतम धनात्मक अवशेष समाधान $x_0$ महत्वपूर्ण भूमिका निभाता है, जहाँ $p$ एक अभाज्य संख्या है और $p \equiv 1 \bmod 4$। ऐसे $x_0$ को स्टॉर्मर संख्या कहा जाता है, जिसका नाम नॉर्वेजियन गणितज्ञ और खगोलविद कार्ल स्टॉर्मर (1874-1957) के नाम पर रखा गया है। यह पेपर $x_0 \in \mathbb{N}$ के किसी अभाज्य संख्या $p \equiv 1 \bmod 4$ की स्टॉर्मर संख्या होने के लिए आवश्यक और पर्याप्त शर्तें स्थापित करता है। स्टॉर्मर के इन संख्याओं का अध्ययन मुख्य रूप से $\pi$ को Gregory-MacLaurin श्रेणी $\arctan(1/x)$ के कुछ मानों के परिमित रैखिक संयोजन के रूप में प्रदर्शित करने वाली सर्वसमिकाओं के अध्ययन से उत्पन्न हुआ। चूंकि 1900 में $\pi$ के 600 से कम अंक ज्ञात थे, $\pi$ का सन्निकटन एक महत्वपूर्ण विषय था। स्टॉर्मर द्वारा 1896 में खोजी गई एक सर्वसमिका को कनाडा और उनकी टीम द्वारा 2002 में $\pi$ के 1.24 ट्रिलियन अंकों की गणना के लिए उपयोग किया गया था।

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या की पृष्ठभूमि

1. फर्मा के द्विवर्ग प्रमेय का महत्व: इस प्रमेय को G.H. Hardy ने "अंकगणित के सबसे सुंदर प्रमेयों में से एक" कहा है। यह बताता है कि एक अभाज्य संख्या $p$ को दो धनात्मक पूर्णांकों के वर्गों के योग के रूप में व्यक्त किया जा सकता है यदि और केवल यदि $p \equiv 1 \bmod 4$।
2. द्विघात सर्वांगसमता की मूल भूमिका: फर्मा के द्विवर्ग प्रमेय के अधिकांश प्रमाण द्विघात सर्वांगसमता समीकरण $x^2 \equiv -1 \bmod p$ के अध्ययन में शामिल होते हैं। उदाहरण के लिए, Hermite और Serret द्वारा 1848 में स्वतंत्र रूप से दिए गए प्रमाण में न्यूनतम अवशेष समाधान $x_0$ को ज्ञात माना जाता है, फिर यूक्लिडीय एल्गोरिथ्म का उपयोग करके धनात्मक पूर्णांकों $a, b$ को खोजने के लिए एक एल्गोरिथ्म बनाया जाता है जो $p = a^2 + b^2$ को संतुष्ट करते हैं।
3. ऐतिहासिक महत्व: हालांकि Girard ने 1632 में इस प्रमेय को प्रस्तुत किया और Fermat ने 1640 में प्रमाण की घोषणा की, पहला दर्ज किया गया अस्तित्व प्रमाण Euler द्वारा 1749 में दिया गया था, और अद्वितीयता प्रमाण Gauss द्वारा 1801 में पूरा किया गया था।

अनुसंधान की प्रेरणा

1. सैद्धांतिक आवश्यकता: जब अभाज्य संख्या $p$ बहुत बड़ी हो, तो $x_0$ को खोजना व्यावहारिक रूप से कठिन है, और व्यवस्थित निर्णय शर्तों की आवश्यकता है।
2. ऐतिहासिक मूल्य: कार्ल स्टॉर्मर का कार्य संख्या सिद्धांत और $\pi$ के सन्निकटन को जोड़ता है, जिसका गणित के इतिहास में महत्वपूर्ण अर्थ है।
3. अनुप्रयोग मूल्य: स्टॉर्मर की सर्वसमिकाएं आज भी उच्च परिशुद्धता वाली $\pi$ गणना में महत्वपूर्ण भूमिका निभाती हैं।

मुख्य योगदान

1. स्टॉर्मर संख्याओं का पूर्ण लक्षण वर्णन: धनात्मक पूर्णांक $x_0$ के किसी अभाज्य संख्या की स्टॉर्मर संख्या होने के लिए आवश्यक और पर्याप्त शर्तें दी गई हैं (प्रमेय 2.3)
2. स्टॉर्मर फलन की एकैकता सिद्ध की: प्रत्येक स्टॉर्मर संख्या एक अद्वितीय अभाज्य संख्या के अनुरूप है (प्रमेय 2.1)
3. स्टॉर्मर संख्याओं के प्राकृतिक घनत्व का सूचक प्रमाण प्रदान किया: Everest और Harman के अनुमान का समर्थन किया, अर्थात् स्टॉर्मर संख्याओं का प्राकृतिक घनत्व $\ln 2$ है
4. स्टॉर्मर संख्याओं और Gregory संख्याओं के बीच संबंध को व्यवस्थित रूप से समझाया: स्टॉर्मर के $\pi$ सन्निकटन सिद्धांत और उसके आधुनिक अनुप्रयोगों को प्रदर्शित किया
5. समृद्ध गणनात्मक उदाहरण प्रदान किए: ठोस उदाहरणों के माध्यम से सिद्धांत के व्यावहारिक अनुप्रयोग को समझाया

विधि विवरण

कार्य परिभाषा

इनपुट: धनात्मक पूर्णांक $x_0$आउटपुट: यह निर्धारित करना कि $x_0$ किसी अभाज्य संख्या $p \equiv 1 \bmod 4$ की स्टॉर्मर संख्या है या नहीं, और यदि है तो संबंधित अभाज्य संख्या $p$ को खोजना बाधाएं: $p$ को $4n+1$ के रूप की अभाज्य संख्या होनी चाहिए, और $1 < x_0 \leq (p-1)/2$, $x_0^2 \equiv -1 \bmod p$

मूल सैद्धांतिक ढांचा

परिभाषा 2.1 (स्टॉर्मर संख्या)

मान लीजिए $p = 4n+1$ एक अभाज्य संख्या है, और धनात्मक पूर्णांक $x_0$ निम्नलिखित को संतुष्ट करता है:

• (i) $1 < x_0 \leq \frac{p-1}{2}$
• (ii) $x_0^2 \equiv -1 \bmod p$

तब $x_0$ को $p$ की स्टॉर्मर संख्या कहा जाता है, जिसे $S(p) = x_0$ से दर्शाया जाता है।

मुख्य प्रमेय

प्रमेय 2.1 (एकैकता): स्टॉर्मर फलन $S: P_{4n+1} \to \mathbb{N}$ एकैक है।

प्रमाण की रूपरेखा: मान लीजिए $S(p_1) = S(p_2)$ लेकिन $p_1 \neq p_2$। सामान्यता खोए बिना मान लीजिए $p_1 > p_2$। चूंकि $p_j | (x_0^2 + 1)$, हमें $p_1 p_2 | (x_0^2 + 1)$ मिलता है, अर्थात्: $x_0^2 + 1 \geq p_1 p_2$

दूसरी ओर, चूंकि $x_0 \leq (p_2-1)/2$ और $p_2 \leq p_1 - 2$, हम निम्नलिखित को प्राप्त कर सकते हैं: $x_0^2 + 1 < p_1 p_2$

यह एक विरोधाभास उत्पन्न करता है, इसलिए $p_1 = p_2$।

प्रमेय 2.2 (अभाज्य संख्या गुण): यदि $x_0^2 + 1 = 2^r p_1^{r_1} \cdots p_m^{r_m}$, तो प्रत्येक $p_j \equiv 1 \bmod 4$।

प्रमेय 2.3 (आवश्यक और पर्याप्त शर्त): मान लीजिए $n = x_0^2 + 1$ का अभाज्य गुणनखंडन $2^r p_1^{r_1} \cdots p_m^{r_m}$ है, जहाँ $p_1 < \cdots < p_m$। तब एक अभाज्य संख्या $p$ मौजूद है जिसके लिए $x_0$ इसकी स्टॉर्मर संख्या है यदि और केवल यदि $2x_0 + 1 \leq p_m$। यदि शर्त संतुष्ट है, तो $p = p_m$ और $S(p_m) = x_0$।

तकनीकी नवाचार बिंदु

1. एकीकृत निर्णय ढांचा: स्टॉर्मर संख्या के निर्णय समस्या को $x_0^2 + 1$ के अभाज्य गुणनखंडन के विश्लेषण में परिवर्तित करता है
2. रचनात्मक प्रमाण: न केवल निर्णय शर्तें देता है, बल्कि संबंधित अभाज्य संख्या को खोजने की ठोस विधि भी प्रदान करता है
3. संख्या सिद्धांत और विश्लेषण को जोड़ना: स्टॉर्मर संख्याओं, Gregory श्रेणी और $\pi$ के सन्निकटन के बीच गहरे संबंध स्थापित करता है

प्रयोगात्मक सेटअप

डेटा प्रदर्शन

पेपर दो महत्वपूर्ण डेटा तालिकाएं प्रदान करता है:

तालिका 1: अभाज्य संख्याओं और संबंधित स्टॉर्मर संख्याओं के क्रमित युग्म

(5,2), (13,5), (17,4), (29,12), (37,6), (41,9), (53,23)
(61,11), (73,27), (89,14), (97,22), (101,10), (109,33), (113,15)
...

तालिका 2: आरोही क्रम में व्यवस्थित पहली कुछ स्टॉर्मर संख्याएं

1, 2, 4, 5, 6, 9, 10, 11, 12, 14, 15, 16, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 33, 34, 35, 36, 37, 39, 40, 42, ...

सत्यापन विधि

पेपर ठोस उदाहरणों के माध्यम से सैद्धांतिक परिणामों को सत्यापित करता है:

उदाहरण 1: $x_0 = 3$

• $x_0^2 + 1 = 10 = 2 \times 5$
• $2x_0 + 1 = 7 > 5$
• इसलिए 3 एक स्टॉर्मर संख्या नहीं है

उदाहरण 2: $x_0 = 15$

• $x_0^2 + 1 = 226 = 2 \times 113$
• $2x_0 + 1 = 31 \leq 113$
• इसलिए $S(113) = 15$

प्रयोगात्मक परिणाम

प्राकृतिक घनत्व विश्लेषण

पेपर स्टॉर्मर संख्याओं के प्राकृतिक घनत्व के संख्यात्मक साक्ष्य देता है:

ये डेटा Everest-Harman अनुमान का समर्थन करते हैं: $\lim_{n \to \infty} \frac{|\{S(p) | p \leq n\}|}{n} = \ln 2 \approx 0.693$

सूचक घनत्व प्रमाण

पेपर संभाव्यता सिद्धांत पर आधारित एक सूचक प्रमाण प्रदान करता है:

$x_0 \in \mathbb{N}$ के लिए, यदि $x_0 = S(p)$, तो $2x_0 + 1 \leq p \leq x_0^2 + 1$। मान लीजिए कि प्रत्येक पूर्णांक के स्टॉर्मर संख्या होने की "संभावना" $2/(p-1)$ है, तब $x_0$ के स्टॉर्मर संख्या होने की संभावना लगभग है:

$\sum_{2x_0+1 \leq p \leq x_0^2+1, p \equiv 1 \bmod 4} \frac{2}{p-1} \sim \sum_{2x_0 \leq p \leq x_0^2} \frac{1}{p} \sim \ln 2$

Merten अनुमान का उपयोग करके अंतिम परिणाम प्राप्त किया जाता है।

Gregory संख्याएं और π का सन्निकटन

सैद्धांतिक आधार

स्टॉर्मर ने स्टॉर्मर संख्याओं और Gregory संख्याओं $t_x := \arctan(1/x)$ के बीच संबंध स्थापित किया:

प्रमेय 5.1 (स्टॉर्मर प्रमेय): यदि $x \in \mathbb{N}$ एक स्टॉर्मर संख्या नहीं है, तो $t_x$ को अद्वितीय रूप से $t_n$ के परिमित रैखिक संयोजन के रूप में व्यक्त किया जा सकता है, जहाँ प्रत्येक $n$ एक स्टॉर्मर संख्या है और $n < x$।

ऐतिहासिक अनुप्रयोग

1. Machin सूत्र (1706): $\frac{\pi}{4} = 4\arctan\frac{1}{5} - \arctan\frac{1}{239}$
2. Euler सूत्र: $\frac{\pi}{4} = 5\arctan\frac{1}{7} + 2\arctan\frac{79}{3}$
3. स्टॉर्मर सूत्र (1896): $\frac{\pi}{4} = 44\arctan\frac{1}{57} + 7\arctan\frac{1}{239} - 12\arctan\frac{1}{682} + 24\arctan\frac{1}{12943}$

आधुनिक महत्व

स्टॉर्मर की 1896 की सर्वसमिका को कनाडा टीम द्वारा 2002 में π के 1.24 ट्रिलियन अंकों की गणना के लिए उपयोग किया गया, जो शास्त्रीय गणितीय सिद्धांत के स्थायी मूल्य को प्रदर्शित करता है।

संबंधित कार्य

ऐतिहासिक विकास

1. फर्मा का द्विवर्ग प्रमेय: Girard (1632) से Fermat (1640) से Euler (1749) तक का विकास पथ
2. Smith विधि (1855): यूक्लिडीय एल्गोरिथ्म और सतत भिन्न सिद्धांत का उपयोग करते हुए एक सुंदर अस्तित्व प्रमाण
3. Hermite-Serret एल्गोरिथ्म (1848): ज्ञात स्टॉर्मर संख्याओं के आधार पर वर्गों के योग अपघटन बनाने के लिए एल्गोरिथ्म

संबंधित अनुसंधान

1. Conway-Guy परिभाषा: स्टॉर्मर संख्या की थोड़ी भिन्न परिभाषा, जिसमें n=1 का मामला शामिल है
2. Lehmer कार्य: arccot फलन की सर्वसमिकाओं का अनुसंधान
3. Todd प्रमेय: arctan फलन की अपरिवर्तनीयता के बारे में लक्षण वर्णन

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

1. पूर्ण लक्षण वर्णन: स्टॉर्मर संख्याओं के लिए आवश्यक और पर्याप्त निर्णय शर्तें स्थापित की गई हैं, जो एक दीर्घकालीन समस्या को हल करती हैं
2. सैद्धांतिक एकीकरण: स्टॉर्मर संख्याओं, फर्मा के द्विवर्ग प्रमेय, Gregory श्रेणी और π के सन्निकटन को एक सैद्धांतिक ढांचे में एकीकृत किया गया है
3. ऐतिहासिक मूल्य: कार्ल स्टॉर्मर के गणितीय योगदान और उनके आधुनिक महत्व को व्यवस्थित रूप से समझाया गया है

सीमाएं

1. घनत्व प्रमाण: प्राकृतिक घनत्व का प्रमाण अभी भी सूचक है, कठोर गणितीय प्रमाण की कमी है
2. गणनात्मक जटिलता: बड़े $x_0$ के लिए, यह निर्धारित करना कि क्या यह एक स्टॉर्मर संख्या है, के लिए $x_0^2 + 1$ का गुणनखंडन आवश्यक है, जो गणनात्मक रूप से कठिन हो सकता है
3. अनुप्रयोग की सीमा: मुख्य रूप से सैद्धांतिक गणित तक सीमित है, व्यावहारिक अनुप्रयोग अपेक्षाकृत सीमित हैं

भविष्य की दिशाएं

1. कठोर घनत्व प्रमाण: Everest-Harman अनुमान के कठोर गणितीय प्रमाण की खोज
2. एल्गोरिथ्म अनुकूलन: स्टॉर्मर संख्याओं के निर्णय और गणना के लिए अधिक कुशल एल्गोरिथ्म विकसित करना
3. सामान्यीकरण अनुसंधान: अन्य गणितीय शाखाओं में समान संरचनाओं के अनुप्रयोग की खोज

गहन मूल्यांकन

शक्तियां

1. सैद्धांतिक पूर्णता: स्टॉर्मर संख्याओं का पूर्ण गणितीय लक्षण वर्णन प्रदान करता है, सैद्धांतिक अंतराल को भरता है
2. ऐतिहासिक मूल्य: कार्ल स्टॉर्मर के जीवन और योगदान को व्यवस्थित रूप से प्रस्तुत करता है, गणित के इतिहास में महत्वपूर्ण अर्थ रखता है
3. मजबूत संयोजन: संख्या सिद्धांत, विश्लेषण और π की गणना जैसी कई गणितीय शाखाओं को कुशलतापूर्वक जोड़ता है
4. समृद्ध उदाहरण: बड़ी संख्या में ठोस उदाहरणों के माध्यम से सिद्धांत के अनुप्रयोग को समझाता है, पठनीयता को बढ़ाता है
5. स्पष्ट लेखन: पेपर की संरचना स्पष्ट है, मूल परिभाषा से गहन अनुप्रयोग तक क्रमिक प्रगति करता है

कमियां

1. गणनात्मक दक्षता: व्यावहारिक अनुप्रयोगों के लिए, अभाज्य गुणनखंडन की गणनात्मक जटिलता एक बाधा बन सकती है
2. घनत्व प्रमाण: प्राकृतिक घनत्व का प्रमाण गणितीय कठोरता में कमी है, केवल सूचक तर्क है
3. अनुप्रयोग सीमा: हालांकि सिद्धांत पूर्ण है, लेकिन आधुनिक व्यावहारिक मूल्य अपेक्षाकृत सीमित है
4. नवाचार की डिग्री: मुख्य रूप से पहले से मौजूद सिद्धांत का व्यवस्थितकरण है, मूल योगदान अपेक्षाकृत कम है

प्रभाव

1. सैद्धांतिक योगदान: संख्या सिद्धांत अनुसंधान के लिए नए उपकरण और दृष्टिकोण प्रदान करता है
2. शैक्षिक मूल्य: संख्या सिद्धांत और गणित के इतिहास के शिक्षण सामग्री के रूप में उपयुक्त है
3. प्रेरणा महत्व: संबंधित गणितीय संरचनाओं के आगे अनुसंधान को प्रेरित कर सकता है
4. पुनरुत्पादनीयता: सैद्धांतिक परिणाम स्पष्ट हैं, गणनात्मक उदाहरण सत्यापन में आसान हैं

लागू परिदृश्य

1. संख्या सिद्धांत अनुसंधान: द्विघात सर्वांगसमता और अभाज्य संख्या गुणों के अनुसंधान के लिए नई विधि प्रदान करता है
2. गणित शिक्षा: विभिन्न गणितीय शाखाओं को जोड़ने वाले उत्कृष्ट शिक्षण उदाहरण के रूप में कार्य करता है
3. गणित इतिहास अनुसंधान: 19-20वीं सदी के गणितीय विकास को समझने के लिए महत्वपूर्ण सामग्री प्रदान करता है
4. एल्गोरिथ्म डिजाइन: संबंधित गणनात्मक समस्याओं के लिए सैद्धांतिक आधार प्रदान करता है

संदर्भ

पेपर 21 महत्वपूर्ण संदर्भों का हवाला देता है, जो शास्त्रीय संख्या सिद्धांत पाठ्यपुस्तकों से लेकर आधुनिक गणनात्मक गणित तक व्यापक रेंज को कवर करते हैं, जो अनुसंधान की गहराई और व्यापकता को प्रदर्शित करता है। मुख्य संदर्भ साहित्य में Andrews की "संख्या सिद्धांत", Conway और Guy की "संख्याओं की पुस्तक", और स्टॉर्मर के मूल पेपर शामिल हैं।