A Simple Trigonometric Classification of Quintic Roots

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

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

यह शोध पत्र एक सामान्य क्विंटिक समीकरण (डिग्री 5) के मूलों (roots) के वर्गीकरण को संबोधित करता है। जबकि एबेल-रफिनी प्रमेय (Abel–Ruffini theorem) यह स्थापित करता है कि क्विंटिक समीकरणों के लिए कोई सामान्य बीजगणितीय समाधान (algebraic solution) मौजूद नहीं है (अर्थात, मूलों को रेडिकल्स के माध्यम से व्यक्त नहीं किया जा सकता है), वास्तविक बनाम काल्पनिक मूलों की संख्या का विशिष्ट प्रश्न स्वयं मूलों को खोजने से भिन्न है।

लक्ष्य यह निर्धारित करना है कि वास्तविक मूलों की संख्या कितनी है (जो वास्तविक गुणांकों वाले क्विंटिक के लिए 1, 3, या 5 होनी चाहिए), बिना समीकरण को स्पष्ट रूप से हल किए। लेखक एक ऐसा तरीका चाहते हैं जो गणनात्मक रूप से हल्का (computationally light), वैचारिक रूप से स्वाभाविक हो, और चतुर्थ घात (quartic) समीकरणों पर पहले से लागू सफल त्रिकोणमितीय दृष्टिकोण का विस्तार करता हो।

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

मुख्य कार्यप्रणाली एक डिप्रेस्ड क्विंटिक (depressed quintic) समीकरण को चेबिशेव बहुपदों (Chebyshev polynomials) का उपयोग करके एक त्रिकोणमितीय समीकरण में बदलने पर आधारित है।

A. डिप्रेस्ड क्विंटिक रूप (Depressed Quintic Form)

किसी भी मोनिक क्विंटिक $z^5 + a_4z^4 + \dots = 0$ को पहले टशिरनशास प्रतिस्थापन (Tschirnhaus substitution) $t = z - a_4/5$ के माध्यम से एक डिप्रेस्ड रूप में परिवर्तित किया जाता है (जिससे $z^4$ पद हट जाता है):
$$P(t) = t^5 + mt^3 + nt^2 + pt + q = 0$$
यह विधि मानती है कि $m < 0$ है। ($m \geq 0$ के मामले को भविष्य के कार्य के लिए छोड़ दिया गया है और इसके लिए हाइपरबोलिक प्रतिस्थापन की आवश्यकता बताई गई है।)

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

लेखक एक स्केलिंग कारक $u$ और प्रतिस्थापन $t = u \cos \theta$ पेश करते हैं:
$$u = 2\sqrt{\frac{-m}{5}}$$
यह प्रतिस्थापन विशेष रूप से $t^5$ और $t^3$ पदों के गुणांकों को पांचवें प्रकार के चेबिशेव पहचान (Chebyshev identity) के साथ संरेखित करने के लिए चुना गया है:
$$16 \cos^5 \theta - 20 \cos^3 \theta + 5 \cos \theta = \cos 5\theta$$

C. न्यूनीकरणित समीकरण का व्युत्पन्न (Derivation of the Reduced Equation)

$P(t)$ में $t = u \cos \theta$ को प्रतिस्थापित करने और $u^5/16$ से विभाजित करने पर एक नया समीकरण प्राप्त होता है। मूल गुणांकों ($n, p, q$) के आधार पर त्रिकोणमितीय मापदंडों $\alpha, \beta, \gamma$ को परिभाषित करके, समीकरण सरल होकर निम्न रूप ले लेता है:
$$f(\theta) = \alpha \cos^2 \theta + \beta \cos \theta + \cos 5\theta + \gamma = 0$$
जहाँ:

• $\alpha = \frac{16n}{u^3}$
• $\beta = \frac{16p}{u^4} - 5$
• $\gamma = \frac{16q}{u^5}$

D. मूल वर्गीकरण तर्क (Root Classification Logic)

वर्गीकरण $P(t)$ के मूलों और $f(\theta)$ के शून्यों (zeros) के बीच एक बाइजेक्शन (bijection) पर निर्भर करता है:

1. आंतरिक मूल ($[-u, u]$): चूंकि $\cos \theta$, $[0, \pi]$ को $[-1, 1]$ पर बाइजेक्टिवली मैप करता है, इसलिए $[-u, u]$ के भीतर $P(t)$ के मूल $[0, \pi]$ में $f(\theta)$ के शून्य के ठीक अनुरूप होते हैं।
2. बाहरी मूल ($|t| > u$): अंतराल के बाहर $P(t)$ का व्यवहार $f(0)$ और $f(\pi)$ के संकेतों द्वारा निर्धारित होता है (जो $P(u)$ और $P(-u)$ के अनुरूप हैं)।
   • यदि $f(0) < 0$, तो $(u, \infty)$ में कम से कम एक मूल होता है।
   • यदि $f(\pi) > 0$, तो $(-\infty, -u)$ में कम से कम एक मूल होता है।
3. क्रांतिक बिंदु विश्लेषण (Critical Point Analysis): $[0, \pi]$ में $f(\theta)$ के शून्यों की सटीक संख्या गिनने के लिए, लेखक $f'(\theta)$ का विश्लेषण करते हैं। इससे $x = \cos \theta$ में एक चतुर्थ घात समीकरण प्राप्त होता है:
   $$g(x) = 80x^4 - 60x^2 + 2\alpha x + (\beta + 5) = 0$$
   $(-1, 1)$ में $x$ के वास्तविक मूलों की संख्या $f$ के क्रांतिक बिंदुओं (critical points) की संख्या निर्धारित करती है, जो शून्य की संख्या (अधिकतम 5) को सीमित करती है।

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

