Machin के प्रकार के सूत्रों पर तीन निबंध

मूल जानकारी

• पेपर ID: 2302.00154
• शीर्षक: Machin के प्रकार के सूत्रों पर तीन निबंध
• लेखक: Armengol Gasull (Universitat Autònoma de Barcelona), Florian Luca (Wits University & UNAM), Juan L. Varona (Universidad de La Rioja)
• वर्गीकरण: math.NT (संख्या सिद्धांत)
• प्रकाशित पत्रिका: Indagationes Mathematicae (प्रकाशनाधीन)
• पेपर लिंक: https://arxiv.org/abs/2302.00154

सारांश

यह पेपर Machin प्रकार के सूत्रों से संबंधित तीन समस्याओं का अध्ययन करता है। सबसे पहले, सभी दो-पद Machin सूत्र दिए गए हैं, जहां व्युत्क्रम स्पर्शरेखा फलन 2-पूर्णांकों (रूप $b/2^a$ के मान) पर मूल्यांकित होते हैं। ये सूत्र कम्प्यूटेशनल रूप से उपयोगी हैं क्योंकि 2 की घातों से गुणा या विभाजन अधिकांश कंप्यूटरों के लिए अत्यंत तीव्र संचालन है। दूसरा, $N$ पदों वाले अनंत कई सूत्र खोजने की एक विधि प्रस्तावित की गई है, विशेषकर $N=2$ के मामले में अत्यंत उपयोगी है, जो अधिकांश ज्ञात सूत्रों को पुनः प्राप्त कर सकता है, कुछ नए सूत्र देता है, और Lehmer माप के साथ दो-पद Machin सूत्रों के अस्तित्व को सरलता से सिद्ध कर सकता है। अंत में, पूर्व परिणामों में एक चूक को सुधारा गया है, और स्वर्ण अनुपात की घातों से संबंधित व्युत्क्रम स्पर्शरेखा के सभी दो-पद Machin प्रकार के सूत्र दिए गए हैं।

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

ऐतिहासिक पृष्ठभूमि

Machin सूत्र 1706 में John Machin द्वारा खोजी गई सर्वसमिका से उत्पन्न हुआ: $4 \arctan\frac{1}{5} - \arctan\frac{1}{239} = \frac{\pi}{4}$

Gregory द्वारा 1671 में खोजी गई व्युत्क्रम स्पर्शरेखा श्रृंखला विस्तार के साथ: $\arctan x = \sum_{m=0}^{\infty} \frac{(-1)^m}{2m+1} x^{2m+1}, |x| < 1$

Machin ने इस सूत्र का उपयोग करके π के 100 दशमलव स्थान की गणना की।

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

1. कम्प्यूटेशनल दक्षता समस्या: π की गणना के लिए अधिक कुशल Machin प्रकार के सूत्र खोजना, विशेषकर 2 की घातों से संबंधित रूप, क्योंकि कंप्यूटर 2 की घातों के संचालन के लिए अत्यंत कुशल हैं
2. सैद्धांतिक पूर्णता: विभिन्न Machin प्रकार के सूत्रों का व्यवस्थित वर्गीकरण और निर्माण
3. Lehmer माप न्यूनीकरण: कम्प्यूटेशनल दक्षता में सुधार के लिए Lehmer माप के साथ सूत्र खोजना
4. ऐतिहासिक चूक को सुधारना: स्वर्ण अनुपात से संबंधित Machin सूत्र वर्गीकरण को पूर्ण करना

मौजूदा विधियों की सीमाएं

• ज्ञात Machin प्रकार के सूत्रों की संख्या सीमित है
• व्यवस्थित निर्माण विधि की कमी है
• विशेष रूपों (जैसे 2 की घातों से संबंधित) के सूत्रों का अध्ययन अपर्याप्त है
• स्वर्ण अनुपात से संबंधित पूर्व अनुसंधान में चूक है

मूल योगदान

1. 2-पूर्णांकों से संबंधित दो-पद Machin सूत्रों का पूर्ण वर्गीकरण: 10 असंबद्ध समाधान और 2 पैरामीटर परिवार दिए गए
2. "Machin सूत्र मशीन" विधि प्रस्तावित की: $N$ पदों वाले Machin प्रकार के सूत्रों को व्यवस्थित रूप से उत्पन्न कर सकता है
3. Lehmer माप के साथ दो-पद Machin सूत्रों के अस्तित्व को सिद्ध किया: रचनात्मक प्रमाण प्रदान किया
4. स्वर्ण अनुपात की घातों के Machin सूत्र वर्गीकरण को सुधारा और पूर्ण किया: 16 अनिवार्य रूप से भिन्न सर्वसमिकाएं खोजीं

विधि विवरण

पहली समस्या: 2-पूर्णांक Machin सूत्र

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

