🔢 mathematics

A geometric proof of Lagrange's theorem for continued fractions

यह शोध पत्र उपयुक्त मॉड्यूलर समूहों के भीतर पैराबोलिक या लोक्सोड्रोमिक तत्वों के स्थिर बिंदुओं (fixed points) और परिमित या अंततः-आवर्ती विस्तारों (eventually-periodic expansions) के बीच एक ज्यामितीय तुल्यता स्थापित करके, लैग्रेंज के निरंतर भिन्नों (continued fractions) पर आधारित प्रमेय को विभिन्न उच्च-आयामी और गैर-क्रमविनिमेय (non-commutative) परिवेशों में विस्तारित करता है।

मूल लेखक: Anton Lukyanenko, Joseph Vandehey

प्रकाशित 2026-03-16

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

CC BY 4.0

मूल लेखक: Anton Lukyanenko, Joseph Vandehey

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

कल्पना कीजिए कि आप एक संख्या को एक विशेष प्रकार की रेसिपी (विधि) का उपयोग करके वर्णित करने की कोशिश कर रहे हैं। $3.14159...$ लिखने के बजाय, आप निर्देशों की एक सूची लिखते हैं: "3 से शुरू करें, फिर शेषफल का व्युत्क्रम (reciprocal) लें, 7 जोड़ें, उसका व्युत्क्रम लें, 15 जोड़ें..." इसे कंटीन्यूड फ्रैक्शन (Continued Fraction) कहा जाता है।

लंबे समय तक, गणितज्ञों को नियमित संख्याओं (जैसे 1, 2, 3, या $\pi$ ) के लिए इन रेसिपी के बारे में दो बड़े रहस्य पता थे:

परिमय संख्याएँ (Rational numbers) (जैसे $3/4$ ) की रेसिपी कुछ चरणों के बाद हमेशा रुक (stop) जाती है।
क्वाड्रेटिक सुरड्स (Quadratic surds) (जैसे $\sqrt{2}$ या गोल्डन रेशियो जैसे सरल समीकरणों के मूल) की रेसिपी हमेशा दोहराती (repeat) रहती है, जैसे कोई टूटा हुआ रिकॉर्ड।

लुक्यानेन्को और वान्डे द्वारा लिखित यह शोध पत्र एक साहसी प्रश्न पूछता है: क्या ये नियम अभी भी काम करते हैं यदि हम नियमित 2D दुनिया को छोड़कर उच्च आयामों (higher dimensions) में चले जाएँ, जैसे 3D स्पेस, 4D स्पेस, या यहाँ तक कि और भी विचित्र गणितीय ब्रह्मांडों में?

इसका उत्तर है हाँ, लेकिन इसे सिद्ध करने के लिए, लेखकों को बीजगणित (algebra) के बारे में सोचना बंद करना पड़ा और ज्यामिति (geometry) के बारे में सोचना शुरू करना पड़ा।

मुख्य विचार: एक ज्यामितीय नृत्य (A Geometric Dance)

संख्याओं की गणना करने के बजाय, लेखक इन संख्याओं की कल्पना एक हाइपरबोलिक डांस फ्लोर (एक घुमावदार, अनंत स्थान) पर नर्तकों के रूप में करते हैं।

मॉड्यूलर ग्रुप (नृत्य दल - The Modular Group): कल्पना कीजिए कि नर्तकों का एक समूह (मैट्रिक्स) है जो फर्श को इधर-उधर घुमा सकता है। वे चीजों को खिसका सकते हैं (translations) या उन्हें अंदर से बाहर की ओर पलट सकते हैं (inversions)।
अंक (चालें - The Digits): जब आप एक कंटिनीयू़ड फ्रैक्शन की गणना करते हैं, तो आप अनिवार्य रूप से यह देख रहे होते हैं कि एक बिंदु इन नर्तकों के प्रभाव में कैसे चलता है।
लक्ष्य: हम जानना चाहते हैं: "यदि किसी नर्तक का पथ रुक जाता है, तो वह किस प्रकार का नर्तक है? यदि उनका पथ अनंत काल तक घूमता रहता है, तो वे किस प्रकार के नर्तक हैं?"

