चतुर्घाती फलन: Difference between revisions

From Vigyanwiki
(TEXT EDIT)
No edit summary
 
(22 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{short description|Polynomial function of degree four}}
{{short description|Polynomial function of degree four}}


{{about|the univariate case|the bivariate case|Quartic plane curve}}
[[File:Polynomialdeg4.svg|thumb|right|233px|घात 4 के एक बहुपद का ग्राफ, जिसमें 3 [[महत्वपूर्ण बिंदु (गणित)]] और बहुपद के चार [[वास्तविक संख्या]] मूल (x अक्ष के क्रॉसिंग) (और इस प्रकार कोई [[जटिल संख्या]] मूल नहीं है)। यदि स्थानीय [[न्यूनतम]] में से एक या अन्य एक्स अक्ष के ऊपर थे, या यदि स्थानीय अधिकतम इसके नीचे थे, या यदि कोई स्थानीय अधिकतम नहीं था और एक्स अक्ष के नीचे एक न्यूनतम था, तो केवल दो वास्तविक मूल होंगी (और दो जटिल मूल)। यदि सभी तीन स्थानीय एक्स्ट्रेमा एक्स अक्ष के ऊपर थे, या यदि एक्स अक्ष के ऊपर कोई स्थानीय अधिकतम और एक न्यूनतम नहीं था, तो कोई वास्तविक मूल (और चार जटिल मूल ) नहीं होगी। नकारात्मक चतुर्घाती गुणांक वाले बहुपद के विपरीत यही तर्क लागू होता है।]][[बीजगणित]] में, एक '''चतुर्घाती फलन''' निम्नलिखित प्रकार का फलन होता है-
{{redirect|Biquadratic function|the use in computer science|Biquadratic rational function}}
[[File:Polynomialdeg4.svg|thumb|right|233px|डिग्री 4 के एक बहुपद का ग्राफ, जिसमें 3 [[महत्वपूर्ण बिंदु (गणित)]] और बहुपद के चार [[वास्तविक संख्या]] मूल (x अक्ष के क्रॉसिंग) (और इस प्रकार कोई [[जटिल संख्या]] जड़ नहीं है)। यदि स्थानीय [[न्यूनतम]] में से एक या अन्य एक्स अक्ष के ऊपर थे, या यदि स्थानीय अधिकतम इसके नीचे थे, या यदि कोई स्थानीय अधिकतम नहीं था और एक्स अक्ष के नीचे एक न्यूनतम था, तो केवल दो वास्तविक जड़ें होंगी (और दो जटिल जड़ें)। यदि सभी तीन स्थानीय एक्स्ट्रेमा एक्स अक्ष के ऊपर थे, या यदि एक्स अक्ष के ऊपर कोई स्थानीय अधिकतम और एक न्यूनतम नहीं था, तो कोई वास्तविक जड़ (और चार जटिल जड़ें) नहीं होगी। नकारात्मक क्वार्टिक गुणांक वाले बहुपद के विपरीत यही तर्क लागू होता है।]][[बीजगणित]] में, एक चतुर्घाती फलन निम्नलिखित प्रकार का फलन होता है-
:<math>f(x)=ax^4+bx^3+cx^2+dx+e,</math>
:<math>f(x)=ax^4+bx^3+cx^2+dx+e,</math>
जहाँ a अशून्य है, जिसे चतुर्थ घात के बहुपद द्वारा परिभाषित किया जाता है, जिसे चतुर्घाती बहुपद कहा जाता है।
जहाँ a अशून्य है, जिसे चतुर्थ घात के बहुपद द्वारा परिभाषित किया जाता है, जिसे चतुर्घाती बहुपद कहा जाता है।
Line 16: Line 14:
कभी-कभी चतुर्घाती के बजाय द्विवर्गीय शब्द का उपयोग किया जाता है, लेकिन आमतौर पर द्विवर्गीय फ़लन एक वर्ग के द्विघात फ़लन को संदर्भित करता है (या समतुल्य, विषम घात की शर्तों के बिना चतुर्घाती बहुपद द्वारा परिभाषित फ़लन के लिए), निम्नलिखित रूप में -
कभी-कभी चतुर्घाती के बजाय द्विवर्गीय शब्द का उपयोग किया जाता है, लेकिन आमतौर पर द्विवर्गीय फ़लन एक वर्ग के द्विघात फ़लन को संदर्भित करता है (या समतुल्य, विषम घात की शर्तों के बिना चतुर्घाती बहुपद द्वारा परिभाषित फ़लन के लिए), निम्नलिखित रूप में -
:<math>f(x)=ax^4+cx^2+e.</math>
:<math>f(x)=ax^4+cx^2+e.</math>
चूँकि एक चतुर्थांश फलन को सम कोटि के बहुपद द्वारा परिभाषित किया जाता है, जब तर्क धनात्मक या ऋणात्मक अनन्तता में जाता है तो इसकी समान अनंत सीमा होती है। यदि a धनात्मक है, तो फलन दोनों सिरों पर धनात्मक अनंत तक बढ़ जाता है, और इस प्रकार फलन में उच्चिष्ट और निम्निष्ट है। इसी तरह, यदि a ऋणात्मक है तो यह ऋणात्मक अनंत तक घटता है और वैश्विक अधिकतम होता है। दोनों ही मामलों में इसमें एक और स्थानीय अधिकतम और दूसरा स्थानीय न्यूनतम हो सकता है या नहीं भी हो सकता है।
चूँकि एक चतुर्घाती फलन को सम कोटि के बहुपद द्वारा परिभाषित किया जाता है, जब तर्क धनात्मक या ऋणात्मक अनन्तता में जाता है तो इसकी समान अनंत सीमा होती है। यदि a धनात्मक है, तो फलन दोनों सिरों पर धनात्मक अनंत तक बढ़ जाता है, और इस प्रकार फलन निम्निष्ट है। इसी तरह, यदि a ऋणात्मक है तो यह ऋणात्मक अनंत तक घटता है और अधिकतम होता है। दोनों ही मामलों में इसमें एक अधिकतम और दूसरा न्यूनतम हो सकता है या नहीं भी हो सकता है।


एबेल-रफ़िनी प्रमेय के अनुसार, चतुर्थ घात (चतुर्घाती स्थिति) उच्चतम घात है जैसे कि हर बहुपद समीकरण को रेडिकल ( √ प्रतीक जिसका उपयोग वर्गमूल या nवें मूल को दर्शाने के लिए किया जाता है) द्वारा हल किया जा सकता है।
एबेल-रफ़िनी प्रमेय के अनुसार, चतुर्थ घात (चतुर्घाती स्थिति) उच्चतम घात है जैसे कि हर बहुपद समीकरण को रेडिकल (√ प्रतीक जिसका उपयोग वर्गमूल या n वें मूल को दर्शाने के लिए किया जाता है) द्वारा हल किया जा सकता है।


