🔢 mathematics

On the Diophantine Equation $x_1^{3}-x_2^{2}x_1+1=0$ over $\mathbb{Q}(\sqrt{2})$

यह शोधपत्र सिद्ध करता है कि डिओफैंटाइन समीकरण $x_1^{3}-x_2^{2}x_1+1=0$ के $\mathbb{Q}(\sqrt{2}) \times \mathbb{Z}[\sqrt{2}]$ में ठीक दो समाधान हैं, जो कि $(-1,0)$ और $(1,\sqrt{2})$ हैं, और इस परिणाम को यह दिखाने के लिए लागू करता है कि $\mathbb{Q}(\sqrt{2})$ पर दीर्घवृत्तीय वक्र (elliptic curve) $Y^{2}=X^{3}-m^{2}X+1$ का मोर्डेल-वील समूह (Mordell–Weil group) किसी भी गैर-शून्य $m \neq \sqrt{2}$ के लिए क्रम दो (order two) का कोई परिमेय बिंदु नहीं रखता है।

मूल लेखक: Pinki Khatun

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

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

CC BY 4.0

मूल लेखक: Pinki Khatun

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

एक जुड़वां दुनिया में महान संख्या की खोज

कल्पना कीजिए कि आप एक जासूस हैं, लेकिन अपराध सुलझाने के बजाय, आप खोई हुई संख्याओं की तलाश कर रहे हैं। गणित की दुनिया में, "डिओफेंटाइन समीकरण" (Diophantine equation) नामक एक प्रसिद्ध खेल है। इसे एक पहेली के रूप में सोचें जहाँ आपको ऐसी पूर्ण संख्याएँ (या पूर्ण संख्याओं से बनी संख्याएँ) ढूँढनी होती हैं जो एक विशिष्ट गणितीय वाक्य को सत्य बनाती हों। आमतौर पर, ये पहेलियाँ उस मानक संख्या रेखा पर खेली जाती हैं जिसे हम जानते हैं: 1, 2, 3, और इसी तरह। लेकिन कभी-कभी, गणितज्ञ इस तरह के एक "समानांतर ब्रह्मांड" में यह खेल खेलने का निर्णय लेते हैं।

यह शोध पत्र ऐसे ही एक समानांतर ब्रह्मांड में आधारित है जिसे $\mathbb{Q}(\sqrt{2})$ कहा जाता है। यदि आप मानक संख्या रेखा को एक सीधी सड़क के रूप में देखते हैं, तो यह ब्रह्मांड एक ऐसी सड़क की तरह है जिसे एक विशेष सामग्री द्वारा खींचा और मोड़ा गया है: वर्गमूल 2 ( $\sqrt{2}$ )। इस दुनिया में, संख्याएँ केवल साधारण पूर्णांक नहीं हैं; वे नियमित संख्याओं और इस "रूट-2" मसाले के थोड़े से अंश से मिलकर बनी हैं। यहाँ के गणितज्ञ एक बहुत ही विशिष्ट, जटिल पहेली को हल करने की कोशिश कर रहे हैं जिसमें एक घन समीकरण (एक ऐसा गणितीय वाक्य जिसमें एक संख्या को तीन बार खुद से गुणा किया जाता है) शामिल है। वे संख्याओं के उन जोड़ों की तलाश कर रहे हैं जो समीकरण $x_1^3 - x_2^2x_1 + 1 = 0$ में पूरी तरह फिट बैठते हों। यह क्यों महत्वपूर्ण है? क्योंकि इन पहेलियों को हल करना हमें इन संख्या संसारों की छिपी हुई संरचना को समझने में मदद करता है, और यह पता चलता है कि ये पहेलियाँ गुप्त रूप से "एलिप्टिक कर्व्स" (elliptic curves) नामक विशेष वक्रों के आकार और व्यवहार से जुड़ी हुई हैं, जिनका उपयोग शुद्ध गणित से लेकर आधुनिक क्रिप्टोग्राफी तक हर जगह किया जाता है।

