On Diophantine triples containing a triangular number

तकनीकी सारांश: त्रिकोणीय संख्या युक्त डायोफेंटाइन ट्रिपल पर

समस्या विवरण
यह शोध पत्र डायोफेंटाइन $m$-टुपल्स (Diophantine $m$-tuples) की समस्या पर आधारित है, जो विशिष्ट धनात्मक पूर्णांकों के ऐसे सेट हैं जहाँ किन्हीं भी दो भिन्न तत्वों के गुणनफल में एक निश्चित पूर्णांक $n$ जोड़ने पर एक पूर्ण वर्ग प्राप्त होता है। यह कार्य उन मामलों पर केंद्रित है जहाँ सेट के तत्व त्रिकोणीय संख्याओं ($T_k = k(k+1)/2$) तक सीमित हैं और गुण पैरामीटर एक पूर्ण वर्ग, $n = m^2$ है।

जबकि पूर्व साहित्य ने त्रिकोणीय संख्याओं के विशिष्ट डायोफेंटाइन ट्रिपल (जैसे, $\{T_n, T_{n+4}, T_{4n^2+20n+8}\}$) के अस्तित्व को स्थापित किया है और शास्त्रीय मामलों में बड़े सेटों (quintuples) के गैर-अस्तित्व को सिद्ध किया है, यह कार्य ऐसे ट्रिपल के घनत्व और निर्माण की जांच करता है। विशेष रूप से, यह प्रश्न उठाता है कि क्या एक निश्चित त्रिकोणीय संख्या $T_n$ पूरी तरह से त्रिकोणीय संख्याओं से बने अनेक भिन्न $D(m^2)$-ट्रिपल्स का सदस्य हो सकती है।

कार्यप्रणाली
लेखक पुनरावर्ती अनुक्रमों (recursive sequences) और त्रिकोणीय संख्याओं से संबंधित बीजगणितीय सर्वसमिकाओं (algebraic identities) पर आधारित एक रचनात्मक दृष्टिकोण अपनाते हैं। कार्यप्रणाली इस प्रकार है:

1. प्रारंभिक युग्म निर्माण: एक निश्चित धनात्मक पूर्णांक $m$ और एक प्रारंभिक सूचकांक $n$ के लिए, शोध पत्र एक आधार $D(m^2)$-युग्म $\{T_n, T_{n+4m}\}$ की पहचान करता है। इन तत्वों के गुणनफल में $m^2$ जोड़ने पर वह एक पूर्ण वर्ग होता है, जिसे $r_1^2$ के रूप में दर्शाया गया है।
2. पुनरावर्ती विस्तार: नए त्रिकोणीय नंबरों को उत्पन्न करने के लिए लेखक एक सूचकांक अनुक्रम $N_k$ को परिभाषित करते हैं। $N_0 = n$ और $N_1 = n+4m$ से शुरू करते हुए, एक तीसरा तत्व $N_2 = 8r_1$ निर्मित किया जाता है ताकि प्रारंभिक ट्रिपल $\{T_{N_0}, T_{N_1}, T_{N_2}\}$ बनाया जा सके।
3. पुनरावृत्ति संबंध (Recurrence Relations): बाद के सूचकांकों के लिए एक पुनरावर्ती परिभाषा स्थापित की गई है:
   $$N_{k+2} = 8s_k + N_k$$
   जहाँ $s_k$ और $t_k$ पूर्णांकों के ऐसे अनुक्रम हैं जो विशिष्ट पुनरावृत्ति संबंधों का पालन करते हैं:
   $$s_{k+1} = 2s_k(2N_0 + 1) - s_{k-1}$$
   $$t_{k+1} = 2s_k(2N_{k+1} + 1) + t_k$$
   अनुक्रम $s_k$ और $t_k$ को इस शर्त के आधार पर व्युत्पन्न किया गया है कि ट्रिपल के युग्मों का गुणनफल और $m^2$ एक वर्ग होना चाहिए।
4. स्पष्ट सूत्र: $s_k$ के पुनरावृत्ति को विशेषता मूलों (characteristic roots) $\alpha$ और $\beta$ (जो $N_0$ से प्राप्त होते हैं) का उपयोग करके हल किया गया है, जिससे $s_k$, $N_k$, और $t_k$ के स्पष्ट बंद-रूप (closed-form) व्यंजक प्राप्त होते हैं।
5. सत्यापन: प्रमाण इस बात के सत्यापन पर निर्भर करता है कि नव-निर्मित ट्रिपल $\{T_{N_0}, T_{N_{k+1}}, T_{N_{k+2}}\}$ $D(m^2)$ गुण को संतुष्ट करता है। इसमें $T_{8x+y} = 32x^2 + 4x(2y+1) + T_y$ की सर्वसमिका और $8T_n + 1 = (2n+1)^2$ के गुण का उपयोग करते हुए बीजगणकीय सरलीकरण शामिल है। लेखक यह प्रदर्शित करते हैं कि सभी $k \geq 1$ के लिए आवश्यक वर्ग स्थितियाँ लागू होती हैं।

प्रमुख योगदान और परिणाम
प्राथमिक योगदान प्रमेय 1 (Theorem 1) है, जो कहता है:

माना $m$ एक धनात्मक पूर्णांक है। प्रत्येक धनात्मक पूर्णांक $n$ के लिए, त्रिकोणीय संख्या $T_n$ त्रिकोणीय संख्याओं के अनंत $D(m^2)$-ट्रिपल्स का एक सदस्य है।

शोध पत्र एक सामान्य निर्माण प्रदान करता है जो ऐसे ट्रिपल्स के अनंत परिवारों को उत्पन्न करता है। महत्वपूर्ण रूप से, इस निर्माण द्वारा उत्पन्न प्रत्येक ट्रिपल में वही प्रारंभिक त्रिकोणीय संख्या $T_n$ शामिल है। यह निर्माण किसी भी धनात्मक पूर्णांक $m$ और $n$ के लिए वैध है।

महत्व और दावे
शोध पत्र का दावा है कि यह $T_n$ को साझा करने वाले त्रिकोणीय संख्याओं के $D(m^2)$-ट्रिपल्स के एक अनंत परिवार के अस्तित्व को स्थापित करता है। यह पिछले ज्ञान का विस्तार करता है जिसने विशिष्ट पृथक ट्रिपल या परिमित परिवारों की पहचान की थी।

लेखक विनम्रतापूर्वक नोट करते हैं कि निर्मित ट्रिपल अनिवार्य रूप से वे एकमात्र ट्रिपल नहीं हैं जिनमें $T_n$ शामिल है। शोध पत्र ऐसे उदाहरणों (जैसे, $\{T_1, T_{15}, T_{90}\}$) का उल्लेख करता है जहाँ $T_n$ उस ट्रिपल का सबसे छोटा तत्व है जो प्रस्तुत विशिष्ट पुनरावर्ती निर्माण से उत्पन्न नहीं हुआ है। इस कार्य का महत्व किसी दिए गए $T_n$ और $m^2$ के लिए समाधानों का एक अनंत सेट उत्पन्न करने के लिए एक व्यवस्थित, सामान्य विधि प्रदान करने में निहित है, जिससे यह सिद्ध होता है कि $D(m^2)$ गुण के तहत त्रिकोणीय संख्याएँ प्रचुर मात्रा में डायोफेंटाइन संरचना वाली हैं।