विभेदक

For other uses, see विभेदक (disambiguation).

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

द्विघात बहुपद $ax^{2}+bx+c$ का विविक्तकर

$b^{2}-4ac,$

है, वह मात्रा जो द्विघात सूत्र में वर्गमूल के अंतर्गत प्रकट होती है। यदि $a\neq 0,$ यह विविक्तकर शून्य है यदि और मात्र यदि बहुपद का दोहरा मूल है। वास्तविक संख्या गुणांक के विषय में, यदि बहुपद की दो अलग-अलग वास्तविक मूल हैं, तो यह धनात्मक है और यदि दो अलग-अलग जटिल संयुग्मी मूल हैं तो यह ऋणात्मक है। इसी प्रकार, एक त्रिघात बहुपद का विविक्तकर शून्य होता है यदि और मात्र यदि बहुपद का एक बहुमूल हो। वास्तविक गुणांक वाले घन के विषय में, यदि बहुपद के तीन अलग-अलग वास्तविक मूल हैं, तो विवेचक धनात्मक होता है, और यदि इसके एक वास्तविक मूल और दो अलग-अलग जटिल संयुग्म मूल होते हैं, तो ऋणात्मक होता है।

अधिक सामान्यतः, एक बहुपद की धनात्मक घात के एक अविभाजित बहुपद का विवेचक शून्य होता है यदि और मात्र यदि बहुपद का एक बहुमूल हो। वास्तविक गुणांक और कोई बहुमूल नहीं होने के लिए, विवेचक धनात्मक होता है यदि गैर-वास्तविक मूलों की संख्या 4 का गुणज (गणित) है (कोई भी नहीं सहित), और अन्यथा ऋणात्मक है।

कई सामान्यीकरणों को विवेचक भी कहा जाता है: एक बीजगणितीय संख्या क्षेत्र का विवेचक; द्विघात रूप का विवेचक; और अधिक सामान्यतः, एक सजातीय बहुपद , या एक प्रक्षेपी ऊनविम सतह के एक रूप (गणित) का विभेदक (ये तीन अवधारणाएँ अनिवार्य रूप से समतुल्य हैं)।

उत्पत्ति

डिस्क्रिमिनेंट शब्द 1851 में ब्रिटिश गणितज्ञ जेम्स जोसेफ सिल्वेस्टर द्वारा गढ़ा गया था।

परिभाषा

होने देना

$A(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{1}x+a_{0}$

एक बहुपद की घात का एक बहुपद हो n (इसका मतलब यह है $a_{n}\neq 0$), जैसे कि गुणांक $a_{0},\ldots ,a_{n}$ एक क्षेत्र (गणित) से संबंधित हैं, या, अधिक सामान्यतः, एक क्रमविनिमेय वलय से संबंधित हैं। का परिणाम है A और इसका औपचारिक व्युत्पन्न,

$A'(x)=na_{n}x^{n-1}+(n-1)a_{n-1}x^{n-2}+\cdots +a_{1},$ में बहुपद है $a_{0},\ldots ,a_{n}$ पूर्णांक गुणांक के साथ, जो सिल्वेस्टर मैट्रिक्स का निर्धारक है A और A′. सिल्वेस्टर मैट्रिक्स के पहले कॉलम की गैर-शून्य प्रविष्टियाँ हैं $a_{n}$ और $na_{n},$ और परिणामी इस प्रकार का एक गुणक है $a_{n}.$ इसलिए विवेचक - इसके चिह्न तक - के परिणाम के भागफल के रूप में परिभाषित किया गया है A और A' द्वारा $a_{n}$:

$\operatorname {Disc} _{x}(A)={\frac {(-1)^{n(n-1)/2}}{a_{n}}}\operatorname {Res} _{x}(A,A')$

ऐतिहासिक रूप से, इस चिन्ह को इस प्रकार चुना गया है कि, वास्तविक के ऊपर, विवेचक धनात्मक होगा जब बहुपद की सभी मूल वास्तविक हों। द्वारा विभाजन $a_{n}$ यदि गुणांकों के वलय (गणित) में शून्य विभाजक हैं, तो अच्छी तरह से परिभाषित नहीं किया जा सकता है। बदलने से ऐसी समस्या से बचा जा सकता है $a_{n}$ सिल्वेस्टर मैट्रिक्स के पहले कॉलम में 1 से - निर्धारक की गणना करने से पहले। किसी भी विषय में, विवेचक एक बहुपद है $a_{0},\ldots ,a_{n}$ पूर्णांक गुणांक के साथ।

मूलों के संदर्भ में अभिव्यक्ति

जब उपरोक्त बहुपद को एक क्षेत्र (गणित) पर परिभाषित किया जाता है, तो यह होता है n मूल, $r_{1},r_{2},\dots ,r_{n}$क्षेत्र के किसी भी बीजगणितीय रूप से बंद विस्तार में, जरूरी नहीं कि सभी अलग-अलग हों। (यदि गुणांक वास्तविक संख्याएं हैं, तो मूलों को जटिल संख्याओं के क्षेत्र में लिया जा सकता है, जहां बीजगणित का मौलिक प्रमेय लागू होता है।)

मूलों के संदर्भ में, विवेचक के बराबर है