🔢 mathematics

Sum of consecutive powers as a perfect power

यह शोधपत्र सिद्ध करता है कि समीकरण $x^k + (x+1)^k = y^n$ के लिए, जहाँ $n \geq 3$ और $k \equiv 2 \pmod{4}$ है, लीनियर फॉर्म्स इन लॉगरिदम, मॉड्यूलर विधि और थ्यू इक्वेशन्स का उपयोग करते हुए, एकमात्र समाधान $x=0, -1$ हैं जब $6 \leq k \leq 100$ हो या जब $k$ में $3 \pmod{4}$ के तुल्य विषम अभाज्य गुणनखंड हों।

मूल लेखक: Angelos Koutsianas, Nikos Tzanakis

प्रकाशित 2026-05-19

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

CC BY 4.0

मूल लेखक: Angelos Koutsianas, Nikos Tzanakis

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

कल्पना कीजिए कि आप एक जासूस हैं जो संख्याओं से जुड़ी एक बहुत ही विशिष्ट, जिद्दी पहेली को सुलझाने की कोशिश कर रहे हैं। वह पहेली यह है: क्या आप ऐसी दो संख्याएँ ढूँढ सकते हैं जो एक-दूसरे के ठीक बगल में हों (जैसे 3 और 4, या 100 और 101), उन दोनों को एक ही ऊँची घात (power) तक बढ़ाएँ, उन्हें आपस में जोड़ें, और परिणाम भी एक पूर्ण घात (perfect power) हो?

उदाहरण के लिए, यदि आप $3^3 + 4^3$ लेते हैं, तो आपको $27 + 64 = 91$ प्राप्त होता है। क्या 91 एक पूर्ण घात है (जैसे वर्ग, घन, आदि)? नहीं। इस शोध पत्र के गणितज्ञों, एंजेलो कौत्सियानास और निकोस त्ज़ानाकिस ने इन दुर्लभ क्षणों की खोज में अपना समय बिताया जब उत्तर हाँ होता है।

यहाँ उनके अन्वेषण का सरल उपमाओं (analogies) का उपयोग करके विवरण दिया गया है।

मुख्य पहेली

जिस समीकरण का वे अध्ययन कर रहे हैं वह इस प्रकार दिखता है:
$x^k + (x+1)^k = y^n$

$x$ और $x+1$ : दो पड़ोसी।
$k$ : वह "घात" (power) जिससे आप उन्हें बढ़ाते हैं। यह शोध पत्र एक विशिष्ट प्रकार की घात पर ध्यान केंद्रित करता है: ऐसी संख्याएँ जैसे 6, 10, 14, 18, आदि (वे संख्याएँ जो 4 के गुणज से 2 अधिक हैं)।
$y^n$ : परिणाम एक पूर्ण घात होना चाहिए (जैसे एक पूर्ण घन, चौथी घात, आदि, जहाँ $n$ कम से कम 3 है)।

"भूतिया" समाधान (The "Ghost" Solutions)

शुरू करने से पहले, उन्हें दो "भूतिया" समाधानों के बारे में पता था।

यदि $x = 0$ , तो $0^k + 1^k = 1$ । चूँकि $1 $एक पूर्ण घात है ($ 1^n$), इसलिए यह काम करता है।
यदि $x = -1$ , तो $(-1)^k + 0^k = 1$ । यह भी काम करता है।
लेखक यह जानना चाहते थे: क्या कोई वास्तविक समाधान हैं जहाँ संख्याएँ वास्तव में 1 से बड़ी हैं?

जासूस का टूलकिट

इसे हल करने के लिए, लेखकों ने केवल संख्याओं का अनुमान नहीं लगाया। उन्होंने एक "तीन-चरणीय" जांच रणनीति का उपयोग किया, जैसे एक जासूस तीन अलग-अलग प्रकार के फॉरेंसिक उपकरणों का उपयोग करता है:

"लॉगारिदम टेप मेजर" (लॉगारिदम के रैखिक रूप - Linear Forms in Logarithms):
कल्पना कीजिए कि आप घास के ढेर में सुई ढूँढने की कोशिश कर रहे हैं। आप जानते हैं कि सुई कहीं है, लेकिन घास का ढेर अनंत है। यह उपकरण उन्हें घास के ढेर को एक प्रबंधनीय आकार में काटने में मदद करता है। यह सिद्ध करता है कि यदि कोई समाधान मौजूद है, तो इसमें शामिल संख्याएँ बहुत अधिक बड़ी नहीं हो सकतीं। यह एक ऊपरी सीमा निर्धारित करता है, यह कहते हुए, "यदि कोई समाधान मौजूद है, तो वह इस विशिष्ट संख्या से नीचे होना चाहिए।"
"मॉड्यूलर दर्पण" (The Modular Method):
यह सबसे जटिल उपकरण है। कल्पना कीजिए कि आप दर्पण में एक प्रतिबिंब देख रहे हैं। यदि आपके पास एक विशिष्ट आकार है (आपका समीकरण), तो वह एक छाया डालता है (एक गणितीय वस्तु जिसे एलिप्टिक कर्व कहा जाता है)। लेखकों ने इस छाया को देखा और इसकी तुलना ज्ञात छायाओं के पुस्तकालय (जिन्हें "न्यूफॉर्म्स" कहा जाता है) से की।

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

