🔢 mathematics

Series for $1/\pi$ arising from Cauchy product

यह शोध पत्र कॉची उत्पादों (Cauchy products) और हाइपरजियोमेट्रिक रूपांतरणों (hypergeometric transformations) का उपयोग करके सन द्वारा अनुमानित $1/\pi$ के एक श्रेणीबद्ध सूत्र को सिद्ध करता है, और तत्पश्चात घन बहुपदों (cubic polynomials) से युक्त दो अतिरिक्त तुल्य श्रेणियों के साथ अन्य पहचानों की एक तालिका भी व्युत्पन्न करता है।

मूल लेखक: Roman Le Lan

प्रकाशित 2026-04-07

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Roman Le Lan

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक पूर्ण वृत्त की परिधि मापने की कोशिश कर रहे हैं। हजारों वर्षों से, गणितज्ञ $\pi$ (पाई) का सटीक मान खोजने के लिए जुनूनी रहे हैं। लेकिन यहाँ एक मोड़ है: $\pi$ की सीधे गणना करने के बजाय, कुछ आधुनिक गणितज्ञ $1/\pi$ (पाई का व्युत्क्रम) की गणना करने की कोशिश कर रहे हैं।

क्यों? क्योंकि $1/\pi$ एक गुप्त कोड की तरह है। यदि आप एक ऐसा सूत्र लिख सकते हैं जो ठीक $1/\pi$ के बराबर हो, तो आप उस सूत्र का उपयोग करके लाखों दशमलव स्थानों तक $\pi$ की बहुत तेज़ी से गणना कर सकते हैं।

यह शोध पत्र इस विशिष्ट, अत्यंत कठिन कोड को तोड़ने के बारे में है।

पहेली: एक विशाल गणितीय जिग्सॉ (Jigsaw)

लेखक, रोमन ले लैन (Roman Le Lan), गणितज्ञ ज़ी-वेई सन (Zhi-Wei Sun) द्वारा छोड़ी गई एक पहेली को हल कर रहे हैं। सन के पास एक विशिष्ट प्रकार की गणितीय विधि का उपयोग करके $1/\pi$ बनाने के बारे में 37 "कन्जेक्चर" (अनुमानित सिद्धांत) की एक सूची थी।

इन विधियों को लेगो सेट्स (Lego sets) के रूप में सोचें।

बुनियादी ब्लॉक संख्याएँ और भिन्न (fractions) हैं।
निर्देश पुस्तिका में एक जटिल स्टैकिंग पैटर्न शामिल है जिसे "सम" (योग) कहा जाता है (संख्याओं की एक अनंत सूची को जोड़ना)।
सन ने अनुमान लगाया था कि यदि आप इन ब्लॉक्स को एक बहुत ही विशिष्ट और अजीब तरीके से स्टैक करते हैं, तो अंतिम टावर ठीक $1/ \pi$ के बराबर होगा।

सन की टीम पहले ही 36 पहेलियों को हल कर चुकी थी। आखिरी एक (शोध पत्र में थ्योरम 1) वह "फाइनल बॉस" था जिसे अब तक कोई हरा नहीं पाया था।

जादुई ट्रिक: कॉची प्रोडक्ट (The Cauchy Product)

ले लैन ने इस "फाइनल बॉस" को कैसे हराया? उन्होंने कॉची प्रोडक्ट नामक एक उपकरण का उपयोग किया।

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

लाइन A एक विशिष्ट पैटर्न वाली संख्याओं के साइन बोर्ड पकड़े हुए है।
लाइन B एक अलग पैटर्न वाली संख्याओं के साइन बोर्ड पकड़े हुए है।

आमतौर पर, आप लाइन A की संख्याओं को बस जोड़ देते हैं। लेकिन कॉची प्रोडक्ट एक नृत्य की तरह है। आप लाइन A के पहले व्यक्ति को लाइन B के अंतिम व्यक्ति के साथ जोड़ते हैं, फिर A के दूसरे को B के दूसरे-से-अंतिम व्यक्ति के साथ, और इसी तरह। आप उनकी संख्याओं को गुणा करते हैं और उन सभी को जोड़ देते हैं।