पूर्ण फिट की खोज

इस शोध पत्र में, लेखिका पिंकी खातून, इस रूट-2 ब्रह्मांड में एक जासूस की भूमिका निभाती हैं। मिशन यह है कि संख्याओं के प्रत्येक जोड़े $(x_1, x_2)$ को ढूँढना जो समीकरण $x_1^3 - x_2^2x_1 + 1 = 0$ को हल कर सके। यहाँ, $x_1$ को रूट-2 ब्रह्मांड का एक नंबर होना चाहिए, और $x_2$ को उसी ब्रह्मांड की एक "पूर्ण" संख्या (विशेष रूप से रिंग $\mathbb{Z}[\sqrt{2}]$ से) होनी चाहिए।

लेखिका केवल अनुमान नहीं लगातीं; वह उपकरणों का एक शक्तिशाली सेट उपयोग करती हैं। सबसे पहले, वह इस संख्या जगत के "निर्माण खंडों" (building blocks) को देखती हैं। इस ब्रह्मांड में, "यूनिट्स" (units) नामक विशेष संख्याएँ हैं जो साम्राज्य की चाबियों की तरह काम करती हैं। सबसे महत्वपूर्ण कुंजी $1 + \sqrt{2}$ है। लेखिका दिखाती हैं कि यदि आप इन चाबियों का उपयोग करके एक निश्चित तरीके से समाधान बनाने की कोशिश करते हैं, तो गणित बस मेल नहीं खाता। वह सिद्ध करती हैं कि यदि आप इन $1 + \sqrt{2}$ की घातों को मिलाकर एक समाधान बनाने का प्रयास करते हैं, तो आप एक विरोधाभास के साथ समाप्त होते हैं, जैसे किसी गोल छेद में वर्गाकार खूँटा फिट करने की कोशिश करना।

सभी जटिल संभावनाओं को खारिज करने के बाद, लेखिका पाती हैं कि वास्तव में केवल दो संख्या जोड़े ही काम करते हैं। पहला समाधान $(-1, 0)$ है, और दूसरा $(1, \sqrt{2})$ है। शोध पत्र पूर्ण निश्चितता के साथ सिद्ध करता है कि अन्य कोई समाधान मौजूद नहीं है। यह एक विशाल, अनंत पुस्तकालय की खोज करने और यह सिद्ध करने जैसा है कि केवल दो विशिष्ट पुस्तकों में ही प्रश्न का उत्तर है, जबकि अन्य सभी पुस्तकें खाली हैं।

प्रभाव की लहर: एलिप्टिक कर्व्स

केवल संख्याएँ खोजने पर ही क्यों रुकना? लेखिका इस खोज का उपयोग "एलिप्टिक कर्व्स" से जुड़े एक बड़े पहेली को हल करने के लिए करती हैं। कल्पना कीजिए कि ये वक्र एक ग्राफ पर खींचे गए चिकने, लूप वाले आकार हैं। इन आकारों की एक प्रमुख विशेषता यह है कि क्या उनमें "ऑर्डर टू के पॉइंट्स" (points of order two) हैं। सरल शब्दों में, यह पूछता है: "क्या इस वक्र पर कोई ऐसा स्थान है कि यदि आप एक विशिष्ट गणितीय नृत्य को दो बार करते हैं, तो आप वापस शुरुआती बिंदु पर आ जाते हैं?"

लेखिका दिखाती हैं कि जिस समीकरण को उन्होंने अभी हल किया है, वह इन विशेष स्थानों को खोजने का गुप्त कोड है। चूँकि उन्होंने सिद्ध किया है कि समीकरण के केवल वे दो विशिष्ट समाधान ही हैं, इसलिए अब वह वक्रों के बारे में बहुत मजबूत बात कह सकती हैं। लगभग हर बड़े परिवार के लिए (विशेष रूप से किसी भी पैरामीटर $m$ के लिए जो $0 $या$ \sqrt{2}$ नहीं है), वहाँ कोई ऑर्डर टू के पॉइंट्स नहीं हैं। वक्र में वह विशिष्ट प्रकार की समरूपता (symmetry) नहीं है।

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

