🔢 mathematics

Product of powers of distinct primes as sums of Fibonacci numbers

यह शोध पत्र $F_n+F_m=p^xq^y$ के डायोफेंटाइन समीकरण की जांच करता है, जहाँ $p$ और $q$ भिन्न अभाज्य संख्याएँ हैं, और उन सभी युग्मों $(q,p)$ की पहचान करता है जिनमें $q\le \min\{1000,p\}$ है और जो धनात्मक पूर्णांकों में कम से कम दो भिन्न समाधान स्वीकार करते हैं।

मूल लेखक: Herbert Batte, Florian Luca, Volker Ziegler

प्रकाशित 2026-02-23

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

CC BY 4.0

मूल लेखक: Herbert Batte, Florian Luca, Volker Ziegler

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

कल्पना कीजिए कि आपके पास एक जादुई मशीन है जो एक बहुत ही विशिष्ट पैटर्न में संख्याएँ उगलती है: 0, 1, 1, 2, 3, 5, 8, 13, 21... यह प्रसिद्ध फाइबोनैकी अनुक्रम (Fibonacci sequence) है। आप पिछले दो नंबरों को जोड़कर अगला नंबर प्राप्त कर सकते हैं।

अब, कल्पना कीजिए कि आपके पास एक अलग मशीन है जो केवल उन "शुद्ध" संख्याओं को उगलती है जो अभाज्य संख्याओं (prime numbers) को आपस में गुणा करके बनाई जाती हैं (जैसे 2, 3, 5, 7, 11, आदि)। उदाहरण के लिए, $12 $হলো$ 2^2 \times 3 $है, और$ 18 $হলো$ 2 \times 3^2$ है।

बड़ा सवाल:
इस शोध पत्र के लेखकों ने एक पेचीदा पहेली पूछी: क्या आप दो फाइबोनैकी संख्याओं को जोड़कर एक ऐसी संख्या प्राप्त कर सकते हैं जो केवल दो विशिष्ट अभाज्य संख्याओं से बनी हो?

उदाहरण के तौर पर, क्या $F_n + F_m$ कुछ ऐसा हो सकता है जैसे $2^x \times 3^y$ ? या $7^x \times 19^y$ ?

वे जानना चाहते थे: ऐसा कितनी बार हो सकता है?

क्या यह एक बार होता है?
क्या यह दो बार होता है?
या क्या यह दस लाख बार होता है?

जासूसी कार्य: उन्होंने इसे कैसे हल किया

लेखक, हर्बर्ट बैटे, फ्लोरियन लुका और वोल्कर ज़िगलर, गणितीय जासूसों की तरह काम कर रहे थे। उन्होंने केवल अनुमान नहीं लगाया; उन्होंने उत्तर खोजने के लिए उन्नत गणित के एक विशाल टूलकिट का उपयोग किया। यहाँ बताया गया है कि उन्होंने इसे सरल चरणों में कैसे किया:

1. "बाड़" (सीमाएं निर्धारित करना)

सबसे पहले, उन्होंने महसूस किया कि यदि फाइबोनैकी संख्याएँ बहुत बड़ी हो जाती हैं, तो समीकरण टूट जाता है। यह एक विशाल हाथी को एक छोटी कार में फिट करने की कोशिश करने जैसा है।