निम्नलिखित रूप के सभी समाधान खोजें: $x_1 \arctan(z_1) + x_2 \arctan(z_2) = \frac{\pi}{4}$ जहां $x_1, x_2 \in \mathbb{Q}$, $z_k \in (0,1)$ और $z_k = 2^{a_k}/b_k$ या $b_k/2^{a_k}$।

मूल तकनीक

जटिल संख्या प्रतिनिधित्व का उपयोग करके, समस्या को रूपांतरित करें: $(1 + iz_1)^{12u_1}(1 + iz_2)^{12|u_2|} = (1 - iz_1)^{12u_1}(1 - iz_2)^{12|u_2|}$

गॉसियन पूर्णांकों के गुणनखंड विश्लेषण के माध्यम से, ज्ञात डायोफेंटाइन समीकरण समाधानों के साथ:

• $x^2 + 1 = 2y^n$
• $x^2 + 2^a = y^n$

दूसरी समस्या: Machin सूत्र मशीन

मूल विचार

परिमेय फलन $R_j(n,x)$ ($j = 0,1,2,3$) को परिभाषित करें, जैसे: $\frac{d}{dx}\arctan(R_j(n,x)) = \frac{n}{1+x^2}$

फलन परिभाषा

De Moivre सूत्र के आधार पर, परिभाषित करें: $R_j(n,x) = \tan(n\arctan(x) + j\pi/4)$

विशिष्ट अभिव्यक्तियां:

• $R_0(n,x) = \frac{\text{numer}_n(x)}{\text{denom}_n(x)}$
• $R_1(n,x) = \frac{\text{denom}_n(x) + \text{numer}_n(x)}{\text{denom}_n(x) - \text{numer}_n(x)}$
• $R_2(n,x) = -\frac{1}{R_0(n,x)}$
• $R_3(n,x) = -\frac{1}{R_1(n,x)}$

मुख्य प्रमेय

$\sum_{k=1}^N r_k = 0$ को संतुष्ट करने वाले पूर्णांकों $r_k$ के लिए: $\sum_{k=1}^N \frac{r_k}{n_k} \arctan(R_{j_k}(n_k, x)) = \frac{r}{s}\pi$

तीसरी समस्या: स्वर्ण अनुपात सूत्र

समस्या विवरण

निम्नलिखित रूप के सभी सूत्रों का वर्गीकरण करें: $x_1 \arctan(\phi^{a_1}) + x_2 \arctan(\phi^{a_2}) = \frac{\pi}{4}$ जहां $\phi = \frac{1+\sqrt{5}}{2}$ स्वर्ण अनुपात है।

तकनीकी विधि

$K = \mathbb{Q}(i,\sqrt{5})$ में तत्वों के मानदंड और प्रमुख गुणनखंड विश्लेषण के माध्यम से, Fibonacci और Lucas संख्याओं के अनिवार्य प्रमुख गुणनखंड प्रमेय का उपयोग करते हुए।

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

मुख्य परिणाम

प्रमेय 1: 2-पूर्णांक Machin सूत्र

10 असंबद्ध समाधान और 2 पैरामीटर परिवार खोजे गए:

असंबद्ध समाधान उदाहरण:

• $(-1, \frac{1}{239}, 4, \frac{1}{5})$ (शास्त्रीय Machin सूत्र)
• $(1, \frac{1}{41}, 2, \frac{2}{5})$

पैरामीटर परिवार:

• $(1, \frac{1}{2^{a^2}+1}, 1, \frac{2^{a^2}}{2^{a^2}+1})$
• $(1, \frac{1}{2^{a^2}-1}, 1, \frac{2^{a^2}-1}{2^{a^2}})$

प्रमेय 3: छोटे Lehmer माप सूत्र

किसी भी $\varepsilon > 0$ के लिए, Machin सूत्र का अस्तित्व सिद्ध किया: $n \arctan\frac{1}{b_1} - \arctan\frac{a_2}{b_2} = \frac{\pi}{4}$ जिसका Lehmer माप $\varepsilon$ से कम है।

रचनात्मक प्रमाण π के सतत भिन्न अभिसरण पर आधारित है, विशिष्ट परिणाम तालिका 1 और तालिका 2 में दिए गए हैं।

विशिष्ट संख्यात्मक उदाहरण

तालिका 1 π के सतत भिन्न अभिसरण पर आधारित सूत्र प्रदर्शित करती है, Lehmer माप 0.901429 से 0.172125 तक घटता है।

तालिका 2 $2^m$ पर आधारित सूत्र प्रदर्शित करती है, न्यूनतम Lehmer माप 0.199544 तक पहुंचता है।

स्वर्ण अनुपात सूत्र

16 अनिवार्य रूप से भिन्न सर्वसमिकाएं खोजी गईं, जिनमें शामिल हैं:

• $\frac{\pi}{4} = \frac{1}{3}\arctan(\phi^3) + \frac{1}{3}\arctan(\phi)$
• $\frac{\pi}{4} = -\frac{1}{2}\arctan(\phi^5) + \frac{3}{2}\arctan(\phi)$

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

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

• Störmer (1895): $x_1\arctan(1/m_1) + x_2\arctan(1/m_2) = \pi/4$ रूप के सूत्रों के लिए केवल 4 सूत्र सिद्ध किए
• Lehmer (1938): कम्प्यूटेशनल दक्षता के माप के रूप में Lehmer माप प्रस्तावित किया
• आधुनिक विकास: Chudnovsky एल्गोरिदम जैसी π गणना की तेजी विधियां

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

इस पेपर की "Machin सूत्र मशीन" 4 में परिणामों को विस्तारित करती है, जिसने Rédei बहुपदों के पुनरावर्ती संबंधों का उपयोग करके $R_3(n,x)$ फलन के विशेष मामले प्राप्त किए।

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

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

1. 2-पूर्णांकों से संबंधित दो-पद Machin सूत्र वर्गीकरण समस्या को पूरी तरह हल किया
2. Machin सूत्रों के निर्माण के लिए व्यवस्थित विधि प्रदान की
3. Lehmer माप के साथ सूत्रों का निर्माण संभव है यह सिद्ध किया
4. स्वर्ण अनुपात से संबंधित सूत्रों के वर्गीकरण को सुधारा और पूर्ण किया

सीमाएं

1. $N > 2$ के मामलों के लिए, यह विधि सभी ज्ञात सूत्रों को कवर नहीं कर सकती
2. हालांकि छोटे Lehmer माप वाले सूत्र बना सकते हैं, लेकिन भिन्न के अंश और हर के अंकों की संख्या बहुत बड़ी है, व्यावहारिक कम्प्यूटेशनल दक्षता को संतुलित करने की आवश्यकता है
3. आधुनिक π गणना में अधिक कुशल एल्गोरिदम हैं (जैसे Chudnovsky एल्गोरिदम), Machin प्रकार के सूत्रों का व्यावहारिक मूल्य सीमित है

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

1. अधिक पदों वाले Machin सूत्रों तक विस्तार
2. व्युत्क्रम स्पर्शरेखा पैरामीटरों के अन्य विशेष रूपों का अनुसंधान
3. दीर्घवृत्तीय फलनों, मॉड्यूलर फलनों के साथ संबंध का अन्वेषण

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

लाभ

1. सैद्धांतिक पूर्णता: कई महत्वपूर्ण वर्गीकरण समस्याओं को व्यवस्थित रूप से हल किया
2. विधि नवाचार: प्रस्तावित "Machin सूत्र मशीन" सामान्य और व्यावहारिक है
3. रचनात्मक प्रमाण: न केवल अस्तित्व सिद्ध किया, बल्कि विशिष्ट निर्माण विधि दी
4. ऐतिहासिक सुधार: पूर्व अनुसंधान की चूकों को गंभीरता से सुधारा

तकनीकी उज्ज्वल बिंदु

1. चतुर जटिल संख्या रूपांतरण: वास्तविक संख्या समस्या को जटिल डोमेन की बीजगणितीय समस्या में रूपांतरित किया
2. डायोफेंटाइन समीकरण का अनुप्रयोग: ज्ञात डायोफेंटाइन समीकरण समाधानों का प्रभावी उपयोग
3. सतत भिन्न सिद्धांत का अनुप्रयोग: π के सतत भिन्न गुणों का उपयोग करके छोटे Lehmer माप सूत्र बनाए

कमियां

1. सीमित व्यावहारिक मूल्य: आधुनिक उच्च-परिशुद्धता π गणना में, इन सूत्रों का लाभ स्पष्ट नहीं है
2. जटिलता समस्या: निर्मित छोटे Lehmer माप सूत्र बहुत बड़े पूर्णांकों को शामिल करते हैं
3. सामान्यीकरण: विधि अधिक सामान्य मामलों के लिए प्रयोज्यता में सीमाएं हैं

प्रभाव

1. सैद्धांतिक योगदान: Machin प्रकार के सूत्र सिद्धांत के लिए व्यवस्थित ढांचा प्रदान किया
2. कम्प्यूटेशनल गणित: विशेष फलन सर्वसमिकाओं के अनुसंधान के लिए नए उपकरण प्रदान किए
3. संख्या सिद्धांत अनुप्रयोग: बीजगणितीय संख्या सिद्धांत विधियों की ठोस समस्याओं में शक्ति का प्रदर्शन

संदर्भ

पेपर 24 महत्वपूर्ण संदर्भों का हवाला देता है, जो Machin (1706), Gregory (1671) के शास्त्रीय कार्यों से लेकर आधुनिक संबंधित अनुसंधान तक फैले हुए हैं, विशेषकर Störmer, Lehmer और अन्य लोगों के इस क्षेत्र में आधारभूत कार्य।