नर्तकों के दो प्रकार

यह शोध पत्र सिद्ध करता है कि नर्तक का प्रकार (गणितीय रूपांतरण) संख्या के प्रकार की रेसिपी से पूरी तरह मेल खाता है:

"पैराबोलिक" नर्तक (एक सीमित रेसिपी - The "Parabolic" Dancer):
- वे क्या करते हैं: यह नर्तक इस तरह से चलता है कि वह अंततः सब कुछ एक एकल बिंदु (अनंत) की ओर धकेल देता है।
- परिणाम: यदि कोई संख्या इस नर्तक द्वारा "फिक्स्ड" (fixed) है (अर्थात, नर्तक की चाल उस संख्या को अपरिवर्तित छोड़ देती है), तो उस संख्या का कंटिनीयू़ड फ्रैक्शन सीमित (finite) होता है।
- उपमा: एक गेंद के रूप में सोचें जो एक पहाड़ी से नीचे लुढ़कती है और अंततः एक दीवार से टकराकर रुक जाती है। गेंद एक परिमेय संख्या (rational number) का प्रतिनिधित्व करती है। दीवार "अनंत" (infinity) बिंदु है। शोध पत्र दिखाता है कि इन उच्च-आयामी दुनियाओं में, यदि आपकी संख्या दीवार से टकराती है, तो वह एक "परिमेय" प्रकार की संख्या ही होगी।
"लक्सोड्रोमिक" नर्तक (एक दोहराने वाली रेसिपी - The "Loxodromic" Dancer):
- वे क्या करते हैं: यह नर्तक स्थान को घुमाता है और खींचता है। उनके पास दो विशेष बिंदु हैं जिन्हें वे पसंद करते हैं: एक जिसे वे अपनी ओर खींचते हैं (attracting) और एक जिसे वे दूर धकेलते हैं (repelling)।
- परिणाम: यदि कोई संख्या इस नर्तक द्वारा "फिक्स्ड" है, तो उसका कंटिनीयू़ड फ्रैक्शन अनंत काल तक दोहराता (repeats) रहता है।
- उपमा: एक सर्पिल सीढ़ी (spiral staircase) के रूप में सोचें। यदि आप ऊपर चलते रहते हैं, तो आप कभी नहीं रुकते, लेकिन आप बार-बार एक ही रेलिंग पैटर्न से गुजरते हैं। शोध पत्र सिद्ध करता है कि 3D, 4D और यहाँ तक कि "क्वाटरनियन" दुनिया में, यदि आप इस सर्पिल में फंसे हुए हैं, तो आप वर्गमूल (quadratic surd) के उच्च-आयामी समकक्ष हैं।

यह एक बड़ी बात क्यों है

आमतौर पर, दोहराते हुए पैटर्न के बारे में सिद्ध करने के लिए, आपको भारी बीजगणित (जैसे जटिल समीकरणों को हल करना) की आवश्यकता होती है। लेकिन लेखकों ने महसूस किया कि इन अजीब, उच्च-आयामी स्थानों (जैसे हाइजनबर्ग ग्रुप या ऑक्टोनियंस) में, सामान्य बीजगणितीय नियम या तो बहुत जटिल हो जाते हैं या मौजूद ही नहीं होते।

इसलिए, उन्होंने ज्यामिति का उपयोग किया।

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

उच्च आयामों का "जादू"

यह शोध पत्र इन नियमों को निम्नलिखित तक विस्तारित करता है:

3D स्पेस: संख्याएँ जो $(x, y, z)$ की तरह दिखती हैं।
4D स्पेस (क्वाटरनियंस): चार भागों वाली संख्याएँ, जिनका उपयोग कंप्यूटर ग्राफिक्स और भौतिकी में किया जाता है।
8D स्पेस (ऑक्टोनियंस): और भी अधिक विचित्र संख्याएँ।