"पहेली सुलझाने वाला" (Thue Equations):
उन छोटी संख्याओं के लिए जिन्हें अन्य उपकरणों ने खारिज नहीं किया था, वे समस्या को 'थ्यू समीकरण' (Thue equation) नामक एक विशिष्ट प्रकार के गणितीय पहेली में बदल देते हैं। ये संख्याओं के सुडोकू ग्रिड की तरह हैं। उन्होंने छोटी स्थितियों के लिए इन पहेलियों को हल किया ताकि यह सिद्ध किया जा सके कि वहां भी कोई समाधान मौजूद नहीं था।

बड़ी खोज

इन उपकरणों को एक बड़े कंप्यूटर चेक (एक मानक ऑफिस कंप्यूटर का उपयोग करके, सुपरकंप्यूटर का नहीं) के माध्यम से चलाने के बाद, उन्हें उत्तर मिला:

6 और 100 के बीच की प्रत्येक घात $k$ के लिए (जो उनके विशिष्ट नियम में फिट बैठती है), एकमात्र समाधान वे "भूतिया" समाधान ही हैं जिन्हें हम पहले से जानते थे: $x = 0$ और $x = -1$ ।

दूसरे शब्दों में, आप दो धनात्मक पूर्णांकों (positive integers) को नहीं ले सकते जो एक-दूसरे के बगल में हों, उन्हें एक घात के बीच 100 तक बढ़ा सकते हैं, उन्हें जोड़ सकते हैं, और एक पूर्ण घात प्राप्त कर सकते हैं। इस सीमा में ब्रह्मांड इसकी अनुमति ही नहीं देता।

यह क्यों मायने रखता है (गणितीय शब्दों में)

शोध पत्र उल्लेख करता है कि यह पहली बार है जब किसी ने इतनी बड़ी घातों ( $k$ ) के लिए इस विशिष्ट प्रकार की पहेली को सफलतापूर्वक हल किया है जब केवल दो संख्याएँ जोड़ी जा रही हों।

आमतौर पर, जब आपके पास तीन घातों को जोड़ने वाली दो संख्याएँ होती हैं, तो यह एक बहुत कठिन समस्या होती है (फेरमा के अंतिम प्रमेय से संबंधित)। लेखों ने इस समस्या को छोटे, हल करने योग्य टुकड़ों में तोड़ने में सफलता प्राप्त की। उन्होंने दिखाया कि भले ही गणित अविश्वसनीय रूप से गहरा हो और इसमें "वक्रों" (curves) और "लॉगारिदम" जैसी अमूर्त अवधारणाएं शामिल हों, अंतिम परिणाम बड़ी संख्याओं के लिए एक सरल "नहीं" है।

"आगे क्या?"

शोध पत्र समाप्त होता है, "हमने 100 तक की घातों के लिए यह किया। समान तरीके 100 से बड़ी घातों के लिए भी काम करने चाहिए, लेकिन वह किसी और दिन के लिए काम है।" वे यह भी नोट करते हैं कि यदि घात $k$ एक विषम संख्या (जैसे 5 या 7) है, तो पूरा खेल बदल जाता है, और जो नियम उन्होंने यहाँ उपयोग किए थे, वे अब लागू नहीं होते। वह भविष्य के लिए एक अधिक कठिन रहस्य है।

संक्षेप में: उन्होंने सिद्ध किया कि उच्च घातों की एक विस्तृत श्रृंखला के लिए, दो लगातार संख्याओं का योग कभी भी एक पूर्ण घात नहीं होता है, जब तक कि आप शून्य या ऋणात्मक एक से शुरू न करें। केवल "भूत" ही जीतते हैं।

तकनीकी सारांश: एक पूर्ण घात के रूप में क्रमिक घातों का योग