• चतुर्थ घात पद्धति का विस्तार: चतुर्थ घात (डिग्री 4) से क्विंटिक (डिग्री 5) समीकरणों के लिए त्रिकोणमितीय मूल वर्गीकरण तकनीक का सफलतापूर्वक सामान्यीकरण।
• विभेदक (Discriminant) विश्लेषण का सरलीकरण: जटिल बीजगणितीय विभेदक विश्लेषण (जो डिग्री 5 के लिए बहुत कठिन है) को त्रिकोणमितीय मापदंडों और संकेत जाँच (sign checks) वाली एक "नियमित गणना" से बदल दिया गया है।
• $t^2$ पद को संभालना: चतुर्थ घात के मामले के विपरीत, क्विंटिक न्यूनीकरण में एक $\cos^2 \theta$ पद (मापदंड $\alpha$) पेश होता है जब मूल समीकरण में गैर-शून्य $t^2$ गुणांक ($n \neq 0$) होता है। यह शोध पत्र इस अतिरिक्त जटिलता को संभालने के लिए एक पूर्ण ढांचा प्रदान करता है।
• असममित बाहरी विश्लेषण (Asymmetric Exterior Analysis): बहुपद की विषम घात (odd degree) के कारण बाहरी मूल विश्लेषण में एक महत्वपूर्ण 'पैरिटी फ्लिप' (parity flip) की पहचान की गई है (जहाँ $P \to +\infty$ जब $t \to +\infty$ और $P \to -\infty$ जब $t \to -\infty$), जिसके लिए बाएँ और दाएँ सीमाओं के लिए अलग-अलग संकेत जाँच की आवश्यकता होती है।

4. परिणाम (Results)

शोध पत्र वास्तविक मूलों की संख्या ($N_{real}$) को वर्गीकृत करने के लिए एक पूर्ण निर्णय प्रक्रिया स्थापित करता है:
$$N_{real} = N_{int} + N_{ext} \in \{1, 3, 5\}$$

• $N_{int}$: $[0, \pi]$ में $f(\theta)$ के शून्य।
• $N_{ext}$: $[-u, u]$ के बाहर मूल, जो $f(0)$ और $f(\pi)$ के संकेतों द्वारा निर्धारित होते हैं।

विशिष्ट परिदृश्य:

• 5 वास्तविक मूल: तब होता है जब $N_{int}=5$ और $N_{ext}=0$ (इसके लिए $f(0) \geq 0$ और $f(\pi) \leq 0$ आवश्यक है)।
• 3 वास्तविक मूल: तीन सामान्य मामलों में होता है:
  1. $N_{int}=3, N_{ext}=0$ (सभी अंदर)।
  2. $N_{int}=1, N_{ext}=2$ (एक अंदर, एक प्रत्येक ओर; इसके लिए $f(0)<0, f(\pi)>0$ आवश्यक है)।
  3. $N_{int}=2, N_{ext}=1$ (दो अंदर, एक बाहर)।
• 1 वास्तविक मूल: तब होता है जब $N_{int}=1, N_{ext}=0$ या यदि $N_{int}=0$ के साथ ठीक एक बाहरी मूल हो।

शोध पत्र तीन उदाहरणों के साथ अपनी विधि को सत्यापित करता है:

1. पूर्ण मामला (Perfect Case): $t^5 - 5t^3 + 5t = 0$ जहाँ $\alpha=\beta=\gamma=0$ के साथ 5 वास्तविक मूल प्राप्त होते हैं।
2. तीन वास्तविक मूल: $t^5 - 5t^3 + t - 5 = 0$ जिसमें 3 वास्तविक मूल प्राप्त होते हैं।
3. एक वास्तविक मूल: $t^5 - 5t^3 + t^2 + 2t + 5 = 0$ जिसमें 1 वास्तविक मूल प्राप्त होता है, जो गैर-शून्य $t^2$ पद के साथ भी विधि की मजबूती को प्रदर्शित करता है।

5. महत्व (Significance)

• शैक्षणिक मूल्य (Pedagogical Value): यह विधि उच्च-घात वाले बहुपदों की मूल संरचना को सरल बनाती है। इसके लिए केवल चेबिशेव पहचान, मध्यवर्ती मान प्रमेय (Intermediate Value Theorem) और बुनियादी कलन (calculus) के ज्ञान की आवश्यकता होती है, जिससे यह त्रिकोणमिति और बीजगणित से परिचित छात्रों के लिए सुलभ हो जाता है।
• वैचारिक लालित्य (Conceptual Elegance): यह कोसाइन फलन की सीमित, दोलनकारी प्रकृति (oscillatory nature) और मूल वितरण के बीच एक ज्यामितीय संबंध को उजागर करता है।
• बीजगणितीय असंभवता को दरकिनार करना: जबकि एबेल-रफिनी प्रमेय क्विंटिक्स के लिए एक सामान्य बीजगणिक समाधान को वर्जित करता है, यह विधि एक वर्गीकरण उपकरण प्रदान करती है जो पूरी तरह से रेडिकल समाधानों की आवश्यकता को दरकिनार कर देती है। यह दर्शाता है कि भले ही हम हमेशा क्विंटिक को हल न कर सकें, हम बुनियादी विश्लेषण का उपयोग करके इसके मूलों को आसानी से चरितार्थ (characterize) कर सकते हैं।
• सामान्यीकरण (Generalizability): लेखक सुझाव देते हैं कि यह पैटर्न डिग्री-$d$ वाले बहुपदों तक विस्तारित होता है, जहाँ चेबिशेव पहचान $T_d(\cos \theta) = \cos d\theta$ उच्चतम और तीसरे उच्चतम पदों को अवशोषित कर सकती है, जिससे कम जटिलता वाला अवशेषी त्रिकोणमितीय समीकरण प्राप्त होता है।