A Simple Trigonometric Classification of Quartic Roots

यहाँ सावन प्रतिहेर के शोध पत्र "A Simple Trigonometric Classification of Quartic Roots" का विस्तृत तकनीकी सारांश दिया गया है।

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

मुख्य समस्या यह निर्धारित करना है कि एक चतुर्थ घात समीकरण ($z^4 + a_3z^3 + a_2z^2 + a_1z + a_0 = 0$) के वास्तविक (real) बनाम सम्मिश्र (complex) मूलों की संख्या क्या है, बिना मूलों को स्पष्ट रूप से हल किए।

• संदर्भ: जबकि द्विघात (quadratic) और त्रिघात (cubic) मामलों के लिए सुप्रसिद्ध विविक्तकर (discriminant)-आधारित मानदंड मौजूद हैं, चतुर्थ घात का विविक्तकर गुणांकों के छठे घात का एक बहुपद है। इस विविक्तकर का मूल्यांकन और व्याख्या करना गणनात्मक रूप से भारी और वैचारिक रूप से अस्पष्ट है।
• लक्ष्य: मूल संरचना (0, 2, या 4 वास्तविक मूल) को वर्गीकृत करने के लिए एक गणनात्मक रूप से हल्का और वैचारिक रूप से स्वाभाविक तरीका प्रदान करना, जो प्रारंभिक त्रिकोणमिति का उपयोग करता हो।

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

प्रस्तावित विधि मूलों को खोजने की बीजगणितीय समस्या को एक त्रिकोणमितीय फलन के शून्य (zeros) गिनने की विश्लेषणात्मक समस्या में परिवर्तित करती है। व्युत्पत्ति तीन मुख्य चरणों में आगे बढ़ती है:

A. डिप्रेस्ड चतुर्थ घात में न्यूनीकरण (Reduction to the Depressed Quartic)

किसी भी मोनिक चतुर्थ घात (monic quartic) को पहले $t = z - a_3/4$ प्रतिस्थापन के माध्यम से एक डिप्रेस्ड चतुर्थ घात (जिसमें तृतीय घात पद न हो) में परिवर्तित किया जाता है:
$$P(t) = t^4 + mt^2 + pt + q = 0$$
यह विधि मानती है कि $m < 0$ है। ($m \geq 0$ के मामले को अलग से संबोधित किया गया है, जहाँ वैश्विक उत्तलता (global convexity) का अर्थ है कि अधिकतम दो वास्तविक मूल संभव हैं)।

B. त्रिकोणमितीय प्रतिस्थापन (Trigonometric Substitution)

एक प्रमुख प्रतिस्थापन पेश किया गया है: $t = u \cos \theta$, जहाँ $u = \sqrt{-m}$।
समीकरण को $u^4/8$ से विभाजित करके और चतुर्थ घात के लिए चेबीशेव पहचान (Chebyshev identity) का उपयोग करके:
$$8 \cos^4 \theta - 8 \cos^2 \theta + 1 = \cos 4\theta$$
चतुर्थ घात समीकरण को $f(\theta)$ के रूप में एक त्रिकोणमितीय समीकरण में बदल दिया जाता है:
$$f(\theta) = a \cos \theta + \cos 4\theta + b = 0$$
जहाँ पैरामीटर $a$ और $b$ मूल गुणांकों से प्राप्त होते हैं:
$$a = \frac{8p}{(-m)^{3/2}}, \quad b = \frac{8q}{m^2} - 1$$

C. रूट मैपिंग और विश्लेषण (Root Mapping and Analysis)

विधि चतुर्थ घात के मूलों और $f(\theta)$ के शून्यों के बीच एक एकैकी संबंध (bijection) पर निर्भर करती है:

1. आंतरिक मूल ($[-u, u]$): चूँकि $\cos \theta$, $[0, \pi]$ को $[-1, 1]$ में मैप करता है, इसलिए प्रतिस्थापन $t = u \cos \theta$ द्वारा $\theta \in [0, \pi]$ अंतराल $t \in [-u, u]$ में मैप होता है। इस अंतराल में वास्तविक मूलों की संख्या ($N_{int}$) ठीक वही होती है जो $[0, \pi]$ पर $f(\theta)$ के शून्यों की संख्या है।
2. बाहरी मूल ($|t| > u$): यह शोध पत्र एक उत्तलता तर्क (convexity argument) का उपयोग करता है। चूँकि $|t| > u$ के लिए $P''(t) = 12t^2 + 2m > 0$ है, इसलिए अंतराल के बाहर फलन पूर्णतः उत्तल (strictly convex) है। अतः, $(u, \infty)$ में अधिकतम एक और $(-\infty, -u)$ में अधिकतम एक मूल हो सकता है।
   • यदि $P(u) < 0$ (अर्थात $f(0) < 0$), तो दाईं ओर एक बाहरी मूल मौजूद है।
   • यदि $P(-u) < 0$ (अर्थात $f(\pi) < 0$), तो बाईं ओर एक बाहरी मूल मौजूद है।
   • कुल बाहरी मूल $N_{ext} = \mathbb{1}_{f(0)<0} + \mathbb{1}_{f(\pi)<0}$ हैं।

3. मुख्य योगदान (Key Contributions)