== इतिहास ==
== इतिहास ==
[[लोदोविको फेरारी]] को 1540 में चतुर्घात के समाधान की खोज का श्रेय दिया जाता है, लेकिन चूंकि यह समाधान चतुर्घात के सभी बीजगणितीय समाधानों की तरह, एक घन समीकरण के समाधान की आवश्यकता होती है, इसे तुरंत प्रकाशित नहीं किया जा सका।<ref>{{MacTutor|id=Ferrari|title=Lodovico Ferrari}}</ref> चतुर्घात का समाधान फेरारी के सलाहकार [[जेरोम कार्डानो]] द्वारा अर्स मैग्ना (गेरोलमो कार्डानो) पुस्तक में घन के साथ प्रकाशित किया गया था।<ref>{{Citation | last = Cardano | first = Gerolamo | author-link = Gerolamo Cardano | year = 1993 | orig-year = 1545 | title = Ars magna or The Rules of Algebra | publisher = Dover | isbn = 0-486-67811-3 | url-access = registration | url = https://archive.org/details/arsmagnaorruleso0000card }}</ref>   
[[लोदोविको फेरारी]] को 1540 में चतुर्घात के हल की खोज का श्रेय दिया जाता है, लेकिन चूंकि इस चतुर्घात के सभी बीजगणितीय हल की तरह, एक घन समीकरण के समाधान की आवश्यकता होती है, इसे तुरंत प्रकाशित नहीं किया जा सका।<ref>{{MacTutor|id=Ferrari|title=Lodovico Ferrari}}</ref> चतुर्घात का हल फेरारी के सलाहकार [[जेरोम कार्डानो]] द्वारा अर्स मैग्ना (गेरोलमो कार्डानो) पुस्तक में घन के हल के साथ प्रकाशित किया गया था।<ref>{{Citation | last = Cardano | first = Gerolamo | author-link = Gerolamo Cardano | year = 1993 | orig-year = 1545 | title = Ars magna or The Rules of Algebra | publisher = Dover | isbn = 0-486-67811-3 | url-access = registration | url = https://archive.org/details/arsmagnaorruleso0000card }}</ref>   


सोवियत इतिहासकार आई.वाई. डेपमैन  ने दावा किया कि इससे पहले भी, 1486 में स्पेनिश गणितज्ञ वाल्म्स को चतुर्घाती समीकरण को हल करने का दावा करने के लिए दांव पर जला दिया गया था।<ref>{{citation|last=Depman|title=Rasskazy o matematike|publisher=Gosdetizdat|year=1954|place=Leningrad|language=ru}}</ref> जांचकर्ता जनरल टॉमस डी टोरक्वेमाडा ने कथित तौर पर वाल्म्स को बताया कि यह ईश्वर की इच्छा थी कि ऐसा समाधान मानव समझ के लिए दुर्गम हो।<ref>{{cite book |author=P. Beckmann |title=π का इतिहास|publisher=Macmillan |year=1971 |page=80 |isbn=9780312381851 |url=https://books.google.com/books?id=TB6jzz3ZDTEC&pg=PA80}}</ref> हालाँकि, पश्चिम में डेपमैन की इस कहानी को लोकप्रिय बनाने वाले [[पेट्र बेकमैन]] ने कहा कि यह अविश्वसनीय था और संकेत दिया कि इसका आविष्कार सोवियत विरोधी धार्मिक प्रचार के रूप में किया गया हो सकता है।<ref>{{cite book |author=P. Beckmann |title=π का इतिहास|publisher=Macmillan |year=1971 |page=191 |isbn=9780312381851 |url=https://books.google.com/books?id=TB6jzz3ZDTEC&pg=PA80}}</ref> इस कहानी के बेकमैन के संस्करण को कई किताबों और इंटरनेट साइटों में व्यापक रूप से कॉपी किया गया है, आमतौर पर उनके आरक्षण के बिना और कभी-कभी काल्पनिक अलंकरणों के साथ। इस कहानी के लिए, या यहां तक ​​कि वाल्म्स के अस्तित्व के लिए पुष्टि करने वाले सबूत खोजने के कई प्रयास विफल रहे हैं।<ref>{{cite journal|author=P. Zoll | title=संपादक को पत्र|journal=American Mathematical Monthly |volume=96 |issue=8 |year=1989 |pages=709–710 |jstor=2324719}}</ref>
सोवियत इतिहासकार आई.वाई. डेपमैन  ने दावा किया कि इससे पहले भी, 1486 में स्पेनिश गणितज्ञ वाल्म्स को चतुर्घाती समीकरण को हल करने का दावा करने के लिए सब दांव पर लगा दिया था।<ref>{{citation|last=Depman|title=Rasskazy o matematike|publisher=Gosdetizdat|year=1954|place=Leningrad|language=ru}}</ref> जांचकर्ता जनरल टॉमस डी टोरक्वेमाडा ने कथित तौर पर वाल्म्स को बताया कि यह ईश्वर की इच्छा थी कि ऐसा हल मानव समझ के लिए दुर्गम हो।<ref>{{cite book |author=P. Beckmann |title=π का इतिहास|publisher=Macmillan |year=1971 |page=80 |isbn=9780312381851 |url=https://books.google.com/books?id=TB6jzz3ZDTEC&pg=PA80}}</ref> हालाँकि, पश्चिम में डेपमैन की इस कहानी को लोकप्रिय बनाने वाले [[पेट्र बेकमैन]] ने कहा कि यह अविश्वसनीय था और संकेत दिया कि इसका आविष्कार सोवियत विरोधी धार्मिक प्रचार के रूप में किया गया हो सकता है।<ref>{{cite book |author=P. Beckmann |title=π का इतिहास|publisher=Macmillan |year=1971 |page=191 |isbn=9780312381851 |url=https://books.google.com/books?id=TB6jzz3ZDTEC&pg=PA80}}</ref> इस कहानी के बेकमैन के संस्करण को कई किताबों और इंटरनेट साइटों में व्यापक रूप से कॉपी किया गया है, आमतौर पर उनके आरक्षण के बिना और कभी-कभी काल्पनिक अलंकरणों के साथ। इस कहानी के लिए, या यहां तक ​​कि वाल्म्स के अस्तित्व के लिए पुष्टि करने वाले सबूत खोजने के कई प्रयास विफल रहे हैं।<ref>{{cite journal|author=P. Zoll | title=संपादक को पत्र|journal=American Mathematical Monthly |volume=96 |issue=8 |year=1989 |pages=709–710 |jstor=2324719}}</ref>


चार एक सामान्य बहुपद की उच्चतम डिग्री है जिसके लिए इस तरह के समाधान खोजे जा सकते हैं, जिसका सबूत है कि पहली बार 1824 में एबेल-रफिनी प्रमेय में दिया गया था, यह साबित करते हुए कि उच्च क्रम बहुपदों को हल करने के सभी प्रयास व्यर्थ होंगे। 1832 में एक द्वंद्वयुद्ध में मरने से पहले एवरिस्ट गैलोइस द्वारा छोड़े गए लेखों ने बाद में बहुपदों के मूलो के एक पूर्ण सिद्धांत का नेतृत्व किया, जिसमें से यह प्रमेय एक परिणाम था।<ref>Stewart, Ian, ''Galois Theory, Third Edition'' (Chapman & Hall/CRC Mathematics, 2004)</ref>
चार एक सामान्य बहुपद की उच्चतम डिग्री है जिसके लिए इस तरह के हल खोजे जा सकते हैं, जिसका सबूत है कि पहली बार 1824 में एबेल-रफिनी प्रमेय में दिया गया था, यह साबित करते हुए कि उच्च क्रम बहुपदों को हल करने के सभी प्रयास व्यर्थ होंगे। 1832 में एक द्वंद्वयुद्ध में मरने से पहले एवरिस्ट गैलोइस द्वारा छोड़े गए लेखों ने बाद में बहुपदों के मूलो के एक पूर्ण सिद्धांत का नेतृत्व किया, जिसमें से यह प्रमेय एक परिणाम था।<ref>Stewart, Ian, ''Galois Theory, Third Edition'' (Chapman & Hall/CRC Mathematics, 2004)</ref>


== अनुप्रयोग ==
== अनुप्रयोग ==
दो शंकु वर्गों के प्रतिच्छेदन बिंदुओं का प्रत्येक निर्देशांक एक चतुर्थांश समीकरण का एक समाधान है। एक रेखा और एक [[टोरस्र्स]] के प्रतिच्छेदन के लिए भी यही सच है। यह इस प्रकार है कि चतुर्घात समीकरण अक्सर [[कम्प्यूटेशनल ज्यामिति|अभिकलनी ज्यामिति]] और अभिकलित्र आलेखिकी, [[कंप्यूटर एडेड डिजाइन]](अभिकलित्र सहाय अभिकल्पना), कम्प्यूटर सहायित विनिर्माण और [[प्रकाशिकी]] जैसे सभी संबंधित क्षेत्रों में उत्पन्न होते हैं। यहां अन्य ज्यामितीय समस्याओं के उदाहरण दिए गए हैं जिनके समाधान में चतुर्घात समीकरण को हल करना शामिल है।
दो शंकु वर्गों के प्रतिच्छेदन बिंदुओं का प्रत्येक निर्देशांक एक चतुर्घाती समीकरण का एक हल है। एक रेखा और एक [[टोरस्र्स]] के प्रतिच्छेदन के लिए भी यही सच है। यह इस प्रकार है कि चतुर्घात समीकरण अक्सर [[कम्प्यूटेशनल ज्यामिति|अभिकलनी ज्यामिति]] और अभिकलित्र आलेखिकी, [[कंप्यूटर एडेड डिजाइन]](अभिकलित्र सहाय अभिकल्पना), कम्प्यूटर सहायित विनिर्माण और [[प्रकाशिकी]] जैसे सभी संबंधित क्षेत्रों में उत्पन्न होते हैं। यहां अन्य ज्यामितीय समस्याओं के उदाहरण दिए गए हैं जिनके समाधान में चतुर्घात समीकरण को हल करना शामिल है।


[[कंप्यूटर सहायतायुक्त विनिर्माण]] में, टोरस एक ऐसा आकार है जो आमतौर पर एंडमिल कर्तक से जुड़ा होता है। त्रिकोणीय सतह के सापेक्ष इसके स्थान की गणना करने के लिए,z- अक्ष पर एक क्षैतिज टोरस की स्थिति को पाया जाना चाहिए जहां यह एक निश्चित रेखा पर स्पर्शरेखा है, और इसकी गणना करने के लिए एक सामान्य चतुर्घाती समीकरण के समाधान की आवश्यकता होती है।<ref>{{Cite web|url=http://people.math.gatech.edu/~etnyre/class/4441Fall16/ShifrinDiffGeo.pdf|title=डिफरेंशियल ज्योमेट्री: ए फर्स्ट कोर्स इन कर्व्स एंड सरफेस, पी। 36|website=math.gatech.edu}}</ref>
[[कंप्यूटर सहायतायुक्त विनिर्माण]] में, टोरस एक ऐसा आकार है जो आमतौर पर एंडमिल कटर से जुड़ा होता है। त्रिकोणीय सतह के सापेक्ष इसके स्थान की गणना करने के लिए, z- अक्ष पर एक क्षैतिज टोरस की स्थिति का पता लगाया जाना चाहिए। जहां यह एक निश्चित रेखा पर स्पर्शरेखा है, और इसकी गणना करने के लिए एक सामान्य चतुर्घाती समीकरण के हल की आवश्यकता होती है।<ref>{{Cite web|url=http://people.math.gatech.edu/~etnyre/class/4441Fall16/ShifrinDiffGeo.pdf|title=डिफरेंशियल ज्योमेट्री: ए फर्स्ट कोर्स इन कर्व्स एंड सरफेस, पी। 36|website=math.gatech.edu}}</ref>


क्रास्ड लैडर समस्या को हल करने की प्रक्रिया में एक चतुर्घाती समीकरण भी उत्पन्न होता है, जिसमें दो क्रास्ड लैडर की लंबाई, प्रत्येक एक दीवार के खिलाफ और दूसरी के खिलाफ झुकी हुई होती है, उस ऊंचाई के साथ दी जाती है जिस पर वे पार करते हैं, और दीवारों के बीच की दूरी पता करनी हैं।<ref>{{Cite web|last=Weisstein|first=Eric W.|title=पार सीढ़ी समस्या|url=https://mathworld.wolfram.com/CrossedLaddersProblem.html|access-date=2020-07-27|website=mathworld.wolfram.com|language=en}}</ref>   
क्रास्ड लैडर समस्या को हल करने की प्रक्रिया में एक चतुर्घाती समीकरण भी उत्पन्न होता है, जिसमें दो क्रास्ड लैडर की लंबाई, प्रत्येक एक दीवार के खिलाफ और दूसरी के खिलाफ झुकी हुई होती है, उस ऊंचाई के साथ दी जाती है जिस पर वे पार करते हैं, और दीवारों के बीच की दूरी पता लगानी हैं।<ref>{{Cite web|last=Weisstein|first=Eric W.|title=पार सीढ़ी समस्या|url=https://mathworld.wolfram.com/CrossedLaddersProblem.html|access-date=2020-07-27|website=mathworld.wolfram.com|language=en}}</ref>   


प्रकाशिकी में, अलहज़ेन की समस्या इस प्रकार है कि एक प्रकाश स्रोत और एक गोलाकार दर्पण को देखते हुए, दर्पण पर उस बिंदु का पता लगाएं जहां प्रकाश एक पर्यवेक्षक की आंख पर प्रतिबिंबित होगा। यह एक चतुर्थक समीकरण का नेतृत्व करता है।<ref name="MacTutor">{{MacTutor|id=Al-Haytham|title=Abu Ali al-Hasan ibn al-Haytham}}</ref><ref>{{citation|title=Scientific Method, Statistical Method and the Speed of Light|first1=R. J.|last1=MacKay|first2=R. W.|last2=Oldford|journal=Statistical Science|volume=15|issue=3|date=August 2000|pages=254–78|doi=10.1214/ss/1009212817|mr=1847825|doi-access=free}}</ref><ref name="Weiss">{{Citation|last = Neumann|first = Peter M.|author-link = Peter M. Neumann|journal = [[American Mathematical Monthly]]|title = Reflections on Reflection in a Spherical Mirror|year = 1998|volume = 105|issue = 6|pages = 523–528|doi = 10.2307/2589403|jstor = 2589403}}</ref>   
प्रकाशिकी में, अलहज़ेन की समस्या इस प्रकार है कि एक प्रकाश स्रोत और एक गोलाकार दर्पण को देखते हुए, दर्पण पर उस बिंदु का पता लगाएं जहां प्रकाश एक पर्यवेक्षक की आंख पर प्रतिबिंबित होगा। यह एक चतुर्थक समीकरण का नेतृत्व करता है।<ref name="MacTutor">{{MacTutor|id=Al-Haytham|title=Abu Ali al-Hasan ibn al-Haytham}}</ref><ref>{{citation|title=Scientific Method, Statistical Method and the Speed of Light|first1=R. J.|last1=MacKay|first2=R. W.|last2=Oldford|journal=Statistical Science|volume=15|issue=3|date=August 2000|pages=254–78|doi=10.1214/ss/1009212817|mr=1847825|doi-access=free}}</ref><ref name="Weiss">{{Citation|last = Neumann|first = Peter M.|author-link = Peter M. Neumann|journal = [[American Mathematical Monthly]]|title = Reflections on Reflection in a Spherical Mirror|year = 1998|volume = 105|issue = 6|pages = 523–528|doi = 10.2307/2589403|jstor = 2589403}}</ref>   


दो दीर्घवृत्त के निकटतम उपगमन की दूरी का पता लगाने में एक चतुर्थांश समीकरण को हल करना शामिल है।
दो दीर्घवृत्त के निकटतम उपगमन की दूरी का पता लगाने में एक चतुर्घात समीकरण को हल करना शामिल है।


एक 4×4 [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] के [[Index.php?title=अभिलाक्षणिक मान|अभिलाक्षणिक मान]] ​​एक चतुर्घाती बहुपद के मूल हैं जो आव्यूह की [[विशेषता बहुपद|विशिष्ट बहुपद]] है।
एक 4×4 [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] के [[Index.php?title=अभिलाक्षणिक मान|इगेन मान]] ​​एक चतुर्घाती बहुपद के मूल हैं जो आव्यूह के [[विशेषता बहुपद|विशिष्ट बहुपद]] है।


चौथे क्रम के रैखिक [[अंतर समीकरण]] या अवकल समीकरण का अभिलाक्षणिक समीकरण एक चतुर्थांश समीकरण है। बीम बेंडिंग के टिमोचेंको-रेले सिद्धांत में एक उदाहरण सामने आता है।<ref>{{Cite book|last=Shabana|first=A. A.|url=https://books.google.com/books?id=G2UyBTji18oC&q=Timoshenko-Rayleigh+theory&pg=PA2|title=कंपन का सिद्धांत: एक परिचय|date=1995-12-08|publisher=Springer Science & Business Media|isbn=978-0-387-94524-8|language=en}}</ref>   
चौथे क्रम के रैखिक [[अंतर समीकरण]] या अवकल समीकरण का अभिलाक्षणिक समीकरण एक चतुर्घात समीकरण है। किरणपुंज वंकन के टिमोचेंको-रेले सिद्धांत में इसका एक उदाहरण सामने आता है।<ref>{{Cite book|last=Shabana|first=A. A.|url=https://books.google.com/books?id=G2UyBTji18oC&q=Timoshenko-Rayleigh+theory&pg=PA2|title=कंपन का सिद्धांत: एक परिचय|date=1995-12-08|publisher=Springer Science & Business Media|isbn=978-0-387-94524-8|language=en}}</ref>   


क्वार्टिक समीकरणों का उपयोग करके गोलाकार, सिलेंडर या अन्य चतुष्कोणों के बीच [[चौराहा (यूक्लिडियन ज्यामिति)|प्रतिच्छेदन (यूक्लिडियन ज्यामिति)]] पाए जा सकते है।
चतुर्घाती समीकरणों का उपयोग करके गोलाकार, सिलेंडर या अन्य चतुष्कोणों के  [[चौराहा (यूक्लिडियन ज्यामिति)|प्रतिच्छेदन (यूक्लिडियन ज्यामिति)]] प्राप्त किये जा सकते है।


== विभक्ति बिंदु और स्वर्ण अनुपात ==
== नतिपरिवर्तन बिंदु और स्वर्ण अनुपात ==
यहां {{mvar|F}} तथा {{mvar|G}} को चतुर्घाती फलन के ग्राफ के अलग-अलग नतिपरिवर्तन बिंदु होने दें और {{mvar|H}} छेदक रेखा {{mvar|FG}} और चतुर्थ घात का प्रतिच्छेदन हो, जो {{mvar|G}}  के करीब हो {{mvar|F}}  कि तुलना में, फिर {{mvar|G}} ''FH''  को स्वर्ण अनुपात में विभाजित करता हैं :<ref>{{Citation|last = Aude|first = H. T. R.|journal = [[American Mathematical Monthly]]|year = 1949|issue = 3|volume = 56|title = Notes on Quartic Curves|jstor = 2305030|doi = 10.2307/2305030|pages=165–170}}</ref>
यहां {{mvar|F}} तथा {{mvar|G}} को चतुर्घाती फलन के ग्राफ के अलग-अलग नतिपरिवर्तन बिंदु होने दें और {{mvar|H}}, विभक्ति छेदक रेखा {{mvar|FG}} और चतुर्घाती का प्रतिच्छेदन हो, जो {{mvar|G}}  के करीब हो {{mvar|F}}  कि तुलना में, फिर {{mvar|G}} ''FH''  को स्वर्ण अनुपात में विभाजित करता हैं :<ref>{{Citation|last = Aude|first = H. T. R.|journal = [[American Mathematical Monthly]]|year = 1949|issue = 3|volume = 56|title = Notes on Quartic Curves|jstor = 2305030|doi = 10.2307/2305030|pages=165–170}}</ref>
:<math>\frac{FG}{GH}=\frac{1+\sqrt{5}}{2}= \varphi \; (\text{स्वर्ण अनुपात}).</math>
:<math>\frac{FG}{GH}=\frac{1+\sqrt{5}}{2}= \varphi \; (\text{स्वर्ण अनुपात}).</math>
इसके अलावा छेदक रेखा और छेदक रेखा के नीचे चतुर्थांश के बीच के क्षेत्र का क्षेत्रफल छेदक रेखा के ऊपर के क्षेत्र और छेदक रेखा के ऊपर चतुर्थक के बीच के क्षेत्र के बराबर होता है। उन क्षेत्रों में से एक को समान क्षेत्र के उप-क्षेत्रों में विभाजित किया गया है।
इसके अलावा छेदक रेखा और छेदक रेखा के नीचे चतुर्घाती के बीच के क्षेत्र का क्षेत्रफल छेदक रेखा के ऊपर के क्षेत्र और छेदक रेखा के ऊपर चतुर्घाती के बीच के क्षेत्र के बराबर होता है। उन क्षेत्रों में से एक को समान क्षेत्र के उप-क्षेत्रों में विभाजित किया गया है।


== समाधान ==
== हल ==


===मूलो की प्रकृति===
===मूलो की प्रकृति===
सामान्य चतुर्थक समीकरण दिया गया है
सामान्य चतुर्घाती समीकरण दिया गया है-
:<math>ax^4 + bx^3 + cx^2 + dx + e = 0</math>
:<math>ax^4 + bx^3 + cx^2 + dx + e = 0</math>
वास्तविक गुणांक और {{math|''a'' ≠ 0}} के साथ इसके मूलो की प्रकृति मुख्य रूप से इसके विवेचक के चिन्ह से निर्धारित होती है
वास्तविक गुणांक और {{math|''a'' ≠ 0}} के साथ इसके मूलो की प्रकृति मुख्य रूप से इसके विवेचक के चिन्ह से निर्धारित होती है
Line 63: Line 61:
ऐसा है कि {{math|{{sfrac|''P''|8''a''<sup>2</sup>}}}} संबंधित अवनत चतुर्थ घात का दूसरा कोटि का गुणांक है (नीचे देखें );
ऐसा है कि {{math|{{sfrac|''P''|8''a''<sup>2</sup>}}}} संबंधित अवनत चतुर्थ घात का दूसरा कोटि का गुणांक है (नीचे देखें );
:<math>R= b^3+8da^2-4abc,</math>
:<math>R= b^3+8da^2-4abc,</math>
ऐसा है कि {{math|{{sfrac|''R''|8''a''<sup>3</sup>}}}} संबंधित अवनत चतुर्थ घात का पहला कोटि गुणांक है;
ऐसा है कि {{math|{{sfrac|''R''|8''a''<sup>3</sup>}}}} संबंधित अवनत चतुर्थ घात का पहला कोटि का गुणांक है;
:<math>\Delta_0 = c^2 - 3bd + 12ae,</math>
:<math>\Delta_0 = c^2 - 3bd + 12ae,</math>
जो 0 है यदि चतुर्थ घात के तिहरे मूल है; तथा
जो कि 0 है यदि चतुर्थ घात के तिहरे मूल है; तथा
:<math>D = 64 a^3 e - 16 a^2 c^2 + 16 a b^2 c - 16 a^2 bd - 3 b^4</math>
:<math>D = 64 a^3 e - 16 a^2 c^2 + 16 a b^2 c - 16 a^2 bd - 3 b^4</math>
जो कि 0 है यदि क्वार्टिक के दो दोहरे मूल हैं।
जो कि 0 है यदि क्वार्टिक के दो दोहरे मूल हैं।
Line 74: Line 72:
** यदि {{mvar|P}} < 0 और {{mvar|D}} < 0 तो चारों मूल वास्तविक और भिन्न हैं।
** यदि {{mvar|P}} < 0 और {{mvar|D}} < 0 तो चारों मूल वास्तविक और भिन्न हैं।
** यदि {{mvar|P}} > 0 या {{mvar|D}} > 0 तो गैर-वास्तविक सम्मिश्र संयुग्मी मूलो के दो जोड़े हैं।<ref>{{Cite journal | last1 = Lazard | first1 = D. | doi = 10.1016/S0747-7171(88)80015-4 | title = क्वांटिफायर एलिमिनेशन: दो शास्त्रीय उदाहरणों के लिए इष्टतम समाधान| journal = Journal of Symbolic Computation | volume = 5 | pages = 261–266 | year = 1988 | issue = 1–2 | doi-access = free }}</ref>
** यदि {{mvar|P}} > 0 या {{mvar|D}} > 0 तो गैर-वास्तविक सम्मिश्र संयुग्मी मूलो के दो जोड़े हैं।<ref>{{Cite journal | last1 = Lazard | first1 = D. | doi = 10.1016/S0747-7171(88)80015-4 | title = क्वांटिफायर एलिमिनेशन: दो शास्त्रीय उदाहरणों के लिए इष्टतम समाधान| journal = Journal of Symbolic Computation | volume = 5 | pages = 261–266 | year = 1988 | issue = 1–2 | doi-access = free }}</ref>
* यदि {{math|∆ {{=}} 0}} तब (और केवल तभी) बहुपद के [[बहुलता (गणित)|अनेक मूल (गणित)]] मूल होते है। यहां विभिन्न मामले हैं जो हो सकते हैं:
* यदि {{math|∆ {{=}} 0}} तब (और केवल तभी) बहुपद के [[बहुलता (गणित)|अनेक मूल (गणित)]] होते है। यहां विभिन्न मामले हैं जो हो सकते हैं:
** यदि {{mvar|P}} < 0 और {{mvar|D}} < 0 और {{math|∆<sub>0</sub> ≠ 0}}, एक वास्तविक दोहरे मूल और दो वास्तविक सरल मूल हैं।
** यदि {{mvar|P}} < 0 और {{mvar|D}} < 0 और {{math|∆<sub>0</sub> ≠ 0}}, एक वास्तविक दोहरे मूल और दो वास्तविक सरल मूल हैं।
** यदि {{mvar|D}} > 0 या ({{mvar|P}} > 0 और ({{mvar|D}} ≠ 0 या {{mvar|R}} ≠ 0)), एक वास्तविक दोहरे मूल और दो सम्मिश्र संयुग्मी मूल हैं।
** यदि {{mvar|D}} > 0 या ({{mvar|P}} > 0 और ({{mvar|D}} ≠ 0 या {{mvar|R}} ≠ 0)), एक वास्तविक दोहरे मूल और दो सम्मिश्र संयुग्मी मूल हैं।
** यदि {{math|∆<sub>0</sub> {{=}} 0}} तथा {{mvar|D}} ≠ 0, एक तिहरे मूल और एक साधारण रूट हैं, सभी वास्तविक हैं।
** यदि {{math|∆<sub>0</sub> {{=}} 0}} तथा {{mvar|D}} ≠ 0, एक तिहरे मूल और एक साधारण मूल हैं, सभी वास्तविक हैं।
** यदि {{mvar|D}} = 0, तब:
** यदि {{mvar|D}} = 0, तब:
***यदि {{mvar|P}} <0, दो वास्तविक दोहरे मूल हैं।
***यदि {{mvar|P}} <0, दो वास्तविक दोहरे मूल हैं।
Line 93: Line 91:
x_{3,4}\ &= -\frac{b}{4a} + S \pm \frac12\sqrt{-4S^2 - 2p - \frac{q}{S}}
x_{3,4}\ &= -\frac{b}{4a} + S \pm \frac12\sqrt{-4S^2 - 2p - \frac{q}{S}}
\end{align}</math>
\end{align}</math>
जहाँ पर {{mvar|p}} तथा {{mvar|q}} एक अवनत चतुर्घात में क्रमशः दूसरी और पहली घात के गुणांक हैं-
जहाँ पर {{mvar|p}} तथा {{mvar|q}} एक अवनत चतुर्घात में क्रमशः पहली और दूसरी घात के गुणांक हैं-
:<math>\begin{align}
:<math>\begin{align}
p &= \frac{8ac-3b^2}{8a^2}\\
p &= \frac{8ac-3b^2}{8a^2}\\
Line 104: Line 102:
Q &= \sqrt[3]{\frac{\Delta_1 + \sqrt{\Delta_1^2 - 4\Delta_0^3}}{2}}  
Q &= \sqrt[3]{\frac{\Delta_1 + \sqrt{\Delta_1^2 - 4\Delta_0^3}}{2}}  
\end{align}</math>
\end{align}</math>
(यदि {{math|''S'' {{=}} 0}} या {{math|''Q'' {{=}} 0}}, {{slink||Special cases of the formula}} नीचे देखें)
(यदि {{math|''S'' {{=}} 0}} या {{math|''Q'' {{=}} 0}}, {{slink||सूत्र के विशेष मामले}} नीचे देखें)


साथ
साथ
Line 112: Line 110:
\end{align}</math>
\end{align}</math>
तथा
तथा
:<math>\Delta_1^2-4\Delta_0^3 = - 27 \Delta\ ,</math> जहाँ पर <math>\Delta</math> पूर्वोक्त विवेचक है। ''Q'' के लिए घनमूल अभिव्यक्ति के लिए, जटिल विमान में तीन घनमूलों में से किसी का भी उपयोग किया जा सकता है, हालांकि यदि उनमें से एक वास्तविक है तो यह चुनने के लिए प्राकृतिक और सरलतम है। इन अंतिम चार पदों के गणितीय व्यंजक उनके घन फलन बीजगणितीय हल के समान हैं।
:<math>\Delta_1^2-4\Delta_0^3 = - 27 \Delta\ ,</math> जहाँ पर <math>\Delta</math> पूर्वोक्त विवेचक है। ''Q'' के लिए घनमूल अभिव्यक्ति के लिए, सम्मिश्र समतल में तीन घनमूलों में से किसी का भी उपयोग किया जा सकता है, हालांकि यदि उनमें से एक वास्तविक है तो यह चुनने के लिए प्राकृतिक और सरलतम है। इन अंतिम चार पदों के गणितीय व्यंजक उनके घन फलन बीजगणितीय हल के समान हैं।


====सूत्र की विशेष स्थितियाँ====
====सूत्र की विशेष स्थितियाँ====
Line 129: Line 127:
सामान्य चतुर्घाती पर विचार करें-
सामान्य चतुर्घाती पर विचार करें-
:<math>Q(x) = a_4x^4+a_3x^3+a_2x^2+a_1x+a_0.</math>
:<math>Q(x) = a_4x^4+a_3x^3+a_2x^2+a_1x+a_0.</math>
यह अलघुकरणीय बहुपद है यदि {{math|''Q''(''x'') {{=}} ''R''(''x'')×''S''(''x'')}}, जहाँ पर {{math|''R''(''x'')}} तथा {{math|''S''(''x'')}} तर्कसंगत संख्या गुणांक वाले गैर-निरंतर बहुपद हैं (या आमतौर पर एक ही [[क्षेत्र (गणित)]] में गुणांक के साथ गुणांक के रूप में) {{math|''Q''(''x'')}})। इस तरह का कारककरण दो रूपों में से एक होगा:
यह कम करने योग्य है यदि {{math|''Q''(''x'') {{=}} ''R''(''x'')×''S''(''x'')}}, जहाँ पर {{math|''R''(''x'')}} तथा {{math|''S''(''x'')}} तर्कसंगत संख्या गुणांक वाले गैर-निरंतर बहुपद हैं (या आमतौर पर एक ही [[क्षेत्र (गणित)]] में गुणांक के साथ गुणांक के रूप में) {{math|''Q''(''x'')}})। इस तरह का कारककरण दो रूपों में से एक होगा:


:<math>Q(x) = (x-x_1)(b_3x^3+b_2x^2+b_1x+b_0)</math>
:<math>Q(x) = (x-x_1)(b_3x^3+b_2x^2+b_1x+b_0)</math>
Line 168: Line 166:
बहुपद
बहुपद
: <math>P(x)=a_0x^4+a_1x^3+a_2x^2+a_1 m x+a_0 m^2</math>
: <math>P(x)=a_0x^4+a_1x^3+a_2x^2+a_1 m x+a_0 m^2</math>
लगभग व्युत्क्रम बहुपद#Palindromic बहुपद है, as {{math|''P''(''mx'') {{=}} {{sfrac|''x''<sup>4</sup>|''m''<sup>2</sup>}}''P''({{sfrac|''m''|''x''}})}} (यह मुरजबंध संबंधी है अगर {{math|''m'' {{=}} 1}}). चरों का परिवर्तन {{math|''z'' {{=}} ''x'' + {{sfrac|''m''|''x''}}}} में {{math|{{sfrac|''P''(''x'')|''x''<sup>2</sup>}} {{=}} 0}} [[द्विघात समीकरण]] उत्पन्न करता है  {{math|''a''<sub>0</sub>''z''<sup>2</sup> + ''a''<sub>1</sub>''z'' + ''a''<sub>2</sub> − 2''ma''<sub>0</sub> {{=}} 0}}. तब से {{math|''x''<sup>2</sup> − ''xz'' + ''m'' {{=}} 0}}, चतुर्थक समीकरण {{math|''P''(''x'') {{=}} 0}} [[द्विघात सूत्र]] का दो बार प्रयोग करके हल किया जा सकता है।
के रूप में लगभग मुरजबंध संबंधी है {{math|''P''(''mx'') {{=}} {{sfrac|''x''<sup>4</sup>|''m''<sup>2</sup>}}''P''({{sfrac|''m''|''x''}})}} (यह मुरजबंध संबंधी है अगर {{math|''m'' {{=}} 1}}) चरों में परिवर्तन {{math|''z'' {{=}} ''x'' + {{sfrac|''m''|''x''}}}} में {{math|{{sfrac|''P''(''x'')|''x''<sup>2</sup>}} {{=}} 0}} [[द्विघात समीकरण]] उत्पन्न करता है  {{math|''a''<sub>0</sub>''z''<sup>2</sup> + ''a''<sub>1</sub>''z'' + ''a''<sub>2</sub> − 2''ma''<sub>0</sub> {{=}} 0}} तब {{math|''x''<sup>2</sup> − ''xz'' + ''m'' {{=}} 0}}, चतुर्थक समीकरण {{math|''P''(''x'') {{=}} 0}} [[द्विघात सूत्र]] का दो बार प्रयोग करके हल किया जा सकता है।


=== समाधान के तरीके ===
=== समाधान के तरीके ===


==== एक अवनत चतुर्घात में परिवर्तित होना ====
==== एक अवनत चतुर्घात में परिवर्तित होना ====
उद्देश्यों को हल करने के लिए, चर के निम्नलिखित सरल परिवर्तन से आमतौर पर चतुर्घात को अवनत चतुर्घात में परिवर्तित करना बेहतर होता है। सभी सूत्र सरल हैं और कुछ विधियाँ केवल इस मामले में काम करती हैं। चर के विपरीत परिवर्तन द्वारा मूल चतुर्घात की जड़ों को अवनत चतुर्घात से आसानी से पुनर्प्राप्त किया जाता है।
समीकरणों को हल करने के लिए, चर में निम्नलिखित सरल परिवर्तन से आमतौर पर चतुर्घात को अवनत चतुर्घात में परिवर्तित करना बेहतर होता है। सभी सूत्र सरल हैं और कुछ विधियाँ केवल इस मामले में काम करती हैं। चर के विपरीत परिवर्तन द्वारा मूल चतुर्घात की मूलो को अवनत चतुर्घात से आसानी से पुनर्प्राप्त किया जाता है।


होने देना
माना कि,
:<math> a_4 x^4 + a_3 x^3 + a_2 x^2 + a_1 x + a_0 = 0 </math>
:<math> a_4 x^4 + a_3 x^3 + a_2 x^2 + a_1 x + a_0 = 0 </math>
सामान्य चतुर्घाती  समीकरण बनें जिसे हम हल करना चाहते हैं।
सामान्य चतुर्घाती  समीकरण बनें जिसे हम हल करना चाहते हैं।


द्वारा विभाजित करना {{math|''a''<sub>4</sub>}}, समतुल्य समीकरण प्रदान करता है {{math|''x''<sup>4</sup> + ''bx''<sup>3</sup> + ''cx''<sup>2</sup> + ''dx'' + ''e'' {{=}} 0}}, साथ {{math|''b'' {{=}} {{sfrac|''a''<sub>3</sub>|''a''<sub>4</sub>}}}}, {{math|''c'' {{=}} {{sfrac|''a''<sub>2</sub>|''a''<sub>4</sub>}}}}, {{math|''d'' {{=}} {{sfrac|''a''<sub>1</sub>|''a''<sub>4</sub>}}}}, तथा {{math|''e'' {{=}} {{sfrac|''a''<sub>0</sub>|''a''<sub>4</sub>}}}}.   
{{math|''a''<sub>4</sub>}} द्वारा विभाजित करने पर, समतुल्य समीकरण प्रदान करता है {{math|''x''<sup>4</sup> + ''bx''<sup>3</sup> + ''cx''<sup>2</sup> + ''dx'' + ''e'' {{=}} 0}}, साथ {{math|''b'' {{=}} {{sfrac|''a''<sub>3</sub>|''a''<sub>4</sub>}}}}, {{math|''c'' {{=}} {{sfrac|''a''<sub>2</sub>|''a''<sub>4</sub>}}}}, {{math|''d'' {{=}} {{sfrac|''a''<sub>1</sub>|''a''<sub>4</sub>}}}}, तथा {{math|''e'' {{=}} {{sfrac|''a''<sub>0</sub>|''a''<sub>4</sub>}}}}.   


स्थानापन्न {{math|''y'' − {{sfrac|''b''|4}}}} के लिये {{mvar|x}} शर्तों को फिर से समूहीकृत करने के बाद, समीकरण देता है {{math|''y''<sup>4</sup> + ''py''<sup>2</sup> + ''qy'' + ''r'' {{=}} 0}},     
स्थानापन्न {{math|''y'' − {{sfrac|''b''|4}}}} के लिये {{mvar|x}} शर्तों को फिर से समूहीकृत करने के बाद, समीकरण देता है {{math|''y''<sup>4</sup> + ''py''<sup>2</sup> + ''qy'' + ''r'' {{=}} 0}},     
Line 190: Line 188:
\end{align}
\end{align}
</math>
</math>
यदि {{math|''y''<sub>0</sub>}} इस अवनत चतुर्घात की जड़ है, फिर {{math|''y''<sub>0</sub> − {{sfrac|''b''|4}}}} (वह है {{math|''y''<sub>0</sub> − {{sfrac|''a''<sub>3</sub>|4''a''<sub>4</sub>}})}} मूल चतुर्घात की जड़ है और मूल चतुर्घात की हर मूल इस प्रक्रिया से प्राप्त की जा सकती है।
यदि {{math|''y''<sub>0</sub>}} इस अवनत चतुर्घात के मूल है, फिर {{math|''y''<sub>0</sub> − {{sfrac|''b''|4}}}} (वह है {{math|''y''<sub>0</sub> − {{sfrac|''a''<sub>3</sub>|4''a''<sub>4</sub>}})}} मूल चतुर्घात की मूल है और मूल चतुर्घात के सभी मूलो के परिणाम इस प्रक्रिया से प्राप्त किए जा सकते है।


==== फेरारी का समाधान ====
==== फेरारी का समाधान ====
जैसा कि पिछले अनुभाग में बताया गया है, हम अवनत चतुर्घात समीकरण से शुरू कर सकते हैं
जैसा कि पिछले अनुभाग में बताया गया है, हम अवनत चतुर्घात समीकरण से शुरू कर सकते हैं-
:<math> y^4 + p y^2 + q y + r = 0. </math>
:<math> y^4 + p y^2 + q y + r = 0. </math>
लोदोविको फेरारी द्वारा खोजी गई विधि के माध्यम से इस दबे हुए चतुर्घाती को हल किया जा सकता है। अवनत समीकरण को फिर से लिखा जा सकता है (यह आसानी से वर्ग का विस्तार करके और बाईं ओर सभी शब्दों को पुनर्समूहित करके सत्यापित किया जाता है)
लोदोविको फेरारी द्वारा खोजी गई विधि के माध्यम से इस अवनत चतुर्घाती समीकरण को हल किया जा सकता है। अवनत समीकरण को फिर से लिखा जा सकता है (यह आसानी से वर्ग का विस्तार करके और बाईं ओर सभी शब्दों को पुनर्समूहित करके सत्यापित किया जाता है)
:<math> \left(y^2 + \frac p2\right)^2 = -q y - r + \frac{p^2}4. </math>
:<math> \left(y^2 + \frac p2\right)^2 = -q y - r + \frac{p^2}4. </math>
फिर, हम एक चर का परिचय देते हैं {{mvar|m}} बायीं ओर के कारक में जोड़कर {{math|2''y''<sup>2</sup>''m'' + ''pm'' + ''m''<sup>2</sup>}} दोनों पक्षों को। की शक्ति के गुणांकों को पुनर्समूहित करने के बाद {{mvar|y}} दाईं ओर, यह समीकरण देता है
फिर, हम दोनों पक्षों में {{math|2''y''<sup>2</sup>''m'' + ''pm'' + ''m''<sup>2</sup>}} जोड़कर बाईं ओर के कारक में एक चर ''m'' का परिचय देते हैं। ''y'' की घात के गुणांकों को दाहिनी ओर पुनर्समूहित करने के बाद, यह समीकरण देता है-
{{NumBlk|:|<math> \left(y^2 + \frac p2 + m\right)^2 = 2 m y^2 - q y + m^2 + m p + \frac{p^2}4 - r, </math>|{{EquationRef|1}}}}
{{NumBlk|:|<math> \left(y^2 + \frac p2 + m\right)^2 = 2 m y^2 - q y + m^2 + m p + \frac{p^2}4 - r, </math>|{{EquationRef|1}}}}
जो मूल समीकरण के समतुल्य है, जो भी मान दिया गया हो {{mvar|m}}.
जो मूल समीकरण के समतुल्य है, जो भी मान {{mvar|m}} के लिए दिया गया हो।


के मूल्य के रूप में {{mvar|m}} मनमाने ढंग से चुना जा सकता है, हम इसे दाहिनी ओर के वर्ग को पूरा करने के लिए चुनेंगे। इसका मतलब है कि भेदभाव करने वाला {{mvar|y}} इस द्विघात समीकरण का शून्य है, अर्थात {{mvar|m}} समीकरण का मूल है
चूँकि {{mvar|m}} का मान अनिश्चित ढंग से चुना जा सकता है, हम इसे दाहिनी ओर के वर्ग को पूरा करने के लिए चुनेंगे। इसका तात्पर्य है कि इस द्विघात समीकरण वाला {{mvar|y}} में विविक्तकर शून्य है, अर्थात {{mvar|m}} समीकरण का मूल है-
:<math> (-q)^2 - 4 (2m)\left(m^2 + p m + \frac{p^2}4 - r\right) = 0,\,</math>
:<math> (-q)^2 - 4 (2m)\left(m^2 + p m + \frac{p^2}4 - r\right) = 0,\,</math>
जिसे फिर से लिखा जा सकता है
जिसे इस प्रकार से भी लिखा जा सकता है-


{{NumBlk|:|<math>8m^3+ 8pm^2 + (2p^2 -8r)m- q^2 =0.</math>|{{EquationRef|1a}}}}
{{NumBlk|:|<math>8m^3+ 8pm^2 + (2p^2 -8r)m- q^2 =0.</math>|{{EquationRef|1a}}}}


यह चतुर्घाती समीकरण का [[विलायक घन]] है। का मूल्य {{mvar|m}} इस प्रकार घन समीकरण # कार्डानो की विधि | कार्डानो के सूत्र से प्राप्त किया जा सकता है। कब {{mvar|m}} इस समीकरण की जड़ है, समीकरण के दाहिने हाथ की ओर ({{EquationNote|1}}) वर्ग है
यह चतुर्घाती समीकरण का साधक त्रिघाती है। {{mvar|m}} का मान इस प्रकार कार्डानो के सूत्र से प्राप्त किया जा सकता है। जब {{mvar|m}} इस समीकरण का मूल है, समीकरण ({{EquationNote|1}}) का दाहिना पक्ष वर्ग है-
:<math>\left(\sqrt{2m}y-\frac q{2\sqrt{2m}}\right)^2.</math>
:<math>\left(\sqrt{2m}y-\frac q{2\sqrt{2m}}\right)^2.</math>
हालाँकि, यह एक विभाजन को शून्य से प्रेरित करता है यदि {{math|''m'' {{=}} 0}}. यह संकेत करता है {{math|''q'' {{=}} 0}}, और इस प्रकार उदास समीकरण द्वि-द्विघात है, और इसे एक आसान विधि से हल किया जा सकता है (ऊपर देखें)। यह फेरारी के समय में कोई समस्या नहीं थी, जब केवल संख्यात्मक गुणांक वाले स्पष्ट रूप से दिए गए समीकरणों को हल किया जाता था। एक सामान्य सूत्र के लिए जो हमेशा सत्य होता है, इस प्रकार किसी को घन समीकरण के मूल चुनने की आवश्यकता होती है {{math|''m'' ≠ 0}}. उदास समीकरण को छोड़कर यह हमेशा संभव है {{math|''y''<sup>4</sup> {{=}} 0}}.
हालाँकि, यह यदि {{math|''m'' {{=}} 0}} होने पर शून्य से एक विभाजन को प्रेरित करता है। इसका तात्पर्य {{math|''q'' {{=}} 0}} हैं , और इस प्रकार अवनत समीकरण द्वि-द्विघात है, और इसे एक आसान विधि से हल किया जा सकता है (ऊपर देखें)। यह फेरारी के समय में कोई समस्या नहीं थी, जब केवल संख्यात्मक गुणांक वाले स्पष्ट रूप से दिए गए समीकरणों को हल किया जाता था। एक सामान्य सूत्र के लिए जो हमेशा सत्य होता है, इस प्रकार किसी को घन समीकरण के मूल चुनने की आवश्यकता होती है {{math|''m'' ≠ 0}}। अवनत समीकरण {{math|''y''<sup>4</sup> {{=}} 0}} को छोड़कर यह हमेशा संभव है।


अब अगर {{mvar|m}} घन समीकरण का एक मूल है जैसे कि {{math|''m'' ≠ 0}}, समीकरण ({{EquationNote|1}}) बन जाता है
अब अगर {{mvar|m}} घन समीकरण का एक मूल है जैसे कि {{math|''m'' ≠ 0}}, समीकरण ({{EquationNote|1}}) इस प्रकार बन जाता हैं -
:<math> \left(y^2 + \frac p2 + m\right)^2 = \left(y\sqrt{2 m}-\frac{q}{2\sqrt{2 m}}\right)^2. </math>
:<math> \left(y^2 + \frac p2 + m\right)^2 = \left(y\sqrt{2 m}-\frac{q}{2\sqrt{2 m}}\right)^2. </math>
यह समीकरण रूप का है {{math|''M''<sup>2</sup> {{=}} ''N''<sup>2</sup>}}, जिसे पुनर्व्यवस्थित किया जा सकता है {{math|''M''<sup>2</sup> − ''N''<sup>2</sup> {{=}} 0}} या {{math|(''M'' + ''N'')(''M'' − ''N'') {{=}} 0}}. इसलिए, समीकरण ({{EquationNote|1}}) के रूप में फिर से लिखा जा सकता है
यह समीकरण {{math|''M''<sup>2</sup> {{=}} ''N''<sup>2</sup>}} के रूप का है, जिसे {{math|''M''<sup>2</sup> − ''N''<sup>2</sup> {{=}} 0}} या {{math|(''M'' + ''N'')(''M'' − ''N'') {{=}} 0}} के रूप में पुनर्व्यवस्थित किया जा सकता है। इसलिए, समीकरण ({{EquationNote|1}}) के रूप में फिर से लिखा जा सकता है-
:<math> \left(y^2 + \frac p2 + m + \sqrt{2 m}y-\frac q{2\sqrt{2 m}}\right) \left(y^2 + \frac p2 + m - \sqrt{2 m}y+\frac q{2\sqrt{2 m}}\right)=0.</math>
:<math> \left(y^2 + \frac p2 + m + \sqrt{2 m}y-\frac q{2\sqrt{2 m}}\right) \left(y^2 + \frac p2 + m - \sqrt{2 m}y+\frac q{2\sqrt{2 m}}\right)=0.</math>
द्विघात सूत्र को प्रत्येक कारक पर लागू करके इस समीकरण को आसानी से हल किया जाता है। इन्हें हल करते हुए हम चार मूलों को इस प्रकार लिख सकते हैं
द्विघात सूत्र को प्रत्येक कारक पर लागू करके इस समीकरण को आसानी से हल किया जाता है। इन्हें हल करते हुए हम चार मूलों को इस प्रकार लिख सकते हैं
:<math>y={\pm_1\sqrt{2 m} \pm_2 \sqrt{-\left(2p + 2m \pm_1 {\sqrt 2q \over \sqrt{m}} \right)} \over 2},</math>
:<math>y={\pm_1\sqrt{2 m} \pm_2 \sqrt{-\left(2p + 2m \pm_1 {\sqrt 2q \over \sqrt{m}} \right)} \over 2},</math>
कहाँ पे {{math|±<sub>1</sub>}} तथा {{math|±<sub>2</sub>}} या तो निरूपित करें {{math|+}} या {{math|−}}. की दो घटनाओं के रूप में {{math|±<sub>1</sub>}} एक ही चिन्ह को निरूपित करना चाहिए, यह चार संभावनाएँ छोड़ता है, प्रत्येक जड़ के लिए एक।
जहाँ पर {{math|±<sub>1</sub>}} तथा {{math|±<sub>2</sub>}}, {{math|+}} या {{math|−}} को निरूपित करें जैसा कि ±1 की दो घटनाओं को एक ही संकेत को निरूपित करना चाहिए, यह चार संभावनाएँ छोड़ता है, प्रत्येक मूल के लिए एक।


इसलिए, मूल चतुर्घाती समीकरण के समाधान हैं
इसलिए, मूल चतुर्घाती समीकरण के समाधान हैं-
:<math>x=-{a_3 \over 4a_4} + {\pm_1\sqrt{2 m} \pm_2 \sqrt{-\left(2p + 2m \pm_1 {\sqrt2q \over \sqrt{m}} \right)} \over 2}.</math> उपरोक्त #सामान्य_सूत्र_के_जड़ों के साथ तुलना करने पर यह पता चलता है {{math|{{sqrt|2''m''}} {{=}} 2''S''}}.
:<math>x=-{a_3 \over 4a_4} + {\pm_1\sqrt{2 m} \pm_2 \sqrt{-\left(2p + 2m \pm_1 {\sqrt2q \over \sqrt{m}} \right)} \over 2}</math>
:उपरोक्त सामान्य सूत्र के साथ तुलना से पता चलता है {{math|{{sqrt|2''m''}} {{=}} 2''S''}}


==== डेसकार्टेस 'समाधान ====
==== डेसकार्टेस 'समाधान ====
डेसकार्टेस<ref>{{Citation|last = Descartes|first = René|author-link = René Descartes|title = [[La Géométrie|The Geometry of Rene Descartes with a facsimile of the first edition]]|isbn = 0-486-60068-8|publisher = [[Dover Publications|Dover]]|year = 1954|jfm = 51.0020.07|chapter = Book&nbsp;III: On the construction of solid and supersolid problems|orig-year = 1637}}</ref> 1637 में एक द्विघात बहुपद की जड़ों को दो द्विघात बहुपदों में विभाजित करके खोजने की विधि पेश की गई। होने देना
डेसकार्टेस<ref>{{Citation|last = Descartes|first = René|author-link = René Descartes|title = [[La Géométrie|The Geometry of Rene Descartes with a facsimile of the first edition]]|isbn = 0-486-60068-8|publisher = [[Dover Publications|Dover]]|year = 1954|jfm = 51.0020.07|chapter = Book&nbsp;III: On the construction of solid and supersolid problems|orig-year = 1637}}</ref> 1637 में एक चतुर्घाती बहुपद के मूलो को खोजने की विधि को दो द्विघात वाले में विभाजित करके पेश किया।
 
माना,


:<math>
:<math>
Line 241: Line 242:
   \end{array}\right.
   \end{array}\right.
  </math>
  </math>
#अवनत चतुर्घात में #परिवर्तित करके फिर से शुरू करके इसे सरल बनाया जा सकता है {{math|''y''<sup>4</sup> + ''py''<sup>2</sup> + ''qy'' + ''r''}}, जिसे प्रतिस्थापित करके प्राप्त किया जा सकता है {{math|''y'' − ''b''/4}} के लिये {{math|''x''}}. के गुणांक के बाद से {{math|''y''<sup>3</sup>}} है{{math|0}}, हम पाते हैं {{math|''s'' {{=}} −''u''}}, तथा:
#अवनत चतुर्घात {{math|''y''<sup>4</sup> + ''py''<sup>2</sup> + ''qy'' + ''r''}} के साथ फिर से शुरू करके इसे सरल बनाया जा सकता है, जिसे  {{math|''y'' − ''b''/4}} को प्रतिस्थापित करके प्राप्त किया जा सकता है {{math|''x''}} के लिए,  {{math|''y''<sup>3</sup>}} का गुणांक 0 हैं , हम पाते हैं {{math|''s'' {{=}} −''u''}}, तथा:


:<math>
:<math>
Line 250: Line 251:
   \end{array}\right.
   \end{array}\right.
  </math>
  </math>
कोई अब दोनों को समाप्त कर सकता है {{mvar|t}} तथा {{mvar|v}} निम्नलिखित करके:
कोई निम्नलिखित कार्य करके {{mvar|t}} तथा {{mvar|v}} निम्नलिखित दोनों को समाप्त कर सकता हैं:
:<math>
:<math>
   \begin{align}
   \begin{align}
Line 260: Line 261:
   \end{align}
   \end{align}
  </math>
  </math>
अगर हम सेट करते हैं {{math|''U'' {{=}} ''u''<sup>2</sup>}}, तो इस समीकरण को हल करने से विलेय घन के मूल ज्ञात हो जाते हैं
अगर हम सेट करते हैं {{math|''U'' {{=}} ''u''<sup>2</sup>}}, तो इस समीकरण को हल करने से साधक त्रिघाती के मूल ज्ञात हो जाते हैं


{{NumBlk|:|<math> U^3 + 2pU^2 + (p^2-4r)U - q^2,</math>|{{EquationRef|2}}}}
{{NumBlk|:|<math> U^3 + 2pU^2 + (p^2-4r)U - q^2,</math>|{{EquationRef|2}}}}


जो कि क्यूबिक_फंक्शन#सामान्य_समाधान_to_the_cubic_equation_with_real_coeffients है। यह रिज़ॉल्वेंट क्यूबिक ऊपर दिए गए रिज़ॉल्वेंट क्यूबिक (समीकरण (1a)) के बराबर है, जैसा कि U = 2m को प्रतिस्थापित करके देखा जा सकता है।
जो अन्यत्र किया जाता है। यह विलायक घनमूल ऊपर दिए गए साधक त्रिघाती (समीकरण (1a)) के बराबर है, जैसा कि U = 2m को प्रतिस्थापित करके देखा जा सकता है।


यदि {{math|''u''}} इस विलायक के गैर-शून्य मूल का एक वर्गमूल है (क्वार्टिक को छोड़कर ऐसा गैर-शून्य मूल मौजूद है) {{math|''x''<sup>4</sup>}}, जो तुच्छ रूप से कारक है),
यदि {{math|''u''}} इस विलायक के गैर-शून्य मूल का एक वर्गमूल है (ऐसा गैर-शून्य मूल चतुर्घात {{math|''x''<sup>4</sup>}} को छोड़कर मौजूद है, जो तुच्छ रूप से कारक है),


:<math>
:<math>
Line 275: Line 276:
   \end{array}\right.
   \end{array}\right.
  </math>
  </math>
इस समाधान में समरूपता इस प्रकार है। क्यूबिक की तीन जड़ें हैं, तीन तरीकों से संबंधित है कि क्वार्टिक को दो क्वाड्रैटिक्स में विभाजित किया जा सकता है, और सकारात्मक या नकारात्मक मानों का चयन किया जा सकता है {{mvar|u}} के वर्गमूल के लिए {{mvar|U}} केवल दो चतुष्कोणों का एक दूसरे के साथ आदान-प्रदान करता है।
इस समाधान में समरूपता इस प्रकार है। त्रिघाती के तीन मूल हैं, तीन तरीकों से संबंधित है कि एक चतुर्घात को दो द्विघात में विभाजित किया जा सकता है और {{mvar|u}} के वर्गमूल के लिए {{mvar|U}} के धनात्मक या ऋणात्मक मानों को चुनना केवल एक दूसरे के साथ दो द्विघात का आदान-प्रदान करता है।


उपरोक्त समाधान से पता चलता है कि तर्कसंगत गुणांक के साथ एक क्वार्टिक बहुपद और क्यूबिक शब्द पर शून्य गुणांक तर्कसंगत गुणांक वाले क्वाड्रैटिक्स में कारक है यदि और केवल यदि या तो घुलनशील क्यूबिक ({{EquationNote|2}}) का शून्येतर मूल है जो परिमेय का वर्ग है, या {{math|''p''<sup>2</sup> − 4''r''}} तर्कसंगत और का वर्ग है {{math|''q'' {{=}} 0}}; इसे [[तर्कसंगत जड़ परीक्षण]] का उपयोग करके आसानी से चेक किया जा सकता है।<ref name=Brookfield>{{cite journal |author=Brookfield, G. |title=फैक्टरिंग क्वार्टिक बहुपद: एक खोई हुई कला|journal=[[Mathematics Magazine]] |volume=80 |issue=1 |year=2007 |pages=67–70|doi=10.1080/0025570X.2007.11953453 |s2cid=53375377 |url = https://www.maa.org/sites/default/files/Brookfield2007-103574.pdf}}</ref>
उपरोक्त समाधान से पता चलता है कि परिमेय गुणांक के साथ एक चतुर्घात बहुपद और त्रिघातीय शब्द पर शून्य गुणांक परिमेय गुणांक वाले द्विघात में कारक है यदि और केवल यदि या तो साधक त्रिघाती ({{EquationNote|2}}) का शून्येतर मूल है जो परिमेय का वर्ग है, या {{math|''p''<sup>2</sup> − 4''r''}} परिमेय का वर्ग है और  {{math|''q'' {{=}} 0}}; इसे [[तर्कसंगत जड़ परीक्षण|परिमेय मूल  परीक्षण]] का उपयोग करके आसानी से पता किया जा सकता है।<ref name=Brookfield>{{cite journal |author=Brookfield, G. |title=फैक्टरिंग क्वार्टिक बहुपद: एक खोई हुई कला|journal=[[Mathematics Magazine]] |volume=80 |issue=1 |year=2007 |pages=67–70|doi=10.1080/0025570X.2007.11953453 |s2cid=53375377 |url = https://www.maa.org/sites/default/files/Brookfield2007-103574.pdf}}</ref>


==== यूलर का समाधान ====
==== यूलर का समाधान ====
पिछली पद्धति का एक प्रकार [[लियोनहार्ड यूलर]] के कारण है।<ref>{{Citation|last = van der Waerden|first=Bartel Leendert|author-link = Bartel Leendert van der Waerden|title = [[Moderne Algebra|Algebra]]|volume = 1|publisher=[[Springer Science+Business Media|Springer-Verlag]]|edition = 7th|isbn = 0-387-97424-5|year = 1991|section = The Galois theory: Equations of the second, third, and fourth degrees|zbl = 0724.12001}}</ref><ref>{{Citation|last = Euler|first = Leonhard|author-link = Leonhard Euler|title = [[Elements of Algebra]]|chapter= Of a new method of resolving equations of the fourth degree|publisher=[[Springer Science+Business Media|Springer-Verlag]]|orig-year = 1765|year = 1984|zbl = 0557.01014|isbn = 978-1-4613-8511-0}}</ref> पिछले तरीकों के विपरीत, जिनमें से दोनों विलायक क्यूबिक की कुछ जड़ का उपयोग करते हैं, यूलर की विधि उन सभी का उपयोग करती है। एक अवनत चतुर्घात पर विचार करें {{math|''x''<sup>4</sup> + ''px''<sup>2</sup> + ''qx'' + ''r''}}. ध्यान दें कि, अगर
पिछली पद्धति का एक प्रकार [[लियोनहार्ड यूलर]] के कारण है।<ref>{{Citation|last = van der Waerden|first=Bartel Leendert|author-link = Bartel Leendert van der Waerden|title = [[Moderne Algebra|Algebra]]|volume = 1|publisher=[[Springer Science+Business Media|Springer-Verlag]]|edition = 7th|isbn = 0-387-97424-5|year = 1991|section = The Galois theory: Equations of the second, third, and fourth degrees|zbl = 0724.12001}}</ref><ref>{{Citation|last = Euler|first = Leonhard|author-link = Leonhard Euler|title = [[Elements of Algebra]]|chapter= Of a new method of resolving equations of the fourth degree|publisher=[[Springer Science+Business Media|Springer-Verlag]]|orig-year = 1765|year = 1984|zbl = 0557.01014|isbn = 978-1-4613-8511-0}}</ref> पिछले तरीकों के विपरीत, जिनमें से दोनों साधक त्रिघाती के कुछ मूलो का उपयोग करते हैं, यूलर की विधि उन सभी का उपयोग करती है। एक अवनत चतुर्घात पर विचार करें {{math|''x''<sup>4</sup> + ''px''<sup>2</sup> + ''qx'' + ''r''}} ध्यान दें कि, यदि
* {{math|''x''<sup>4</sup> + ''px''<sup>2</sup> + ''qx'' + ''r'' {{=}} (''x''<sup>2</sup> + ''sx'' + ''t'')(''x''<sup>2</sup> − ''sx'' + ''v'')}},
* {{math|''x''<sup>4</sup> + ''px''<sup>2</sup> + ''qx'' + ''r'' {{=}} (''x''<sup>2</sup> + ''sx'' + ''t'')(''x''<sup>2</sup> − ''sx'' + ''v'')}},
* {{math|''r''<sub>1</sub>}} तथा {{math|''r''<sub>2</sub>}} की जड़ें हैं {{math|''x''<sup>2</sup> + ''sx'' + ''t''}},
* {{math|''r''<sub>1</sub>}} तथा {{math|''r''<sub>2</sub>}}{{math|''x''<sup>2</sup> + ''sx'' + ''t''}} के मूल हैं,
* {{math|''r''<sub>3</sub>}} तथा {{math|''r''<sub>4</sub>}} की जड़ें हैं {{math|''x''<sup>2</sup> − ''sx'' + ''v''}},
* {{math|''r''<sub>3</sub>}} तथा {{math|''r''<sub>4</sub>}}, {{math|''x''<sup>2</sup> − ''sx'' + ''v''}} के मूल हैं,
फिर
फिर
* की जड़ें {{math|''x''<sup>4</sup> + ''px''<sup>2</sup> + ''qx'' + ''r''}} हैं {{math|''r''<sub>1</sub>}}, {{math|''r''<sub>2</sub>}}, {{math|''r''<sub>3</sub>}}, तथा {{math|''r''<sub>4</sub>}},
* {{math|''x''<sup>4</sup> + ''px''<sup>2</sup> + ''qx'' + ''r''}} के मूल {{math|''r''<sub>1</sub>}}, {{math|''r''<sub>2</sub>}}, {{math|''r''<sub>3</sub>}}, तथा {{math|''r''<sub>4</sub>}} हैं ,
* {{math|''r''<sub>1</sub> + ''r''<sub>2</sub> {{=}} −''s''}},
* {{math|''r''<sub>1</sub> + ''r''<sub>2</sub> {{=}} −''s''}},
* {{math|''r''<sub>3</sub> + ''r''<sub>4</sub> {{=}} ''s''}}.
* {{math|''r''<sub>3</sub> + ''r''<sub>4</sub> {{=}} ''s''}}.
इसलिए, {{math|(''r''<sub>1</sub> + ''r''<sub>2</sub>)(''r''<sub>3</sub> + ''r''<sub>4</sub>) {{=}} −''s''<sup>2</sup>}}. दूसरे शब्दों में, {{math|−(''r''<sub>1</sub> + ''r''<sub>2</sub>)(''r''<sub>3</sub> + ''r''<sub>4</sub>)}} विलायक घन की जड़ों में से एक है ({{EquationNote|2}}) और इससे पता चलता है कि घन की जड़ें बराबर हैं {{math|−(''r''<sub>1</sub> + ''r''<sub>2</sub>)(''r''<sub>3</sub> + ''r''<sub>4</sub>)}}, {{math|−(''r''<sub>1</sub> + ''r''<sub>3</sub>)(''r''<sub>2</sub> + ''r''<sub>4</sub>)}}, तथा {{math|−(''r''<sub>1</sub> + ''r''<sub>4</sub>)(''r''<sub>2</sub> + ''r''<sub>3</sub>)}}. यह वास्तव में सच है और यह वीटा के सूत्रों का अनुसरण करता है। यह वीटा के फॉर्मूले से भी निकलता है, साथ ही इस तथ्य के साथ कि हम एक अवनत चतुर्घात के साथ काम कर रहे हैं, कि {{math|''r''<sub>1</sub> + ''r''<sub>2</sub> + ''r''<sub>3</sub> + ''r''<sub>4</sub> {{=}} 0}}. (बेशक, यह इस तथ्य से भी निकलता है कि {{math|''r''<sub>1</sub> + ''r''<sub>2</sub> + ''r''<sub>3</sub> + ''r''<sub>4</sub> {{=}} −''s'' + ''s''}}।) इसलिए, यदि {{math|''α''}}, {{math|''β''}}, तथा {{math|''γ''}} विलायक घन की जड़ें हैं, फिर संख्याएं {{math|''r''<sub>1</sub>}}, {{math|''r''<sub>2</sub>}}, {{math|''r''<sub>3</sub>}}, तथा {{math|''r''<sub>4</sub>}} ऐसे हैं
इसलिए, {{math|(''r''<sub>1</sub> + ''r''<sub>2</sub>)(''r''<sub>3</sub> + ''r''<sub>4</sub>) {{=}} −''s''<sup>2</sup>}}दूसरे शब्दों में, {{math|−(''r''<sub>1</sub> + ''r''<sub>2</sub>)(''r''<sub>3</sub> + ''r''<sub>4</sub>)}} विलायक घनमूल  के मूलो में से एक है ({{EquationNote|2}}) और इससे पता चलता है कि घन के मूल बराबर हैं {{math|−(''r''<sub>1</sub> + ''r''<sub>2</sub>)(''r''<sub>3</sub> + ''r''<sub>4</sub>)}}, {{math|−(''r''<sub>1</sub> + ''r''<sub>3</sub>)(''r''<sub>2</sub> + ''r''<sub>4</sub>)}} तथा {{math|−(''r''<sub>1</sub> + ''r''<sub>4</sub>)(''r''<sub>2</sub> + ''r''<sub>3</sub>)}}यह वास्तव में सच है और यह वीटा के सूत्रों का अनुसरण करता है। यह वीटा के सूत्र से भी निकलता है, इस तथ्य के साथ कि हम एक अवनत चतुर्घात के साथ काम कर रहे हैं, कि {{math|''r''<sub>1</sub> + ''r''<sub>2</sub> + ''r''<sub>3</sub> + ''r''<sub>4</sub> {{=}} 0}}(बेशक, यह इस तथ्य से भी निकलता है कि {{math|''r''<sub>1</sub> + ''r''<sub>2</sub> + ''r''<sub>3</sub> + ''r''<sub>4</sub> {{=}} −''s'' + ''s''}}।) इसलिए, यदि {{math|''α''}}, {{math|''β''}}, तथा {{math|''γ''}} विलायक घनमूल के मूल हैं, फिर संख्याएं {{math|''r''<sub>1</sub>}}, {{math|''r''<sub>2</sub>}}, {{math|''r''<sub>3</sub>}}, तथा {{math|''r''<sub>4</sub>}} ऐसे हैं-
:<math>\left\{\begin{array}{l}r_1+r_2+r_3+r_4=0\\(r_1+r_2)(r_3+r_4)=-\alpha\\(r_1+r_3)(r_2+r_4)=-\beta\\(r_1+r_4)(r_2+r_3)=-\gamma\text{.}\end{array}\right.</math>
:<math>\left\{\begin{array}{l}r_1+r_2+r_3+r_4=0\\(r_1+r_2)(r_3+r_4)=-\alpha\\(r_1+r_3)(r_2+r_4)=-\beta\\(r_1+r_4)(r_2+r_3)=-\gamma\text{.}\end{array}\right.</math>
यह पहले दो समीकरणों का परिणाम है {{math|''r''<sub>1</sub> + ''r''<sub>2</sub>}} का वर्गमूल है {{math|''α''}} और कि {{math|''r''<sub>3</sub> + ''r''<sub>4</sub>}} का अन्य वर्गमूल है {{math|''α''}}. एक ही कारण के लिए,
यह पहले दो समीकरणों का परिणाम है {{math|''r''<sub>1</sub> + ''r''<sub>2</sub>}} का वर्गमूल है {{math|''α''}} और कि {{math|''r''<sub>3</sub> + ''r''<sub>4</sub>}} का अन्य वर्गमूल है {{math|''α''}}. एक ही कारण के लिए,
Line 299: Line 300:
वर्गमूल के चिह्न के बारे में नीचे चर्चा की जाएगी। इस प्रणाली का एकमात्र समाधान है:
वर्गमूल के चिह्न के बारे में नीचे चर्चा की जाएगी। इस प्रणाली का एकमात्र समाधान है:
:<math>\left\{\begin{array}{l}r_1=\frac{\sqrt{\alpha}+\sqrt{\beta}+\sqrt{\gamma}}2\\[2mm]r_2=\frac{\sqrt{\alpha}-\sqrt{\beta}-\sqrt{\gamma}}2\\[2mm]r_3=\frac{-\sqrt{\alpha}+\sqrt{\beta}-\sqrt{\gamma}}2\\[2mm]r_4=\frac{-\sqrt{\alpha}-\sqrt{\beta}+\sqrt{\gamma}}2\text{.}\end{array}\right.</math>
:<math>\left\{\begin{array}{l}r_1=\frac{\sqrt{\alpha}+\sqrt{\beta}+\sqrt{\gamma}}2\\[2mm]r_2=\frac{\sqrt{\alpha}-\sqrt{\beta}-\sqrt{\gamma}}2\\[2mm]r_3=\frac{-\sqrt{\alpha}+\sqrt{\beta}-\sqrt{\gamma}}2\\[2mm]r_4=\frac{-\sqrt{\alpha}-\sqrt{\beta}+\sqrt{\gamma}}2\text{.}\end{array}\right.</math>
चूंकि, सामान्य तौर पर, प्रत्येक वर्गमूल के लिए दो विकल्प होते हैं, ऐसा लग सकता है कि यह प्रदान करता है {{math|8 ({{=}} 2<sup>3</sup>)}} सेट के लिए विकल्प {{math|{''r''<sub>1</sub>, ''r''<sub>2</sub>, ''r''<sub>3</sub>, ''r''<sub>4</sub>}}}, लेकिन, वास्तव में, यह इससे अधिक प्रदान नहीं करता है {{math|2}}इस तरह के विकल्प, क्योंकि सममित एक द्वारा वर्गमूलों में से एक को बदलने का परिणाम यह है कि सेट {{math|{''r''<sub>1</sub>, ''r''<sub>2</sub>, ''r''<sub>3</sub>, ''r''<sub>4</sub>}}} समुच्चय बन जाता है {{math|{−''r''<sub>1</sub>, −''r''<sub>2</sub>, −''r''<sub>3</sub>, −''r''<sub>4</sub>}}}.
चूंकि, सामान्य तौर पर, प्रत्येक वर्गमूल के लिए दो विकल्प होते हैं, ऐसा लग सकता है कि यह प्रदान करता है कि सेट {r1, r2, r3, r4} के लिए {{math|8 ({{=}} 2<sup>3</sup>)}} विकल्प प्रदान करता है, लेकिन वास्तव में, यह इससे अधिक प्रदान नहीं करता है {{math|2}} इस तरह के विकल्प, क्योंकि सममित एक द्वारा वर्गमूलों में से एक को बदलने का परिणाम यह है कि सेट {{math|{''r''<sub>1</sub>, ''r''<sub>2</sub>, ''r''<sub>3</sub>, ''r''<sub>4</sub>}}} समुच्चय बन जाता है {{math|{−''r''<sub>1</sub>, −''r''<sub>2</sub>, −''r''<sub>3</sub>, −''r''<sub>4</sub>}}}.


वर्गमूल का सही चिह्न निर्धारित करने के लिए, प्रत्येक संख्या के लिए बस कुछ वर्गमूल चुनता है {{math|''α''}}, {{math|''β''}}, तथा {{math|''γ''}} और संख्याओं की गणना करने के लिए उनका उपयोग करता है {{math|''r''<sub>1</sub>}}, {{math|''r''<sub>2</sub>}}, {{math|''r''<sub>3</sub>}}, तथा {{math|''r''<sub>4</sub>}} पिछली समानता से। फिर, कोई संख्या की गणना करता है {{math|{{sqrt|''α''}}{{sqrt|''β''}}{{sqrt|''γ''}}}}. तब से {{math|''α''}}, {{math|''β''}}, तथा {{math|''γ''}} की जड़ें हैं ({{EquationNote|2}}), यह वीटा के फार्मूले का परिणाम है कि उनका उत्पाद बराबर है {{math|''q''<sup>2</sup>}} और इसलिए वह {{math|{{sqrt|''α''}}{{sqrt|''β''}}{{sqrt|''γ''}} {{=}} ±''q''}}. लेकिन एक सीधी गणना से पता चलता है
वर्गमूल का सही चिह्न निर्धारित करने के लिए, प्रत्येक संख्या {{math|''α''}}, {{math|''β''}}, तथा {{math|''γ''}} के लिए बस कुछ वर्गमूल चुनता है और पिछली समानता से संख्याओं की गणना करने के लिए {{math|''r''<sub>1</sub>}}, {{math|''r''<sub>2</sub>}}, {{math|''r''<sub>3</sub>}}, तथा {{math|''r''<sub>4</sub>}} का उपयोग करता है। फिर, एक संख्या {{math|{{sqrt|''α''}}{{sqrt|''β''}}{{sqrt|''γ''}}}} की गणना करता है। चूंकि तब से {{math|''α''}}, {{math|''β''}}, तथा {{math|''γ''}} के मूल हैं ({{EquationNote|2}}), यह वीटा के सूत्रों का परिणाम है कि उनका उत्पाद {{math|''q''<sup>2</sup>}} के बराबर है और इसलिए वह {{math|{{sqrt|''α''}}{{sqrt|''β''}}{{sqrt|''γ''}} {{=}} ±''q''}}लेकिन एक सीधी गणना से पता चलता है-
:{{math|{{sqrt|''α''}}{{sqrt|''β''}}{{sqrt|''γ''}} {{=}} ''r''<sub>1</sub>''r''<sub>2</sub>''r''<sub>3</sub> + ''r''<sub>1</sub>''r''<sub>2</sub>''r''<sub>4</sub> + ''r''<sub>1</sub>''r''<sub>3</sub>''r''<sub>4</sub> + ''r''<sub>2</sub>''r''<sub>3</sub>''r''<sub>4</sub>.}}
:{{math|{{sqrt|''α''}}{{sqrt|''β''}}{{sqrt|''γ''}} {{=}} ''r''<sub>1</sub>''r''<sub>2</sub>''r''<sub>3</sub> + ''r''<sub>1</sub>''r''<sub>2</sub>''r''<sub>4</sub> + ''r''<sub>1</sub>''r''<sub>3</sub>''r''<sub>4</sub> + ''r''<sub>2</sub>''r''<sub>3</sub>''r''<sub>4</sub>.}}
यदि यह संख्या है {{math|−''q''}}, तब वर्गमूल का चुनाव अच्छा था (फिर से, वीटा के सूत्रों द्वारा); अन्यथा, बहुपद के मूल होंगे {{math|−''r''<sub>1</sub>}}, {{math|−''r''<sub>2</sub>}}, {{math|−''r''<sub>3</sub>}}, तथा {{math|−''r''<sub>4</sub>}}, यदि वर्गमूलों में से एक को सममित एक द्वारा प्रतिस्थापित किया जाता है, तो कौन सी संख्याएँ प्राप्त होती हैं (या, यदि तीन वर्गमूलों में से प्रत्येक को सममित एक द्वारा प्रतिस्थापित किया जाता है, तो एक ही चीज़ के बराबर क्या होता है)।
यदि यह संख्या है {{math|−''q''}}, तब वर्गमूल का चुनाव अच्छा था (फिर से, वीटा के सूत्रों द्वारा); अन्यथा, बहुपद के मूल होंगे {{math|−''r''<sub>1</sub>}}, {{math|−''r''<sub>2</sub>}}, {{math|−''r''<sub>3</sub>}}, तथा {{math|−''r''<sub>4</sub>}}, यदि वर्गमूलों में से किसी एक को सममित एक से बदल दिया जाए (या, क्या समान है, यदि तीन वर्गमूलों में से प्रत्येक को सममित एक द्वारा प्रतिस्थापित किया जाता है)।


यह तर्क वर्गमूल चुनने का एक और तरीका सुझाता है:
यह तर्क वर्गमूल चुनने का एक और तरीका सुझाता है:
* कोई भी वर्गमूल चुनें {{math|{{sqrt|''α''}}}} का {{math|''α''}} और कोई भी वर्गमूल {{math|{{sqrt|''β''}}}} का {{math|''β''}};
* α का कोई भी वर्गमूल √α और β का कोई भी वर्गमूल √β चुनें,
* परिभाषित करना {{math|{{sqrt|''γ''}}}} जैसा <math>-\frac q{\sqrt{\alpha}\sqrt{\beta}}</math>.
* परिभाषित करना {{math|{{sqrt|''γ''}}}} जैसा <math>-\frac q{\sqrt{\alpha}\sqrt{\beta}}</math>.
बेशक, इसका कोई मतलब नहीं होगा अगर {{math|''α''}} या {{math|''β''}} के बराबर है {{math|0}}, लेकिन {{math|0}} की जड़ है ({{EquationNote|2}}) केवल जब {{math|''q'' {{=}} 0}}, यानी, केवल जब हम एक चतुर्घाती फ़ंक्शन#द्विद्विघात समीकरण के साथ काम कर रहे हैं, इस मामले में एक बहुत ही सरल दृष्टिकोण है।
इसका कोई मतलब नहीं होगा अगर {{math|''α''}} या {{math|''β''}} {{math|0}} के बराबर है, लेकिन {{math|0}} केवल ({{EquationNote|2}}) का एक मूल है जब {{math|''q'' {{=}} 0}}, केवल जब हम द्विवर्गीय समीकरण के साथ काम कर रहे हों, उस स्थिति में एक बहुत ही आसान तरीका।


==== लैग्रेंज रिसॉल्वेंट द्वारा समाधान ====
==== लैग्रेंज रिसॉल्वेंट द्वारा समाधान ====
[[सममित समूह]] {{math|''S''<sub>4</sub>}} चार तत्वों पर [[सामान्य उपसमूह]] के रूप में [[क्लेन चार-समूह]] है। यह एक का उपयोग करने का सुझाव देता है{{visible anchor|resolvent cubic}}जिनकी जड़ों को असतत फूरियर रूपांतरण या जड़ों के [[हैडमार्ड मैट्रिक्स]] रूपांतरण के रूप में विभिन्न रूप से वर्णित किया जा सकता है; सामान्य विधि के लिए लग्रेंज विलायक देखें। द्वारा निरूपित करें {{math|''x<sub>i</sub>''}}, के लिये {{math|''i''}} से{{math|0}} प्रति{{math|3}}, की चार जड़ें {{math|''x''<sup>4</sup> + ''bx''<sup>3</sup> + ''cx''<sup>2</sup> + ''dx'' + ''e''}}. अगर हम सेट करते हैं
चार तत्वों पर [[सममित समूह]] {{math|''S''<sub>4</sub>}} [[सामान्य उपसमूह]] के रूप में [[क्लेन चार-समूह]] है। यह एक विलायक घनमूल  का उपयोग करने का सुझाव देता है जिनके मूलो को असतत फूरियर रूपांतरण या मूलो के [[हैडमार्ड मैट्रिक्स|हैडमार्ड सारणी]] रूपांतरण के रूप में विभिन्न रूप से वर्णित किया जा सकता है; सामान्य विधि के लिए लग्रेंज रिसॉल्वेंट देखें। 0 से 3 तक, {{math|''x''<sup>4</sup> + ''bx''<sup>3</sup> + ''cx''<sup>2</sup> + ''dx'' + ''e''}}े के चार मूलों को xi से निरूपित करें।  अगर हम सेट करते हैं


: <math> \begin{align}
: <math> \begin{align}
Line 319: Line 320:
s_3 &= \tfrac12(x_0 - x_1 - x_2 + x_3),
s_3 &= \tfrac12(x_0 - x_1 - x_2 + x_3),
\end{align}</math>
\end{align}</math>
तब चूंकि परिवर्तन एक अंतर्वलन (गणित) है, हम जड़ों को चार के संदर्भ में व्यक्त कर सकते हैं {{math|''s<sub>i</sub>''}} ठीक उसी तरह। चूंकि हम मूल्य जानते हैं {{math|''s''<sub>0</sub> {{=}} −{{sfrac|''b''|2}}}}, हमें केवल इसके लिए मूल्यों की आवश्यकता है {{math|''s''<sub>1</sub>}}, {{math|''s''<sub>2</sub>}} तथा {{math|''s''<sub>3</sub>}}. ये बहुपद की जड़ें हैं
तब चूंकि परिवर्तन एक अंतर्वलन (गणित) है, हम मूलो को चार {{math|''s<sub>i</sub>''}} के संदर्भ में ठीक उसी तरह व्यक्त कर सकते हैं। चूंकि हम {{math|''s''<sub>0</sub> {{=}} −{{sfrac|''b''|2}}}} का मान जानते हैं, हमें केवल {{math|''s''<sub>1</sub>}}, {{math|''s''<sub>2</sub>}} तथा {{math|''s''<sub>3</sub>}} इसके मानों की आवश्यकता है,  ये बहुपद के मूल हैं-


:<math>(s^2 - {s_1}^2)(s^2-{s_2}^2)(s^2-{s_3}^2).</math>
:<math>(s^2 - {s_1}^2)(s^2-{s_2}^2)(s^2-{s_3}^2).</math>
प्रतिस्थापित कर रहा है {{math|''s<sub>i</sub>''}} के संदर्भ में उनके मूल्यों द्वारा {{math|''x<sub>i</sub>''}}, इस बहुपद को एक बहुपद में विस्तारित किया जा सकता है {{math|''s''}} जिनके गुणांक [[सममित बहुपद]] हैं {{math|''x<sub>i</sub>''}}. सममित बहुपदों के मौलिक प्रमेय द्वारा, इन गुणांकों को मोनिक क्वार्टिक के गुणांकों में बहुपदों के रूप में व्यक्त किया जा सकता है। अगर, सरलीकरण के लिए, हम मानते हैं कि क्वार्टिक उदास है, यानी {{math|''b'' {{=}} 0}}, इसका परिणाम बहुपद में होता है
xi के पद में {{math|''s<sub>i</sub>''}} को उनके मानों से प्रतिस्थापित करके, इस बहुपद {{math|''s''}} में एक बहुपद में विस्तारित किया जा सकता है जिसके गुणांक xi में [[सममित बहुपद]] हैं। सममित बहुपदों के मौलिक प्रमेय द्वारा, इन गुणांकों को मोनिक चतुर्घात के गुणांकों में बहुपदों के रूप में व्यक्त किया जा सकता है। अगर, सरलीकरण के लिए, हम मानते हैं कि अवनत चतुर्घात है, यानी {{math|''b'' {{=}} 0}}, इसका परिणाम बहुपद में होता है-
{{NumBlk|:|<math> s^6+2cs^4+(c^2-4e)s^2-d^2 </math>|{{EquationRef|3}}}}
{{NumBlk|:|<math> s^6+2cs^4+(c^2-4e)s^2-d^2 </math>|{{EquationRef|3}}}}
यह बहुपद डिग्री छह का है, लेकिन केवल डिग्री तीन इंच का है {{math|''s''<sup>2</sup>}}, और इसलिए क्यूबिक फ़ंक्शन के बारे में आलेख में वर्णित विधि द्वारा संबंधित समीकरण हल करने योग्य है। की अभिव्यक्ति में जड़ों को प्रतिस्थापित करके {{math|''x<sub>i</sub>''}} के रूप में {{math|''s<sub>i</sub>''}}, हम जड़ों के लिए अभिव्यक्ति प्राप्त करते हैं। वास्तव में, स्पष्ट रूप से, हमें कई व्यंजक प्राप्त होते हैं, जो घन बहुपद के मूलों की संख्या और उनके वर्गमूलों को दिए गए चिह्नों पर निर्भर करते हैं। इन सभी अलग-अलग अभिव्यक्तियों को उनमें से किसी एक से केवल नंबरिंग को बदलकर निकाला जा सकता है {{math|''x<sub>i</sub>''}}.
यह बहुपद छह घात का है, लेकिन {{math|''s''<sup>2</sup>}} में केवल तीन घात का है, और इसलिए घन फलन के बारे में आलेख में वर्णित विधि द्वारा संबंधित समीकरण हल करने योग्य है। {{math|''x<sub>i</sub>''}} के व्यंजक में मूलों को {{math|''s<sub>i</sub>''}}, के पदों में रखने पर हमें मूलों का व्यंजक प्राप्त होता है। स्पष्ट रूप से, हमें कई व्यंजक प्राप्त होते हैं, जो घन बहुपद के मूलों की संख्या और उनके वर्गमूलों को दिए गए चिह्नों पर निर्भर करते हैं। इन सभी विभिन्न व्यंजकों को केवल {{math|''x<sub>i</sub>''}} की संख्या बदलकर उनमें से किसी एक से निकाला जा सकता है।


ये भाव अनावश्यक रूप से जटिल हैं, जिनमें [[एकता की जड़]] शामिल है, जिसे निम्नानुसार टाला जा सकता है। यदि {{math|''s''}} का कोई अशून्य मूल है ({{EquationNote|3}}), और अगर हम सेट करते हैं
ये भाव अनावश्यक रूप से जटिल हैं, जिनमें [[एकता की जड़|एकता के]] घन मूल  शामिल है, जिसे निम्नानुसार टाला जा सकता है। यदि {{math|''s''}} का कोई अशून्य मूल है ({{EquationNote|3}}), और यदि हम सेट करते हैं-


:<math>\begin{align}
:<math>\begin{align}
Line 335: Line 336:


:<math>F_1(x)\times F_2(x) = x^4 + cx^2 + dx + e.</math>
:<math>F_1(x)\times F_2(x) = x^4 + cx^2 + dx + e.</math>
इसलिए हम के लिए हल करके क्वार्टिक को हल कर सकते हैं {{math|''s''}} और फिर द्विघात सूत्र का उपयोग करके दो कारकों की जड़ों को हल करना।
इसलिए हम {{math|''s''}} को हल करके और फिर द्विघात सूत्र का उपयोग करके दो कारकों के मूलो को हल करके चतुर्घात को हल कर सकते हैं।


यह जड़ों के लिए ठीक वही सूत्र देता है जो चतुर्घाती फलन#डेसकार्टेस' सॉल्यूशन|डेसकार्टेस' विधि द्वारा प्रदान किया गया है।
यह मूलो के लिए ठीक वही सूत्र देता है जो डेसकार्टेस विधि द्वारा प्रदान किया गया है।


==== बीजगणितीय ज्यामिति के साथ हल करना ====
==== बीजगणितीय ज्यामिति के साथ हल करना ====
बीजगणितीय ज्यामिति का उपयोग कर एक वैकल्पिक समाधान है<ref>{{Citation|last = Faucette|first = William M.|journal = [[American Mathematical Monthly]]|pages = 51–57|title = A Geometric Interpretation of the Solution of the General Quartic Polynomial|volume = 103|year = 1996|issue = 1|doi = 10.2307/2975214|jstor = 2975214|mr = 1369151}}</ref> संक्षेप में, कोई जड़ों को दो द्विघात वक्रों के प्रतिच्छेदन के रूप में व्याख्या करता है, फिर इन बिंदुओं से गुजरने वाले तीन [[पतित शंकु]] (रेखाओं के जोड़े) पाता है (यह विलायक घन से मेल खाता है, रेखाओं के जोड़े लग्रेंज विलायक होते हैं), और फिर द्विघात को हल करने के लिए इन रैखिक समीकरणों का उपयोग करें।
बीजगणितीय ज्यामिति का उपयोग कर एक वैकल्पिक समाधान है<ref>{{Citation|last = Faucette|first = William M.|journal = [[American Mathematical Monthly]]|pages = 51–57|title = A Geometric Interpretation of the Solution of the General Quartic Polynomial|volume = 103|year = 1996|issue = 1|doi = 10.2307/2975214|jstor = 2975214|mr = 1369151}}</ref> संक्षेप में, कोई मूलो को दो द्विघात वक्रों के प्रतिच्छेदन के रूप में व्याख्या करता है, फिर तीन कम करने योग्य द्विघात वक्रों  (रेखाओं के जोड़े) का पता लगाता है जो इन बिंदुओं से होकर गुजरता है (यह विलायक घनमूल से मेल खाता है, रेखाओं के जोड़े लग्रेंज विलायक होते हैं), और फिर द्विघात को हल करने के लिए इन रैखिक समीकरणों का उपयोग करें।


उदास क्वार्टिक की चार जड़ें {{math|''x''<sup>4</sup> + ''px''<sup>2</sup> + ''qx'' + ''r'' {{=}} 0}} के रूप में भी व्यक्त किया जा सकता है {{mvar|x}} दो द्विघात समीकरणों के प्रतिच्छेदन के निर्देशांक {{math|''y''<sup>2</sup> + ''py'' + ''qx'' + ''r'' {{=}} 0}} तथा {{math|''y'' − ''x''<sup>2</sup> {{=}} 0}} यानी, प्रतिस्थापन का उपयोग करना {{math|''y'' {{=}} ''x''<sup>2</sup>}} कि दो द्विघात चार बिंदुओं पर प्रतिच्छेद करते हैं, बेज़ाउट के प्रमेय का एक उदाहरण है। स्पष्ट रूप से, चार बिंदु हैं {{math|''P<sub>i</sub>'' ≔ (''x<sub>i</sub>'', ''x<sub>i</sub>''<sup>2</sup>)}} चार जड़ों के लिए {{math|''x<sub>i</sub>''}} क्वार्टिक का।
अवनत चतुर्घात के चार मूल {{math|''x''<sup>4</sup> + ''px''<sup>2</sup> + ''qx'' + ''r'' {{=}} 0}} के रूप में भी व्यक्त किया जा सकता है {{mvar|x}} दो द्विघात समीकरणों के प्रतिच्छेदन के निर्देशांक {{math|''y''<sup>2</sup> + ''py'' + ''qx'' + ''r'' {{=}} 0}} तथा {{math|''y'' − ''x''<sup>2</sup> {{=}} 0}} यानी, प्रतिस्थापन का उपयोग करना {{math|''y'' {{=}} ''x''<sup>2</sup>}} कि दो द्विघात चार बिंदुओं पर प्रतिच्छेद करते हैं, बेज़ाउट के प्रमेय का एक उदाहरण है। स्पष्ट रूप से, चार बिंदु हैं {{math|''P<sub>i</sub>'' ≔ (''x<sub>i</sub>'', ''x<sub>i</sub>''<sup>2</sup>)}} चार मूलो के लिए {{math|''x<sub>i</sub>''}} चतुर्घात का।


ये चार बिंदु संरेख नहीं हैं क्योंकि ये अलघुकरणीय द्विघात पर स्थित हैं {{math|''y'' {{=}} ''x''<sup>2</sup>}} और इस प्रकार इन बिंदुओं से गुजरने वाला द्विघात (वक्रों का एक पेंसिल) का 1-पैरामीटर परिवार है। तीन चरों में [[द्विघात रूप]]ों के रूप में दो द्विघातों के प्रक्षेपण को लिखना:
ये चार बिंदु संरेख नहीं हैं क्योंकि ये अलघुकरणीय द्विघात पर स्थित हैं {{math|''y'' {{=}} ''x''<sup>2</sup>}} और इस प्रकार इन बिंदुओं से गुजरने वाला द्विघात (वक्रों का एक पेंसिल) का 1-पैरामीटर परिवार है। तीन चरों में [[द्विघात रूप]]ों के रूप में दो द्विघातों के प्रक्षेपण को लिखना:
Line 349: Line 350:
F_2(X,Y,Z) &:= YZ - X^2
F_2(X,Y,Z) &:= YZ - X^2
\end{align}</math>
\end{align}</math>
पेंसिल रूपों द्वारा दी गई है {{math|''λF''<sub>1</sub> + ''μF''<sub>2</sub>}} किसी भी बिंदु के लिए {{math|[''λ'', ''μ'']}} प्रोजेक्टिव लाइन में - दूसरे शब्दों में, जहां {{math|''λ''}} तथा {{math|''μ''}} दोनों शून्य नहीं हैं, और एक द्विघात रूप को एक स्थिरांक से गुणा करने से इसके शून्य के द्विघात वक्र में परिवर्तन नहीं होता है।
प्रक्षेपी रेखा में किसी भी बिंदु {{math|''λF''<sub>1</sub> + ''μF''<sub>2</sub>}} के लिए पेंसिल {{math|[''λ'', ''μ'']}} रूपों द्वारा दिया जाता है - दूसरे शब्दों में, जहां {{math|''λ''}} तथा {{math|''μ''}} दोनों शून्य नहीं हैं, और एक द्विघात रूप को एक स्थिरांक से गुणा करने से इसका द्विघात वक्र नहीं बदलता है शून्य का।


इस पेंसिल में तीन कम करने योग्य द्विघात होते हैं, जिनमें से प्रत्येक रेखाओं की एक जोड़ी के अनुरूप होता है, प्रत्येक चार बिंदुओं में से दो से होकर गुजरता है, जिसे किया जा सकता है <math>\textstyle{\binom{4}{2}}</math> = {{math|6}} विभिन्न तरीके। इन्हें निरूपित करें {{math|''Q''<sub>1</sub> {{=}} ''L''<sub>12</sub> + ''L''<sub>34</sub>}}, {{math|''Q''<sub>2</sub> {{=}} ''L''<sub>13</sub> + ''L''<sub>24</sub>}}, तथा  {{math|''Q''<sub>3</sub> {{=}} ''L''<sub>14</sub> + ''L''<sub>23</sub>}}. इनमें से किन्हीं दो को देखते हुए, उनके प्रतिच्छेदन के ठीक चार बिंदु हैं।
इस पेंसिल में तीन कम करने योग्य द्विघात होते हैं, जिनमें से प्रत्येक रेखाओं की एक जोड़ी के अनुरूप होता है, प्रत्येक चार बिंदुओं में से दो से होकर गुजरता है, जिसे किया जा सकता है <math>\textstyle{\binom{4}{2}}</math> = {{math|6}} विभिन्न तरीके। इन्हें निरूपित करें {{math|''Q''<sub>1</sub> {{=}} ''L''<sub>12</sub> + ''L''<sub>34</sub>}}, {{math|''Q''<sub>2</sub> {{=}} ''L''<sub>13</sub> + ''L''<sub>24</sub>}}, तथा  {{math|''Q''<sub>3</sub> {{=}} ''L''<sub>14</sub> + ''L''<sub>23</sub>}}. इनमें से किन्हीं दो को देखते हुए, उनके प्रतिच्छेदन के ठीक चार बिंदु हैं।


कम करने योग्य द्विघात, बदले में, द्विघात रूप को व्यक्त करके निर्धारित किया जा सकता है {{math|''λF''<sub>1</sub> + ''μF''<sub>2</sub>}} के रूप में {{math|3×3}}मैट्रिक्स: रिड्यूसिबल क्वाड्रैटिक्स इस मैट्रिक्स के एकवचन होने के अनुरूप है, जो इसके निर्धारक के शून्य होने के बराबर है, और निर्धारक एक सजातीय डिग्री तीन बहुपद है {{math|''λ''}} तथा {{math|''μ''}} और विलायक घन के अनुरूप है।
कम करने योग्य द्विघात, बदले में, द्विघात रूप {{math|''λF''<sub>1</sub> + ''μF''<sub>2</sub>}} को {{math|3×3}} सारणी के रूप में व्यक्त करके निर्धारित किया जा सकता है। कम करने योग्य द्विघात इस सारणी के एकवचन होने के अनुरूप है, जो इसके निर्धारक के शून्य होने के बराबर है, और निर्धारक एक सजातीय घात तीन बहुपद है {{math|''λ''}} तथा {{math|''μ''}} और विलायक घनमूल  के अनुरूप है।


== यह भी देखें ==
== यह भी देखें ==
*{{annotated link|Linear function}}
*{{annotated link|रेखीय फलन - रेखीय मानचित्र या घात एक का बहुपद फलन}}
*{{annotated link|Quadratic function}}
*{{annotated link|द्विघात फलन - घात दो का बहुपद फलन}}
*{{annotated link|Cubic function}}
*{{annotated link|घन फलन - घात 3 का बहुपद फलन}}
*{{annotated link|Quintic function}}
*{{annotated link|क्विंटिक फलन - घात 5 का बहुपद फलन }}




Line 376: Line 377:


{{Polynomials}}
{{Polynomials}}
[[Category: प्रारंभिक बीजगणित]]
[[Category:समीकरण]]
[[Category: बहुपद फलन]]


[[Category: Machine Translated Page]]
[[Category:Articles with short description]]
[[Category:CS1 English-language sources (en)]]
[[Category:CS1 français-language sources (fr)]]
[[Category:CS1 maint]]
[[Category:CS1 Ελληνικά-language sources (el)]]
[[Category:CS1 русский-language sources (ru)]]
[[Category:Citation Style 1 templates|W]]
[[Category:Collapse templates]]
[[Category:Created On 24/11/2022]]
[[Category:Created On 24/11/2022]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates based on the Citation/CS1 Lua module]]
[[Category:Templates generating COinS|Cite web]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates used by AutoWikiBrowser|Cite web]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia fully protected templates|Cite web]]
[[Category:Wikipedia metatemplates]]
[[Category:प्रारंभिक बीजगणित]]
[[Category:बहुपद फलन]]
[[Category:समीकरण]]

Latest revision as of 15:36, 31 August 2023

घात 4 के एक बहुपद का ग्राफ, जिसमें 3 महत्वपूर्ण बिंदु (गणित) और बहुपद के चार वास्तविक संख्या मूल (x अक्ष के क्रॉसिंग) (और इस प्रकार कोई जटिल संख्या मूल नहीं है)। यदि स्थानीय न्यूनतम में से एक या अन्य एक्स अक्ष के ऊपर थे, या यदि स्थानीय अधिकतम इसके नीचे थे, या यदि कोई स्थानीय अधिकतम नहीं था और एक्स अक्ष के नीचे एक न्यूनतम था, तो केवल दो वास्तविक मूल होंगी (और दो जटिल मूल)। यदि सभी तीन स्थानीय एक्स्ट्रेमा एक्स अक्ष के ऊपर थे, या यदि एक्स अक्ष के ऊपर कोई स्थानीय अधिकतम और एक न्यूनतम नहीं था, तो कोई वास्तविक मूल (और चार जटिल मूल ) नहीं होगी। नकारात्मक चतुर्घाती गुणांक वाले बहुपद के विपरीत यही तर्क लागू होता है।

बीजगणित में, एक चतुर्घाती फलन निम्नलिखित प्रकार का फलन होता है-

जहाँ a अशून्य है, जिसे चतुर्थ घात के बहुपद द्वारा परिभाषित किया जाता है, जिसे चतुर्घाती बहुपद कहा जाता है।

एक चतुर्घाती समीकरण या चतुर्थ घात का समीकरण, एक समीकरण है जो इस रूप के चतुर्घाती बहुपद को शून्य के बराबर करता है-

जहाँ पर a ≠ 0

[1] चतुर्घाती फलन का व्युत्पन्न एक घन फलन है।

कभी-कभी चतुर्घाती के बजाय द्विवर्गीय शब्द का उपयोग किया जाता है, लेकिन आमतौर पर द्विवर्गीय फ़लन एक वर्ग के द्विघात फ़लन को संदर्भित करता है (या समतुल्य, विषम घात की शर्तों के बिना चतुर्घाती बहुपद द्वारा परिभाषित फ़लन के लिए), निम्नलिखित रूप में -

चूँकि एक चतुर्घाती फलन को सम कोटि के बहुपद द्वारा परिभाषित किया जाता है, जब तर्क धनात्मक या ऋणात्मक अनन्तता में जाता है तो इसकी समान अनंत सीमा होती है। यदि a धनात्मक है, तो फलन दोनों सिरों पर धनात्मक अनंत तक बढ़ जाता है, और इस प्रकार फलन निम्निष्ट है। इसी तरह, यदि a ऋणात्मक है तो यह ऋणात्मक अनंत तक घटता है और अधिकतम होता है। दोनों ही मामलों में इसमें एक अधिकतम और दूसरा न्यूनतम हो सकता है या नहीं भी हो सकता है।

एबेल-रफ़िनी प्रमेय के अनुसार, चतुर्थ घात (चतुर्घाती स्थिति) उच्चतम घात है जैसे कि हर बहुपद समीकरण को रेडिकल (√ प्रतीक जिसका उपयोग वर्गमूल या n वें मूल को दर्शाने के लिए किया जाता है) द्वारा हल किया जा सकता है।

इतिहास

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

सोवियत इतिहासकार आई.वाई. डेपमैन ने दावा किया कि इससे पहले भी, 1486 में स्पेनिश गणितज्ञ वाल्म्स को चतुर्घाती समीकरण को हल करने का दावा करने के लिए सब दांव पर लगा दिया था।[4] जांचकर्ता जनरल टॉमस डी टोरक्वेमाडा ने कथित तौर पर वाल्म्स को बताया कि यह ईश्वर की इच्छा थी कि ऐसा हल मानव समझ के लिए दुर्गम हो।[5] हालाँकि, पश्चिम में डेपमैन की इस कहानी को लोकप्रिय बनाने वाले पेट्र बेकमैन ने कहा कि यह अविश्वसनीय था और संकेत दिया कि इसका आविष्कार सोवियत विरोधी धार्मिक प्रचार के रूप में किया गया हो सकता है।[6] इस कहानी के बेकमैन के संस्करण को कई किताबों और इंटरनेट साइटों में व्यापक रूप से कॉपी किया गया है, आमतौर पर उनके आरक्षण के बिना और कभी-कभी काल्पनिक अलंकरणों के साथ। इस कहानी के लिए, या यहां तक ​​कि वाल्म्स के अस्तित्व के लिए पुष्टि करने वाले सबूत खोजने के कई प्रयास विफल रहे हैं।[7]

चार एक सामान्य बहुपद की उच्चतम डिग्री है जिसके लिए इस तरह के हल खोजे जा सकते हैं, जिसका सबूत है कि पहली बार 1824 में एबेल-रफिनी प्रमेय में दिया गया था, यह साबित करते हुए कि उच्च क्रम बहुपदों को हल करने के सभी प्रयास व्यर्थ होंगे। 1832 में एक द्वंद्वयुद्ध में मरने से पहले एवरिस्ट गैलोइस द्वारा छोड़े गए लेखों ने बाद में बहुपदों के मूलो के एक पूर्ण सिद्धांत का नेतृत्व किया, जिसमें से यह प्रमेय एक परिणाम था।[8]

अनुप्रयोग

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

कंप्यूटर सहायतायुक्त विनिर्माण में, टोरस एक ऐसा आकार है जो आमतौर पर एंडमिल कटर से जुड़ा होता है। त्रिकोणीय सतह के सापेक्ष इसके स्थान की गणना करने के लिए, z- अक्ष पर एक क्षैतिज टोरस की स्थिति का पता लगाया जाना चाहिए। जहां यह एक निश्चित रेखा पर स्पर्शरेखा है, और इसकी गणना करने के लिए एक सामान्य चतुर्घाती समीकरण के हल की आवश्यकता होती है।[9]

क्रास्ड लैडर समस्या को हल करने की प्रक्रिया में एक चतुर्घाती समीकरण भी उत्पन्न होता है, जिसमें दो क्रास्ड लैडर की लंबाई, प्रत्येक एक दीवार के खिलाफ और दूसरी के खिलाफ झुकी हुई होती है, उस ऊंचाई के साथ दी जाती है जिस पर वे पार करते हैं, और दीवारों के बीच की दूरी पता लगानी हैं।[10]

प्रकाशिकी में, अलहज़ेन की समस्या इस प्रकार है कि एक प्रकाश स्रोत और एक गोलाकार दर्पण को देखते हुए, दर्पण पर उस बिंदु का पता लगाएं जहां प्रकाश एक पर्यवेक्षक की आंख पर प्रतिबिंबित होगा। यह एक चतुर्थक समीकरण का नेतृत्व करता है।[11][12][13]

दो दीर्घवृत्त के निकटतम उपगमन की दूरी का पता लगाने में एक चतुर्घात समीकरण को हल करना शामिल है।

एक 4×4 आव्यूह (गणित) के इगेन मान ​​एक चतुर्घाती बहुपद के मूल हैं जो आव्यूह के विशिष्ट बहुपद है।

चौथे क्रम के रैखिक अंतर समीकरण या अवकल समीकरण का अभिलाक्षणिक समीकरण एक चतुर्घात समीकरण है। किरणपुंज वंकन के टिमोचेंको-रेले सिद्धांत में इसका एक उदाहरण सामने आता है।[14]

चतुर्घाती समीकरणों का उपयोग करके गोलाकार, सिलेंडर या अन्य चतुष्कोणों के प्रतिच्छेदन (यूक्लिडियन ज्यामिति) प्राप्त किये जा सकते है।

नतिपरिवर्तन बिंदु और स्वर्ण अनुपात

यहां F तथा G को चतुर्घाती फलन के ग्राफ के अलग-अलग नतिपरिवर्तन बिंदु होने दें और H, विभक्ति छेदक रेखा FG और चतुर्घाती का प्रतिच्छेदन हो, जो G के करीब हो F कि तुलना में, फिर G FH को स्वर्ण अनुपात में विभाजित करता हैं :[15]

इसके अलावा छेदक रेखा और छेदक रेखा के नीचे चतुर्घाती के बीच के क्षेत्र का क्षेत्रफल छेदक रेखा के ऊपर के क्षेत्र और छेदक रेखा के ऊपर चतुर्घाती के बीच के क्षेत्र के बराबर होता है। उन क्षेत्रों में से एक को समान क्षेत्र के उप-क्षेत्रों में विभाजित किया गया है।

हल

मूलो की प्रकृति

सामान्य चतुर्घाती समीकरण दिया गया है-

वास्तविक गुणांक और a ≠ 0 के साथ इसके मूलो की प्रकृति मुख्य रूप से इसके विवेचक के चिन्ह से निर्धारित होती है

इसे चार अन्य बहुपदों के चिह्नों पर विचार करके परिष्कृत किया जा सकता है:

ऐसा है कि P/8a2 संबंधित अवनत चतुर्थ घात का दूसरा कोटि का गुणांक है (नीचे देखें );

ऐसा है कि R/8a3 संबंधित अवनत चतुर्थ घात का पहला कोटि का गुणांक है;

जो कि 0 है यदि चतुर्थ घात के तिहरे मूल है; तथा

जो कि 0 है यदि क्वार्टिक के दो दोहरे मूल हैं।

मूलो की प्रकृति के संभावित मामले इस प्रकार हैं:[16]

  • यदि ∆ < 0 तब समीकरण के दो भिन्न वास्तविक मूल और दो सम्मिश्र संयुग्मी अवास्तविक मूल होते हैं।
  • यदि ∆ > 0 तब या तो समीकरण के चारों मूल वास्तविक हैं या कोई भी मूल वास्तविक नहीं है।
    • यदि P < 0 और D < 0 तो चारों मूल वास्तविक और भिन्न हैं।
    • यदि P > 0 या D > 0 तो गैर-वास्तविक सम्मिश्र संयुग्मी मूलो के दो जोड़े हैं।[17]
  • यदि ∆ = 0 तब (और केवल तभी) बहुपद के अनेक मूल (गणित) होते है। यहां विभिन्न मामले हैं जो हो सकते हैं:
    • यदि P < 0 और D < 0 और 0 ≠ 0, एक वास्तविक दोहरे मूल और दो वास्तविक सरल मूल हैं।
    • यदि D > 0 या (P > 0 और (D ≠ 0 या R ≠ 0)), एक वास्तविक दोहरे मूल और दो सम्मिश्र संयुग्मी मूल हैं।
    • यदि 0 = 0 तथा D ≠ 0, एक तिहरे मूल और एक साधारण मूल हैं, सभी वास्तविक हैं।
    • यदि D = 0, तब:
      • यदि P <0, दो वास्तविक दोहरे मूल हैं।
      • यदि P > 0 और R = 0, दो सम्मिश्र संयुग्मी दोहरे मूल हैं।
      • यदि 0 = 0, चारों मूल बराबर हैं b/4a

कुछ मामले ऐसे होते हैं जो इस प्रकार नहीं होते हैं, और वास्तव में वे घटित नहीं हो सकते हैं। उदाहरण के लिए, 0 > 0, P = 0 और D ≤ 0 मामलों में से एक नहीं है। वास्तव में, अगर 0 > 0 तथा P = 0 तब D > 0, चूंकि इसलिए यह संमिश्रण संभव नहीं है।

मूलो के लिए सामान्य सूत्र

का समाधान पूरा लिखा हुआ। यह सूत्र सामान्य उपयोग के लिए ठीक नहीं है; इसलिए अन्य विधियों, या विशेष मामलों के लिए सरल सूत्रों का आमतौर पर उपयोग किया जाता है।[18]

चार मूल x1, x2, x3, तथा x4 सामान्य चतुर्घाती समीकरण के लिए

a ≠ 0 के साथ निम्नलिखित सूत्र में दिए गए हैं, जो चरों को वापस बदलकर (देखें § अवनत चतुर्थ घात में बदलना) और द्विघात और घन समीकरणों के सूत्रों का उपयोग करके फेरारी की विधि पर अनुभाग में से एक से घटाया गया है।

जहाँ पर p तथा q एक अवनत चतुर्घात में क्रमशः पहली और दूसरी घात के गुणांक हैं-

और जहाँ

(यदि S = 0 या Q = 0, § सूत्र के विशेष मामले नीचे देखें)

साथ

तथा

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

सूत्र की विशेष स्थितियाँ

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

सरल मामले

कम करने योग्य चतुर्घात

सामान्य चतुर्घाती पर विचार करें-

यह कम करने योग्य है यदि Q(x) = R(xS(x), जहाँ पर R(x) तथा S(x) तर्कसंगत संख्या गुणांक वाले गैर-निरंतर बहुपद हैं (या आमतौर पर एक ही क्षेत्र (गणित) में गुणांक के साथ गुणांक के रूप में) Q(x))। इस तरह का कारककरण दो रूपों में से एक होगा:

या

किसी भी मामले में, Q(x) के मूल गुणनखंडों के मूल हैं, जिनकी गणना किसी द्विघात फलन या घन फलन के मूलों के सूत्रों का उपयोग करके की जा सकती है।

इस तरह के गुणनखंडों के अस्तित्व का पता लगाने के लिए Q(x) के विलायक घनमूल का उपयोग किया जा सकता है। परिणाम यह निकला:

  • अगर हम R पर काम कर रहे हैं (अर्थात, यदि गुणांक वास्तविक संख्या तक ही सीमित हैं) (या, अधिक सामान्यतः कुछ वास्तविक बंद क्षेत्र पर) तो हमेशा ऐसा गुणनखंड होता है;
  • अगर हम Q पर काम कर रहे हैं (अर्थात, यदि गुणांक परिमेय संख्याओं तक ही सीमित हैं) तो यह निर्धारित करने के लिए एक एल्गोरिथम है या नहीं Q(x) कम करने योग्य है और, यदि है, तो इसे छोटी घात के बहुपदों के उत्पाद के रूप में कैसे व्यक्त किया जाए।

वास्तव में, चतुर्घाती समीकरणों को हल करने के कई तरीके ( फेरारी की विधि, डेसकार्टेस की विधि और कुछ हद तक यूलर की विधि) ऐसे गुणनखंडों के हल प्राप्त करने पर आधारित हैं।

द्विवर्गीय समीकरण

यदि a3 = a1 = 0 तो चतुर्घात फलन

चतुर्घात समीकरण को परिभाषित करता है, जिसे हल करना आसान है।

माना सहायक चर z = x2

फिर Q(x) एक द्विघात फलन बन जाता है q में z: q(z) = a4z2 + a2z + a0। माना z+ तथा z q(z) के मूल हैं, तो हमारे चतुर्घात फलन Q(x) के मूल इस प्रकार हैं-

अर्द्ध मुरजबंध संबंधी समीकरण

बहुपद

के रूप में लगभग मुरजबंध संबंधी है P(mx) = x4/m2P(m/x) (यह मुरजबंध संबंधी है अगर m = 1) चरों में परिवर्तन z = x + m/x में P(x)/x2 = 0 द्विघात समीकरण उत्पन्न करता है a0z2 + a1z + a2 − 2ma0 = 0 तब x2xz + m = 0, चतुर्थक समीकरण P(x) = 0 द्विघात सूत्र का दो बार प्रयोग करके हल किया जा सकता है।

समाधान के तरीके

एक अवनत चतुर्घात में परिवर्तित होना

समीकरणों को हल करने के लिए, चर में निम्नलिखित सरल परिवर्तन से आमतौर पर चतुर्घात को अवनत चतुर्घात में परिवर्तित करना बेहतर होता है। सभी सूत्र सरल हैं और कुछ विधियाँ केवल इस मामले में काम करती हैं। चर के विपरीत परिवर्तन द्वारा मूल चतुर्घात की मूलो को अवनत चतुर्घात से आसानी से पुनर्प्राप्त किया जाता है।

माना कि,

सामान्य चतुर्घाती समीकरण बनें जिसे हम हल करना चाहते हैं।

a4 द्वारा विभाजित करने पर, समतुल्य समीकरण प्रदान करता है x4 + bx3 + cx2 + dx + e = 0, साथ b = a3/a4, c = a2/a4, d = a1/a4, तथा e = a0/a4.

स्थानापन्न yb/4 के लिये x शर्तों को फिर से समूहीकृत करने के बाद, समीकरण देता है y4 + py2 + qy + r = 0,

जहाँ पर-

यदि y0 इस अवनत चतुर्घात के मूल है, फिर y0b/4 (वह है y0a3/4a4) मूल चतुर्घात की मूल है और मूल चतुर्घात के सभी मूलो के परिणाम इस प्रक्रिया से प्राप्त किए जा सकते है।

फेरारी का समाधान

जैसा कि पिछले अनुभाग में बताया गया है, हम अवनत चतुर्घात समीकरण से शुरू कर सकते हैं-

लोदोविको फेरारी द्वारा खोजी गई विधि के माध्यम से इस अवनत चतुर्घाती समीकरण को हल किया जा सकता है। अवनत समीकरण को फिर से लिखा जा सकता है (यह आसानी से वर्ग का विस्तार करके और बाईं ओर सभी शब्दों को पुनर्समूहित करके सत्यापित किया जाता है)

फिर, हम दोनों पक्षों में 2y2m + pm + m2 जोड़कर बाईं ओर के कारक में एक चर m का परिचय देते हैं। y की घात के गुणांकों को दाहिनी ओर पुनर्समूहित करने के बाद, यह समीकरण देता है-

 

 

 

 

(1)

जो मूल समीकरण के समतुल्य है, जो भी मान m के लिए दिया गया हो।

चूँकि m का मान अनिश्चित ढंग से चुना जा सकता है, हम इसे दाहिनी ओर के वर्ग को पूरा करने के लिए चुनेंगे। इसका तात्पर्य है कि इस द्विघात समीकरण वाला y में विविक्तकर शून्य है, अर्थात m समीकरण का मूल है-

जिसे इस प्रकार से भी लिखा जा सकता है-

 

 

 

 

(1a)

यह चतुर्घाती समीकरण का साधक त्रिघाती है। m का मान इस प्रकार कार्डानो के सूत्र से प्राप्त किया जा सकता है। जब m इस समीकरण का मूल है, समीकरण (1) का दाहिना पक्ष वर्ग है-

हालाँकि, यह यदि m = 0 होने पर शून्य से एक विभाजन को प्रेरित करता है। इसका तात्पर्य q = 0 हैं , और इस प्रकार अवनत समीकरण द्वि-द्विघात है, और इसे एक आसान विधि से हल किया जा सकता है (ऊपर देखें)। यह फेरारी के समय में कोई समस्या नहीं थी, जब केवल संख्यात्मक गुणांक वाले स्पष्ट रूप से दिए गए समीकरणों को हल किया जाता था। एक सामान्य सूत्र के लिए जो हमेशा सत्य होता है, इस प्रकार किसी को घन समीकरण के मूल चुनने की आवश्यकता होती है m ≠ 0। अवनत समीकरण y4 = 0 को छोड़कर यह हमेशा संभव है।

अब अगर m घन समीकरण का एक मूल है जैसे कि m ≠ 0, समीकरण (1) इस प्रकार बन जाता हैं -

यह समीकरण M2 = N2 के रूप का है, जिसे M2N2 = 0 या (M + N)(MN) = 0 के रूप में पुनर्व्यवस्थित किया जा सकता है। इसलिए, समीकरण (1) के रूप में फिर से लिखा जा सकता है-

द्विघात सूत्र को प्रत्येक कारक पर लागू करके इस समीकरण को आसानी से हल किया जाता है। इन्हें हल करते हुए हम चार मूलों को इस प्रकार लिख सकते हैं

जहाँ पर ±1 तथा ±2, + या को निरूपित करें जैसा कि ±1 की दो घटनाओं को एक ही संकेत को निरूपित करना चाहिए, यह चार संभावनाएँ छोड़ता है, प्रत्येक मूल के लिए एक।

इसलिए, मूल चतुर्घाती समीकरण के समाधान हैं-

उपरोक्त सामान्य सूत्र के साथ तुलना से पता चलता है 2m = 2S

डेसकार्टेस 'समाधान

डेसकार्टेस[19] 1637 में एक चतुर्घाती बहुपद के मूलो को खोजने की विधि को दो द्विघात वाले में विभाजित करके पेश किया।

माना,

गुणांकों को समान करके, समीकरणों की निम्नलिखित प्रणाली में इसका परिणाम होता है:

  1. अवनत चतुर्घात y4 + py2 + qy + r के साथ फिर से शुरू करके इसे सरल बनाया जा सकता है, जिसे yb/4 को प्रतिस्थापित करके प्राप्त किया जा सकता है x के लिए, y3 का गुणांक 0 हैं , हम पाते हैं s = −u, तथा:

कोई निम्नलिखित कार्य करके t तथा v निम्नलिखित दोनों को समाप्त कर सकता हैं:

अगर हम सेट करते हैं U = u2, तो इस समीकरण को हल करने से साधक त्रिघाती के मूल ज्ञात हो जाते हैं

 

 

 

 

(2)

जो अन्यत्र किया जाता है। यह विलायक घनमूल ऊपर दिए गए साधक त्रिघाती (समीकरण (1a)) के बराबर है, जैसा कि U = 2m को प्रतिस्थापित करके देखा जा सकता है।

यदि u इस विलायक के गैर-शून्य मूल का एक वर्गमूल है (ऐसा गैर-शून्य मूल चतुर्घात x4 को छोड़कर मौजूद है, जो तुच्छ रूप से कारक है),

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

उपरोक्त समाधान से पता चलता है कि परिमेय गुणांक के साथ एक चतुर्घात बहुपद और त्रिघातीय शब्द पर शून्य गुणांक परिमेय गुणांक वाले द्विघात में कारक है यदि और केवल यदि या तो साधक त्रिघाती (2) का शून्येतर मूल है जो परिमेय का वर्ग है, या p2 − 4r परिमेय का वर्ग है और q = 0; इसे परिमेय मूल परीक्षण का उपयोग करके आसानी से पता किया जा सकता है।[20]

यूलर का समाधान

पिछली पद्धति का एक प्रकार लियोनहार्ड यूलर के कारण है।[21][22] पिछले तरीकों के विपरीत, जिनमें से दोनों साधक त्रिघाती के कुछ मूलो का उपयोग करते हैं, यूलर की विधि उन सभी का उपयोग करती है। एक अवनत चतुर्घात पर विचार करें x4 + px2 + qx + r । ध्यान दें कि, यदि

  • x4 + px2 + qx + r = (x2 + sx + t)(x2sx + v),
  • r1 तथा r2, x2 + sx + t के मूल हैं,
  • r3 तथा r4, x2sx + v के मूल हैं,

फिर

  • x4 + px2 + qx + r के मूल r1, r2, r3, तथा r4 हैं ,
  • r1 + r2 = −s,
  • r3 + r4 = s.

इसलिए, (r1 + r2)(r3 + r4) = −s2। दूसरे शब्दों में, −(r1 + r2)(r3 + r4) विलायक घनमूल के मूलो में से एक है (2) और इससे पता चलता है कि घन के मूल बराबर हैं −(r1 + r2)(r3 + r4), −(r1 + r3)(r2 + r4) तथा −(r1 + r4)(r2 + r3)। यह वास्तव में सच है और यह वीटा के सूत्रों का अनुसरण करता है। यह वीटा के सूत्र से भी निकलता है, इस तथ्य के साथ कि हम एक अवनत चतुर्घात के साथ काम कर रहे हैं, कि r1 + r2 + r3 + r4 = 0। (बेशक, यह इस तथ्य से भी निकलता है कि r1 + r2 + r3 + r4 = −s + s।) इसलिए, यदि α, β, तथा γ विलायक घनमूल के मूल हैं, फिर संख्याएं r1, r2, r3, तथा r4 ऐसे हैं-

यह पहले दो समीकरणों का परिणाम है r1 + r2 का वर्गमूल है α और कि r3 + r4 का अन्य वर्गमूल है α. एक ही कारण के लिए,

  • r1 + r3 का वर्गमूल है β,
  • r2 + r4 का अन्य वर्गमूल है β,
  • r1 + r4 का वर्गमूल है γ,
  • r2 + r3 का अन्य वर्गमूल है γ.

इसलिए, संख्याएँ r1, r2, r3, तथा r4 ऐसे हैं

वर्गमूल के चिह्न के बारे में नीचे चर्चा की जाएगी। इस प्रणाली का एकमात्र समाधान है:

चूंकि, सामान्य तौर पर, प्रत्येक वर्गमूल के लिए दो विकल्प होते हैं, ऐसा लग सकता है कि यह प्रदान करता है कि सेट {r1, r2, r3, r4} के लिए 8 (= 23) विकल्प प्रदान करता है, लेकिन वास्तव में, यह इससे अधिक प्रदान नहीं करता है 2 इस तरह के विकल्प, क्योंकि सममित एक द्वारा वर्गमूलों में से एक को बदलने का परिणाम यह है कि सेट {r1, r2, r3, r4} समुच्चय बन जाता है {−r1, −r2, −r3, −r4}.

वर्गमूल का सही चिह्न निर्धारित करने के लिए, प्रत्येक संख्या α, β, तथा γ के लिए बस कुछ वर्गमूल चुनता है और पिछली समानता से संख्याओं की गणना करने के लिए r1, r2, r3, तथा r4 का उपयोग करता है। फिर, एक संख्या αβγ की गणना करता है। चूंकि तब से α, β, तथा γ के मूल हैं (2), यह वीटा के सूत्रों का परिणाम है कि उनका उत्पाद q2 के बराबर है और इसलिए वह αβγ = ±q। लेकिन एक सीधी गणना से पता चलता है-

αβγ = r1r2r3 + r1r2r4 + r1r3r4 + r2r3r4.

यदि यह संख्या है q, तब वर्गमूल का चुनाव अच्छा था (फिर से, वीटा के सूत्रों द्वारा); अन्यथा, बहुपद के मूल होंगे r1, r2, r3, तथा r4, यदि वर्गमूलों में से किसी एक को सममित एक से बदल दिया जाए (या, क्या समान है, यदि तीन वर्गमूलों में से प्रत्येक को सममित एक द्वारा प्रतिस्थापित किया जाता है)।

यह तर्क वर्गमूल चुनने का एक और तरीका सुझाता है:

  • α का कोई भी वर्गमूल √α और β का कोई भी वर्गमूल √β चुनें,
  • परिभाषित करना γ जैसा .

इसका कोई मतलब नहीं होगा अगर α या β 0 के बराबर है, लेकिन 0 केवल (2) का एक मूल है जब q = 0, केवल जब हम द्विवर्गीय समीकरण के साथ काम कर रहे हों, उस स्थिति में एक बहुत ही आसान तरीका।

लैग्रेंज रिसॉल्वेंट द्वारा समाधान

चार तत्वों पर सममित समूह S4 सामान्य उपसमूह के रूप में क्लेन चार-समूह है। यह एक विलायक घनमूल का उपयोग करने का सुझाव देता है जिनके मूलो को असतत फूरियर रूपांतरण या मूलो के हैडमार्ड सारणी रूपांतरण के रूप में विभिन्न रूप से वर्णित किया जा सकता है; सामान्य विधि के लिए लग्रेंज रिसॉल्वेंट देखें। 0 से 3 तक, x4 + bx3 + cx2 + dx + eे के चार मूलों को xi से निरूपित करें। अगर हम सेट करते हैं

तब चूंकि परिवर्तन एक अंतर्वलन (गणित) है, हम मूलो को चार si के संदर्भ में ठीक उसी तरह व्यक्त कर सकते हैं। चूंकि हम s0 = −b/2 का मान जानते हैं, हमें केवल s1, s2 तथा s3 इसके मानों की आवश्यकता है, ये बहुपद के मूल हैं-

xi के पद में si को उनके मानों से प्रतिस्थापित करके, इस बहुपद s में एक बहुपद में विस्तारित किया जा सकता है जिसके गुणांक xi में सममित बहुपद हैं। सममित बहुपदों के मौलिक प्रमेय द्वारा, इन गुणांकों को मोनिक चतुर्घात के गुणांकों में बहुपदों के रूप में व्यक्त किया जा सकता है। अगर, सरलीकरण के लिए, हम मानते हैं कि अवनत चतुर्घात है, यानी b = 0, इसका परिणाम बहुपद में होता है-

 

 

 

 

(3)

यह बहुपद छह घात का है, लेकिन s2 में केवल तीन घात का है, और इसलिए घन फलन के बारे में आलेख में वर्णित विधि द्वारा संबंधित समीकरण हल करने योग्य है। xi के व्यंजक में मूलों को si, के पदों में रखने पर हमें मूलों का व्यंजक प्राप्त होता है। स्पष्ट रूप से, हमें कई व्यंजक प्राप्त होते हैं, जो घन बहुपद के मूलों की संख्या और उनके वर्गमूलों को दिए गए चिह्नों पर निर्भर करते हैं। इन सभी विभिन्न व्यंजकों को केवल xi की संख्या बदलकर उनमें से किसी एक से निकाला जा सकता है।

ये भाव अनावश्यक रूप से जटिल हैं, जिनमें एकता के घन मूल शामिल है, जिसे निम्नानुसार टाला जा सकता है। यदि s का कोई अशून्य मूल है (3), और यदि हम सेट करते हैं-

फिर

इसलिए हम s को हल करके और फिर द्विघात सूत्र का उपयोग करके दो कारकों के मूलो को हल करके चतुर्घात को हल कर सकते हैं।

यह मूलो के लिए ठीक वही सूत्र देता है जो डेसकार्टेस विधि द्वारा प्रदान किया गया है।

बीजगणितीय ज्यामिति के साथ हल करना

बीजगणितीय ज्यामिति का उपयोग कर एक वैकल्पिक समाधान है[23] संक्षेप में, कोई मूलो को दो द्विघात वक्रों के प्रतिच्छेदन के रूप में व्याख्या करता है, फिर तीन कम करने योग्य द्विघात वक्रों (रेखाओं के जोड़े) का पता लगाता है जो इन बिंदुओं से होकर गुजरता है (यह विलायक घनमूल से मेल खाता है, रेखाओं के जोड़े लग्रेंज विलायक होते हैं), और फिर द्विघात को हल करने के लिए इन रैखिक समीकरणों का उपयोग करें।

अवनत चतुर्घात के चार मूल x4 + px2 + qx + r = 0 के रूप में भी व्यक्त किया जा सकता है x दो द्विघात समीकरणों के प्रतिच्छेदन के निर्देशांक y2 + py + qx + r = 0 तथा yx2 = 0 यानी, प्रतिस्थापन का उपयोग करना y = x2 कि दो द्विघात चार बिंदुओं पर प्रतिच्छेद करते हैं, बेज़ाउट के प्रमेय का एक उदाहरण है। स्पष्ट रूप से, चार बिंदु हैं Pi ≔ (xi, xi2) चार मूलो के लिए xi चतुर्घात का।

ये चार बिंदु संरेख नहीं हैं क्योंकि ये अलघुकरणीय द्विघात पर स्थित हैं y = x2 और इस प्रकार इन बिंदुओं से गुजरने वाला द्विघात (वक्रों का एक पेंसिल) का 1-पैरामीटर परिवार है। तीन चरों में द्विघात रूपों के रूप में दो द्विघातों के प्रक्षेपण को लिखना:

प्रक्षेपी रेखा में किसी भी बिंदु λF1 + μF2 के लिए पेंसिल [λ, μ] रूपों द्वारा दिया जाता है - दूसरे शब्दों में, जहां λ तथा μ दोनों शून्य नहीं हैं, और एक द्विघात रूप को एक स्थिरांक से गुणा करने से इसका द्विघात वक्र नहीं बदलता है शून्य का।

इस पेंसिल में तीन कम करने योग्य द्विघात होते हैं, जिनमें से प्रत्येक रेखाओं की एक जोड़ी के अनुरूप होता है, प्रत्येक चार बिंदुओं में से दो से होकर गुजरता है, जिसे किया जा सकता है  = 6 विभिन्न तरीके। इन्हें निरूपित करें Q1 = L12 + L34, Q2 = L13 + L24, तथा Q3 = L14 + L23. इनमें से किन्हीं दो को देखते हुए, उनके प्रतिच्छेदन के ठीक चार बिंदु हैं।

कम करने योग्य द्विघात, बदले में, द्विघात रूप λF1 + μF2 को 3×3 सारणी के रूप में व्यक्त करके निर्धारित किया जा सकता है। कम करने योग्य द्विघात इस सारणी के एकवचन होने के अनुरूप है, जो इसके निर्धारक के शून्य होने के बराबर है, और निर्धारक एक सजातीय घात तीन बहुपद है λ तथा μ और विलायक घनमूल के अनुरूप है।

यह भी देखें


संदर्भ

  1. Weisstein, Eric W. "चतुर्थांश समीकरण". mathworld.wolfram.com (in English). Retrieved 2020-07-27.
  2. O'Connor, John J.; Robertson, Edmund F., "Lodovico Ferrari", MacTutor History of Mathematics archive, University of St Andrews
  3. Cardano, Gerolamo (1993) [1545], Ars magna or The Rules of Algebra, Dover, ISBN 0-486-67811-3
  4. Depman (1954), Rasskazy o matematike (in русский), Leningrad: Gosdetizdat
  5. P. Beckmann (1971). π का इतिहास. Macmillan. p. 80. ISBN 9780312381851.
  6. P. Beckmann (1971). π का इतिहास. Macmillan. p. 191. ISBN 9780312381851.
  7. P. Zoll (1989). "संपादक को पत्र". American Mathematical Monthly. 96 (8): 709–710. JSTOR 2324719.
  8. Stewart, Ian, Galois Theory, Third Edition (Chapman & Hall/CRC Mathematics, 2004)
  9. "डिफरेंशियल ज्योमेट्री: ए फर्स्ट कोर्स इन कर्व्स एंड सरफेस, पी। 36" (PDF). math.gatech.edu.
  10. Weisstein, Eric W. "पार सीढ़ी समस्या". mathworld.wolfram.com (in English). Retrieved 2020-07-27.
  11. O'Connor, John J.; Robertson, Edmund F., "Abu Ali al-Hasan ibn al-Haytham", MacTutor History of Mathematics archive, University of St Andrews
  12. MacKay, R. J.; Oldford, R. W. (August 2000), "Scientific Method, Statistical Method and the Speed of Light", Statistical Science, 15 (3): 254–78, doi:10.1214/ss/1009212817, MR 1847825
  13. Neumann, Peter M. (1998), "Reflections on Reflection in a Spherical Mirror", American Mathematical Monthly, 105 (6): 523–528, doi:10.2307/2589403, JSTOR 2589403
  14. Shabana, A. A. (1995-12-08). कंपन का सिद्धांत: एक परिचय (in English). Springer Science & Business Media. ISBN 978-0-387-94524-8.
  15. Aude, H. T. R. (1949), "Notes on Quartic Curves", American Mathematical Monthly, 56 (3): 165–170, doi:10.2307/2305030, JSTOR 2305030
  16. Rees, E. L. (1922). "क्वार्टिक समीकरण की जड़ों की आलेखीय चर्चा". The American Mathematical Monthly. 29 (2): 51–55. doi:10.2307/2972804. JSTOR 2972804.
  17. Lazard, D. (1988). "क्वांटिफायर एलिमिनेशन: दो शास्त्रीय उदाहरणों के लिए इष्टतम समाधान". Journal of Symbolic Computation. 5 (1–2): 261–266. doi:10.1016/S0747-7171(88)80015-4.
  18. http://planetmath.org/QuarticFormula, PlanetMath, quartic formula, 21 October 2012
  19. Descartes, René (1954) [1637], "Book III: On the construction of solid and supersolid problems", The Geometry of Rene Descartes with a facsimile of the first edition, Dover, ISBN 0-486-60068-8, JFM 51.0020.07
  20. Brookfield, G. (2007). "फैक्टरिंग क्वार्टिक बहुपद: एक खोई हुई कला" (PDF). Mathematics Magazine. 80 (1): 67–70. doi:10.1080/0025570X.2007.11953453. S2CID 53375377.
  21. van der Waerden, Bartel Leendert (1991), "The Galois theory: Equations of the second, third, and fourth degrees", Algebra, vol. 1 (7th ed.), Springer-Verlag, ISBN 0-387-97424-5, Zbl 0724.12001
  22. Euler, Leonhard (1984) [1765], "Of a new method of resolving equations of the fourth degree", Elements of Algebra, Springer-Verlag, ISBN 978-1-4613-8511-0, Zbl 0557.01014
  23. Faucette, William M. (1996), "A Geometric Interpretation of the Solution of the General Quartic Polynomial", American Mathematical Monthly, 103 (1): 51–57, doi:10.2307/2975214, JSTOR 2975214, MR 1369151


अग्रिम पठन


बाहरी संबंध