कैसस इरेड्यूसीबिलिस: Difference between revisions

From Vigyanwiki
(Created page with "{{Italic title}} बीजगणित में, ''कैसस इरेड्यूसिबलिस'' (इरेड्यूसिबल केस के लिए ...")
 
No edit summary
 
(16 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Italic title}}
{{Italic title}}
[[बीजगणित]] में, ''कैसस इरेड्यूसिबलिस'' (इरेड्यूसिबल केस के लिए [[लैटिन]]) उन मामलों में से एक है जो क्यूबिक समीकरण के बहुपदों को हल करने में उत्पन्न हो सकता है या बीजगणितीय रूप से [[पूर्णांक]] गुणांक के साथ उच्चतर हो सकता है (जैसा कि संख्यात्मक रूप से विरोध किया जाता है), अर्थात, ऐसी जड़ें प्राप्त करके nवें रूट के साथ व्यक्त किया। यह दर्शाता है कि कई बीजगणितीय संख्याएँ वास्तविक-मूल्यवान हैं, लेकिन जटिल संख्याओं को प्रस्तुत किए बिना मूलांक में व्यक्त नहीं की जा सकतीं। कैसस इरेड्यूसिबिलिस' की सबसे उल्लेखनीय घटना क्यूबिक बहुपदों के मामले में होती है, जिसमें तीन [[वास्तविक संख्या]]एं होती हैं, जो 1843 में [[पियरे वांजेल]] द्वारा सिद्ध की गई थी।<ref name ="Wantzel">{{Citation|last = Wantzel|first = Pierre|author-link = Pierre Wantzel|url = http://archive.numdam.org/ARCHIVE/NAM/NAM_1843_1_2_/NAM_1843_1_2__117_1/NAM_1843_1_2__117_1.pdf|title = Classification des nombres incommensurables d'origine algébrique|journal = [[Nouvelles Annales de Mathématiques]]|year = 1843|volume = 2|pages = 117–127|language = french}}</ref>
'''[[बीजगणित]] में, कैसस इरेड्यूसिबिलिस''' या '''कैसस अपरिवर्तनीयता''' (अलघुकरणीय कारक के लिए [[लैटिन]]) उन स्थितियों में से एक है, जो डिग्री 3 या उच्च बहुपदों को बीजगणितीय रूप से संख्यात्मक के विपरीत [[पूर्णांक]] गुणांक के साथ हल करने में उत्पन्न हो सकता है, अर्थात उन संख्याओ को प्राप्त करके, जिन्हें पूर्णांक के साथ व्यक्त किया गया है। यह दर्शाता है कि कई बीजगणितीय संख्याएँ वास्तविक मान हैं, लेकिन सम्मिश्र संख्याओं को प्रस्तुत किए बिना मूलांक में व्यक्त नहीं की जा सकतीं है। कैसस अपरिवर्तनीयता की सबसे उल्लेखनीय घटना त्रिविमीय बहुपदों के स्थिति में होती है, जिसमें तीन [[वास्तविक संख्या|वास्तविक संख्याए]] होती हैं। जिसे 1843 में [[पियरे वांजेल]] द्वारा सिद्ध किया गया था।<ref name="Wantzel">{{Citation|last = Wantzel|first = Pierre|author-link = Pierre Wantzel|url = http://archive.numdam.org/ARCHIVE/NAM/NAM_1843_1_2_/NAM_1843_1_2__117_1/NAM_1843_1_2__117_1.pdf|title = Classification des nombres incommensurables d'origine algébrique|journal = [[Nouvelles Annales de Mathématiques]]|year = 1843|volume = 2|pages = 117–127|language = french}}</ref> कार्डानो के सूत्र के माध्यम से कोई यह देखा जा सकता है कि क्या दिया गया घन बहुपद विभेदक कैसस अपरिवर्तनीयता में उपस्थित है।<ref>{{harvtxt|Cox|2012}}, Theorem&thinsp;1.3.1, p.&thinsp;15.</ref>
कोई यह देख सकता है कि कार्डानो के सूत्र के माध्यम से विवेचक को देखकर एक दिया गया क्यूबिक बहुपद तथाकथित कैसस इरेड्यूसिबिलिस में है या नहीं।<ref>{{harvtxt|Cox|2012}}, Theorem&thinsp;1.3.1, p.&thinsp;15.</ref>
== विभेदक की तीन स्थितिया ==
 
माना कि
 
== विवेचक के तीन मामले ==
होने देना
: <math>ax^3+bx^2+cx+d=0</math>
: <math>ax^3+bx^2+cx+d=0</math>
के साथ एक घन समीकरण हो <math>a\ne0</math>. तब विवेचक द्वारा दिया जाता है
<math>a\ne0</math> के साथ एक घन समीकरण है। तब विभेदक द्वारा दिया जाता है।
: <math>D := \bigl((x_1-x_2)(x_1-x_3)(x_2-x_3)\bigr)^2 = 18abcd - 4ac^3 - 27a^2d^2 + b^2c^2 -4b^3d~.</math>
: <math>D := \bigl((x_1-x_2)(x_1-x_3)(x_2-x_3)\bigr)^2 = 18abcd - 4ac^3 - 27a^2d^2 + b^2c^2 -4b^3d~.</math>
यह बीजगणितीय समाधान में प्रकट होता है और उत्पाद का वर्ग है
यह बीजगणितीय हल में प्राप्त होता है, जो उत्पाद का एक वर्ग है।
: <math>\Delta := \prod_{j<k}(x_j-x_k) = (x_1-x_2)(x_1-x_3)(x_2-x_3) \qquad \qquad \bigl(\!= \pm\sqrt{D}\bigr)</math>
: <math>\Delta := \prod_{j<k}(x_j-x_k) = (x_1-x_2)(x_1-x_3)(x_2-x_3) \qquad \qquad \bigl(\!= \pm\sqrt{D}\bigr)</math>
की <math>\tbinom32 = 3</math> 3 जड़ों के अंतर <math>x_1,x_2,x_3</math>.<ref><math>\Delta</math> is closely related to the [[Vandermonde polynomial]].</ref>
<math>\tbinom32 = 3</math> के 3 संख्याओ के अंतर <math>x_1,x_2,x_3</math>.<ref><math>\Delta</math> is closely related to the [[Vandermonde polynomial]].</ref>
# यदि {{math|''D'' < 0}}, तब बहुपद का एक वास्तविक मूल और दो जटिल अवास्तविक मूल होते हैं। <math>\Delta\in i\R^\times</math> विशुद्ध रूप से काल्पनिक है।<br />यद्यपि नकारात्मक विभेदक के साथ घन बहुपद हैं जो आधुनिक अर्थों में इरेड्यूसिबल हैं, कैसस इरेड्यूसिबिलिस लागू नहीं होता है।<ref>The polynomial <math>x^3+x+1</math> with discriminant {{math|''D'' {{=}} –31 < 0}} is easily seen to be irreducible, because according the [[Rational root theorem#Cubic equation|rational root theorem]] it would have to have roots <math>\in\{-1,1\}</math> which it does not have.</ref>
# यदि {{math|''D'' < 0}}, तब बहुपद का एक वास्तविक मूल और दो सम्मिश्र अवास्तविक मूल होते हैं। <math>\Delta\in i\R^\times</math> पूर्ण रुप से काल्पनिक होता है।<br />यद्यपि ऋणात्मक विभेदक के साथ घन बहुपद हैं, जो आधुनिक अर्थों में अपरिवर्तनीय होता हैं। तथा कैसस अपरिवर्तनीयता मे लागू नहीं होता है।<ref>The polynomial <math>x^3+x+1</math> with discriminant {{math|''D'' {{=}} –31 < 0}} is easily seen to be irreducible, because according the [[Rational root theorem#Cubic equation|rational root theorem]] it would have to have roots <math>\in\{-1,1\}</math> which it does not have.</ref>
# यदि {{math|''D'' {{=}} 0}}, फिर <math>\Delta=0</math> और तीन वास्तविक मूल हैं; उनमें से दो बराबर हैं। या {{math|''D'' {{=}} 0}} वर्ग-मुक्त बहुपद द्वारा पता लगाया जा सकता है, और यदि ऐसा है, तो [[द्विघात सूत्र]] द्वारा जड़ें। इसके अलावा, सभी जड़ें वास्तविक हैं और वास्तविक रेडिकल्स द्वारा अभिव्यक्त की जा सकती हैं।<br />शून्य विविक्तकर वाले सभी घन बहुपदों को घटाया जा सकता है।
# यदि {{math|''D'' {{=}} 0}}, तब <math>\Delta=0</math> और तीन वास्तविक मूल हैं। उनमें से दो बराबर हैं। या {{math|''D'' {{=}} 0}} वर्ग-मुक्त बहुपद द्वारा पता लगाया जा सकता है, यदि ऐसा है तो [[द्विघात सूत्र]] द्वारा संख्याए इसके अतिरिक्त, सभी संख्याए वास्तविक हैं और वास्तविक पूर्ण द्वारा अभिव्यक्त की जा सकती हैं। शून्य विभेदक वाले सभी घन बहुपदों को घटाया जा सकता है।
# यदि {{math|''D'' > 0}}, फिर <math>\Delta\in\R^\times</math> गैर-शून्य और वास्तविक है, और तीन अलग-अलग वास्तविक जड़ें हैं जो दो जटिल संयुग्मों का योग हैं।<br />क्योंकि उन्हें जटिल संख्याओं की आवश्यकता होती है (समय की समझ में: गैर-वास्तविक संख्याओं से घनमूल, यानी वर्ग से) ऋणात्मक संख्याओं से जड़ें) उन्हें मूलांक में व्यक्त करने के लिए, 16 वीं शताब्दी में इस मामले को कैसस इरेड्यूसीबिलिस कहा गया है।<ref>[[James Pierpont (mathematician)|James Pierpont]] in [https://archive.org/details/sim_annals-of-mathematics_1900-10_2_1/page/38/mode/2up ''Annals of Mathematics 1900-1901''] on p.&thinsp;42: „To Cardan and his contemporaries who had no idea how such cube roots could be found this case was highly paradoxical. Since that time mathematicians have attempted to present these real roots as sums of real radicals. As their efforts were unsuccessful, the case when D > 0 was known as the casus irreducibilis.“<br />[[Artur Ekert]] [https://archive.org/details/greatartorru00card/page/110/mode/2up ''Complex and unpredictable Cardano''] takes Cardano’s example <math>x^3-15x-4=0</math> having <math display="inline">q^2/4 + p^3/27 = (-4)^2/4 + (-15)^3/27 = -121 < 0 </math> and writes on p.&thinsp;9: „Cardano knew that <math>x = 4</math> was one of the solutions and yet it was a ''casus irreducibilis''“. This shows that in the 16th century „irreducibilis“ must have meant something like „not reducible to real radicals“.<br />On the other hand, Cardano’s example may be used to show how real roots can arise from cube roots of non-real numbers:
# यदि {{math|''D'' > 0}}, फिर <math>\Delta\in\R^\times</math> गैर-शून्य और वास्तविक है तथा तीन अलग-अलग वास्तविक संख्याए हैं, जो दो सम्मिश्र संयुग्मों का योग हैं।<br />क्योंकि उन्हें सम्मिश्र संख्याओं की आवश्यकता होती है। समय की समझ में: गैर-वास्तविक संख्याओं से घनमूल, अर्थात वर्ग से ऋणात्मक संख्याओं के वर्ग उन्हें मूलांक में व्यक्त करने के लिए 16 वीं शताब्दी में इस स्थिति को कैसस अपरिवर्तनीयता कहा गया है।<ref>[[James Pierpont (mathematician)|James Pierpont]] in [https://archive.org/details/sim_annals-of-mathematics_1900-10_2_1/page/38/mode/2up ''Annals of Mathematics 1900-1901''] on p.&thinsp;42: „To Cardan and his contemporaries who had no idea how such cube roots could be found this case was highly paradoxical. Since that time mathematicians have attempted to present these real roots as sums of real radicals. As their efforts were unsuccessful, the case when D > 0 was known as the casus irreducibilis.“<br />[[Artur Ekert]] [https://archive.org/details/greatartorru00card/page/110/mode/2up ''Complex and unpredictable Cardano''] takes Cardano’s example <math>x^3-15x-4=0</math> having <math display="inline">q^2/4 + p^3/27 = (-4)^2/4 + (-15)^3/27 = -121 < 0 </math> and writes on p.&thinsp;9: „Cardano knew that <math>x = 4</math> was one of the solutions and yet it was a ''casus irreducibilis''“. This shows that in the 16th century „irreducibilis“ must have meant something like „not reducible to real radicals“.<br />On the other hand, Cardano’s example may be used to show how real roots can arise from cube roots of non-real numbers:
:{|
:{|
|-
|-
|We have || <math>p=-15, \; q=-4</math>,
|We have||<math>p=-15, \; q=-4</math>,
|-
|-
|which yields &nbsp; &nbsp; &nbsp; || <math>d:={q^2\over 4}+{p^3\over 27}=-121</math>,
|which yields &nbsp; &nbsp; &nbsp;||<math>d:={q^2\over 4}+{p^3\over 27}=-121</math>,
|-
|-
|from which || &nbsp; &nbsp; &nbsp; &nbsp; <math>-{q\over 2} \pm \sqrt{{q^{2}\over 4}+{p^{3}\over 27}} = -{q\over 2} \pm \sqrt{d}=2 \pm 11\,i</math>.
|from which||&nbsp; &nbsp; &nbsp; &nbsp; <math>-{q\over 2} \pm \sqrt{{q^{2}\over 4}+{p^{3}\over 27}} = -{q\over 2} \pm \sqrt{d}=2 \pm 11\,i</math>.
|-
|-
|colspan=2| In the 16th century it was difficult („verè sophistica“) to find that
| colspan="2" |In the 16th century it was difficult („verè sophistica“) to find that
|-
|-
| || &nbsp; &nbsp; &nbsp; &nbsp; <math>\sqrt[3]{2 + 11^{\color{white};} i} = 2 + i =: u</math>
| ||&nbsp; &nbsp; &nbsp; &nbsp; <math>\sqrt[3]{2 + 11^{\color{white};} i} = 2 + i =: u</math>
|-
|-
|and || &nbsp; &nbsp; &nbsp; &nbsp; <math>\sqrt[3]{2 - 11^{\color{white};} i} = 2 - i =: v</math>,
|and||&nbsp; &nbsp; &nbsp; &nbsp; <math>\sqrt[3]{2 - 11^{\color{white};} i} = 2 - i =: v</math>,
|-
|-
|so that || <math>t_k =  
|so that||<math>t_k =  
\omega_k  \sqrt[3]{-{q\over 2}+ \sqrt{{q^{2}\over 4}+{p^{3}\over 27}}} +  
\omega_k  \sqrt[3]{-{q\over 2}+ \sqrt{{q^{2}\over 4}+{p^{3}\over 27}}} +  
\omega_k^2 \sqrt[3]{-{q\over 2}- \sqrt{{q^{2}\over 4}+{p^{3}\over 27}}}</math>
\omega_k^2 \sqrt[3]{-{q\over 2}- \sqrt{{q^{2}\over 4}+{p^{3}\over 27}}}</math>
|-
|-
| || &nbsp; &nbsp; <math>= \omega_k u + \omega_k^2 v </math>.
| ||&nbsp; &nbsp; <math>= \omega_k u + \omega_k^2 v </math>.
|-
|-
|colspan=2| This means in detail:
| colspan="2" |This means in detail:
|-
|-
|1st root || <math>t_1 = \omega_1 u + \omega_1^2 v </math>
|1st root||<math>t_1 = \omega_1 u + \omega_1^2 v </math>
|-
|-
| || &nbsp; &nbsp; <math>= 1 \cdot (2 + i) + 1 \cdot (2 - i)</math>
| ||&nbsp; &nbsp; <math>= 1 \cdot (2 + i) + 1 \cdot (2 - i)</math>
|-
|-
| || &nbsp; &nbsp; <math>= 4</math>,
| ||&nbsp; &nbsp; <math>= 4</math>,
|-
|-
|2nd root || <math>t_2 = \omega_2 u + \omega_2^2 v </math>
|2nd root||<math>t_2 = \omega_2 u + \omega_2^2 v </math>
|-
|-
| || &nbsp; &nbsp; <math>= \biggl(\!\!-\frac{1}{2} + \frac{\sqrt{3}}{2}i\biggr) \cdot (2 + i) - \biggl(\!\!-\frac{1}{2} - \frac{\sqrt{3}}{2}i\biggr) \cdot (2 - i)</math>
| ||&nbsp; &nbsp; <math>= \biggl(\!\!-\frac{1}{2} + \frac{\sqrt{3}}{2}i\biggr) \cdot (2 + i) - \biggl(\!\!-\frac{1}{2} - \frac{\sqrt{3}}{2}i\biggr) \cdot (2 - i)</math>
|-
|-
| || &nbsp; &nbsp; <math>= -2 - \sqrt{3}</math>,
| ||&nbsp; &nbsp; <math>= -2 - \sqrt{3}</math>,
|-
|-
|3rd root || <math>t_3 = \omega_3 u + \omega_3^2 v </math>
|3rd root||<math>t_3 = \omega_3 u + \omega_3^2 v </math>
|-
|-
| || &nbsp; &nbsp; <math>= \biggl(\!\!-\frac{1}{2} - \frac{\sqrt{3}}{2}i\biggr) \cdot (2 + i) + \biggl(\!\!- \frac{1}{2} + \frac{\sqrt{3}}{2}i\biggr) \cdot (2 - i)</math>
| ||&nbsp; &nbsp; <math>= \biggl(\!\!-\frac{1}{2} - \frac{\sqrt{3}}{2}i\biggr) \cdot (2 + i) + \biggl(\!\!- \frac{1}{2} + \frac{\sqrt{3}}{2}i\biggr) \cdot (2 - i)</math>
|-
|-
| || &nbsp; &nbsp; <math>= -2 + \sqrt{3}</math>.
| ||&nbsp; &nbsp; <math>= -2 + \sqrt{3}</math>.
|}
|}
It may be noticed that <math display="inline">d := q^2/4 + p^3/27 = -121</math> is not the discriminant <math>D</math>; it is <math>D = -108 \, d = 13068 = 2^2 3^3 11^2 </math> with the sign inverted. Interestingly <math display="inline">\sqrt{d} = i\sqrt{D/108}</math> occurs in Cardano’s formula (as well as the primitive 3rd roots of unity <math>\omega_{2,3}</math> with their {{nowrap|<math>i \sqrt{3}</math>),}} although <math>\sqrt{D}~,</math> and not <math>\sqrt{d}~,</math> is necessarily an element of the splitting field.
It may be noticed that <math display="inline">d := q^2/4 + p^3/27 = -121</math> is not the discriminant <math>D</math>; it is <math>D = -108 \, d = 13068 = 2^2 3^3 11^2 </math> with the sign inverted. Interestingly <math display="inline">\sqrt{d} = i\sqrt{D/108}</math> occurs in Cardano’s formula (as well as the primitive 3rd roots of unity <math>\omega_{2,3}</math> with their {{nowrap|<math>i \sqrt{3}</math>),}} although <math>\sqrt{D}~,</math> and not <math>\sqrt{d}~,</math> is necessarily an element of the splitting field.
</ref>
</ref>
== औपचारिक का कथन और प्रमाण ==
अधिक समान्यतः मान लीजिए कि ''{{math|''F''}}'' एक [[औपचारिक रूप से वास्तविक क्षेत्र]] है और वह {{math|''p''(''x'') &isin; ''F''[''x'']}} का एक घन बहुपद है, अलघुकरणीय से अधिक {{math|''F''}} लेकिन तीन वास्तविक वर्गमूल (वास्तविक संवृत होने का वर्ग {{math|''F''}}). तब कैसस अपरिवर्तनीयता कहता है कि p(x) = 0 के हल को पूर्णांक ∈ F वाले मूलक द्वारा व्यक्त करना असंभव होता है।


यह सिद्ध करने के लिए<ref>B.L. van der Waerden, ''Modern Algebra'' (translated from German by Fred Blum), Frederick Ungar Publ. Co., 1949, p.&thinsp;180.</ref> ध्यान दें कि विभेदक {{math|''D''}} धनात्मक है। {{math|''F''({{sqrt|''D''}}) {{=}} ''F''(∆)}} [[फील्ड एक्सटेंशन|क्षेत्र-विस्तार]] तैयार करें। चूंकि यह {{math|''F''}} या {{math|''F''}} का [[द्विघात विस्तार]] है। (यह इस पर निर्भर करता है कि D, {{math|''F''}} में एक वर्ग है या नहीं) क्योकि {{math|''p''(''x'')}} इसमें अप्रासंगिक रहता है। इसके फलस्वरूप के गाल्वा समूह {{math|''p''(''x'')}} पर {{math|''F''({{sqrt|''D''}})}} चक्रीय समूह {{math|''C''<sub>3</sub>}} है। मान लीजिये कि {{math|''p''(''x'') {{=}} 0}} वास्तविक मूलकों द्वारा हल किया जा सकता है। फिर {{math|''p''(''x'')}} चक्रीय विस्तार के स्तम्भ द्वारा क्षेत्र को विभाजित किया जा सकता है।
:<math> F\sub F(\sqrt{D})\sub F(\sqrt{D}, \sqrt[p_1]{\alpha_1}) \sub\cdots \sub K\sub K(\sqrt[3]{\alpha})</math>
टॉवर के अंतिम चरण में {{math|''p''(''x'')}} अंतिम क्षेत्र {{math|''K''}} में अप्रासंगिक है, लेकिन कुछ {{math|''α''}} के लिए {{math|''K''({{radic|''α''|3}})}} में विभाजित होता है। लेकिन यह एक चक्रीय क्षेत्र विस्तार है, और इसलिए इसमें {{math|{{radic|''α''|3}}}} का [[संयुग्मी तत्व (क्षेत्र सिद्धांत)|संयुग्मी तत्व]] होना चाहिए।इसलिए एकता का एक प्राथमिक तीसरा मूल होता है।


== औपचारिक कथन और प्रमाण ==
हालांकि, वास्तविक संवृत क्षेत्र में एकता की कोई प्राथमिक तीसरा वर्ग नहीं हैं। मान लीजिए कि ω एकता का प्राथमिक तीसरा मूल है। फिर, एक [[आदेशित क्षेत्र]] को परिभाषित करने वाले सिद्धांतों द्वारा, ω और ω<sup>2</sup> दोनों घनात्मक हैं, क्योंकि अन्यथा उनका घन (=1) घनात्मक होगा। लेकिन यदि ω<sup>2</sup>>ω के दोनों पक्षों का घन करने पर 1>1 एक प्रतिवाद मिलता है। तब इसी प्रकार यदि ω>ω<sup>2</sup> को हल कर सकते है।  
अधिक आम तौर पर, मान लीजिए {{math|''F''}} एक [[औपचारिक रूप से वास्तविक क्षेत्र]] है, और वह {{math|''p''(''x'') &isin; ''F''[''x'']}} एक घन बहुपद है, अलघुकरणीय से अधिक {{math|''F''}}, लेकिन तीन वास्तविक जड़ें (वास्तविक बंद होने की जड़ें {{math|''F''}}). तब कैसस इरेड्यूसिबिलिस कहता है कि इसका समाधान व्यक्त करना असंभव है {{math|''p''(''x'') {{=}} 0}} रेडिकैंड्स के साथ रेडिकल्स द्वारा {{math|&isin; ''F''}}.
 
यह सिद्ध करने के लिए,<ref>B.L. van der Waerden, ''Modern Algebra'' (translated from German by Fred Blum), Frederick Ungar Publ. Co., 1949, p.&thinsp;180.</ref> ध्यान दें कि विभेदक {{math|''D''}} सकारात्मक है। [[फील्ड एक्सटेंशन]] तैयार करें {{math|''F''({{sqrt|''D''}}) {{=}} ''F''(∆)}}. चूंकि यह है {{math|''F''}} या का [[द्विघात विस्तार]] {{math|''F''}} (चाहे या नहीं पर निर्भर करता है {{math|''D''}} में एक वर्ग है {{math|''F''}}), {{math|''p''(''x'')}} इसमें अपूरणीय रहता है। नतीजतन, के Galois समूह {{math|''p''(''x'')}} ऊपर {{math|''F''({{sqrt|''D''}})}} चक्रीय समूह है {{math|''C''<sub>3</sub>}}. मान लो कि {{math|''p''(''x'') {{=}} 0}} वास्तविक मूलकों द्वारा हल किया जा सकता है। फिर {{math|''p''(''x'')}} चक्रीय एक्सटेंशन के टावर द्वारा क्षेत्र को विभाजित किया जा सकता है
:<math> F\sub F(\sqrt{D})\sub F(\sqrt{D}, \sqrt[p_1]{\alpha_1}) \sub\cdots \sub K\sub K(\sqrt[3]{\alpha})</math>
मीनार की अंतिम सीढ़ी पर, {{math|''p''(''x'')}} अंत से पहले क्षेत्र में अपूरणीय है {{math|''K''}}, लेकिन विभाजित हो जाता है {{math|''K''({{radic|''α''|3}})}} कुछ के लिए {{math|''α''}}. लेकिन यह एक चक्रीय क्षेत्र विस्तार है, और इसलिए इसमें एक [[संयुग्मी तत्व (क्षेत्र सिद्धांत)]] होना चाहिए {{math|{{radic|''α''|3}}}} और इसलिए एकता की एक आदिम जड़।


हालांकि, वास्तविक बंद क्षेत्र में एकता की कोई आदिम तीसरी जड़ें नहीं हैं। मान लीजिए कि ω एकता का आदिम तीसरा मूल है। फिर, एक [[आदेशित क्षेत्र]] को परिभाषित करने वाले अभिगृहीतों द्वारा, ω और ω<sup>2</sup> दोनों धनात्मक हैं, क्योंकि अन्यथा उनका घन (=1) ऋणात्मक होगा। लेकिन अगर ω<sup>2</sup>>ω, फिर दोनों पक्षों को घन करने पर 1>1, एक विरोधाभास मिलता है; इसी तरह अगर ω> ω<sup>2</उप>।
== अवास्तविक पूर्ण मे हल ==


== अवास्तविक रेडिकल्स में समाधान ==
=== कार्डानो का हल ===
{{Further|त्रिविमीय समीकरण #कार्डानो का सूत्र}}


=== कार्डानो का समाधान ===
समीकरण {{math|''ax''<sup>3</sup> + ''bx''<sup>2</sup> + ''cx'' + ''d'' {{=}} 0}} को <math>a</math> से विभाजित करके और {{math|''x'' {{=}} ''t'' − {{sfrac|''b''|3''a''}}}} [[चिरनहॉस परिवर्तन]] को प्रतिस्थापित करके एक मोनिक त्रिपदी में घटाया जा सकता है। जिससे समीकरण {{math|''t''<sup>3</sup> + ''pt'' + ''q'' {{=}} 0}} प्राप्त होता है। जहाँ पर
{{Further|Cubic equation#Cardano's formula}}
समीकरण {{math|''ax''<sup>3</sup> + ''bx''<sup>2</sup> + ''cx'' + ''d'' {{=}} 0}} द्वारा विभाजित करके एक [[मोनिक बहुपद]] त्रिपद के लिए उदास किया जा सकता है <math>a</math> और प्रतिस्थापन {{math|''x'' {{=}} ''t'' − {{sfrac|''b''|3''a''}}}} ([[चिरनहॉस परिवर्तन]]), समीकरण दे रहा है {{math|''t''<sup>3</sup> + ''pt'' + ''q'' {{=}} 0}} कहाँ पे
:<math>p=\frac{3ac-b^2}{3a^2}</math>
:<math>p=\frac{3ac-b^2}{3a^2}</math>
:<math>q=\frac{2b^3-9abc+27a^2d}{27a^3}.</math>
:<math>q=\frac{2b^3-9abc+27a^2d}{27a^3}.</math>
फिर वास्तविक जड़ों की संख्या की परवाह किए बिना, क्यूबिक समीकरण # कार्डानो के सूत्र | कार्डानो के समाधान द्वारा तीन जड़ें दी जाती हैं
फिर वास्तविक मूलों की संख्या की अपेक्षा किए बिना, कार्डानो के हल द्वारा तीन मूल दिये जाते हैं।


:<math> t_k = \omega_k \sqrt[3]{-{q\over 2}+ \sqrt{{q^{2}\over 4}+{p^{3}\over 27}}} + \omega_k^2  \sqrt[3]{-{q\over 2}- \sqrt{{q^{2}\over 4}+{p^{3}\over 27}}}</math>
:<math> t_k = \omega_k \sqrt[3]{-{q\over 2}+ \sqrt{{q^{2}\over 4}+{p^{3}\over 27}}} + \omega_k^2  \sqrt[3]{-{q\over 2}- \sqrt{{q^{2}\over 4}+{p^{3}\over 27}}}</math>
कहाँ पे <math> \omega_k</math> (k=1, 2, 3) 1 का घनमूल है (<math>\omega_1 = 1</math>, <math>\omega_2 = -\frac{1}{2} + \frac{\sqrt{3}}{2}i</math>, तथा <math>\omega_3 = -\frac{1}{2} - \frac{\sqrt{3}}{2}i</math>, कहाँ पे {{math|''i''}} [[काल्पनिक इकाई]] है)। यहां यदि घनमूल के अंतर्गत [[रेडिकैंड]]्स गैर-वास्तविक हैं, तो रेडिकल्स द्वारा व्यक्त घनमूलों को जटिल संयुग्मी घनमूलों की किसी भी जोड़ी के रूप में परिभाषित किया जाता है, जबकि यदि वे वास्तविक हैं तो इन घनमूलों को वास्तविक घनमूलों के रूप में परिभाषित किया जाता है।
जहाँ पर <math> \omega_k</math> (k=1, 2, 3) 1 का घनमूल है। <math>\omega_1 = 1</math>, <math>\omega_2 = -\frac{1}{2} + \frac{\sqrt{3}}{2}i</math>, तथा <math>\omega_3 = -\frac{1}{2} - \frac{\sqrt{3}}{2}i</math>, जहाँ {{math|''i''}} [[काल्पनिक इकाई]] है। यहां यदि घनमूल के अंतर्गत [[रेडिकैंड|पूर्णांक]] अवास्तविक हैं, तो पूर्णांक द्वारा व्यक्त घनमूलों को सम्मिश्र संयुग्मी घनमूलों के किसी भी युग्म के रूप में परिभाषित किया जाता है, जबकि यदि वे वास्तविक हैं। तब इन घनमूलों को वास्तविक घनमूलों के रूप में परिभाषित किया जाता है। कैसस अपरिवर्तनीयता तब होती है। जब तीनों वर्गमूल अलग और वास्तविक होते हैं। तीन अलग-अलग वास्तविक वर्गमूल की स्थितिया होती है। केवल यदि {{math|{{sfrac|''q''<sup>2</sup>|4}} + {{sfrac|''p''<sup>3</sup>|27}} < 0}}, जिस स्थिति में कार्डानो के सूत्र में पहले एक ऋणात्मक संख्या का वर्गमूल लेना सम्मिलित है, जो कि [[काल्पनिक संख्या]] है और फिर एक सम्मिश्र संख्या का घनमूल लेना (घनमूल को स्वयं के रूप में नहीं रखा जा सकता है) {{math|''α'' + ''βi''}} के लिए वास्तविक nth मूल में विशेष रूप से दिए गए भावों के साथ {{math|''α''}} तथा {{math|''β''}} क्योंकि ऐसा करने के लिए मूल घन को स्वतंत्र रूप से हल करने की आवश्यकता होती है। यहां तक ​​​​कि कम करने योग्य स्थिति में जिसमें तीन वास्तविक वर्गमूल में से एक तर्कसंगत है। इसलिए बहुपद का लंबे विभाजन से इसका पता लगाया जा सकता है। कि कार्डानो का सूत्र इस स्थिति में अनावश्यक रूप से उस वर्गमूल और अन्य को अवास्तविक मूलांक के संदर्भ में व्यक्त करता है।
 
कैसस इरेड्यूसिबिलिस तब होता है जब कोई भी जड़ तर्कसंगत नहीं होती है और जब तीनों जड़ें अलग और वास्तविक होती हैं; तीन अलग-अलग वास्तविक जड़ों का मामला होता है अगर और केवल अगर {{math|{{sfrac|''q''<sup>2</sup>|4}} + {{sfrac|''p''<sup>3</sup>|27}} < 0}}, जिस मामले में कार्डानो के सूत्र में पहले एक ऋणात्मक संख्या का वर्गमूल लेना शामिल है, जो कि [[काल्पनिक संख्या]] है, और फिर एक सम्मिश्र संख्या का घनमूल लेना (घनमूल को स्वयं के रूप में नहीं रखा जा सकता है) {{math|''α'' + ''βi''}} के लिए वास्तविक nवें मूल में विशेष रूप से दिए गए भावों के साथ {{math|''α''}} तथा {{math|''β''}}, क्योंकि ऐसा करने के लिए मूल घन को स्वतंत्र रूप से हल करने की आवश्यकता होगी)। यहां तक ​​​​कि कम करने योग्य मामले में जिसमें तीन वास्तविक जड़ों में से एक तर्कसंगत है और इसलिए बहुपद लंबे विभाजन से इसका पता लगाया जा सकता है, कार्डानो का सूत्र (इस मामले में अनावश्यक रूप से) उस जड़ (और अन्य) को गैर-वास्तविक मूलांक के संदर्भ में व्यक्त करता है।


=== उदाहरण ===
=== उदाहरण ===
Line 86: Line 80:


:<math>2x^3-9x^2-6x+3=0</math>
:<math>2x^3-9x^2-6x+3=0</math>
अप्रासंगिक है, क्योंकि यदि इसका गुणनखंड किया जा सकता है तो एक परिमेय समाधान देने वाला एक रैखिक गुणक होगा, जबकि परिमेय मूल परीक्षण द्वारा दिए गए संभावित मूलों में से कोई भी वास्तव में मूल नहीं है। चूंकि इसका विभेदक सकारात्मक है, इसकी तीन वास्तविक जड़ें हैं, इसलिए यह कैसस इरेड्यूसिबिलिस का एक उदाहरण है। इन जड़ों को व्यक्त किया जा सकता है
अलघुकरणीय होता है क्योंकि यदि इसका गुणनखंड किया जाता है तो एक परिमेय हल देने वाला एक रैखिक कारक प्राप्त होता है। जबकि परिमेय मूल परीक्षण द्वारा दिए गए, संभावित मूलों में से कोई भी वास्तव मूल नहीं है। चूंकि इसका विभेदक धनात्मक है। तथा इसके तीन वास्तविक वर्गमूल हैं, इसलिए यह कैसस अपरिवर्तनीयता का एक उदाहरण है। जिससे इन वर्गमूलो को व्यक्त किया जा सकता है।


:<math>t_k=\frac{3-\omega_k\sqrt[3]{39-26i}-\omega_k^2\sqrt[3]{39+26i}}{2}</math>
:<math>t_k=\frac{3-\omega_k\sqrt[3]{39-26i}-\omega_k^2\sqrt[3]{39+26i}}{2}</math>
के लिये <math>k\in\left\{1, 2, 3\right\}</math>. समाधान रेडिकल्स में हैं और इसमें जटिल संयुग्म संख्याओं के घनमूल शामिल हैं।
<math>k\in\left\{1, 2, 3\right\}</math> के लिये पूर्णांक हल हैं। और इसमें समिश्र संयुग्म संख्याओं के घनमूल सम्मलित हैं।
 
== वास्तविक मात्रा के संदर्भ में त्रिकोणमितीय हल ==
{{Main|घन समीकरण#त्रिकोणमितीय और अतिपरवलीय हल }}


== वास्तविक मात्रा के संदर्भ में त्रिकोणमितीय समाधान ==
जबकि कैसस अपरिवर्तनीयता को वास्तविक मात्रा के संदर्भ में [[बीजगणितीय समाधान|बीजगणितीय हल]] नहीं किया जा सकता है। इसे वास्तविक मात्रा के संदर्भ में [[त्रिकोणमिति|त्रिकोणमितीय]] रूप से हल किया जा सकता है।<ref>{{harvtxt|Cox|2012}}, Section 1.3B Trigonometric Solution of the Cubic, pp.&thinsp;18–19.</ref> जिसे विशेष रूप से डिप्रेस्ड मोनिक घन समीकरण <math>t^3+pt+q=0 </math> द्वारा हल किया जाता है।
{{Main|Cubic equation#Trigonometric and hyperbolic solutions}}
जबकि कैसस इरेड्यूसिबिलिस वास्तविक मात्रा के संदर्भ में [[बीजगणितीय समाधान]] नहीं हो सकता है, इसे वास्तविक मात्रा के संदर्भ में [[त्रिकोणमिति]] को हल किया जा सकता है।<ref>{{harvtxt|Cox|2012}}, Section 1.3B Trigonometric Solution of the Cubic, pp.&thinsp;18–19.</ref> विशेष रूप से, उदास मोनिक क्यूबिक समीकरण <math>t^3+pt+q=0 </math> द्वारा हल किया जाता है


:<math>t_k=2\sqrt{-\frac{p}{3}}\cos\left[\frac{1}{3}\arccos\left(\frac{3q}{2p}\sqrt{\frac{-3}{p}}\right)-k\frac{2\pi}{3}\right] \quad \text{for} \quad k=0,1,2 \,.</math>
:<math>t_k=2\sqrt{-\frac{p}{3}}\cos\left[\frac{1}{3}\arccos\left(\frac{3q}{2p}\sqrt{\frac{-3}{p}}\right)-k\frac{2\pi}{3}\right] \quad \text{for} \quad k=0,1,2 \,.</math>
ये समाधान वास्तविक मात्रा के संदर्भ में हैं यदि और केवल यदि <math>{q^{2}\over 4}+{p^{3}\over 27} < 0</math> - यानी, अगर और केवल अगर तीन असली जड़ें हैं। सूत्र में एक कोण से शुरू करना शामिल है जिसका कोज्या ज्ञात है, कोण को 1/3 से गुणा करके, और परिणामी कोण के कोज्या को लेकर और पैमाने के लिए समायोजन करके।
ये हल वास्तविक मात्रा के संदर्भ में हैं, यदि केवल <math>{q^{2}\over 4}+{p^{3}\over 27} < 0</math> अर्थात, यदि केवल तीन वास्तविक मूल हैं। सूत्र में एक कोण से प्रारम्भ करना सम्मिलित है। जिसकी कोज्या(cosine) ज्ञात है। कोण को 1/3 से गुणा करके और परिणामी कोण के कोज्या को लेकर पैमाने के लिए समायोजन करके किया जा सकता है।


यद्यपि कोज्या और इसका व्युत्क्रम फलन (arccosine) पारलौकिक फलन हैं, यह समाधान इस अर्थ में बीजगणितीय है कि <math>\cos\left[\arccos\left(x\right)/3\right]</math> एक बीजगणितीय फलन है, जो कोण त्रिविभाजन के तुल्य है।
यद्यपि कोज्या और इसका व्युत्क्रम फलन ट्रांससेंडेंटल फलन होता हैं। तो यह हल इस अर्थ में बीजगणितीय है कि <math>\cos\left[\arccos\left(x\right)/3\right]</math> एक बीजगणितीय फलन है, जो कोण त्रिविभाजन के तुल्य है।


== कोण त्रिखंड से संबंध ==
== कोण त्रिभाजन से संबंध ==
तीन वास्तविक जड़ों के साथ रिड्यूसिबल और इरेड्यूसिबल क्यूबिक मामलों के बीच का अंतर इस मुद्दे से संबंधित है कि क्या कोई कोण कम्पास और स्ट्रेटेज निर्माण के शास्त्रीय माध्यमों द्वारा एंगल ट्राइसेक्शन है या नहीं। किसी भी कोण के लिए {{math|''θ''}}, इस कोण के एक तिहाई हिस्से में एक कोसाइन है जो तीन समाधानों में से एक है
तीन वास्तविक वर्गमूल के साथ लघुकरणीय और अलघुकरणीय घन स्थिति के बीच का अंतर इस परिणाम से संबंधित है, कि क्या कोई कोण परिधि के परस्परिक माध्यमों और अचिह्नित किनारों द्वारा त्रिविभाज्य है या नहीं। किसी भी कोण θ के लिए, इस कोण के एक तिहाई भाग {{math|{{frac|''θ''|3}}}} में एक कोसाइन होता है, जो कि तीन हलों में से एक है।


:<math>4x^3-3x-\cos(\theta)=0.</math>
:<math>4x^3-3x-\cos(\theta)=0.</math>
वैसे ही, {{math|{{frac|''θ''|3}}}} में एक ज्या है जो तीन वास्तविक समाधानों में से एक है
वैसे ही, {{math|{{frac|''θ''|3}}}} में एक ज्या(sine) है, जो तीन वास्तविक हलों में से एक है।


:<math>4y^3-3y+\sin(\theta)=0.</math>
:<math>4y^3-3y+\sin(\theta)=0.</math>
किसी भी स्थिति में, यदि परिमेय मूल परीक्षण एक परिमेय समाधान प्रकट करता है, {{mvar|x}} या {{mvar|y}} माइनस उस रूट को बायीं ओर के बहुपद से फैक्टर किया जा सकता है, एक वर्ग को छोड़कर जिसे शेष दो रूटों के लिए वर्गमूल के संदर्भ में हल किया जा सकता है; तो ये सभी जड़ें शास्त्रीय रूप से रचनात्मक हैं क्योंकि वे विशेष रूप से वर्गमूल से अधिक में अभिव्यक्त नहीं हैं {{math|cos({{frac|''θ''|3}})}} या {{math|sin({{frac|''θ''|3}})}} रचनात्मक है और इसलिए संबंधित कोण है {{math|{{frac|''θ''|3}}}}. दूसरी ओर, यदि परिमेय मूल परीक्षण दर्शाता है कि कोई परिमेय मूल नहीं है, तो कैसस इरेड्यूसीबिलिस लागू होता है, {{math|cos({{frac|''θ''|3}})}} या {{math|sin({{frac|''θ''|3}})}} रचनात्मक नहीं है, कोण {{math|{{frac|''θ''|3}}}} रचनात्मक नहीं है, और angle {{math|''θ''}} शास्त्रीय रूप से त्रिविभाजित नहीं है।
किसी भी स्थिति में, यदि परिमेय मूल परीक्षण एक परिमेय हल प्राप्त करता है, तो {{mvar|x}} या {{mvar|y}} घटाकर उस मूल को बाईं ओर बहुपद से गुणनखंडित किया जा सकता है। तथा एक द्विघात को छोड़ते हुए, जिसे वर्गमूल के संदर्भ में शेष दो वर्गमूलों के लिए हल किया जा सकता है। तब ये सभी वर्गमूल प्रतिष्ठित रूप से रचनात्मक होते हैं, क्योंकि वे वर्गमूल से अधिक में अभिव्यक्त नहीं होते हैं, इसलिए विशेष रूप से {{math|cos({{frac|''θ''|3}})}} या {{math|sin({{frac|''θ''|3}})}} रचनात्मक होता है। इसलिए संबंधित कोण {{math|{{frac|''θ''|3}}}} है। दूसरी ओर, यदि परिमेय मूल परीक्षण दिखाता है कि कोई परिमेय मूल नहीं है, तो कैसस अपरिवर्तनीयता लागू होती है। {{math|cos({{frac|''θ''|3}})}} या {{math|sin({{frac|''θ''|3}})}} रचनात्मक नहीं है, कोण {{math|{{frac|''θ''|3}}}} निर्माण योग्य नहीं है, और कोण {{math|''θ''}} प्रतिष्ठित रूप से त्रिविभाजित नहीं है।


एक उदाहरण के रूप में, जबकि एक 180° के कोण को तीन 60° के कोणों में समत्रिभाजित किया जा सकता है, एक 60° के कोण को केवल परकार और सीधी भुजा से समत्रिभाजित नहीं किया जा सकता है। List_of_trigonometric_identities#Multiple-angle_formulae|triple-angle फ़ार्मुलों का उपयोग करके कोई भी यह देख सकता है {{math|cos {{sfrac|π|3}} {{=}} 4''x''<sup>3</sup> − 3''x''}} कहाँ पे {{math|''x'' {{=}} cos(20°)}}. पुनर्व्यवस्थित करता है {{math|8''x''<sup>3</sup> − 6''x'' − 1 {{=}} 0}}, जो परिमेय मूल परीक्षण में विफल रहता है क्योंकि प्रमेय द्वारा सुझाई गई कोई भी परिमेय संख्या वास्तव में मूल नहीं है। इसलिए, का न्यूनतम बहुपद {{math|cos(20°)}} डिग्री 3 है, जबकि किसी भी रचनात्मक संख्या के न्यूनतम बहुपद की डिग्री दो की शक्ति होनी चाहिए।
एक उदाहरण के रूप में, जबकि एक 180° के कोण को तीन 60° के कोणों में समत्रिभाजित किया जा सकता है। एक 60° के कोण को केवल दिशा मे और सीधी भुजा से समत्रिभाजित नहीं किया जा सकता है। त्रि-कोण सूत्रों का उपयोग करके कोई यह देख सकता है कि {{math|cos {{sfrac|π|3}} {{=}} 4''x''<sup>3</sup> − 3''x''}} जहां {{math|''x'' {{=}} cos(20°)}} को पुनर्व्यवस्थित करने पर {{math|8''x''<sup>3</sup> − 6''x'' − 1 {{=}} 0}} प्राप्त होता है, जो परिमेय मूल परीक्षण को विफल कर देता है, क्योंकि प्रमेय द्वारा हल की गई कोई भी परिमेय संख्या वास्तव में मूल नहीं है। इसलिए, {{math|cos(20°)}} के न्यूनतम बहुपद की डिग्री 3 है, जबकि किसी भी रचनात्मक संख्या के न्यूनतम बहुपद की 2 डिग्री की ताकत होनी चाहिए।


जताते {{math|cos(20°)}} रेडिकल्स में परिणाम होता है
व्यक्त {{math|cos(20°)}} पूर्ण में परिणाम होता है।


:<math>\cos\left(\frac{\pi}{9}\right)=\frac{\sqrt[3]{1-i\sqrt{3}}+\sqrt[3]{1+i\sqrt{3}}}{2\sqrt[3]{2}}</math>
:<math>\cos\left(\frac{\pi}{9}\right)=\frac{\sqrt[3]{1-i\sqrt{3}}+\sqrt[3]{1+i\sqrt{3}}}{2\sqrt[3]{2}}</math>
जिसमें सम्मिश्र संख्याओं का घनमूल निकालना शामिल है। समानता पर ध्यान दें {{math|''e''<sup>''iπ''/3</sup> {{=}} {{sfrac|1+''i''{{sqrt|3}}|2}}}} तथा {{math|''e''<sup>''−iπ''/3</sup> {{=}} {{sfrac|1−''i''{{sqrt|3}}|2}}}}.
जिसमें सम्मिश्र संख्याओं का घनमूल निकालना सम्मिलित है। समानता पर ध्यान दें कि {{math|''e''<sup>''iπ''/3</sup> {{=}} {{sfrac|1+''i''{{sqrt|3}}|2}}}} तथा {{math|''e''<sup>''−iπ''/3</sup> {{=}} {{sfrac|1−''i''{{sqrt|3}}|2}}}}.


तर्कसंगत जड़ों और ट्राइसेक्टेबिलिटी के बीच संबंध को कुछ मामलों में भी बढ़ाया जा सकता है जहां दिए गए कोण के साइन और कोसाइन अपरिमेय हैं। एक उदाहरण के रूप में उस मामले पर विचार करें जहां दिया गया कोण है {{math|''θ''}} एक नियमित पेंटागन का एक शीर्ष कोण है, एक बहुभुज जिसे शास्त्रीय रूप से बनाया जा सकता है। इस कोण के लिए {{math|''5θ/3''}} 180° है, और तब मानक त्रिकोणमितीय सर्वसमिकाएँ देते हैं
तर्कसंगत मूलों और त्रिविभाजन के बीच संबंध को कुछ स्थितियों में भी बढ़ाया जा सकता है, जहां दिए गए कोण के साइन और कोसाइन अपरिमेय हैं। एक उदाहरण के रूप में उस स्थिति पर विचार करें। जहां दिया गया कोण {{math|''θ''}} एक नियमित पंचभुज का एक शीर्ष कोण है, तथा एक बहुभुज जिसे प्रतिष्ठित रूप से बनाया जा सकता है। इस कोण के लिए {{math|''5θ/3''}} 180° है, और दी गई मानक त्रिकोणमितीय सर्वसमिकाएं निम्न है।


:<math> \cos(\theta)+\cos(\theta/3) = 2\cos(\theta/3)\cos(2\theta/3)
:<math> \cos(\theta)+\cos(\theta/3) = 2\cos(\theta/3)\cos(2\theta/3)
Line 123: Line 118:


:<math> \cos(\theta/3) = -\cos(\theta)/(1+2\cos(\theta)).</math>
:<math> \cos(\theta/3) = -\cos(\theta)/(1+2\cos(\theta)).</math>
त्रिकोणीय कोण के कोसाइन को दिए गए कोण के कोसाइन के संदर्भ में एक तर्कसंगत अभिव्यक्ति के रूप में प्रस्तुत किया जाता है, इसलिए एक नियमित पेंटागन के शीर्ष कोण को ट्राइसेक्ट किया जा सकता है (यांत्रिक रूप से, केवल एक विकर्ण खींचकर)
त्रिकोणीय कोण के कोसाइन को दिए गए, कोण के कोसाइन के संदर्भ में एक तर्कसंगत अभिव्यक्ति के रूप में प्रस्तुत किया जाता है, इसलिए एक नियमित पंचभुज के शीर्ष कोण को त्रिविभाजित किया जा सकता है। (यांत्रिक रूप से, केवल एक विकर्ण खींचकर।)


== सामान्यीकरण ==
== सामान्यीकरण ==
कैसस इरेड्यूसिबिलिस को निम्नानुसार उच्च डिग्री बहुपदों के लिए सामान्यीकृत किया जा सकता है। होने देना {{math|''p''&nbsp;&isin;&nbsp;''F''[''x'']}} एक अप्रासंगिक बहुपद हो जो औपचारिक रूप से वास्तविक विस्तार में विभाजित हो {{math|''R''}} का {{math|''F''}} (अर्थात।, {{math|''p''}} केवल वास्तविक जड़ें हैं)। मान लो की {{math|''p''}} में जड़ है <math>K\subseteq R</math> जो का विस्तार है {{math|''F''}} कट्टरपंथियों द्वारा। फिर की डिग्री {{math|''p''}} 2 की शक्ति है, और इसका विभाजन क्षेत्र का पुनरावर्तित द्विघात विस्तार है {{math|''F''}}.<ref>{{harvtxt|Cox|2012}}, Theorem 8.6.5, p.&thinsp;222.</ref><ref name=Isaacs>I. M. Isaacs, "Solution of polynomials by real radicals", ''[[American Mathematical Monthly]]'' 92 (8), October 1985, 571–575,</ref>{{rp|571–572}}
कैसस अपरिवर्तनीयता को निम्नानुसार उच्च डिग्री बहुपदों के लिए सामान्यीकृत किया जा सकता है। मान लीजिए कि {{math|''p''&nbsp;&isin;&nbsp;''F''[''x'']}} एक अलघुकरणीय बहुपद है। जो औपचारिक रूप से F के वास्तविक विस्तार R में विभक्त होता है अर्थात्, {{math|''p''}} के केवल वास्तविक मूल होते हैं। मान लें कि {{math|''p''}} का मूल <math>K\subseteq R</math> है, जो पूर्ण द्वारा F का विस्तार है। फिर {{math|''p''}} की डिग्री 2 है और इसका विभाजन क्षेत्र {{math|''F''}} का पुनरावृत्त द्विघात विस्तार है।<ref>{{harvtxt|Cox|2012}}, Theorem 8.6.5, p.&thinsp;222.</ref><ref name=Isaacs>I. M. Isaacs, "Solution of polynomials by real radicals", ''[[American Mathematical Monthly]]'' 92 (8), October 1985, 571–575,</ref>{{rp|571–572}}
इस प्रकार किसी भी अलघुकरणीय बहुपद के लिए जिसकी डिग्री 2 की शक्ति नहीं है और जिसकी सभी जड़ें वास्तविक हैं, वास्तविक रेडिकल्स के संदर्भ में किसी भी जड़ को शुद्ध रूप से व्यक्त नहीं किया जा सकता है, अर्थात यह इस लेख के (16वीं शताब्दी) अर्थ में एक कैसस इरेड्यूसिबिलिस है। इसके अलावा, यदि बहुपद की डिग्री 2 की शक्ति है और जड़ें सभी वास्तविक हैं, तो यदि कोई जड़ है जिसे वास्तविक मूलांक में व्यक्त किया जा सकता है, तो इसे वर्गमूल के रूप में व्यक्त किया जा सकता है और उच्च-स्तरीय जड़ों के रूप में नहीं, जैसा कि हो सकता है अन्य जड़ें, और इसलिए जड़ें रचनात्मक संख्या हैं।


डमिट द्वारा [[पंचक समारोह]] के लिए कैसस इरेड्यूसिबिलिस पर चर्चा की गई है।<ref>David S. Dummit [http://www.emba.uvm.edu/~dummit/quintics/solvable.pdf Solving Solvable Quintics]</ref>{{rp|17}}
इस प्रकार किसी भी अलघुकरणीय बहुपद के लिए जिसकी डिग्री 2 की घात नहीं है और जिसके सभी मूल वास्तविक हैं, वास्तविक पूर्ण के संदर्भ में किसी भी मूल को शुद्ध रूप से व्यक्त नहीं किया जा सकता है, अर्थात यह इस लेख के 16वीं शताब्दी के अर्थ में एक कैसस अपरिवर्तनीयता है। इसके अतिरिक्त, यदि बहुपद की डिग्री 2 की घात है और सभी मूल वास्तविक हैं, तो यदि कोई मूल है, जिसे वास्तविक मूलांक में व्यक्त किया जा सकता है। तब इसे वर्गमूल के रूप में व्यक्त किया जा सकता है। तथा उच्च-स्तरीय मूलों के रूप में नहीं, जैसा कि हो सकता है अन्य मूल और इसलिए मूल प्रतिष्ठित रूप से रचनात्मक हो सकते हैं।


डमिट द्वारा [[पंचक समारोह|पंचक फलन]] बहुपदों के लिए कैसस अपरिवर्तनीयता पर चर्चा की गई है।<ref>David S. Dummit [http://www.emba.uvm.edu/~dummit/quintics/solvable.pdf Solving Solvable Quintics]</ref>{{rp|17}}


=== कोण पेंटासेक्शन (क्विंटिसेक्शन) और उच्चतर === से संबंध
=== '''कोण पेंटासेक्शन (पंचक) और उच्चतर से संबंध''' ===
पांच वास्तविक जड़ों के साथ रिड्यूसिबल और इरेड्यूसिबल क्विंटिक मामलों के बीच का अंतर इस मुद्दे से संबंधित है कि क्या तर्कसंगत कोसाइन या तर्कसंगत साइन के साथ एक कोण पेंटेसेक्टेबल है (पांच बराबर भागों में विभाजित होने में सक्षम) कंपास और अचिह्नित के शास्त्रीय माध्यमों द्वारा सीधे बढ़त। किसी भी कोण के लिए {{math|''θ''}}, इस कोण के पांचवें हिस्से में कोसाइन है जो समीकरण के पांच वास्तविक मूलों में से एक है
पांच वास्तविक मूलो के साथ लघुकरणीय और अलघुकरणीय घन स्थितियों के बीच का अंतर इस परिणाम से संबंधित है कि क्या तर्कसंगत कोसाइन या तर्कसंगत साइन के साथ एक कोण पंच समुदाय है। पांच बराबर भागों में विभाजित होने में सक्षम दिशा सूचक और अचिह्नित के प्रतिष्ठित माध्यमों द्वारा सीधे बढ़त किसी भी कोण θ के लिए, इस कोण के पांचवें भाग में कोसाइन होता है, जो समीकरण के पांच वास्तविक मूलों में से एक होता है
 
:<math>16x^5-20x^3+5x-\cos(\theta)=0.</math>
:<math>16x^5-20x^3+5x-\cos(\theta)=0.</math>
वैसे ही, {{math|{{sfrac|''θ''|5}}}} में एक ज्या है जो समीकरण के पाँच वास्तविक मूलों में से एक है
वैसे ही, {{math|{{sfrac|''θ''|5}}}} में एक ज्या है, जो समीकरण के पाँच वास्तविक मूलों में से एक है।


:<math>16y^5-20y^3+5y-\sin(\theta)=0.</math>
:<math>16y^5-20y^3+5y-\sin(\theta)=0.</math>
किसी भी स्थिति में, यदि परिमेय मूल परीक्षण एक परिमेय मूल x देता है<sub>1</sub>, तो पंचक कम हो जाता है क्योंकि इसे एक कारक के रूप में लिखा जा सकता है (x-x<sub>1</sub>) गुणा एक क्वार्टिक बहुपद। लेकिन अगर परीक्षण से पता चलता है कि कोई परिमेय जड़ नहीं है, तो बहुपद अलघुकरणीय हो सकता है, जिस स्थिति में कैसस इरेड्यूसिबिलिस लागू होता है, {{math|cos({{frac|''θ''|5}})}} तथा {{math|sin({{frac|''θ''|5}})}} रचनात्मक नहीं हैं, कोण {{math|{{frac|''θ''|5}}}} रचनात्मक नहीं है, और angle {{math|''θ''}} क्लासिकल पेंटेसेक्टिबल नहीं है। इसका एक उदाहरण है जब कोई कम्पास और सीधे किनारे के साथ 25-गॉन (आइकोसिपेंटागन) बनाने का प्रयास करता है। जबकि एक पेंटागन का निर्माण करना अपेक्षाकृत आसान है, एक 25-गॉन के लिए न्यूनतम बहुपद के रूप में एक कोण पेंटासेक्टर की आवश्यकता होती है {{math|cos(14.4°)}} डिग्री 10 है:
किसी भी स्थिति में, यदि परिमेय मूल परीक्षण एक परिमेय मूल x<sub>1</sub> देता है, तो पेंटासेक्शन कम हो जाता है, क्योंकि इसे गुणक (''x-x<sub>1</sub>'') गुणा चतुर्थक बहुपद के रूप में लिखा जा सकता है। लेकिन यदि परीक्षण से पता चलता है कि कोई परिमेय मूल नहीं है, तो बहुपद अलघुकरणीय हो सकता है, जिस स्थिति में कैसस अपरिवर्तनीयता लागू होता है, {{math|cos({{frac|''θ''|5}})}} तथा {{math|sin({{frac|''θ''|5}})}} रचनात्मक नहीं हैं, कोण {{math|{{frac|''θ''|5}}}} नहीं है। रचनात्मक और कोण {{math|''θ''}} प्रतिष्ठित रूप से पेंटेसेक्टिबल नहीं है। इसका एक उदाहरण है कि जब कोई दिशा सूचक और सीधे किनारे के साथ 25-गॉन (आइकोसिपेंटागन) बनाने का प्रयास करता है। जबकि एक पंचभुज का निर्माण करना अपेक्षाकृत आसान होता है। तथा एक 25-गॉन को कोण पंचक्षेत्रक की आवश्यकता होती है, क्योंकि {{math|cos(14.4°)}} के लिए न्यूनतम बहुपद की डिग्री 10 होती है।


:<math>\begin{align}
:<math>\begin{align}
Line 175: Line 169:




==इस पेज में लापता आंतरिक लिंक की सूची==
*
 
*n वीं जड़
*घन समीकरण
*विभेदक
*वर्ग मुक्त बहुपद
*जटिल सन्युग्म
*वास्तविक समापन
*गाल्वा समूह
*चक्रीय विस्तार
*विभाजन क्षेत्र
*एकता की आदिम जड़
*त्रिनाम
*बहुपद लंबा विभाजन
*तर्कसंगत जड़ परीक्षण
*पारलौकिक कार्य
*बीजगणितीय कार्य
*कोण तिरछा
*कम्पास और सीधा निर्माण
*निर्माण योग्य संख्या
*चतुर्थक बहुपद
== बाहरी संबंध ==
== बाहरी संबंध ==
*{{PlanetMath|urlname=CasusIrreducibilis|title=casus irreducibilis}}
*{{PlanetMath|urlname=CasusIrreducibilis|title=casus irreducibilis}}
[[Category: बहुपद]]
[[Category:बीजगणित]]


 
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category: Machine Translated Page]]
[[Category:CS1 maint]]
[[Category:Created On 15/12/2022]]
[[Category:Created On 15/12/2022]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:बहुपद]]
[[Category:बीजगणित]]

Latest revision as of 17:51, 6 January 2023

बीजगणित में, कैसस इरेड्यूसिबिलिस या कैसस अपरिवर्तनीयता (अलघुकरणीय कारक के लिए लैटिन) उन स्थितियों में से एक है, जो डिग्री 3 या उच्च बहुपदों को बीजगणितीय रूप से संख्यात्मक के विपरीत पूर्णांक गुणांक के साथ हल करने में उत्पन्न हो सकता है, अर्थात उन संख्याओ को प्राप्त करके, जिन्हें पूर्णांक के साथ व्यक्त किया गया है। यह दर्शाता है कि कई बीजगणितीय संख्याएँ वास्तविक मान हैं, लेकिन सम्मिश्र संख्याओं को प्रस्तुत किए बिना मूलांक में व्यक्त नहीं की जा सकतीं है। कैसस अपरिवर्तनीयता की सबसे उल्लेखनीय घटना त्रिविमीय बहुपदों के स्थिति में होती है, जिसमें तीन वास्तविक संख्याए होती हैं। जिसे 1843 में पियरे वांजेल द्वारा सिद्ध किया गया था।[1] कार्डानो के सूत्र के माध्यम से कोई यह देखा जा सकता है कि क्या दिया गया घन बहुपद विभेदक कैसस अपरिवर्तनीयता में उपस्थित है।[2]

विभेदक की तीन स्थितिया

माना कि

के साथ एक घन समीकरण है। तब विभेदक द्वारा दिया जाता है।

यह बीजगणितीय हल में प्राप्त होता है, जो उत्पाद का एक वर्ग है।

के 3 संख्याओ के अंतर .[3]

  1. यदि D < 0, तब बहुपद का एक वास्तविक मूल और दो सम्मिश्र अवास्तविक मूल होते हैं। पूर्ण रुप से काल्पनिक होता है।
    यद्यपि ऋणात्मक विभेदक के साथ घन बहुपद हैं, जो आधुनिक अर्थों में अपरिवर्तनीय होता हैं। तथा कैसस अपरिवर्तनीयता मे लागू नहीं होता है।[4]
  2. यदि D = 0, तब और तीन वास्तविक मूल हैं। उनमें से दो बराबर हैं। या D = 0 वर्ग-मुक्त बहुपद द्वारा पता लगाया जा सकता है, यदि ऐसा है तो द्विघात सूत्र द्वारा संख्याए इसके अतिरिक्त, सभी संख्याए वास्तविक हैं और वास्तविक पूर्ण द्वारा अभिव्यक्त की जा सकती हैं। शून्य विभेदक वाले सभी घन बहुपदों को घटाया जा सकता है।
  3. यदि D > 0, फिर गैर-शून्य और वास्तविक है तथा तीन अलग-अलग वास्तविक संख्याए हैं, जो दो सम्मिश्र संयुग्मों का योग हैं।
    क्योंकि उन्हें सम्मिश्र संख्याओं की आवश्यकता होती है। समय की समझ में: गैर-वास्तविक संख्याओं से घनमूल, अर्थात वर्ग से ऋणात्मक संख्याओं के वर्ग उन्हें मूलांक में व्यक्त करने के लिए 16 वीं शताब्दी में इस स्थिति को कैसस अपरिवर्तनीयता कहा गया है।[5]

औपचारिक का कथन और प्रमाण

अधिक समान्यतः मान लीजिए कि F एक औपचारिक रूप से वास्तविक क्षेत्र है और वह p(x) ∈ F[x] का एक घन बहुपद है, अलघुकरणीय से अधिक F लेकिन तीन वास्तविक वर्गमूल (वास्तविक संवृत होने का वर्ग F). तब कैसस अपरिवर्तनीयता कहता है कि p(x) = 0 के हल को पूर्णांक ∈ F वाले मूलक द्वारा व्यक्त करना असंभव होता है।

यह सिद्ध करने के लिए[6] ध्यान दें कि विभेदक D धनात्मक है। F(D) = F(∆) क्षेत्र-विस्तार तैयार करें। चूंकि यह F या F का द्विघात विस्तार है। (यह इस पर निर्भर करता है कि D, F में एक वर्ग है या नहीं) क्योकि p(x) इसमें अप्रासंगिक रहता है। इसके फलस्वरूप के गाल्वा समूह p(x) पर F(D) चक्रीय समूह C3 है। मान लीजिये कि p(x) = 0 वास्तविक मूलकों द्वारा हल किया जा सकता है। फिर p(x) चक्रीय विस्तार के स्तम्भ द्वारा क्षेत्र को विभाजित किया जा सकता है।

टॉवर के अंतिम चरण में p(x) अंतिम क्षेत्र K में अप्रासंगिक है, लेकिन कुछ α के लिए K(3α) में विभाजित होता है। लेकिन यह एक चक्रीय क्षेत्र विस्तार है, और इसलिए इसमें 3α का संयुग्मी तत्व होना चाहिए।इसलिए एकता का एक प्राथमिक तीसरा मूल होता है।

हालांकि, वास्तविक संवृत क्षेत्र में एकता की कोई प्राथमिक तीसरा वर्ग नहीं हैं। मान लीजिए कि ω एकता का प्राथमिक तीसरा मूल है। फिर, एक आदेशित क्षेत्र को परिभाषित करने वाले सिद्धांतों द्वारा, ω और ω2 दोनों घनात्मक हैं, क्योंकि अन्यथा उनका घन (=1) घनात्मक होगा। लेकिन यदि ω2>ω के दोनों पक्षों का घन करने पर 1>1 एक प्रतिवाद मिलता है। तब इसी प्रकार यदि ω>ω2 को हल कर सकते है।

अवास्तविक पूर्ण मे हल

कार्डानो का हल

समीकरण ax3 + bx2 + cx + d = 0 को से विभाजित करके और x = tb/3a चिरनहॉस परिवर्तन को प्रतिस्थापित करके एक मोनिक त्रिपदी में घटाया जा सकता है। जिससे समीकरण t3 + pt + q = 0 प्राप्त होता है। जहाँ पर

फिर वास्तविक मूलों की संख्या की अपेक्षा किए बिना, कार्डानो के हल द्वारा तीन मूल दिये जाते हैं।

जहाँ पर (k=1, 2, 3) 1 का घनमूल है। , , तथा , जहाँ i काल्पनिक इकाई है। यहां यदि घनमूल के अंतर्गत पूर्णांक अवास्तविक हैं, तो पूर्णांक द्वारा व्यक्त घनमूलों को सम्मिश्र संयुग्मी घनमूलों के किसी भी युग्म के रूप में परिभाषित किया जाता है, जबकि यदि वे वास्तविक हैं। तब इन घनमूलों को वास्तविक घनमूलों के रूप में परिभाषित किया जाता है। कैसस अपरिवर्तनीयता तब होती है। जब तीनों वर्गमूल अलग और वास्तविक होते हैं। तीन अलग-अलग वास्तविक वर्गमूल की स्थितिया होती है। केवल यदि q2/4 + p3/27 < 0, जिस स्थिति में कार्डानो के सूत्र में पहले एक ऋणात्मक संख्या का वर्गमूल लेना सम्मिलित है, जो कि काल्पनिक संख्या है और फिर एक सम्मिश्र संख्या का घनमूल लेना (घनमूल को स्वयं के रूप में नहीं रखा जा सकता है) α + βi के लिए वास्तविक nth मूल में विशेष रूप से दिए गए भावों के साथ α तथा β क्योंकि ऐसा करने के लिए मूल घन को स्वतंत्र रूप से हल करने की आवश्यकता होती है। यहां तक ​​​​कि कम करने योग्य स्थिति में जिसमें तीन वास्तविक वर्गमूल में से एक तर्कसंगत है। इसलिए बहुपद का लंबे विभाजन से इसका पता लगाया जा सकता है। कि कार्डानो का सूत्र इस स्थिति में अनावश्यक रूप से उस वर्गमूल और अन्य को अवास्तविक मूलांक के संदर्भ में व्यक्त करता है।

उदाहरण

घन समीकरण

अलघुकरणीय होता है क्योंकि यदि इसका गुणनखंड किया जाता है तो एक परिमेय हल देने वाला एक रैखिक कारक प्राप्त होता है। जबकि परिमेय मूल परीक्षण द्वारा दिए गए, संभावित मूलों में से कोई भी वास्तव मूल नहीं है। चूंकि इसका विभेदक धनात्मक है। तथा इसके तीन वास्तविक वर्गमूल हैं, इसलिए यह कैसस अपरिवर्तनीयता का एक उदाहरण है। जिससे इन वर्गमूलो को व्यक्त किया जा सकता है।

के लिये पूर्णांक हल हैं। और इसमें समिश्र संयुग्म संख्याओं के घनमूल सम्मलित हैं।

वास्तविक मात्रा के संदर्भ में त्रिकोणमितीय हल

जबकि कैसस अपरिवर्तनीयता को वास्तविक मात्रा के संदर्भ में बीजगणितीय हल नहीं किया जा सकता है। इसे वास्तविक मात्रा के संदर्भ में त्रिकोणमितीय रूप से हल किया जा सकता है।[7] जिसे विशेष रूप से डिप्रेस्ड मोनिक घन समीकरण द्वारा हल किया जाता है।

ये हल वास्तविक मात्रा के संदर्भ में हैं, यदि केवल अर्थात, यदि केवल तीन वास्तविक मूल हैं। सूत्र में एक कोण से प्रारम्भ करना सम्मिलित है। जिसकी कोज्या(cosine) ज्ञात है। कोण को 1/3 से गुणा करके और परिणामी कोण के कोज्या को लेकर पैमाने के लिए समायोजन करके किया जा सकता है।

यद्यपि कोज्या और इसका व्युत्क्रम फलन ट्रांससेंडेंटल फलन होता हैं। तो यह हल इस अर्थ में बीजगणितीय है कि एक बीजगणितीय फलन है, जो कोण त्रिविभाजन के तुल्य है।

कोण त्रिभाजन से संबंध

तीन वास्तविक वर्गमूल के साथ लघुकरणीय और अलघुकरणीय घन स्थिति के बीच का अंतर इस परिणाम से संबंधित है, कि क्या कोई कोण परिधि के परस्परिक माध्यमों और अचिह्नित किनारों द्वारा त्रिविभाज्य है या नहीं। किसी भी कोण θ के लिए, इस कोण के एक तिहाई भाग θ3 में एक कोसाइन होता है, जो कि तीन हलों में से एक है।

वैसे ही, θ3 में एक ज्या(sine) है, जो तीन वास्तविक हलों में से एक है।

किसी भी स्थिति में, यदि परिमेय मूल परीक्षण एक परिमेय हल प्राप्त करता है, तो x या y घटाकर उस मूल को बाईं ओर बहुपद से गुणनखंडित किया जा सकता है। तथा एक द्विघात को छोड़ते हुए, जिसे वर्गमूल के संदर्भ में शेष दो वर्गमूलों के लिए हल किया जा सकता है। तब ये सभी वर्गमूल प्रतिष्ठित रूप से रचनात्मक होते हैं, क्योंकि वे वर्गमूल से अधिक में अभिव्यक्त नहीं होते हैं, इसलिए विशेष रूप से cos(θ3) या sin(θ3) रचनात्मक होता है। इसलिए संबंधित कोण θ3 है। दूसरी ओर, यदि परिमेय मूल परीक्षण दिखाता है कि कोई परिमेय मूल नहीं है, तो कैसस अपरिवर्तनीयता लागू होती है। cos(θ3) या sin(θ3) रचनात्मक नहीं है, कोण θ3 निर्माण योग्य नहीं है, और कोण θ प्रतिष्ठित रूप से त्रिविभाजित नहीं है।

एक उदाहरण के रूप में, जबकि एक 180° के कोण को तीन 60° के कोणों में समत्रिभाजित किया जा सकता है। एक 60° के कोण को केवल दिशा मे और सीधी भुजा से समत्रिभाजित नहीं किया जा सकता है। त्रि-कोण सूत्रों का उपयोग करके कोई यह देख सकता है कि cos π/3 = 4x3 − 3x जहां x = cos(20°) को पुनर्व्यवस्थित करने पर 8x3 − 6x − 1 = 0 प्राप्त होता है, जो परिमेय मूल परीक्षण को विफल कर देता है, क्योंकि प्रमेय द्वारा हल की गई कोई भी परिमेय संख्या वास्तव में मूल नहीं है। इसलिए, cos(20°) के न्यूनतम बहुपद की डिग्री 3 है, जबकि किसी भी रचनात्मक संख्या के न्यूनतम बहुपद की 2 डिग्री की ताकत होनी चाहिए।

व्यक्त cos(20°) पूर्ण में परिणाम होता है।

जिसमें सम्मिश्र संख्याओं का घनमूल निकालना सम्मिलित है। समानता पर ध्यान दें कि e/3 = 1+i3/2 तथा e−iπ/3 = 1−i3/2.

तर्कसंगत मूलों और त्रिविभाजन के बीच संबंध को कुछ स्थितियों में भी बढ़ाया जा सकता है, जहां दिए गए कोण के साइन और कोसाइन अपरिमेय हैं। एक उदाहरण के रूप में उस स्थिति पर विचार करें। जहां दिया गया कोण θ एक नियमित पंचभुज का एक शीर्ष कोण है, तथा एक बहुभुज जिसे प्रतिष्ठित रूप से बनाया जा सकता है। इस कोण के लिए 5θ/3 180° है, और दी गई मानक त्रिकोणमितीय सर्वसमिकाएं निम्न है।

इस प्रकार

त्रिकोणीय कोण के कोसाइन को दिए गए, कोण के कोसाइन के संदर्भ में एक तर्कसंगत अभिव्यक्ति के रूप में प्रस्तुत किया जाता है, इसलिए एक नियमित पंचभुज के शीर्ष कोण को त्रिविभाजित किया जा सकता है। (यांत्रिक रूप से, केवल एक विकर्ण खींचकर।)

सामान्यीकरण

कैसस अपरिवर्तनीयता को निम्नानुसार उच्च डिग्री बहुपदों के लिए सामान्यीकृत किया जा सकता है। मान लीजिए कि p ∈ F[x] एक अलघुकरणीय बहुपद है। जो औपचारिक रूप से F के वास्तविक विस्तार R में विभक्त होता है अर्थात्, p के केवल वास्तविक मूल होते हैं। मान लें कि p का मूल है, जो पूर्ण द्वारा F का विस्तार है। फिर p की डिग्री 2 है और इसका विभाजन क्षेत्र F का पुनरावृत्त द्विघात विस्तार है।[8][9]: 571–572 

इस प्रकार किसी भी अलघुकरणीय बहुपद के लिए जिसकी डिग्री 2 की घात नहीं है और जिसके सभी मूल वास्तविक हैं, वास्तविक पूर्ण के संदर्भ में किसी भी मूल को शुद्ध रूप से व्यक्त नहीं किया जा सकता है, अर्थात यह इस लेख के 16वीं शताब्दी के अर्थ में एक कैसस अपरिवर्तनीयता है। इसके अतिरिक्त, यदि बहुपद की डिग्री 2 की घात है और सभी मूल वास्तविक हैं, तो यदि कोई मूल है, जिसे वास्तविक मूलांक में व्यक्त किया जा सकता है। तब इसे वर्गमूल के रूप में व्यक्त किया जा सकता है। तथा उच्च-स्तरीय मूलों के रूप में नहीं, जैसा कि हो सकता है अन्य मूल और इसलिए मूल प्रतिष्ठित रूप से रचनात्मक हो सकते हैं।

डमिट द्वारा पंचक फलन बहुपदों के लिए कैसस अपरिवर्तनीयता पर चर्चा की गई है।[10]: 17 

कोण पेंटासेक्शन (पंचक) और उच्चतर से संबंध

पांच वास्तविक मूलो के साथ लघुकरणीय और अलघुकरणीय घन स्थितियों के बीच का अंतर इस परिणाम से संबंधित है कि क्या तर्कसंगत कोसाइन या तर्कसंगत साइन के साथ एक कोण पंच समुदाय है। पांच बराबर भागों में विभाजित होने में सक्षम दिशा सूचक और अचिह्नित के प्रतिष्ठित माध्यमों द्वारा सीधे बढ़त किसी भी कोण θ के लिए, इस कोण के पांचवें भाग में कोसाइन होता है, जो समीकरण के पांच वास्तविक मूलों में से एक होता है

वैसे ही, θ/5 में एक ज्या है, जो समीकरण के पाँच वास्तविक मूलों में से एक है।

किसी भी स्थिति में, यदि परिमेय मूल परीक्षण एक परिमेय मूल x1 देता है, तो पेंटासेक्शन कम हो जाता है, क्योंकि इसे गुणक (x-x1) गुणा चतुर्थक बहुपद के रूप में लिखा जा सकता है। लेकिन यदि परीक्षण से पता चलता है कि कोई परिमेय मूल नहीं है, तो बहुपद अलघुकरणीय हो सकता है, जिस स्थिति में कैसस अपरिवर्तनीयता लागू होता है, cos(θ5) तथा sin(θ5) रचनात्मक नहीं हैं, कोण θ5 नहीं है। रचनात्मक और कोण θ प्रतिष्ठित रूप से पेंटेसेक्टिबल नहीं है। इसका एक उदाहरण है कि जब कोई दिशा सूचक और सीधे किनारे के साथ 25-गॉन (आइकोसिपेंटागन) बनाने का प्रयास करता है। जबकि एक पंचभुज का निर्माण करना अपेक्षाकृत आसान होता है। तथा एक 25-गॉन को कोण पंचक्षेत्रक की आवश्यकता होती है, क्योंकि cos(14.4°) के लिए न्यूनतम बहुपद की डिग्री 10 होती है।

इस प्रकार,


टिप्पणियाँ

  1. Wantzel, Pierre (1843), "Classification des nombres incommensurables d'origine algébrique" (PDF), Nouvelles Annales de Mathématiques (in french), 2: 117–127{{citation}}: CS1 maint: unrecognized language (link)
  2. Cox (2012), Theorem 1.3.1, p. 15.
  3. is closely related to the Vandermonde polynomial.
  4. The polynomial with discriminant D = –31 < 0 is easily seen to be irreducible, because according the rational root theorem it would have to have roots which it does not have.
  5. James Pierpont in Annals of Mathematics 1900-1901 on p. 42: „To Cardan and his contemporaries who had no idea how such cube roots could be found this case was highly paradoxical. Since that time mathematicians have attempted to present these real roots as sums of real radicals. As their efforts were unsuccessful, the case when D > 0 was known as the casus irreducibilis.“
    Artur Ekert Complex and unpredictable Cardano takes Cardano’s example having and writes on p. 9: „Cardano knew that was one of the solutions and yet it was a casus irreducibilis“. This shows that in the 16th century „irreducibilis“ must have meant something like „not reducible to real radicals“.
    On the other hand, Cardano’s example may be used to show how real roots can arise from cube roots of non-real numbers:
    We have ,
    which yields       ,
    from which         .
    In the 16th century it was difficult („verè sophistica“) to find that
           
    and         ,
    so that
        .
    This means in detail:
    1st root
       
        ,
    2nd root
       
        ,
    3rd root
       
        .

    It may be noticed that is not the discriminant ; it is with the sign inverted. Interestingly occurs in Cardano’s formula (as well as the primitive 3rd roots of unity with their ), although and not is necessarily an element of the splitting field.

  6. B.L. van der Waerden, Modern Algebra (translated from German by Fred Blum), Frederick Ungar Publ. Co., 1949, p. 180.
  7. Cox (2012), Section 1.3B Trigonometric Solution of the Cubic, pp. 18–19.
  8. Cox (2012), Theorem 8.6.5, p. 222.
  9. I. M. Isaacs, "Solution of polynomials by real radicals", American Mathematical Monthly 92 (8), October 1985, 571–575,
  10. David S. Dummit Solving Solvable Quintics


संदर्भ


बाहरी संबंध