• विविक्तकर विश्लेषण का सरलीकरण: यह एक छठे घात के विविक्तकर बहुपद के मूल्यांकन के स्थान पर दो अदिश पैरामीटरों ($a, b$) की गणना और एक सरल त्रिकोणमितीय फलन के गुणात्मक विश्लेषण को प्रतिस्थापित करता है।
• ज्यामितीय अंतर्दृष्टि: यह चतुर्थ घात की बीजगणितीय संरचना को $\cos \theta$ के दोलनीय व्यवहार और $\cos 4\theta$ की सीमित प्रकृति से जोड़कर, मूल वितरण को "ज्यामितीय रूप से पारदर्शी" बनाता है।
• एल्गोरिदम प्रक्रिया: एक स्पष्ट, चरण-दर-चरण एल्गोरिदम प्रदान करता है:
  1. $m, p, q$ की गणना करें और $m < 0$ की जाँच करें।
  2. $a$ और $b$ ज्ञात करें।
  3. $N_{int}$ (शून्य की संख्या) गिनने के लिए $[0, \pi]$ पर $f(\theta) = a \cos \theta + \cos 4\theta + b$ का विश्लेषण करें।
  4. बाहरी मूलों ($N_{ext}$) को निर्धारित करने के लिए $f(0)$ और $f(\pi)$ के चिन्हों की जाँच करें।
  5. कुल वास्तविक मूल $N_{real} = N_{int} + N_{ext}$।

4. परिणाम और वर्गीकरण (Results and Classification)

शोध पत्र $a$ और $b$ पैरामीटर्स के आधार पर एक वर्गीकरण प्रमेय स्थापित करता है:

• चार सम्मिश्र मूल (0 वास्तविक): तब होता है जब $\theta \in [0, \pi]$ के लिए सभी $\theta$ हेतु $f(\theta) > 0$ हो।
  • पर्याप्त स्थिति (Sufficient condition): $b > |a| + 1$।
• दो वास्तविक, दो सम्मिश्र मूल: तब होता है जब $N_{int} + N_{ext} = 2$ हो। यह तीन सामान्य परिदृश्यों में होता है:
  1. $f(\theta)$ हर जगह $f(\theta) < 0$ है (0 आंतरिक, 2 बाहरी)।
  2. $f(\theta)$ के 2 आंतरिक शून्य हैं और सीमा मान (boundary values) गैर-ऋणात्मक हैं।
  3. $f(\theta)$ का 1 आंतरिक शून्य है और ठीक एक सीमा मान ऋणात्मक है।
• चार वास्तविक मूल: तब होता है जब $N_{int} + N_{ext} = 4$ हो।
  • यदि सभी मूल $[-u, u]$ के भीतर हैं, तो वे $t_k = u \cos \theta_k$ द्वारा दिए जाते हैं, जहाँ $\theta_k$, $f(\theta)$ के चार शून्य हैं।

विशेष मामले:

• द्विघात (Biquadratic) ($p=0$): यह विधि $\cos 4\theta = -b$ का विश्लेषण करके $t^4 + mt^2 + q = 0$ के मानक परिणामों को पुनः प्राप्त करती है।
• मामला $m \geq 0$: त्रिकोणमितीय प्रतिस्थापन यहाँ विफल हो जाता है, लेकिन शोध पत्र नोट करता है कि $P(t)$ वैश्विक रूप से उत्तल है, जिसका अर्थ है कि अधिकतम दो वास्तविक मूल ही संभव हैं, जिन्हें मानक विधियों (स्टर्म के प्रमेय) द्वारा निर्धारित किया जा सकता है।

5. महत्व और चर्चा (Significance and Discussion)

• शैक्षणिक मूल्य: इसका व्युत्पत्ति केवल प्रारंभिक कलन (Intermediate Value Theorem, उत्तलता) और त्रिकोणमितीय पहचानों का उपयोग करती है, जिससे यह प्रथम वर्ष के बीजगणित शिक्षार्थियों के लिए सुलभ हो जाता है।
• ऐतिहासिक संदर्भ: लेखक नोट करते हैं कि हालांकि चेबीशेव पहचान और डिप्रेस्ड चतुर्थ घात सदियों से ज्ञात हैं, लेकिन इस विशिष्ट संबंध को संभवतः अनदेखा किया गया क्योंकि बीजगणितीय समाधान (फेरारी की विधि) और विविक्तकर सिद्धांत पहले से ही स्थापित थे।
• वैचारिक परिवर्तन: यह विधि चतुर्थ घात को संख्यात्मक रूप से हल करने का नया तरीका नहीं देती, बल्कि इसके मूल की संरचना पर एक नया दृष्टिकोण प्रदान करती है। यह चतुर्थ घात के मूलों की ज्यामिति को त्रिकोणमितीय दोलन (oscillation) के लेंस के माध्यम से देखकर इसे सरल बनाती है।
• भविष्य की क्षमता: लेखक सुझाव देते हैं कि यह दृष्टिकोण सैद्धांतिक रूप से $\cos 5\theta$ वाली पहचान का उपयोग करके पंचमा घात (quintic) समीकरणों तक विस्तारित किया जा सकता है, हालांकि विश्लेषण अधिक जटिल हो जाएगा।

संक्षेप में, प्रतिहेर का कार्य चतुर्थ घात के मूलों को वर्गीकृत करने के लिए शास्त्रीय विविक्तकर के एक सुरुचिपूर्ण, कम-गणना वाले विकल्प के रूप में कार्य करता है, जो बीजगणितीय बहुपदों और त्रिकोणमितीय फलनों के बीच के अंतर को पाटता है।