उन्होंने एक दिलचस्प पैटर्न भी पाया: 2D में, संख्या $i$ (ऋणात्मक एक का वर्गमूल) का एक विशेष संबंध है जहाँ $i + 1/i = 0$ होता है। लेखकों ने 3D और 4D संख्याओं के लिए इसी तरह के "जादुई" पहचान (identities) खोजे, जो दिखाते हैं कि इन अजीब उच्च-आयामी दुनियाओं में भी अपनी छिपी हुई समरूपता (symmetries) होती है।

निष्कर्ष

यह शोध पत्र एक सार्वभौमिक गति के नियम को खोजने जैसा है। यह कहता है: "चाहे आप अपने ब्रह्मांड में कितने भी आयाम जोड़ दें, इन संख्या रेसिपी में 'रुकने' और 'दोहराने' के बीच का संबंध वही रहता है।"

सीमित रेसिपी (Finite Recipe) = आप एक "परिमेय" बिंदु हैं जो एक "पैराबोलिक" चाल द्वारा फिक्स्ड हैं।
दोहराने वाली रेसिपी (Repeating Recipe) = आप एक "क्वाड्रेटिक" बिंदु हैं जो एक "लक्सोड्रोमिक" घुमाव द्वारा फिक्स्ड हैं।

लेखकों ने केवल गणित की जाँच नहीं की; उन्होंने इसे सिद्ध करने के लिए ज्यामिति का मानचित्र बनाया, यह दिखाते हुए कि सबसे अमूर्त, उच्च-आयामी गणितीय कोनों में भी, लैग्रेंज (1700 के दशक के एक प्रसिद्ध गणितज्ञ) के पुराने नियम अभी भी लागू होते हैं, बस उन्हें एक नए, ज्यामितीय लेंस से देखा गया है।