तकनीकी सारांश: $\mathbb{Q}(\sqrt{2})$ पर डिओफैन्टाइन समीकरण $x_1^3 - x_2^2 x_1 + 1 = 0$ पर

समस्या विवरण
यह शोध पत्र इस विशिष्ट डोमेन में समीकरण $x_1^3 - x_2^2 x_1 + 1 = 0$ की समाधान योग्यता की जांच करता है जहाँ $x_1 \in \mathbb{Q}(\sqrt{2})$ और $x_2 \in \mathbb{Z}[\sqrt{2}]$ है। मुख्य उद्देश्य वास्तविक द्विघाती क्षेत्र के पूर्णांकों के वलय (ring of integers) पर इस त्रिघात समीकरण के संपूर्ण समाधान सेट को निर्धारित करना है।

कार्यप्रणाली
लेखक द्विघाती पूर्णांक वलय $\mathbb{Z}[\sqrt{2}]$ के लिए विशिष्ट प्रारंभिक अंकगणितीय तकनीकों का उपयोग करता है। प्रमाण रणनीति तीन मुख्य स्तंभों पर आधारित है:

इकाई समूह संरचना (Unit Group Structure): इस तथ्य का उपयोग करना कि $\mathbb{Z}[\sqrt{2}]$ एक मुख्य आदर्श डोमेन (Principal Ideal Domain - PID) है और इसका इकाई समूह मौलिक इकाई (fundamental unit) $1 + \sqrt{2}$ द्वारा जनित है।
विभाज्यता और मान तर्क (Divisibility and Norm Arguments): यह स्थापित करना कि कोई भी परिमेय समाधान $x_1$ वास्तव में $\mathbb{Z}[\sqrt{2}]$ में एक इकाई होगी, जब $x_1$ को सह-अभाज्य पूर्णांकों के भागफल के रूप में व्यक्त किया जाता है, तब समीकरण के पदों की विभाज्यता गुणों का विश्लेषण करके।
इकाइयों की घातों पर सहायक लेम्मा (Auxiliary Lemmas on Powers of Units): प्रमाण का मूल भाग मूल समीकरण को उन मामलों में कम करने में निहित है जहाँ $x_1$ एक इकाई है। यह मौलिक इकाई $y = 1 + \sqrt{2}$ और इसके संयुग्मी $z = 1 - \sqrt{2}$ की घातों से संबंधित सहायक समीकरणों की ओर ले जाता है। विशेष रूप से, लेखक यह सिद्ध करता है कि समीकरणों के रूप $(1+\sqrt{2})^{4s} + (1+\sqrt{2})^{-2s} = m^2$ और $(1-\sqrt{2})^{4s} - (1-\sqrt{2})^{-2s} = m^2$ के लिए प्राकृतिक संख्याओं $s$ और गैर-तुच्छ $m \in \mathbb{Z}[\sqrt{2}]$ के लिए कोई समाधान नहीं है। ये लेम्मा द्विपद विस्तार (binomial expansions) में $\sqrt{2}$ के गुणांकों का विश्लेषण करके और समता (parity) तर्कों का उपयोग करके व्युत्पन्न किए गए हैं।

मुख्य परिणाम
यह शोध पत्र प्रमेय 1.1 स्थापित करता है, जो यह दावा करता है कि $\mathbb{Q}(\sqrt{2}) \times \mathbb{Z}[\sqrt{2}]$ में समीकरण $x_1^3 - x_2^2 x_1 + 1 = 0$ का समाधान सेट ठीक दो युग्मों से बना है:

$(x_1, x_2) = (-1, 0)$
$(x_1, x_2) = (1, \sqrt{2})$

