A trigonometric approach to an identity by Ramanujan

यहाँ सी. विग्नाट के शोध पत्र "A Trigonometric Approach to an Identity by Ramanujan" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र रामानुजन की चौथी नोटबुक के अध्याय 23 के प्रविष्टि 45 (Entry 45) को संबोधित करता है। यह प्रविष्टि चार चरों $a, b, c, d$ से संबंधित एक जटिल बीजगणितीय सर्वसमिका (algebraic identity) प्रस्तुत करती है, जो इस प्रतिबंध के अधीन है कि $ad = bc$।

यह सर्वसमिका इन चरों के रैखिक संयोजनों (linear combinations) के घातों (विशेष रूप से 6, 8 और 10) के योगों को जोड़ती है। मान लीजिए कि पदों को इस प्रकार परिभाषित किया गया है:
$$S_1 = a+b+c, \quad S_2 = b+c+d, \quad S_3 = c+d+a, \quad S_4 = d+a+b, \quad S_5 = a-d, \quad S_6 = b-c$$

प्रस्ताव यह है कि:
$$64 \left[ \sum_{k=1}^6 \epsilon_k S_k^6 \right] \times \left[ \sum_{k=1}^6 \epsilon_k S_k^{10} \right] = 45 \left[ \sum_{k=1}^6 \epsilon_k S_k^8 \right]^2$$
जहाँ $\epsilon_k$ के चिह्न $(+, +, -, -, +, -)$ हैं।

पूर्व में, इसे बरndt और भार्गव (बहुपद गुणनखंडन के माध्यम से) तथा नंजुंडैया (घात 3 के बहुपदों के गुणों के माध्यम से) द्वारा सिद्ध किया गया था। विग्नाट त्रिकोणमिति और फूरियर विश्लेषण (Fourier analysis) पर आधारित एक नया, अधिक मौलिक प्रमाण प्रदान करना चाहते हैं।

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

मुख्य कार्यप्रणाली में, त्रिकोणमितीय पैरामीट्रिकरण (trigonometric parameterization) का उपयोग करके बीजगणितीय चरों को ध्रुवीय निर्देशांक प्रणाली (polar coordinate system) में परिवर्तित करना शामिल है। यह दृष्टिकोण दो मुख्य लेम्मा (lemmas) पर आधारित है:

A. त्रिकोणमितीय पैरामीट्रिकरण (लेम्मा 1)

लेखक देखते हैं कि यदि तीन वास्तविक संख्याएँ $x, y, z$ इस प्रकार संतुष्ट करती हैं कि $x+y+z=0$, तो उन्हें एक त्रिज्या $\rho$ और एक कोण $\theta$ का उपयोग करके पैरामीट्रिक रूप में लिखा जा सकता है:
$$\begin{aligned} x &= \rho \cos \theta \\ y &= \rho \cos \left(\theta - \frac{2\pi}{3}\right) \\ z &= \rho \cos \left(\theta + \frac{2\pi}{3}\right) \end{aligned}$$
लेखक रामानुजन की सर्वसमिका से प्राप्त दो विशिष्ट चर-त्रिक (triples) को परिभाषित करते हैं:

1. $(x_1, y_1, z_1) = (b+c+d, -(a+b+c), a-d)$
2. $(x_2, y_2, z_2) = (a+c+d, -(a+b+d), b-c)$

दोनों त्रिकों का योग शून्य है। $ad=bc$की स्थिति के तहत, दोनों त्रिकों की "ऊर्जा" (जोड़ीदार उत्पादों का योग) समान है, जिसका अर्थ है कि वे एक ही त्रिज्या$\rho$ साझा करते हैं। मूल सर्वसमिका की समरूपता (homogeneity) के कारण, लेखक $\rho=1$ निर्धारित करते हैं।

B. फूरियर श्रृंखला रेखीयकरण (लेम्मा 2)

प्रमाण एक त्रिकोणमितीय फलन से जुड़ी सर्वसमिका में रूपांतरित होकर, जिसमें फलन है:
$$f_n(\theta) = \cos^n \theta + \cos^n \left(\theta - \frac{2\pi}{3}\right) + \cos^n \left(\theta + \frac{2\pi}{3}\right)$$
लेखक $n=6, 8, 10$ के लिए इसके फूरियर श्रृंखला विस्तार (linearizations) की गणना करते हैं। ये विस्तार प्रकट करते हैं कि $f_n(\theta)$ केवल $\cos(6\theta)$ पर निर्भर करता है:

• $f_6(\theta) = \frac{3}{32}(10 + \cos(6\theta))$
• $f_8(\theta) = \frac{3}{128}(35 + 8\cos(6\theta))$
• $f_{10}(\theta) = \frac{27}{512}(14 + 5\cos(6\theta))$

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

रामानुजन की सर्वसमिका का प्राथमिक प्रमाण