यहाँ एंटोन लुक्यानेंको और जोसेफ वंडे के शोध पत्र "A Geometric Proof of Lagrange's Theorem for Continued Fractions" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र मानक वास्तविक (real) मामलों से परे, कंटीन्यूड फ्रैक्शंस (CFs) के संदर्भ में लाग्रेंज के प्रमेय (Lagrange's Theorem) के सामान्यीकरण और परिमेय संख्याओं के अभिलक्षणन (characterization) को संबोधित करता है।

शास्त्रीय संदर्भ (Classical Context): मानक वास्तविक CFs में, एक संख्या का विस्तार परिमित (finite) होता है यदि और केवल यदि वह परिमेय होती है, और एक अंततः आवर्तक (eventually periodic) विस्तार होता है यदि और केवल यदि वह एक क्वाड्रेटिक सर्ड (quadratic surd) है (एक गैर-अपभ्रंश द्विघात समीकरण जिसका पूर्णांक गुणांक हो)।
चुनौती (The Challenge): इन परिणामों को उच्च-आयामी और गैर-क्रमविनिमेय (non-commutative) परिवेशों (जैसे कि जटिल संख्याएँ, 3D यूक्लिडियन स्पेस, क्वैटरनियन, ऑक्टोनियन, और हाइजेनबर्ग समूह) में विस्तारित करना कठिन है।
- यह परिभाषित करना गैर-तुच्छ है कि इन सामान्यीकृत स्थानों में "क्वाड्रेटिक सर्ड" क्या है।
- मौजूदा बीजगणितीय प्रमाण अक्सर अंतर्निहित रिंग (ring) के विशिष्ट गुणों (जैसे क्रमविनिमेयता, गुणात्मक मान (multiplicative norm) की उपस्थिति, या क्रमबद्ध संरचनाओं) पर निर्भर करते हैं, जो सभी लक्षित स्थानों (जैसे हाइजेनबर्ग समूह या ऑक्टोनियन) में मौजूद नहीं होते हैं।
लक्ष्य (Goal): एक एकीकृत ज्यामितीय प्रमाण (geometric proof) प्रदान करना जो हाइपरबोलिक स्पेस पर क्रिया करने वाले संबद्ध मॉड्यूलर समूह की गतिशीलता (dynamics) के आधार पर, "इवासवा कंटिन्यूड फ्रैक्शंस" (Iwasawa Continued Fractions) के एक विस्तृत वर्ग के लिए परिमित और आवर्तक CF विस्तारों को अभिललेखित करता है।

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

लेखक हाइपरबोलिक स्पेस पर कार्य करने वाले विविक्त समूहों (discrete groups) के सिद्धांत पर आधारित एक ज्यामितीय दृष्टिकोण का उपयोग करते हैं, विशेष रूप से इवासवा CF ढांचे (Iwasawa CF framework) का उपयोग करते हुए।

इवासवा CF ढांचा (Iwasawa CF Framework): लेखक निम्नलिखित का उपयोग करके एक सामान्यीकृत CF एल्गोरिदम को परिभाषित करते हैं:
- एक परिवेशी स्थान $X$ (जो किसी विभाजन बीजगणित $k$ के लिए $k^n \times \text{Im}(k)$ पर आधारित है)।
- एक सममिति जालक (lattice of isometries) $Z$ ("अंकों" या "digits" को प्रदान करता है)।
- एक मौलिक डोमेन (fundamental domain) $K \subset X$ ।
- एक व्युत्क्रमण मानचित्र (inversion map) $\iota$ (सामान्यीकृत कोरांजी व्युत्क्रमण)।
- सामान्यीकृत मॉड्यूलर समूह $M = \langle Z, \iota \rangle$ ।
हाइपरबोलिक ज्यामिति (Hyperbolic Geometry): स्थान $X$ को एक ऋणात्मक वक्रता वाले रैंक-वन सममित स्थान (हाइपरबोलिक स्पेस) $\mathcal{$ \mathcal{H} $}$ के सीमा (boundary) के रूप में देखा जाता है। समूह $M$ , $\mathcal{H}$ पर आइसोमेट्री के रूप में कार्य करता है।
आइसोमेट्री का वर्गीकरण (Classification of Isometries): प्रमाण $\partial \mathcal{H}$ $\partial H$ पर अपने स्थिर बिंदुओं (fixed points) के आधार पर $M$ $M$ के तत्वों को तीन प्रकारों में वर्गीकृत करने पर निर्भर करता है:
1. पैरबोलिक (Parabolic): ठीक एक स्थिर बिंदु (न तो आकर्षक और न ही प्रतिकर्षक)।
2. लॉक्सोड्रोमिक (Loxodromic): ठीक दो स्थिर बिंदु (एक आकर्षक, एक प्रतिकर्षक)।
3. एलिप्टिक (Elliptic): $\mathcal{H}$ के भीतर स्थिर बिंदु।
प्रमुख ज्यामितीय उपकरण (Key Geometric Tools):
- सामान्यीकृत फोर्ड सर्कल्स (होरबॉल्स - Generalized Ford Circles/Horoballs): लेखक इस तथ्य का उपयोग करते हैं कि एक जालक $M$ के लिए, पैरबोलिक स्थिर बिंदुओं पर केंद्रित विलगित (disjoint) होरबॉल्स (सामान्यीकृत फोर्ड सर्कल्स) मौजूद होते हैं।
- विस्तार गुण (Expansion Properties): CF की "उपयुक्तता" (properness) की स्थिति यह सुनिश्चित करती है कि व्युत्क्रमण मानचित्र $\iota$ मौलिक डोमेन $K$ पर समान रूप से विस्तारित (uniformly expanding) होता है।
- कॉम्पैक्टनेस तर्क (Compactness Arguments): वे हाइपरबोलिक स्पेस में कक्षाओं (orbits) की परिमितता को सिद्ध करने के लिए हाइपरबोलिक स्पेस में $M$ की विविक्तता (discreteness) और कुछ समुच्चयों की कॉम्पैक्टनेस का उपयोग करते हैं।

3. प्रमुख योगदान (Key Contributions)

A. परिमित और आवर्तक विस्तारों का एकीकरण

शोध पत्र विस्तार की अंकगणितीय प्रकृति और मॉड्यूलर समूह के गतिशील स्वभाव के बीच एक सीधा संबंध स्थापित करता है:

परिमित विस्तार (Finite Expansions): एक बिंदु $p$ का एक परिमित CF विस्तार तभी होता है जब वह $M$ के एक पैरबोलिक तत्व का स्थिर बिंदु हो।
अंततः आवर्तक विस्तार (Eventually Periodic Expansions): एक बिंदु $p$ का एक अंततः आवर्तक CF विस्तार तभी होता है जब वह $M$ के एक लॉक्सोड्रोमिक तत्व का स्थिर बिंदु हो।

यह परिणाम उपयुक्त और विविक्त इवासवा CFs के लिए मान्य है, जिसमें शामिल हैं:

वास्तविक नियरेस्ट-इंटीजर CFs।
जटिल CFs (Hurwitz)।
3D CFs (Euclidean)।
क्वैटरनिक CFs।
ऑक्टोनिक CFs।
हाइजेनबर्ग CFs।

B. लाग्रेंज के प्रमेय का ज्यामितीय प्रमाण

लेखक लाग्रेंज के प्रमेय (आवर्तक $\iff$ क्वाड्रेटिक सर्ड) का एक नया प्रमाण प्रदान करते हैं जो अंतर्निहित रिंग संरचना के बारे में बीजगणितीय धारणाओं से बचता है।

तंत्र (Mechanism): वे दिखाते हैं कि यदि कोई बिंदु एक लॉक्सोड्रोमिक तत्व का स्थिर बिंदु है, तो गॉस मैप (Gauss map) के तहत कक्षा अंततः दोहराई जाएगी क्योंकि मॉड्यूलर समूह विविक्त (discrete) है। विशेष रूप रूप से, वे एक बिंदु को हाइपरबोलिक स्पेस के एक कॉम्पैक्ट क्षेत्र में मैप करने वाले मैट्रिसेस (matrices) की एक श्रृंखला का निर्माण करते हैं; चूंकि $M$ विविक्त है, इसलिए ऐसे केवल सीमित मैट्रिक्स मौजूद हैं, जो कक्षा में पुनरावृत्ति को मजबूर करते हैं।
लाभ (Advantage): यह विधि उन गैर-क्रमविनिमेय बीजगणितों (क्वैटरनियन, ऑक्टोनियन) और गैर-एबेलियन समूहों (हाइजेनबर्ग) के लिए काम करती है जहाँ पारंपरिक बीजगणितीय प्रमाण (जो डिस्क्रिमिनेंट या सीमित गुणांकों पर निर्भर करते हैं) विफल हो जाते हैं।

C. "क्वाड्रेटिक सर्ड्स" का अभिलक्षणन

यह शोध पत्र उच्च आयामों में "क्वाड्रेटिक सर्ड्स" को लॉक्सोड्रोमिक तत्वों के स्थिर बिंदुओं के रूप में पुनर्व्याख्यायित करता है।

वास्तविक/जटिल मामले: वे शास्त्रीय सिद्धांत के साथ इसका सामंजस्य बिठाते हैं, यह दिखाते हुए कि $SL(2, \mathbb{Z})$ या $SL(2, \mathbb{Z}[i])$ में लॉक्सोड्रोमिक मैट्रिसेस के स्थिर बिंदु वास्तव में गैर-अपभ्रंश द्विघात समीकरणों के मूल (roots) हैं।
उच्च आयाम: वे इन रूपांतरणों को दर्शाने के लिए क्लिफोर्ड बीजगणित (Clifford Algebra) औपचारिकता (Ahlfors/Vahlen) का उपयोग करते हैं।
- $\mathbb{R}^3$ (क्वैटरनियन) के लिए, वे मॉड्यूलर समूह को $SL(2, \mathbb{Z}_4)$ (हर्ट्ज़ इंटीजर्स पर क्लिफोर्ड मैट्रिसेस) के रूप में पहचानते हैं और लॉक्सोड्रोमिक तत्वों को पहचानने के लिए पार्कर और शॉर्ट के वर्गीकरण का उपयोग करते हैं।
- वे प्रदर्शित करते हैं कि इन लॉक्सोड्रोमिक मैट्रिसेस के स्थिर बिंदु क्लिफोर्ड बीजगणित के माध्यम से परिभाषित "गैर-अपभ्रंश द्विघातों" के मूल के अनुरूप हैं।

4. मुख्य परिणाम (Key Results)

प्रमेय 1.1 (Theorem 1.1): मुख्य प्रमेय जो उचित, विविक्त इवासवा CFs के लिए परिमित/आवर्तक विस्तारों और पैरबोलिक/लॉक्सोड्रोमिक स्थिर बिंदुओं के बीच समानता को बताता है।
लेम्मा 3.1 और 3.6 (Lemma 3.1 & 3.6): द्विदिश निहितार्थ (bidirectional implications) (जैसे, परिमित विस्तार $\implies$ पैरबोलिक फिक्स्ड पॉइंट; पैरबोलिक फिक्स्ड पॉइंट $\implies$ होरबॉल्स के विस्तार के माध्यम से परिमित विस्तार) स्थापित करने वाले कठोर प्रमाण।
प्रमेय 4.1 और 4.4 (Theorem 4.1 & 4.4): वास्तविक और जटिल मामलों के लिए स्पष्ट प्रमाण जो लॉक्सोड्रोमिक फिक्स्ड पॉइंट्स और क्वाड्रेटिक सर्ड्स के बीच समानता को दर्शाते हैं।
प्रपोजिशन 4.7 (Proposition 4.7): क्वैटरनिक मैट्रिसेस को वर्गीकृत करने के लिए पार्कर और शॉर्ट के वर्गीकरण का अनुप्रयोग, यह पुष्टि करता है कि आवर्तक CFs के अनुरूप मॉड्यूलर समूह के तत्व वास्तव में लॉक्सोड्रोमिक हैं।
प्रपोजिशन 5.1 और 5.2 (Proposition 5.1 & 5.2): सामान्यकृत पहचान (जैसे, $i + 1/i = 0$ ) पर चर्चा, यह दिखाते हुए कि जबकि आयाम 2, 3 और 4 में कुछ आवर्तक पहचान लागू होती हैं, वे $d > 4$ के लिए विफल हो जाती हैं।

5. महत्व (Significance)

सामान्यीकरण (Generalization): यह ऑक्टोनिक और हाइजेनबर्ग कंटिन्यूड फ्रैक्शंस तक लाग्रेंज के प्रमेय को सफलतापूर्वक विस्तारित करने वाला पहला कार्य है, जहाँ क्रमविनिमेयता या साहचर्य (associativity) की कमी ने पहले ऐसे परिणामों को बाधित किया था।
पद्धतिगत परिवर्तन (Methodological Shift): बीजगणितीय हेरफेर (डिस्क्रिमिनेंट्स, गुणांक) से ज्यामितीय गतिशीलता (आइसोमेट्री, होरबॉल्स, विविक्तता) की ओर स्थानांतरित होकर, लेखक यह सुनिश्चित करते हैं कि अंतर्निहित स्थान को एक क्रमविनिमेय रिंग या एक क्रमबद्ध क्षेत्र होने की आवश्यकता नहीं है।
क्वाड्रेटिक सर्ड्स की नई परिभाषा: यह शोध पत्र उच्च आयामों में "क्वाड्रेटिक सर्ड्स" के लिए एक मजबूत, ज्यामितीय परिभाषा प्रदान करता है: वे संबद्ध मॉड्यूलर समूह में लॉक्सोड्रोमिक आइसोमेट्री के स्थिर बिंदु हैं।
एकीकरण (Unification): यह वास्तविक, जटिल और गैर-क्रमविनिमेय सेटिंग्स में CFs के अध्ययन को एक एकल ज्यामितीय ढांचे (इवासवा CFs) के तहत एकीकृत करता है, जो संख्या सिद्धांत और हाइपरबोलिक ज्यामिति के बीच गहरे संबंध को उजागर करता है।