समस्या विवरण
यह शोध पत्र उस डिओफैंटाइन समीकरण (Diophantine equation) की जांच करता है जो दो क्रमिक पूर्ण घातों के योग को एक पूर्ण घात के बराबर दर्शाता है:
$x^k + (x + 1)^k = y^n, \quad n \geq 3$
लेखक विशेष रूप से उस स्थिति पर ध्यान केंद्रित करते हैं जहाँ घातांक $k$ इस प्रकार संतुष्ट होता है कि $k \equiv 2 \pmod 4$ । जबकि $k=2, 3, 4$ और क्रमिक योगों की विभिन्न लंबाई ( $d$ ) के मामलों को पूर्व साहित्य में संबोधित किया गया है, $d=2$ के साथ बड़े $k$ वाला मामला काफी हद तक अनसुलझा रहा है। लेखक नोट करते हैं कि $d=2$ के लिए, समीकरण सिग्नेचर $(r, r, p)$ वाले सामान्यीकृत फर्माट समीकरण (generalized Fermat equation) का एक विशेष मामला है, जो आमतौर पर जटिल कॉम्प्लेक्स मल्टीप्लिकेशन (विशेष रूप से $x=0, -1$ के लिए) वाली गैर-एकल फ्रेय हाइपरइलिक रूपिक वक्रों (non-singular Frey hyperelliptic curves) से संबंधित बाधाएं प्रस्तुत करता है। प्राथमिक लक्ष्य $k \equiv 2 \pmod 4$ की स्थिति के तहत $6 \leq k \leq 100$ के लिए सभी पूर्णांक समाधान निर्धारित करना है।

कार्यप्रणाली
प्रमाण रणनीति तीन अलग-अलग गणितीय तकनीकों को जोड़ती है: लघुगणक में रैखिक रूप (linear forms in logarithms), मॉड्यूलर विधि (modular method), और थ्यू समीकरणों (Thue equations) का समाधान। दृष्टिकोण इस प्रकार आगे बढ़ता है:

रूपांतरण और न्यूनीकरण (Transformation and Reduction):
लेखक मूल समीकरण को $x$ को एक विषम पूर्णांक मानकर (चर प्रतिस्थापन $x \to (x-1)/2$ के माध्यम से) रूपांतरित करते हैं, जिससे सममित रूप प्राप्त होता है:
$\frac{(x-1)^k + (x+1)^k}{2} = 2^{k-1}y^n$
लेम्मा 4.1 का उपयोग करते हुए, वे बाएँ पक्ष को $(x^2+1)f_k(x^2)$ के रूप में गुणनखंडित करते हैं, जहाँ $f_k$ , $x^2$ का $k/2 - 1$ डिग्री वाला एक बहुपद है।
लेबेग-नैगल (Lebesgue-Nagell) और थ्यू समीकरणों में न्यूनीकरण:
एक प्रमुख योगदान लेम्मा 4.2 है, जो यह प्रदर्शित करता है कि $k \geq 6$ और पर्याप्त बड़े $n$ के लिए, कोई भी समाधान $(x, y, n)$ दो समीकरणों की एक परिमित प्रणाली में न्यूनीकृत हो जाता है:
$x^2 + 1 = 2 \frac{d_2}{d_1} y_1^n$
$f_k(x^2) = 2^{k-2} \frac{d_1}{d_2} y_2^n$
यहाँ, $d_1, d_2$ क्रमशः $k$ के $1 \pmod 4$ के अनुरूप अभाज्य गुणनखंडों द्वारा निर्धारित $k/2$ के विशिष्ट भाजक हैं।

छोटे $n$ ( $n \leq 7$ ) के लिए, पहले समीकरण के समाधान को गॉसियन पूर्णांकों $\mathbb{Q}(i)$ पर सीमित संख्या में थ्यू समीकरणों को हल करने में न्यूनीकृत किया जाता है।
सामान्य मामले के लिए, समस्या को $x^2 + 1 = 2d y^n$ के रूप में लेबेग-नैगल समीकरणों को हल करने में न्यूनीकृत किया जाता है।

मॉड्यूलर विधि (The Modular Method):
$6 \leq k \leq 100$ और अभाज्य $n \geq 11$ के रेंज के लिए, लेखक एक संभावित समाधान से जुड़ी एक फ्रेय-हेलेगौआक (Frey-Hellegouarch) एलिप्टिक वक्र $E$ का उपयोग करते हैं। मॉड्यूलरिटी और लेवल लोअरिंग (level lowering) प्रमेयों का उपयोग करते हुए, वे $E$ के गैलवा प्रतिनिधित्व (Galois representation) और एक नएफॉर्म (newform) $f$ के बीच एक आइसोमोर्फिज्म स्थापित करते हैं।