उन्होंने बेकर के मेथड (Baker's Method) नामक एक शक्तिशाली गणितीय उपकरण का उपयोग किया (इसे एक अत्यंत सटीक रूलर की तरह समझें) यह सिद्ध करने के लिए कि इसमें शामिल फाइबोनैकी संख्याएँ अनंत रूप से बड़ी नहीं हो सकतीं।
उन्होंने समस्या के चारों ओर एक "बाड़" बनाई। उन्होंने सिद्ध किया कि यदि कोई समाधान मौजूद है, तो फाइबोनैकी संख्याएँ सैकड़ों अंकों वाली संख्या से छोटी होनी चाहिए।
उपमा: कल्पना कीजिए कि आप एक खेत में खोया हुआ सिक्का ढूंढ रहे हैं। खेत विशाल है, लेकिन आप जानते हैं कि सिक्का पहले 100 मीटर के भीतर ही कहीं है। आपको पूरे देश को खोजने की आवश्यकता नहीं है।

2. "दबाव" (खोज को छोटा करना)

भले ही बाड़ 100 मीटर की हो, लेकिन हर इंच की खोज करना कंप्यूटर के लिए भी कठिन है। इसलिए, उन्होंने LLL रिडक्शन (LLL Reduction) तकनीक का उपयोग किया (इसका नाम उन तीन गणितज्ञों के नाम पर रखा गया है जिन्होंने इसका आविष्कार किया था)।

उपमा: कल्पना कीजिए कि आपके पास ऊन का एक बड़ा, उलझा हुआ गोला है। आप एक विशिष्ट गांठ ढूंढना चाहते हैं। LLL एल्गोरिदम एक जादुई हाथ की तरह है जो तुरंत ऊन को सुलझा देता है और गोले को एक कंचे के आकार तक सिकोड़ देता है, जिससे गांठ को पहचानना आसान हो जाता है।
उन्होंने इस तकनीक का उपयोग अपने "बाड़" को सैकड़ों अंकों से सिकोड़कर इतनी छोटी संख्या बनाने के लिए किया जिसे एक कंप्यूटर उचित समय में जांच सके।

3. "फिंगरप्रिंट" (उम्मीदवारों की जाँच करना)

एक बार जब उनके पास संभावित संख्याओं की एक छोटी सूची आ गई, तो उन्होंने एक कंप्यूटर प्रोग्राम (SageMath नामक टूल का उपयोग करके) लिखा ताकि प्रत्येक संभावना की जाँच की जा सके।

उन्होंने प्रत्येक फाइबोनैकी जोड़ी को देखा जो दो अभाज्य संख्याओं से बनी संख्या के योग के बराबर थी।
उन्होंने जाँच की कि क्या वह योग अभाज्य संख्याओं की विभिन्न घातों (powers) के साथ एक से अधिक बार दिखाई देता है।

बड़ी खोज

इतनी कड़ी मेहनत के बाद, उन्हें उत्तर मिल गया।

अधिकांश अभाज्य युग्म (pairs of primes) कभी भी एक से अधिक बार काम नहीं करते।
यदि आप दो यादृच्छिक अभाज्य संख्याएँ चुनते हैं (मान लीजिए 13 और 17), तो आपको लगभग कभी भी दो अलग तरीके नहीं मिलेंगे जिनसे फाइबोनैकी संख्याओं को जोड़कर केवल 13 और 17 से बनी संख्या प्राप्त की जा सके।

हालाँकि, अभाज्य संख्याओं के ठीक 6 विशेष "VIP" जोड़े हैं जहाँ यह जादू दो (या अधिक) बार होता है:

3 और 2
5 और 2
7 और 2
7 और 3
17 और 2
19 और 2

इन विशिष्ट जोड़ों के लिए, लेखकों ने सूचीबद्ध किया कि यह वास्तव में कब-कब होता है।

उदाहरण: जोड़े 3 और 2 के लिए, $F_4 + F_4$ (जो $3+3=6$ है) $3^1 \times 2^1$ है। लेकिन $F_5 + F_1$ ( $5+1=6$ ) भी वही है। यह उसी "अभाज्य-मात्र" संख्या को प्राप्त करने के दो अलग तरीके हैं!

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

आप पूछ सकते हैं, "इससे किसे फर्क पड़ता है कि $F_n + F_m$ बराबर $3^x 2^y$ है?"

गणित की दुनिया में, ये पहेलियाँ मस्तिष्क के लिए प्रशिक्षण अभ्यास की तरह हैं।

वे हमें संख्याओं की छिपी हुई संरचना को समझने में मदद करती हैं।
वे हमारे सबसे शक्तिशाली गणितीय उपकरणों की सीमाओं का परीक्षण करती हैं (जैसे कि वे उपकरण जिनका उपयोग क्रिप्टोग्राफी में आपके बैंक डेटा को सुरक्षित रखने के लिए किया जाता है)।
यह सुडोकू पहेली को हल करने जैसा है: पहेली स्वयं कोई पुल नहीं बनाती है, लेकिन जिस तर्क का आप उपयोग करते हैं वह इंजीनियरों को बेहतर पुल बनाने में मदद करता है।

निष्कर्ष

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

उन्होंने सिद्ध किया कि जबकि संख्याओं का ब्रह्मांड विशाल और अराजक है, फाइबोनैकी संख्याओं और अभाज्य संख्याओं के एक साथ नाचने के पीछे बहुत सख्त नियम हैं। और लगभग हर जोड़ी के लिए, वे केवल एक बार ही साथ नाचते हैं। केवल छह विशेष जोड़े ही दो बार नाचने का सौभाग्य पाते हैं।

यहाँ हर्बर्ट बैटे, फ्लोरियन लुका और वोल्कर ज़िगलर के शोध पत्र "Product of powers of distinct primes as sums of Fibonacci numbers" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र इस डायोफेंटाइन समीकरण (Diophantine equation) की जांच करता है:
$F_n + F_m = p^x q^y$
जहाँ:

$F_n$ और $F_m$ इंडेक्स $n \ge m \ge 0$ वाले फाइबोनैची संख्याएँ हैं।
$p$ और $q$ दो निश्चित भिन्न अभाज्य संख्याएँ (distinct primes) हैं।
$x$ और $y$ धनात्मक पूर्णांक हैं ( $xy \neq 0$ )।
$n=2$ या $m=2$ के मामले को छोड़ दिया गया है क्योंकि $F_1 = F_2 = 1$ , जो निरूपण में अस्पष्टता पैदा करता है।

मुख्य उद्देश्य उन सभी भिन्न अभाज्य युग्मों $(q, p)$ को निर्धारित करना है जहाँ $q \le \min\{1000, p\}$ , ताकि समीकरण घातांक युग्मों $(x, y)$ (और उनके संगत इंडेक्स $n, m$ ) के संदर्भ में कम से कम दो भिन्न समाधान प्रदान करता हो।

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

लेखक इस समस्या को हल करने के लिए उन्नत संख्या-सिद्धांत उपकरणों और कम्प्यूटेशनल एल्गोरिदम के संयोजन का उपयोग करते हैं। कार्यप्रणाली कई चरणों में आगे बढ़ती है:

A. सैद्धांतिक ढांचा (Theoretical Framework)

बिनेट सूत्र और सन्निकटन (Binet Formulas and Approximations): लेखक गोल्डन रेशियो $\alpha = \frac{1+\sqrt{5}}{2}$ से जुड़े फाइबोनैची ( $F_n$ ) और लुकास ( $L_n$ ) संख्याओं के बिनेट सूत्रों का उपयोग करते हैं। वे $\alpha$ की घातों के रूप में $F_n + F_m$ का सन्निकटन करने के लिए कड़े अवरोध (tight inequalities) स्थापित करते हैं।
लॉग्स में रैखिक रूपों का सिद्धांत (Linear Forms in Logarithms - Baker's Method): मुख्य सैद्धांतिक उपकरण मेटवीव का प्रमेय (Matveev's theorem - Theorem 2.3) है, जो बीजगणिक संख्याओं के लॉग्स के गैर-शून्य रैखिक रूपों के लिए स्पष्ट निचली सीमाएँ प्रदान करता है। इसका उपयोग चरों $n, m, x, y$ के लिए ऊपरी सीमाएँ प्राप्त करने के लिए किया जाता है।
प्रिमिटिव भाजक प्रमेय (Primitive Divisor Theorems): फाइबोनैची और लुकास संख्याओं के प्रिमिटिव भाजकों के गुणों और कारमाइकल के प्रमेय का उपयोग उन मामलों को हटाने के लिए किया जाता है जहाँ अभाज्य गुणनखंड संरचना असंभव होती है।
ज़ेकेंडोर्फ निरूपण (Zeckendorf Representations): गैर-क्रमिक फाइबोनैची संख्याओं के योग के रूप में पूर्णांकों के निरूपण की विशिष्टता का उपयोग वहां किया जाता है जहाँ $n=m$ या $n=m+1$ हो।

B. न्यूनीकरण तकनीकें (Reduction Techniques)

मेटवीव के प्रमेय से प्राप्त प्रारंभिक ऊपरी सीमाएँ अत्यधिक विशाल (जैसे, $n < 10^{352}$ ) हैं। समस्या को कम्प्यूटेशनल रूप से सुलभ बनाने के लिए, लेखक न्यूनीकरण विधियों को लागू करते हैं:

निरंतर भिन्न (Continued Fractions - Legendre's Lemma): दो चरों वाले रैखिक रूपों के लिए सीमाओं को कम करने के लिए उपयोग किया जाता है।
LLL-एल्गोरिदम (Lenstra–Lenstra–Lovász): जालक (lattices) में लघु सदिश (short vectors) खोजने के लिए उपयोग किया जाता है। यह $n$ और अंतर $d = n-m$ की सीमाओं को कम करने के लिए प्राथमिक विधि है। लेखक डायोफेंटाइन समीकरण से प्राप्त रैखिक रूपों पर आधारित सन्निकटन जालक (approximation lattices) का निर्माण करते हैं और अधिक सटीक सीमाएँ (जैसे, $n$ को $10^{352}$ से घटाकर $n < 1000$ करना) खोजने के लिए LLL एल्गोरिदम लागू करते हैं।

C. कम्प्यूटेशनल खोज (Computational Search)

एक बार जब $n$ की सीमाएं एक प्रबंधनीय रेंज (आमतौर पर $n < 2000$ या निश्चित प्राइम $p$ के आधार पर थोड़ा अधिक) तक कम हो जाती हैं, तो लेखक पूर्ण खोज (exhaustive search) करने के लिए SageMath का उपयोग करते हैं।

वे वैध $n, m$ युग्मों के माध्यम से पुनरावृत्ति (iterate) करते हैं।
वे $S = F_n + F_m$ की गणना करते हैं।
वे जाँचते हैं कि क्या $S$ को निश्चित अभाज्य $p, q$ के लिए $p^x q^y$ के रूप में गुणनखंडित किया जा सकता है।
विशाल संख्याओं का पूर्ण गुणनखंड किए बिना कुशलतापूर्वक अभाज्य घात कारकों की जाँच करने के लिए विशेष एल्गोरिदम (फर्मा के लिटिल थ्योरम और मॉड्यूलर अंकगणित के लिए मैट्रिक्स एक्सपोनेंटिएशन का उपयोग करके) का उपयोग किया जाता है।

3. मुख्य योगदान और मामला विश्लेषण (Key Contributions and Case Analysis)

शोध पत्र छोटे प्राइम $q$ के आकार के आधार पर दो मुख्य मामलों में विभाजित है:

मामला 1: छोटे अभाज्य ( $2 \le q < p \le 1000$ )

लेखक लेम्मा 3.2 का उपयोग करके एक पूर्ण सीमा $n < 2 \cdot 10^{40}$ स्थापित करते हैं।
पुनरावृत्ति योग्य LLL न्यूनीकरण के माध्यम से, इस सीमा को नाटकीय रूप से घटाकर $n \le 378$ कर दिया जाता है।
इस रेंज पर एक कंप्यूटर खोज पुष्टि करती है कि केवल विशिष्ट $(p, q)$ युग्म ही कई समाधान प्रदान करते हैं।

मामला 2: बड़े अभाज्य ( $p > 1000$ )

यह मामला अधिक जटिल है और $q$ के आधार पर उप-मामलों में विभाजित है:

उप-मामला $q \neq 5$ : लेखक $\alpha$ और $\sqrt{5}$ से जुड़े पदों की मल्टीप्लिकेटिव इंडिपेंडेंस का विश्लेषण करते हैं। वे केवल आशाजनक उम्मीदवारों के लिए मल्टीप्लिकेटिव डिपेंडेंसी की जाँच करने के लिए एक परिष्कृत रणनीति का उपयोग करते हैं, जिससे खोज क्षेत्र काफी कम हो जाता है। वे सिद्ध करते हैं कि $q \neq 5$ के लिए, छोटे प्राइम केस के अलावा कोई नए समाधान मौजूद नहीं हैं।
उप-मामला $q = 5$ : इसके लिए फाइबोनैची अनुक्रम (Pisano periods) में 5 के विशिष्ट गुणों को संभालना आवश्यक है।
- वे $m=0$ या $d=n-m$ सम होने, और $d$ विषम होने के मामलों का विश्लेषण करते हैं।
- वे $n < 10^{53}$ जैसी सीमाएँ प्राप्त करते हैं और बाद में LLL और निरंतर भिन्न (continued fractions) का उपयोग करके उन्हें कम करते हैं।
- $5^k$ के मोड (modulo) पर फाइबोनैची संख्याओं की आवधिकता पर आधारित एक विशेष लिफ्टिंग एल्गोरिदम का उपयोग घातांक $y$ को सीमित करने के लिए किया जाता है।
- इन विशाल प्रारंभिक सीमाओं के बावजूद, LLL न्यूनीकरण और समीकरण की विशिष्ट संरचना के संयोजन से अंततः $n$ बहुत छोटा ( $n \le 21$ ) हो जाता है, जहाँ कोई नया समाधान नहीं मिलता है।

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

यह शोध पत्र थ्योरम 1.1 को सिद्ध करता है, जो $(p, q)$ के उन अभाज्य युग्मों को पूरी तरह से वर्गीकृत करता है (जहाँ $q \le 1000$ ) जो $F_n + F_m = p^x q^y$ समीकरण को कम से कम दो भिन्न समाधानों की अनुमति देते हैं।

ऐसे एकमात्र युग्म हैं:
$S = \{(3, 2), (5, 2), (7, 2), (7, 3), (17, 2), (19, 2)\}$

इन युग्मों के लिए विशिष्ट समाधान (फाइबोनैची संख्याओं के योग) हैं:

$(3, 2)$ : $3^x 2^y = F_4+F_4, F_5+F_1, F_7+F_5, F_8+F_4, F_9+F_3, F_{11}+F_{10}, F_{12}+F_0, F_{12}+F_{12}, F_{13}+F_{10}, F_{14}+F_{10}, F_{18}+F_6$ .
$(5, 2)$ : $5^x 2^y = F_5+F_5, F_6+F_3, F_{16}+F_7, F_{17}+F_4$ .
$(7, 2)$ : $7^x 2^y = F_7+F_1, F_{10}+F_1$ .
$(7, 3)$ : $7^x 3^y = F_7+F_6, F_8+F_0, F_{10}+F_6, F_{12}+F_4$ .
$(17, 2)$ : $17^x 2^y = F_8+F_7, F_9+F_0, F_9+F_9, F_{10}+F_7$ .
$(19, 2)$ : $19^x 2^y = F_{10}+F_8, F_{12}+F_6$ .

अन्य सभी अभाज्य युग्मों $(p, q)$ के लिए, जहाँ $q \le 1000$ , समीकरण के धनात्मक पूर्णांक $x, y$ में अधिकतम एक ही समाधान होता है।

5. महत्व (Significance)

पिछले कार्य का विस्तार: यह शोध पत्र ब्रावो और लुका (जिन्होंने $F_n + F_m = 2^a$ का अध्ययन किया था) और ज़िगलर (जिन्होंने $F_n + F_m = y^a$ का अध्ययन किया था) के पिछले परिणामों का सामान्यीकरण करता है। यह एकल प्राइम पावर या परफेक्ट पावर से हटकर दो भिन्न प्राइम पावर के उत्पादों की ओर बढ़ता है।
पद्धतिगत कठोरता (Methodological Rigor): यह शोध पत्र "बेकर-डेवनपोर्ट" (Baker-Davenport) पद्धति (लॉग्स के रैखिक रूपों को लैटिस रिडक्शन के साथ जोड़ना) के एक परिष्कृत अनुप्रयोग को प्रदर्शित करता है। लेखक सफलतापूर्वक अत्यधिक विशाल प्रारंभिक सीमाओं ( $10^{300+}$ ) को संभालते हैं और उन्हें कम्प्यूटेशनल रेंज तक कम करते हैं, जो आधुनिक डायोफेंटाइन सन्निकटन तकनीकों की शक्ति को दर्शाता है।
पूर्णता (Completeness): $q=5$ के मामले को अलग से कवर करके और घातांकों के मैट्रिक्स की पंक्तियों की रैखिक निर्भरता (जो एक दुर्लभ और कठिन परिदृश्य है) को संभालकर, लेखक निर्दिष्ट प्राइम रेंज के लिए एक पूर्ण और कठोर वर्गीकरण प्रदान करते हैं।
कम्प्यूटेशनल नंबर थ्योरी: यह कार्य बड़ी संख्याओं से संबंधित डायोफेंटाइन समीकरणों को हल करने के लिए कुशल कम्प्यूटेशनल एल्गोरिदम (LLL, मॉड्यूलर लिफ्टिंग, प्राइमैलिटी टेस्टिंग) के साथ सैद्धांतिक सीमाओं को जोड़ने की आवश्यकता पर प्रकाश डालता है।