प्रमाण यह प्रदर्शित करता है कि किसी अन्य समाधान को मानने से मौलिक इकाई के विस्तार में गुणांकों की समता (parity) के संबंध में विरोधाभास उत्पन्न होता है।

एलिप्टिक कर्व्स (Elliptic Curves) पर अनुप्रयोग
इस डिओफैन्टाइन परिणाम के प्रत्यक्ष अनुप्रयोग के रूप में, यह शोध पत्र एलिप्टिक कर्व्स के परिवार का विश्लेषण करता है जो $C_m: Y^2 = X^3 - m^2 X + 1$ , जहाँ $m \in \mathbb{Z}[\sqrt{2}]$ है, द्वारा परिभाषित हैं।

एलिप्टिक कर्व पर क्रम दो (order two) के बिंदु त्रिघात बहुपद $X^3 - m^2 X + 1$ के मूलों (roots) के अनुरूप होते हैं।
उपप्रमेय 1.2 यह निष्कर्ष निकालता है कि प्रत्येक $m \in \mathbb{Z}[\sqrt{2}] \setminus \{0, \sqrt{2}\}$ के लिए, मोर्डेल-वील समूह (Mordell–Weil group) $C_m(\mathbb{Q}(\sqrt{2}))$ में क्रम दो का कोई परिमेय बिंदु नहीं होता है।
शोध पत्र नोट करता है कि बहिष्कृत मामलों $m=0$ और $m=\sqrt{2}$ के लिए, क्रम दो के बिंदु मौजूद हैं (विशेष रूप से क्रमशः $(-1,0)$ और $(1,0)$ )।

महत्ता और विस्तार
लेखक इस कार्य को द्विघाती पूर्णांक वलयों पर डिओफैन्टाइन समीकरणों के अध्ययन में एक प्रारंभिक योगदान के रूप में प्रस्तुत करता है, एक ऐसा क्षेत्र जहाँ परिमेय पूर्णांकों की तुलना में कम परिणाम ज्ञात हैं।

दावों की विनम्रता: शोध पत्र स्पष्ट रूप से बताता है कि तकनीकें "पूरी तरह से प्रारंभिक" हैं, जो उन्नत तंत्रों को आमंत्रित किए बिना केवल $\mathbb{Z}[\sqrt{2}]$ के अंकगणित पर निर्भर करती हैं।
संदर्भ: परिणामों को कामिएनी (Kamienny) और केंकू-मोमोसे (Kenku–Momose) द्वारा शुरू किए गए द्विघाती क्षेत्रों पर एलिप्टिक कर्व्स के टॉर्सन सबग्रुप्स (torsion subgroups) के व्यापक अध्ययन के पूरक के रूप में प्रस्तुत किया गया है।
भावी दिशाएँ: लेखक सुझाव देता है कि इन विधियों को अन्य वास्तविक द्विघाती क्षेत्रों पर समान समीकरणों, सामान्य पूर्णांक मापदंडों वाले समीकरणों, या $C_m$ के उच्च-क्रम टॉर्सन बिंदुओं पर लागू किया जा सकता है, लेकिन वह इस पाठ के भीतर इन व्यापक समस्याओं को हल करने का दावा नहीं करता है।

एक जुड़वां दुनिया में महान संख्या की खोज

पूर्ण फिट की खोज

प्रभाव की लहर: एलिप्टिक कर्व्स

तकनीकी सारांश: Q(2)\mathbb{Q}(\sqrt{2})Q(2​) पर डिओफैन्टाइन समीकरण x13−x22x1+1=0x_1^3 - x_2^2 x_1 + 1 = 0x13​−x22​x1​+1=0 पर

इसी तरह के और पेपर

तकनीकी सारांश: $\mathbb{Q}(\sqrt{2})$ पर डिओफैन्टाइन समीकरण $x_1^3 - x_2^2 x_1 + 1 = 0$ पर