विभिन्न अभाज्य $\ell$ के लिए फूरियर गुणांक $a_\ell(f)$ और $a_\ell(E)$ की तुलना करके प्रपोजिशन 3.1 का उपयोग $n$ को सीमित करने के लिए किया जाता है।
प्रपोजिशन 6.3 उन विशिष्ट नएफॉर्म्स को बाहर करने के लिए एक परिष्कृत उन्मूलन तकनीक पेश करता है जिन्हें मानक गुणांक तुलना द्वारा हटाया नहीं जा सका था, जिसमें $\ell = tn + 1$ अभाज्यों का उपयोग किया जाता है।

लघुगणक में रैखिक रूप (Linear Forms in Logarithms):
$n$ के ऊपरी बाउंड को संभालने के लिए, लेखक बाकर के लघुगणक में रैखिक रूपों के सिद्धांत (Baker's theory of linear forms in logarithms) को लागू करते हैं। वे रैखिक रूप $\Lambda = n \log \alpha_1 - \log \alpha_2$ का विश्लेषण करके $n$ के लिए एक स्पष्ट ऊपरी बाउंड $n_0$ (तालिका 2 में प्रस्तुत) प्राप्त करते हैं। यह बाउंड यह सुनिश्चित करता है कि $n > n_0$ के लिए कोई समाधान मौजूद नहीं है।

मुख्य परिणाम
यह शोध पत्र निम्नलिखित मुख्य प्रमेय स्थापित करता है:

प्रमेय 1.1: मान लीजिए $k \equiv 2 \pmod 4$ है। यदि $6 \leq k \leq 100$ , तो $x^k + (x+1)^k = y^n$ के एकमात्र पूर्णांक समाधान तब होते हैं जब $x \in \{-1, 0\}$ हो।

इसके अतिरिक्त, लेखक प्रमेय 1.3 को सिद्ध करते हैं, जो उस स्थिति को संबोधित करता है जहाँ $k \equiv 2 \pmod 4$ है और $k$ के सभी विषम अभाज्य गुणनखंड $3 \pmod 4$ के अनुरूप हैं। इस विशिष्ट परिदृश्य में, समाधान $(x, y, n, k) = (0, 1, n, k)$ , $(119, 13, 4, 2)$ , और $(-120, 13, 4, 2)$ हैं।

कंप्यूटेशनल सत्यापन में शामिल था:

Pari/GP का उपयोग करके $n \leq 7$ के लिए थ्यू समीकरणों को हल करना।
$11 \leq n \leq n_0$ के लिए नएफॉर्म को हटाने के लिए Sage स्क्रिप्ट का उपयोग करके मॉड्यूलर विधि लागू करना।
$[6, 100]$ की सीमा में प्रत्येक $k$ के लिए स्पष्ट ऊपरी बाउंड $n_0$ की गणना करना (जो $\approx 1.7 \times 10^5$ से $\approx 3 \times 10^7$ तक है)।

महत्व और कार्यक्षेत्र
लेखक कहते हैं कि यह कार्य बड़े $k$ मानों के साथ $d=2$ के लिए समीकरण (1.1) को हल करने का पहला प्रयास है। इसका महत्व जेनस (genus) $>1$ वक्रों (विशेष रूप से $x=0, -1$ मामलों) से जुड़ी बाधाओं को सफलतापूर्वक पार करने में निहित है, जिसे एक सीमित संख्या में हल योग्य समीकरणों में न्यूनीकृत करके प्राप्त किया गया है।

लेखक परीक्षण की गई सीमा से परे अपने कार्यक्षेत्र के बारे में विनम्र हैं। वे नोट करते हैं कि हालांकि उनकी विधियाँ $k > 100$ के साथ किसी भी $k \equiv 2 \pmod 4$ के लिए "सिद्धांत रूप में" लागू करने योग्य हैं, लेकिन कम्प्यूटेशनल जटिलता काफी बढ़ जाती है। वे स्पष्ट रूप से कहते हैं कि वह मामला जहाँ $k$ विषम है, एक "बहुत अलग" और "बहुत चुनौतीपूर्ण" स्थिति प्रस्तुत करता है जहाँ उनका मुख्य लेम्मा 4.2 विफल हो जाता है, और $k=5$ का मामला एक खुला प्रश्न बना हुआ है। पेपर यह दावा नहीं करता है कि यह सभी $k$ के लिए समीकरण को हल करता है, बल्कि यह घोषित करता है कि यह वर्णित अनुरूपता शर्तों के तहत $6 \leq k \leq 100$ की विशिष्ट सीमा के लिए पूर्ण समाधान प्रदान करता है।