पैरामीट्रिक रूपों को फलन $f_n$ में प्रतिस्थापित करके, लेखक यह दर्शाते हैं कि रामानुजन की सर्वसमिका के बीजगणितीय योग $f_6(\theta_1), f_6(\theta_2)$, आदि के व्य expressions बन जाते हैं।
रेखीयकरणों का उपयोग करते हुए, लेखक सिद्ध करते हैं कि:
$$(f_6(\theta_1) - f_6(\theta_2))(f_{10}(\theta_1) - f_{10}(\theta_2)) \propto (\cos(6\theta_1) - \cos(6\theta_2))^2$$
$$(f_8(\theta_1) - f_8(\theta_2))^2 \propto (\cos(6\theta_1) - \cos(6\theta_2))^2$$
चूंकि दोनों पक्ष एक ही त्रिकोणमितीय पद (स्थिरांकों द्वारा स्केल किए गए) में कम हो जाते हैं, इसलिए सर्वसमिका सत्य है। यह जटिल बहुपद गुणनखंडन के बजाय सरल त्रिकोणमितीय सत्यापन के माध्यम से रामानुजन के प्रस्ताव की पुष्टि करता है।

सामान्यीकरण (Generalizations)

लेखक नई सर्वसमिकाओं को व्युत्पन्न करने के लिए इस विधि का विस्तार करते हैं:

1. विषम घात सर्वसमिका (Odd Powers Identity): $ad=bc$ को माने बिना, लेखक घात 3, 5 और 7 के बीच एक संबंध निकालते हैं:
   $$25 [ (b+d)^3 - (a+b)^3 + (a-d)^3 ] [ (b+d)^7 - (a+b)^7 + (a-d)^7 ] = 21 [ (b+d)^5 - (a+b)^5 + (a-d)^5 ]^2$$
   (नोट: शोध पत्र में छह पदों वाला एक अधिक जटिल संस्करण प्रस्तुत किया गया है, जो विशिष्ट प्रतिस्थापनों के तहत उपरोक्त रूप में सरल हो जाता है)।

2. समरूपता भंग ($\rho_1 \neq \rho_2$): लेखक एक ऐसी सर्वसमिका प्रस्तुत करते हैं जहाँ दोनों त्रिकों की त्रिज्याएँ समान नहीं हैं। इससे अधिक जटिल सर्वसमिकाएँ प्राप्त होती हैं जिनमें $(a^2+ab+b^2)$ जैसे द्विघात कारक शामिल हैं, जो यह दर्शाता है कि सख्त $ad=bc$ की शर्त को शिथिल या संशोधित करने पर भी इसकी संरचना बनी रहती है।

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

शोध पत्र समांतर प्रगति (arithmetic progression) में कोसाइन के घातों के योग के रेखीयकरण के लिए एक सामान्य प्रस्ताव प्रदान करता है:
$$\frac{1}{N} \sum_{k=0}^{N-1} \cos^{2p} \left(\theta + \frac{2k\pi}{N}\right) = \sum_{m} a_{2m, p} \cos(2m\theta)$$
यह सामान्य सूत्र किसी भी पूर्णांक $N$ और घात $p$ के लिए ऐसी सर्वसमिकाओं को व्यवस्थित रूप से व्युत्पन्न करने की अनुमति देता है।

4. महत्व (Significance)

• सरलीकरण: त्रिकोणमितीय दृष्टिकोण एक कठिन दिखने वाली उच्च-डिग्री बहुपद सर्वसमिका को कोसाइन के फूरियर गुणांकों के सत्यापन में बदल देता है। यह पिछले प्रमाणों के लिए आवश्यक "चतुर गुणनखंड" (clever factorization) की आवश्यकता को समाप्त करता है, जिससे एक अधिक पारदर्शी तार्किक मार्ग मिलता है।
• एकीकरण: यह रामानुजन की विशिष्ट सर्वसमिका को कोसाइन के घातों के योग से जुड़ी व्यापक श्रेणी की त्रिकोणमितीय सर्वसमिकाओं के साथ एकीकृत करता है।
• नई सर्वतमिकाओं की खोज: यह विधि केवल ज्ञात परिणाम को सिद्ध करने तक सीमित नहीं है; यह विभिन्न घातों (3, 5, 7) और चरों के शिथिल प्रतिबंधों वाले नए रूपांतरों को स्वाभाविक रूप से उत्पन्न करती है।
• शैक्षणिक मूल्य: यह पत्र यह प्रदर्शित करता है कि बीजगणितीय बाधाओं ($x+y+z=0$) को ज्यामितीय/त्रिकोणमितीय निरूपणों में बदलने की शक्ति क्या है, एक ऐसी तकनीक जो संख्या सिद्धांत या बीजगणितीय सर्वसमिकाओं की अन्य समस्याओं पर भी लागू हो सकती है।

निष्कर्षतः, विग्नाट ने एक नवीन त्रिकोणमितीय ढांचे का उपयोग करके रामानुजन की "आकर्षक" सर्वसमिका को सफलतापूर्वक पुनः सिद्ध किया है, जिससे इसकी संरचना स्पष्ट हुई है और इसका दायरा नए गणितीय क्षेत्रों तक विस्तृत हुआ है।