इस शोध पत्र में, ले लैन ने दो जटिल गणितीय "लाइनों" (जिन्हें हाइपरजियोमेट्रिक सीरीज़ कहा जाता है) को आपस में नृत्य कराया। जब उन्होंने उन्हें जोड़ा, तो वे केवल एक गड़बड़ी नहीं बनीं; वे एक सरल, स्वच्छ पैटर्न में बदल गईं जिसे उन्होंने महान गणितज्ञ श्रीनिवास रामानुजन द्वारा खोजे गए एक प्रसिद्ध सूत्र से पहचाना था।

यह दो जटिल, उलझे हुए हेडफ़ोन को एक विशिष्ट तरीके से आपस में घुमाने और अचानक उन्हें एक पूर्ण, सीधी तार में सुलझाने जैसा है।

परिणाम: कोड को तोड़ना

एक बार जब उन्होंने गांठ सुलझा ली, तो ले लैन ने सिद्ध कर दिया कि सन का अंतिम अनुमान सही था। उन्होंने दिखाया कि यह विशिष्ट, जटिल दिखने वाला संख्याओं का योग वास्तव में इसके बराबर है:
$\frac{3\sqrt{6}}{2\pi}$
(जिसका अर्थ है कि यदि आप गणित को पुनर्व्यवस्थित करें, तो आपको $1/\pi$ का एक सटीक मान प्राप्त होता है)।

लेकिन उन्होंने यहीं नहीं रोका। क्योंकि वे इस "नृत्य" (विधि) को समझते थे, इसलिए वे लाइनों को थोड़े अलग तरीकों से नाचने के लिए सिखा सकते थे।

थ्योरम 2: उन्होंने वही नृत्य के कदम इस्तेमाल किए लेकिन संगीत (नुस्खे में संख्याएँ) बदल दिया ताकि $1/\pi$ के लिए दो नए सूत्र बनाए जा सकें। ये नए सूत्र और भी जटिल हैं, जिनमें संख्याओं के घन ( $n^3$ ) शामिल हैं, लेकिन वे पूरी तरह से काम करते हैं।

"अहल्य" रहस्य

शोध पत्र में एक हिस्सा है जिसे लेखक स्वीकार करते हैं कि वे हल नहीं कर सके। सन ने यह भी अनुमान लगाया था कि यदि आप अनंत योग को जल्दी (एक अभाज्य संख्या $p$ पर) रोक देते हैं, तो परिणाम "मॉड्यूलर अंकगणित" (एक प्रकार का क्लॉक मैथ) में एक विशिष्ट नियम का पालन करता है।

ले लैन कहते हैं, "मैंने सिद्ध किया कि अनंत संस्करण पूरी तरह से काम करता है, लेकिन मैं 'क्लॉक मैथ' वाले संस्करण को सिद्ध नहीं कर सका।" यह एक पुल के मजबूत होने को सिद्ध करने जैसा है कि वह ट्रक का भार सह सकता है, लेकिन अभी यह सिद्ध नहीं हुआ है कि वह एक विशिष्ट प्रकार की हवा चलने पर हिलेगा या नहीं। यह किसी और के हल करने के लिए एक रहस्य बना हुआ है।

यह क्यों मायने रखता है?

आप पूछ सकते हैं, "इन अजीब योगों से किसे फर्क पड़ता है?"

कंप्यूटिंग शक्ति: ये सूत्र अविश्वसनीय रूप से कुशल हैं। कंप्यूटर $\pi$ की रिकॉर्ड-तोड़ लंबाई तक गणना करने के लिए इनका उपयोग करते हैं।
गणितीय सुंदरता: यह दिखाता है कि संख्याओं का ब्रह्मांड आश्चर्यजनक तरीकों से जुड़ा हुआ है। $-1/3$ और $-1/6$ वाली भिन्नों का एक अस्त-व्यस्त योग किसी तरह वृत्त स्थिरांक $\pi$ से जुड़ जाता है।
नए उपकरण: ले लैन ने केवल एक समस्या हल नहीं की; उन्होंने हमें एक नया "चाबी" (विधि) दी है जो कई अन्य समान दरवाजों को खोलने के लिए उपयोग की जा सकती है। वे शोध पत्र के अंत में 8 और संभावित सूत्रों की सूची भी देते हैं जिन्हें अन्य गणितज्ञ अब सिद्ध करने का प्रयास कर सकते हैं।

संक्षेप में: यह शोध पत्र एक अस्त-व्यस्त, अनसुलझे गणितीय पहेली को लेने, एक चतुर "नृत्य" तकनीक का उपयोग करके उसे सरल बनाने और $\pi$ की संख्या के साथ एक सुंदर, छिपे हुए संबंध को प्रकट करने का एक उत्कृष्ट उदाहरण है।

यहाँ रोमन ले लैन के शोध पत्र "Series for 1/π Arising from Cauchy Product" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र $1/\pi$ के विशिष्ट अनंत श्रेणियों (infinite series) के मूल्यांकन को संबोधित करता है जिनका रूप निम्नलिखित है:
$\sum_{n=0}^{\infty} (an + b)q^n \sum_{k=0}^{n} \binom{-x}{k} \binom{x-1}{n-k} \binom{-y}{k} \binom{y-1}{n-k} = \frac{\alpha}{\pi}$
जहाँ $a, b$ गैर-शून्य पूर्णांक हैं, और $q, x, y$ गैर-शून्य परिमेय संख्याएँ हैं, तथा $\alpha$ अधिकतम डिग्री 2 की एक बीजगणितीय संख्या (algebraic number) है।

ये श्रेणियाँ $1/\pi$ के लिए रामानुजन-सातो प्रकार की श्रेणियों (Ramanujan-Sato type series) के व्यापक वर्ग का हिस्सा हैं। विशिष्ट समस्या जो यहाँ हल की गई है, वह ज़ी-वेई सन (Zhi-Wei Sun) द्वारा प्रस्तावित 37 अनुमानों (conjectures) की सूची में से अंतिम अपुष्ट पहचान (unproven identity) की सिद्धि है। जबकि अल्मक्विस्ट (Almkvist) और एयकोक (Aycock) ने पहले ही 36 मामलों का मूल्यांकन कर लिया था, $x=1/3, y=1/6$ वाले विशिष्ट मामले (जिससे $-1/3, -2/3, -1/6, -5/6$ के तर्कों वाले द्विपद गुणांक प्राप्त होते हैं) को खुला छोड़ दिया गया था।

2. कार्यप्रणाली (Methodology)

लेखक हाइपरजियोमेट्रिक रूपांतरण (hypergeometric transformations), श्रेणियों के कॉची उत्पाद (Cauchy product), और ज़ेल्बर्ग का एल्गोरिदम (Zeilberger's algorithm) (पुनरावृत्ति संबंधों के लिए) के संयोजन का उपयोग करते हैं। कार्यप्रणाली तीन मुख्य चरणों में आगे बढ़ती है:

A. कॉची उत्पाद के माध्यम से रूपांतरण (Transformation via Cauchy Product)

प्रमाण का मुख्य भाग एक हाइपरजियोमेट्रिक श्रेणी के उत्पाद के रूप में एक जनरेटिंग फंक्शन $P(z)$ को परिभाषित करना है:
$P(z) = \left( \sum_{k=0}^{\infty} z^k \binom{-1/3}{k} \binom{-1/6}{k} \right) \left( \sum_{k=0}^{\infty} z^k \binom{-2/3}{k} \binom{-5/6}{k} \right)$
कॉची उत्पाद नियम का उपयोग करते हुए, इसे द्विपद गुणांकों के कॉन्वोल्यूशन (convolution) वाले एकल श्रेणी के रूप में पुनर्गठित किया गया है। इसके बाद लेखक $P(z)$ को दो ${}_2F_1$ हाइपरजियोमेट्रिक फलनों के उत्पाद के रूप में व्यक्त करने के लिए यूलर के रूपांतरण (Euler's transformation) का उपयोग करते हैं:
$P(z) = {}_2F_1\left(\frac{1}{3}, \frac{1}{6}; 1; z\right) {}_2F_1\left(\frac{2}{3}, \frac{5}{6}; 1; z\right) = (1-z)^{-1/2} \left[ {}_2F_1\left(\frac{1}{3}, \frac{1}{6}; 1; z\right) \right]^2$

B. लेम्मा 1: कॉम्बिनेटोरियल पहचान (Combinatorial Identity)

एक महत्वपूर्ण मध्यवर्ती चरण (लेम्मा 1) वर्ग हाइपरजियोमेट्रिक श्रेणी के गुणांकों के लिए एक रूपांतरण स्थापित करता है। ज़ेल्बर्ग के एल्गोरिदम का उपयोग करते हुए, लेखक इस पहचान को सिद्ध करते हैं:
$108^n \sum_{k=0}^{n} \binom{-1/3}{k} \binom{-1/6}{k} \binom{-1/3}{n-k} \binom{-1/6}{n-k} = \binom{2n}{n}^2 \binom{3n}{n}$
यह $P(z)$ को केंद्रीय द्विपद गुणांकों (central binomial coefficients) और $(1-z)^{-1/2}$ वाले एक ज्ञात श्रेणी के रूप में व्यक्त करने की अनुमति देता है।

C. ऑपरेटर अनुप्रयोग और अवकलन (Operator Application and Differentiation)

अनुमान के लिए आवश्यक विशिष्ट रैखिक पद $(3n-1)$ को निकालने के लिए, लेखक एक विशिष्ट बिंदु ( $z = 1/2$ ) पर जनरेटिंग फंक्शन पर एक अवकल ऑपरेटर (differential operator) लागू करते हैं:
$\left( -1 + \frac{3}{2}z \frac{d}{dz} \right) \bigg|_{z=1/2}$
यह ऑपरेशन श्रेणी को एक ऐसे रूप में बदल देता है जो जे. गुइलेरा (J. Guillera) द्वारा प्रदान की गई $1/\pi$ की ज्ञात रामानुजन-प्रकार की श्रेणी (लेम्मा 2) से मेल खाता है।

D. प्रमेय 2 की सिद्धि: पुनरावृत्ति संबंध (Proof of Theorem 2: Recurrence Relations)

दूसरे सेट के परिणामों के लिए (जिसमें $n$ के घन बहुपद शामिल हैं), लेखक सीधे अनुक्रम $a_n$ (श्रेणी का आंतरिक योग) पर ज़ेल्बर्ग के एल्गोरिदम का उपयोग करते हैं। इससे वे क्रम 2 का एक रैखिक पुनरावृत्ति संबंध (linear recurrence relation) प्राप्त करते हैं। इस पुनरावृत्ति को $n$ पर योग करने और परिणामी टेलिस्कोपिंग योगों (telescoping sums) को व्यवस्थित करने द्वारा, लेखक घन बहुपद ( $9n^3 - \dots$ और $18n^3 - \dots$ ) वाले नए संबंध प्राप्त करते हैं।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

प्रमेय 1: सन का अनुमान (Theorem 1: Proof of Sun's Conjecture)

यह शोध पत्र सन द्वारा अनुमानित विशिष्ट पहचान को सिद्ध करता है:
$\sum_{n=0}^{\infty} \frac{3n-1}{2^n} \sum_{k=0}^{n} \binom{-1/3}{k} \binom{-2/3}{n-k} \binom{-1/6}{k} \binom{-5/6}{n-k} = \frac{3\sqrt{6}}{2\pi}$
यह इस विशिष्ट प्रकार की श्रेणी के संबंध में सन के 37 अनुमानों की सूची के अंतिम शेष मामले को हल करता है।

प्रमेय 2: नई घन श्रेणियाँ (Theorem 2: New Cubic Series)

इस पद्धति का विस्तार करते हुए, लेखक अंश में घन बहुपदों वाली दो नई श्रेणियाँ प्राप्त करते हैं:

$\sum_{n=0}^{\infty} \frac{9n^3 - 27n^2 - 14n - 2}{2^n} (\dots) = -\frac{3\sqrt{6}}{8\pi}$
$\sum_{n=0}^{\infty} \frac{18n^3 - 54n^2 - 25n - 5}{2^n} (\dots) = \frac{3\sqrt{6}}{4\pi}$

अतिरिक्त पहचानों की तालिका (Table of Additional Identities)

शोध पत्र नोट करता है कि समान पद्धति को $(an+b)q^n \dots = \alpha/\pi$ रूप की आठ अतिरिक्त श्रेणियों को सिद्ध करने के लिए लागू किया जा सकता है, जो शोध पत्र के अंत में दी गई एक तालिका में सूचीबद्ध हैं।

अनसुलझा अनुमान (Unresolved Conjecture)

शोध पत्र मुख्य पहचान से संबंधित सन के एक सुपर-कॉन्ग्रुएंस (supercongruence) अनुमान का उल्लेख करता है जो $p > 3$ के लिए अभाज्य संख्याओं (primes) के लिए $p^2$ के मॉड्यूल (modulo) में है। लेखक स्पष्ट रूप से कहते हैं कि यह अभिरुचि इस कार्य में सिद्ध नहीं की गई थी।

4. महत्व (Significance)

एक अनुमान सूची की पूर्णता: प्राथमिक महत्व सन की 37 अनुमानों की सूची के लिए इस विशिष्ट श्रेणी के वर्ग के समापन का है, जो इस अंतिम मामले के लिए एक कठोर प्रमाण प्रदान करता है।
कार्यप्रणाली की दक्षता: शोध पत्र हाइपरजियोमेट्रिक श्रेणियों के कॉची उत्पाद को डिफरेंशियल ऑपरेटरों के साथ संयोजित करके एक शक्तिशाली, एकीकृत दृष्टिकोण प्रदर्शित करता है। यह विधि अक्सर उपयोग किए जाने वाले जटिल मॉड्यूलर फॉर्म सिद्धांत (modular form theory) की आवश्यकता के बिना, शास्त्रीय हाइपरजियोमेट्रिक पहचानों और एल्गोरिथम पुनरावृत्ति खोजने पर निर्भर करती है।
ज्ञात श्रेणियों का विस्तार: प्रमेय 2 को प्राप्त करके, यह शोध पत्र $1/\pi$ श्रेणियों के ज्ञात परिदृश्य का विस्तार करता है जिसमें घन बहुपद वाले अंश शामिल हैं, जो आमतौर पर रैखिक वाले की तुलना में अधिक कठिन होते हैं।
भविष्य के कार्य के लिए आधार: प्रस्तुत तकनीक एक टेम्पलेट के रूप में कार्य करती है, जैसा कि शोध पत्र की तालिका में दिए गए अतिरिक्त परिणामों से स्पष्ट है।

संक्षेप में, रोमन ले लैन संख्या सिद्धांत की एक महत्वपूर्ण खुली समस्या के लिए एक संक्षिप्त और सुंदर प्रमाण प्रदान करते हैं, जिसमें $1/\pi$ के लिए नई श्रेणियाँ उत्पन्न करने के लिए कॉम्बिनेटोरियल पहचानों और हाइपरजियोमेट्रिक कैलकुलस के मिश्रण का उपयोग किया गया है।