विभेदक

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

द्विघात बहुपद $$ax^2+bx+c$$ का विभेदक
 * $$b^2-4ac,$$

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

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

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

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

परिभाषा
मान लीजिए
 * $$A(x) = a_nx^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0$$

घात $n$ का बहुपद(इसका अर्थ है $$a_n\ne 0$$), जैसे कि गुणांक $$a_0, \ldots, a_n$$ एक क्षेत्र(गणित) से संबंधित हैं, या अधिक सामान्यतः, एक क्रमविनिमेय वलय के लिए हैं। $A$ और उसके रूपात्मक व्युत्पन्न,
 * $$A'(x) = na_nx^{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_n$$:


 * $$\operatorname{Disc}_x(A) = \frac{(-1)^{n(n-1)/2}}{a_n} \operatorname{Res}_x(A,A')$$
 * द्वारा $A$ और $A'$ के परिणाम के भागफल के रूप में परिभाषित किया गया है

ऐतिहासिक रूप से, इस संकेत को इस प्रकार चुना गया है कि, वास्तविक के ऊपर, विभेदक धनात्मक होगा जब बहुपद के सभी मूल वास्तविक हों। यदि गुणांकों के वलय(गणित) में शून्य विभाजक होते हैं तो $$a_n$$ द्वारा विभाजन ठीक रूप से परिभाषित नहीं किया जा सकता है। सारणिक की गणना करने से पूर्व सिल्वेस्टर आव्यूह के प्रथम स्तंभ में $$a_n$$ को 1- से बदलकर ऐसी समस्या से बचा जा सकता है। किसी भी विषय में, विभेदक पूर्णांक गुणांक वाले $$a_0, \ldots, a_n$$ में एक बहुपद है।

मूलों के संदर्भ में अभिव्यक्ति
जब उपरोक्त बहुपद को एक क्षेत्र(गणित) पर परिभाषित किया जाता है, तो क्षेत्र के बीजगणितीय रूप से बंद विस्तार में इसके $n$ मूल, $$r_1, r_2, \dots, r_n$$ होती हैं, आवश्यक नहीं कि सभी अलग हों।(यदि गुणांक वास्तविक संख्याएं हैं, तो मूलों को जटिल संख्याओं के क्षेत्र में लिया जा सकता है, जहां बीजगणित का मौलिक प्रमेय लागू होता है।)

मूलों के संदर्भ में, विभेदक


 * $$\operatorname{Disc}_x(A) = a_n^{2n-2}\prod_{i < j} (r_i-r_j)^2

= (-1)^{n(n-1)/2} a_n^{2n-2} \prod_{i \neq j} (r_i-r_j)$$
 * के बराबर है।

इस प्रकार यह वेंडरमोंडे बहुपद गुणा $$a_n^{2n-2} $$ का वर्ग है।

विभेदक के लिए यह अभिव्यक्ति प्रायः एक परिभाषा के रूप में ली जाती है। यह स्पष्ट करता है कि यदि बहुपद का एक बहुपद है, तो इसका विभेदक शून्य है, और यह कि, वास्तविक गुणांकों के विषय में, यदि सभी मूल वास्तविक और सरल मूल हैं, तो विभेदक धनात्मक है। पूर्व परिभाषा के विपरीत, यह अभिव्यक्ति गुणांक में स्पष्ट रूप से एक बहुपद नहीं है, परन्तु यह या तो गैलोज सिद्धांत के मौलिक प्रमेय से या सममित बहुपदों के मौलिक प्रमेय अनुसरण करता है और वीटा के सूत्रों से यह देखते हुए कि यह अभिव्यक्ति $A$ के मूल में एक सममित बहुपद है।

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

छोटी घात के लिए, विभेदक सरल है(नीचे देखें), परन्तु उच्च घात के लिए, यह स्थूल हो सकता है। उदाहरण के लिए, एक सामान्य बहुपद चतुर्थक फलन के विभेदक के 16 पद हैं, एक पंचक फलन के 59 पद हैं, और एक सेक्सटिक समीकरण के 246 पद हैं। यह ओईआईएस अनुक्रम है।

घात 2
द्विघात बहुपद $$ax^2+bx+c \,$$ में विभेदक
 * $$b^2-4ac\,$$
 * है।

विभेदक का वर्गमूल द्विघात बहुपद के मूलों के द्विघात सूत्र में प्रकट होता है:
 * $$x_{1,2}=\frac{-b \pm \sqrt {b^2-4ac}}{2a}.$$

जहां विभेदक शून्य है यदि और मात्र यदि दो मूल समान हैं। यदि $a, b, c$ वास्तविक संख्याएँ हैं, यदि विभेदक धनात्मक है तो बहुपद की दो विशिष्ट वास्तविक मूल हैं, और यदि ऋणात्मक है तो दो जटिल संयुग्मी मूल हैं। विभेदक का उत्पाद है $a2$ और मूलों के अंतर का वर्ग।

यदि $a, b, c$ परिमेय संख्याएँ हैं, तो विभेदक परिमेय संख्या का वर्ग है यदि और मात्र यदि दो मूल परिमेय संख्याएँ हैं।

घात 3
घन बहुपद $$ax^3+bx^2+cx+d \,$$ में विभेदक
 * $$b^2c^2-4ac^3-4b^3d-27a^2d^2+18abcd\,$$
 * है।

एक अवनत घन बहुपद $$x^3+px+q$$ के विशेष विषय में, विभेदक
 * $$ -4p^3-27q^2\,$$
 * को सरल करता है।

विभेदक शून्य होता है यदि और मात्र यदि कम से कम दो मूल बराबर हों। यदि गुणांक वास्तविक संख्याएँ हैं, और विभेदक शून्य नहीं है, तो विभेदक धनात्मक है यदि मूल तीन अलग-अलग वास्तविक संख्याएँ हैं, और ऋणात्मक है यदि एक वास्तविक मूल और दो जटिल संयुग्म मूल हैं।

विभेदक से दृढ़ता से संबंधित राशि का वर्गमूल एक घन बहुपद के मूल के सूत्रों में प्रकट होता है। विशेष रूप से, यह राशि$x^{3} + bx^{2} + cx + d$ गुणा विभेदक, या परिमेय संख्या के वर्ग के साथ इसका गुणनफल हो सकती है; उदाहरण के लिए, कार्डानो सूत्र के विषय में $b^{2}c^{2} – 4c^{3} – 4b^{3}d – 27d^{2} + 18bcd = 0$ का वर्ग।

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

घात 4
चतुर्थक बहुपद $$ ax^4+bx^3+cx^2+dx+e\,$$में विभेदक
 * $$\begin{align}

{} & 256a^3e^3-192a^2bde^2-128a^2c^2e^2+144a^2cd^2e \\[4pt] & {} -27a^2d^4+144ab^2ce^2-6ab^2d^2e-80abc^2de \\[4pt] & {} +18abcd^3+16ac^4e-4ac^3d^2-27b^4e^2+18b^3cde \\[4pt] & {} -4b^3d^3-4b^2c^3e+b^2c^2d^2\, \end{align}$$
 * है।

विभेदक शून्य होता है यदि और मात्र यदि कम से कम दो मूल समान हों। यदि गुणांक वास्तविक संख्याएँ हैं और विभेदक ऋणात्मक है, तो दो वास्तविक मूल और दो जटिल संयुग्मी मूल होते हैं। इसके विपरीत, यदि विभेदक धनात्मक है, तो मूल या तो सभी वास्तविक हैं या सभी गैर-वास्तविक हैं।

शून्य विभेदक
किसी क्षेत्र(गणित) पर बहुपद का विभेदक शून्य होता है यदि और मात्र यदि बहुपद का कुछ क्षेत्र विस्तार में बहुपद हो।

एक अभिन्न प्रांत पर बहुपद का विभेदक शून्य है यदि और मात्र यदि बहुपद और इसके व्युत्पन्न में एक गैर-नियतांक सामान्य भाजक है।

विशेषता(बीजगणित) 0 में, यह कहने के बराबर है कि बहुपद वर्ग-मुक्त बहुपद नहीं है(अर्थात, एक गैर-नियतांक बहुपद के वर्ग से विभाज्य)।

गैर-शून्य विशेषता $−3$ में, विभेदक शून्य है यदि और मात्र यदि बहुपद वर्ग-मुक्त नहीं है या इसमें एक अलघुकरणीय बहुपद है जो वियोज्य नहीं है(अर्थात्, अलघुकरणीय कारक $$x^p$$ में एक बहुपद है)।

चर के परिवर्तन के अंतर्गत व्युत्क्रम
एक बहुपद का विभेदक, सोपानी तक, चर के किसी प्रक्षेपी परिवर्तन के अंतर्गत अपरिवर्तनीय है। एक प्रक्षेपी परिवर्तन के रूप में अनुवाद, समरूपता और व्युत्क्रम के उत्पाद में विघटित हो सकता है, इसका परिणाम सरल परिवर्तनों के लिए निम्नलिखित सूत्र में होता है, जहाँ $1/18$ घात $x^{4} + cx^{2} + dx + e$ के एक बहुपद को दर्शाता है, $$a_n$$ के साथ प्रमुख गुणांक के रूप में।


 * अनुवाद द्वारा व्युत्क्रम:
 * $$\operatorname{Disc}_x(P(x+\alpha)) = \operatorname{Disc}_x(P(x))$$
 * यह मूलों के संदर्भ में विभेदक की अभिव्यक्ति का परिणाम है


 * समरूपता द्वारा व्युत्क्रम:
 * $$\operatorname{Disc}_x(P(\alpha x)) = \alpha^{n(n-1)}\operatorname{Disc}_x(P(x))$$
 * यह मूलों, या विभेदक की अर्ध-समरूपता के संदर्भ में अभिव्यक्ति का परिणाम है।


 * व्युत्क्रमण द्वारा व्युत्क्रम:
 * $$\operatorname{Disc}_x(P^{\mathrm{r}}\!\!\;(x)) = \operatorname{Disc}_x(P(x))$$
 * जब $$P(0)\ne 0$$ । यहाँ, $$P^{\mathrm{r}}\!\!\;$$ के पारस्परिक बहुपद $c, d, e$ को दर्शाता है; अर्थात, यदि $$P(x) = a_nx^n + \cdots + a_0,$$ और $$a_0 \neq 0,$$ तब
 * $$P^{\mathrm{r}}\!\!\;(x) = x^nP(1/x) = a_0x^n +\cdots +a_n$$।

वलय समरूपता के अंतर्गत व्युत्क्रम
मान लीजिए कि $$\varphi\colon R \to S$$ क्रमविनिमेय वलयों का एक समरूपता है। $p$ में एक बहुपद
 * $$A = a_nx^n+a_{n-1}x^{n-1}+\cdots+a_0$$

दिया गया है, समरूपता $$\varphi$$ $P(x)$ में बहुपद
 * $$A^\varphi = \varphi(a_n)x^n+\varphi(a_{n-1})x^{n-1}+ \cdots+\varphi(a_0)$$

के उत्पादन के लिए $n$ कार्य करता है।

निम्नलिखित अर्थों में विभेदक $$\varphi$$के अंतर्गत अपरिवर्तनीय है। यदि $$\varphi(a_n)\ne 0,$$ तो
 * $$\operatorname{Disc}_x(A^\varphi) = \varphi(\operatorname{Disc}_x(A))$$।

जैसा कि विभेदक को एक सारणिक के संदर्भ में परिभाषित किया गया है, यह गुण सारणिकों की समान गुण से तुरंत परिणाम देती है।

यदि $$\varphi(a_n)= 0,$$ तो $$\varphi(\operatorname{Disc}_x(A))$$ शून्य हो सकता है या नहीं। एक है, जब $$\varphi(a_n)= 0,$$
 * $$\varphi(\operatorname{Disc}_x(A)) = \varphi(a_{n-1})^2\operatorname{Disc}_x(A^\varphi).$$

जब कोई मात्र यह जानने में रुचि रखता है कि क्या एक विभेदक शून्य है(जैसा कि सामान्यतः बीजगणितीय ज्यामिति में होता है), तो इन गुणों को संक्षेप में प्रस्तुत किया जा सकता है:
 * $$\varphi(\operatorname{Disc}_x(A)) = 0$$ यदि और मात्र यदि या तो $$\operatorname{Disc}_x(A^\varphi)=0$$ या $$\deg(A)-\deg(A^\varphi)\ge 2.$$

इसे प्रायः यह कहते हुए व्याख्यायित किया जाता है कि $$\varphi(\operatorname{Disc}_x(A)) = 0$$ यदि और मात्र यदि $$A^\varphi$$ का एक बहु मूल है(संभवतः अनंत पर)।

बहुपदों का गुणनफल
यदि $P$, $R[x]$ में बहुपदों का गुणनफल है तो
 * $$\begin{align}

\operatorname{disc}_x(R) &= \operatorname{disc}_x(P)\operatorname{Res}_x(P,Q)^2\operatorname{disc}_x(Q) \\[5pt] {}&=(-1)^{pq}\operatorname{disc}_x(P)\operatorname{Res}_x(P,Q)\operatorname{Res}_x(Q,P)\operatorname{disc}_x(Q), \end{align}$$ जहाँ $$\operatorname{Res}_x$$ चर $S[x]$ के संबंध में परिणाम को दर्शाता है, और $A$ और $R = PQ$, $x$ और $x$ की क्रमशः घात हैं।

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

एकरूपता
विभेदक गुणांकों में एक सजातीय बहुपद है; यह मूलों में सजातीय बहुपद भी है और इस प्रकार गुणांकों में अर्ध-सजातीय बहुपद है।

घात $p$ वाले बहुपद का विभेदक गुणांकों में घात $q$ का समरूप है। इसे दो प्रकार से देखा जा सकता है। घात और अग्रणी शब्द सूत्र के संदर्भ में, सभी गुणांकों को $λ$ से गुणा करने पर मूलों को नहीं बदलता है, परन्तु अग्रणी शब्द को $λ$ से गुणा करते हैं। $a_{n}$ द्वारा विभाजित $P$ आव्यूह(गणित)(सिल्वेस्टर आव्यूह) के एक के सारणिक के रूप में इसकी अभिव्यक्ति के संदर्भ में, सारणिक प्रविष्टियों में घात $Q$का सजातीय है, और घात $n$ बनाता है।

घात $2n − 2$ वाले बहुपद का विभेदक मूलों में घात $(2n − 1)&thinsp;×&thinsp;(2n − 1)$ का समरूप होता है। यह मूलों के संदर्भ में विभेदक की अभिव्यक्ति से अनुसरण करता है, जो मूलों के स्थिर और $$\binom{n}{2} = \frac{n(n-1)}{2}$$ वर्ग अंतर का उत्पाद है।

घात $2n − 1$ वाले बहुपद का विभेदक गुणांकों में घात $2n − 2$ का अर्ध-सजातीय होता है, यदि, प्रत्येक $n$ के लिए, $$x^i$$ के गुणांक को भार $n(n − 1)$ दिया जाता है। यह उसी घात का अर्ध-सजातीय भी है, यदि प्रत्येक $n$ के लिए, $$x^i$$ के गुणांक को भार $n(n − 1)$ दिया जाता है। यह सामान्य तथ्य का परिणाम है कि मूलों में सजातीय और सममित बहुपद वाले प्रत्येक बहुपद को मूलों के प्राथमिक सममित फलनों में अर्ध-सजातीय बहुपद के रूप में व्यक्त किया जा सकता है।

बहुपद
 * $$ P=a_nx^n+a_{n-1}x^{n-1}+ \cdots +a_0$$
 * पर विचार करें।

यह इस बात से अनुसरण करता है कि विभेदक में प्रकट होने वाले प्रत्येक बहुपद $$a_0^{i_0}, \dots, a_n^{i_n}$$ में घातांक दो समीकरणों
 * $$i_0+i_1+\cdots+i_n=2n-2$$

और
 * $$i_1+2i_2 + \cdots+n i_n=n(n-1)$$

को संतुष्ट करते हैं और समीकरण
 * $$ni_0 +(n-1)i_1+ \cdots+ i_{n-1}=n(n-1)$$

को भी जो पूर्व समीकरण को $i$ से गुणा करके दूसरे समीकरण को घटाकर प्राप्त किया जाता है।

यह विभेदक में संभावित प्रतिबंधों को प्रतिबंधित करता है। सामान्य द्विघात बहुपद के लिए विभेदक में मात्र दो संभावनाएँ और दो पद होते हैं, जबकि तीन चरों में घात दो के सामान्य सजातीय बहुपद में 6 पद होते हैं। सामान्य घन बहुपद के लिए, विभेदक में पाँच संभावनाएँ और पाँच पद हैं, जबकि 5 चरों में 4 घात के सामान्य सजातीय बहुपद में 70 पद हैं।

उच्च घात के लिए, ऐसे एकपदीय हो सकते हैं जो उपरोक्त समीकरणों को संतुष्ट करते हैं और विभेदक में प्रकट नहीं होते हैं। प्रथम उदाहरण चतुर्थांश बहुपद $$ax^4 + bx^3 + cx^2 + dx + e$$ के लिए है, जिस स्थिति में एकपदीय $$bc^4d$$ विभेदक में प्रकट हुए बिना समीकरणों को संतुष्ट करता है।

वास्तविक मूल
इस खंड में, सभी बहुपदों में वास्तविक संख्या गुणांक होते हैं।

में यह देखा गया है कि विभेदक का संकेत घात 2 और 3 के बहुपदों के लिए मूलों की प्रकृति पर पूरी जानकारी प्रदान करता है। उच्च घात के लिए, विभेदक द्वारा प्रदान की गई जानकारी कम पूर्ण है, परन्तु फिर भी उपयोगी है। अधिक यथार्थ रूप से, घात $n − i$ के बहुपद के लिए, एक के निकट है:
 * बहुपद का बहुपद होता है यदि और मात्र यदि उसका विभेदक शून्य हो।
 * यदि विभेदक धनात्मक है, तो अवास्तविक मूलों की संख्या 4 का गुणक है। अर्थात्, एक अऋणात्मक पूर्णांक $i$ है जैसे जटिल संयुग्म मूलों और $i$ वास्तविक मूल $n$ जोड़े हैं।
 * यदि विभेदक ऋणात्मक है, तो अवास्तविक मूलों की संख्या 4 का गुणज नहीं है। अर्थात्, एक अऋणात्मक पूर्णांक $n$ है जैसे जटिल संयुग्म मूलों और $k ≤ n/4$ वास्तविक मूल $n − 4k$जोड़े हैं।

सजातीय द्विभाजित बहुपद
मान लीजिए कि
 * $$A(x,y) = a_0x^n+ a_1 x^{n-1}y + \cdots + a_n y^n=\sum_{i=0}^n a_i x^{n-i}y^i$$

दो अनिश्चितांकों में घात $2k$ का एक सजातीय बहुपद है।

मान लीजिए, अभी के लिये, कि $$a_0$$ और $$a_n$$ दोनों गैर-शून्य हैं, एक के निकट
 * $$\operatorname{Disc}_x(A(x,1))=\operatorname{Disc}_y(A(1,y))$$ है।

इस राशि को $$\operatorname{Disc}^h (A)$$ से दर्शाने द्वारा पर
 * $$\operatorname{Disc}_x (A) =y^{n(n-1)} \operatorname{Disc}^h (A),$$

और
 * $$\operatorname{Disc}_y (A) =x^{n(n-1)} \operatorname{Disc}^h (A)$$
 * होता है।

इन्हीं गुणों के कारण राशि $$\operatorname{Disc}^h (A)$$ को $k ≤ (n − 2)/4$ का विभेदक या सजातीय विभेदक कहा जाता है।

यदि $$a_0$$ और $$a_n$$ शून्य होने की अनुमति है, बहुपद $n − 4k + 2$ और $2k + 1$ से छोटी घात $n$ हो सकती है। इस विषय में, उपरोक्त सूत्र और परिभाषा मान्य रहती है, यदि विभेदकों की गणना इस प्रकार की जाती है जैसे कि सभी बहुपदों की घात $n$ होगी। इसका तात्पर्य है कि विभेदक की गणना $$a_0$$ और $$a_n$$ अनिश्चित के साथ की जानी चाहिए, इस गणना के बाद उनके वास्तविक मूल्यों का प्रतिस्थापन किया जा रहा है। समतुल्य रूप से, के सूत्र का उपयोग किया जाना चाहिए।

बीजगणितीय ज्यामिति में प्रयोग करें
बीजगणितीय ज्यामिति में विभेदकों का विशिष्ट उपयोग समतल बीजगणितीय वक्रों का अध्ययन करने के लिए है, और अधिक सामान्यतः ऊनविम पृष्ठ । मान लीजिए कि $A$ ऐसा वक्र या ऊनविम सतह हो; $A(x, 1)$ को बहुभिन्नरूपी बहुपद के शून्य समुच्चय के रूप में परिभाषित किया जाता है। इस बहुपद को एक अनिश्चित में अविभाजित बहुपद के रूप में माना जा सकता है, अन्य अनिश्चित में गुणांक के रूप में बहुपद के साथ। चयनित अनिश्चित के संबंध में विभेदक अन्य अनिश्चित के स्थान में ऊनविम पृष्ठ $A(1, y)$ को परिभाषित करता है। $n$ के बिंदु वस्तुतः $V$ के बिंदुओं(अनंत पर बिंदुओं सहित) के प्रक्षेपण हैं, जो या तो विचित्र हैं या स्पर्शरेखा स्थान है जो चयनित अनिश्चित के अक्ष के समानांतर है।

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

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

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

मान लीजिए कि $W$ में एक सजातीय बहुपद $W$ हो विशेषता(बीजगणित) 0, या अभाज्य संख्या विशेषता के क्षेत्र में अनिश्चित है जो बहुपद की घात को विभाजित नहीं करता है। बहुपद $V$ एक प्रक्षेपीय ऊनविम पृष्ठ को परिभाषित करता है, जिसमें बीजगणितीय विविधता का विलक्षण बिंदु होता है यदि और मात्र $f &thinsp;= 0$ का आंशिक व्युत्पन्न $A$ में एक फलन का गैर-तुच्छ सामान्य शून्य है। यह विषय है यदि और मात्र यदि इन आंशिक व्युत्पन्न का बहुभिन्नरूपी परिणाम शून्य है, और इस परिणामी को $n$ विभेदक के रूप में माना जा सकता है। यद्यपि, व्युत्पत्ति के परिणामस्वरूप पूर्णांक गुणांक के कारण, यह बहुभिन्नरूपी परिणामी $A$ की घात से विभाज्य हो सकता है, और एक विभेदक के रूप में, परिणामी के आदिम भाग को लेना ठीक होता है, जिसकी गणना सामान्य गुणांक के साथ की जाती है। विशेषता पर प्रतिबंध की आवश्यकता है क्योंकि अन्यथा आंशिक व्युत्पन्न का एक सामान्य शून्य आवश्यक रूप से बहुपद का शून्य नहीं है(सजातीय बहुपदों के लिए यूलर की पहचान देखें)।

$n$ घात के एक सजातीय द्विभाजित बहुपद के विषय में, यह सामान्य विभेदक $$d^{d-2}$$में परिभाषित विभेदक गुना है। कई अन्य उत्कृष्ट प्रकार के विभेदक, जो कि सामान्य परिभाषा के उदाहरण हैं, अगले खंडों में वर्णित हैं।

द्विघात रूप
एक द्विघात रूप सदिश स्थान पर एक फलन है, जिसे कुछ आधार(सदिश स्थान ) पर घात 2 के एक सजातीय बहुपद द्वारा परिभाषित किया गया है:


 * $$Q(x_1,\ldots,x_n) \ =\ \sum_{i=1}^n a_{ii} x_i^2+\sum_{1\le i <j\le n}a_{ij}x_i x_j,$$

या, आव्यूह रूप में,
 * $$Q(X) =X A X^\mathrm T,$$

$$n\times n$$ के लिए, सममित आव्यूह $$A=(a_{ij})$$, $$1\times n$$ पंक्ति सदिश $$X=(x_1,\ldots,x_n)$$, और $$n\times 1$$ स्तंभ सदिश $$X^{\mathrm{T}}$$। 2 से भिन्न विशेषता में(बीजगणित), $A$ का विभेदक या सारणिक $A$ का सारणिक है ।

$n$ का हेसियन सारणिक इसके विभेदक का $$2^n$$ गुना है। $d$ के आंशिक व्युत्पन्न का बहुभिन्नरूपी परिणाम इसके हेस्सियन सारणिक के बराबर है। तो, द्विघात रूप का विभेदक एक विभेदक की उपरोक्त सामान्य परिभाषा का विशेष विषय है।

द्विघात रूप का विभेदक चर के रैखिक परिवर्तन के अंतर्गत अपरिवर्तनीय है(जो कि सदिश स्थान के आधार पर परिवर्तन है, जिस पर द्विघात रूप परिभाषित किया गया है) निम्नलिखित अर्थों में: चर का रैखिक परिवर्तन एक गैर- विचित्र आव्यूह $Q$ द्वारा परिभाषित किया गया है, आव्यूह $A$ को $$S^\mathrm T A\,S$$ में बदलता है, और इस प्रकार विभेदक को $Q$ सारणिक के वर्ग से गुणा करता है। इस प्रकार विभेदक मात्र एक वर्ग द्वारा गुणा करने तक ही ठीक रूप से परिभाषित होता है। दूसरे शब्दों में, क्षेत्र $Q$ पर द्विघात रूप का विभेदक $S$ का एक अवयव है, गैर-शून्य वर्गों के उपसमूह द्वारा $A$ के गुणात्मक मोनोइड का भागफल मोनोइड(अर्थात, $S$ के दो अवयव समान तुल्यता वर्ग में यदि एक दूसरे का गुणनफल शून्येतर वर्ग से है)। यह इस प्रकार है कि जटिल संख्याओं पर, एक विभेदक 0 या 1 के बराबर होता है। वास्तविक संख्याओं पर, एक विभेदक -1, 0, या 1 के बराबर होता है। परिमेय संख्याओं पर, विभेदक एक अद्वितीय वर्ग-मुक्त पूर्णांक के बराबर होता है ।

कार्ल गुस्ताव जैकब जैकोबी के एक प्रमेय द्वारा, 2 से भिन्न विशेषता के एक क्षेत्र पर द्विघात रूप, चर के रैखिक परिवर्तन के बाद, विकर्ण रूप में
 * $$a_1x_1^2 + \cdots + a_nx_n^2$$
 * के रूप में व्यक्त किया जा सकता है।

अधिक यथार्थ रूप से, एक द्विघात रूपों को योग
 * $$\sum_{i=1}^n a_i L_i^2$$

के रूप में व्यक्त किया जा सकता है जहां $K$ स्वतंत्र रैखिक रूप हैं और $n$ चरों की संख्या है(कुछ $K/(K^{×})^{2}$ शून्य हो सकते है)। समान रूप से, किसी भी सममित आव्यूह $K$ के लिए, एक प्रारंभिक आव्यूह $K$ है जैसे $$S^\mathrm T A\,S$$ एक विकर्ण आव्यूह है। फिर विभेदक का उत्पाद $L_{i}$ है, जिसे $a_{i}$ में वर्ग के रूप में ठीक रूप से परिभाषित किया गया है ।

ज्यामितीय रूप से, तीन चरों में द्विघात रूप का विभेदक प्रक्षेपी वक्र का समीकरण है। विभेदक शून्य है यदि और मात्र यदि वक्र रेखाओं में विघटित हो(संभवतः क्षेत्र के बीजगणितीय रूप से बंद विस्तार पर)।

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

शंकु परिच्छेद
एक शंक्वाकार परिच्छेद एक समतल वक्र है जिसे
 * $$ax^2+ 2bxy + cy^2 + 2dx + 2ey + f = 0,$$

के रूप में अंतर्निहित समीकरण द्वारा परिभाषित किया गया है जहाँ $A$ वास्तविक संख्याएँ हैं।

दो द्विघात रूप, और इस प्रकार दो विभेदक एक शंकु परिच्छेद से जुड़े हो सकते हैं।

प्रथम द्विघात रूप
 * $$ax^2+ 2bxy + cy^2 + 2dxz + 2eyz + fz^2 = 0$$
 * है।

इसका विभेदक सारणिक
 * $$\begin{vmatrix} a & b & d\\b & c & e\\d & e & f \end{vmatrix} $$
 * है।

यदि शंक्वाकार परिच्छेद दो रेखाओं, एक दोहरी रेखा या एक बिंदु में अपकृष्ट हो जाता है तो यह शून्य है।

दूसरा विभेदक, जो मात्र वही है जिसे कई प्रारंभिक पाठ्यपुस्तकों में माना जाता है, समीकरण के घात दो के सजातीय भाग का विभेदक है। यह
 * $$b^2 - ac$$

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

वास्तविक चतुर्भुज सतह
आयाम तीन के यूक्लिडियन स्थान में वास्तविक चतुष्कोणीय सतह एक ऐसी सतह है जिसे तीन चर में घात दो के बहुपद के शून्य के रूप में परिभाषित किया जा सकता है। शंक्वाकार वर्गों के लिए दो विभेदक हैं जिन्हें प्राकृतिक रूप से परिभाषित किया जा सकता है। दोनों चतुष्कोणीय सतह की प्रकृति के विषय में जानकारी प्राप्त करने के लिए उपयोगी हैं।

मान लीजिए कि $$P(x,y,z)$$ तीन चरों में घात दो का एक बहुपद हो जो वास्तविक चतुष्कोणीय सतह को परिभाषित करता है। प्रथम संबद्ध द्विघात रूप, $$Q_4$$ चार चरों पर निर्भर करता है, और $S$ को समरूपीकरण द्वारा प्राप्त किया जाता है ; अर्थात
 * $$Q_4(x,y,z,t)=t^2P(x/t,y/t, z/t).$$

आइए हम इसके विभेदक को $$\Delta_4$$से निरूपित करें। दूसरा द्विघात रूप, $$Q_3$$ चरों पर निर्भर करता है, और इसमें $a_{i}$ की घात दो की प्रतिबंधें सम्मिलित हैं ; अर्थात
 * $$Q_3(x,y,z)=Q_4(x, y,z,0).$$

आइए हम इसके विभेदक को $$\Delta_3$$ से निरूपित करें।

यदि $$\Delta_4>0,$$ और सतह के वास्तविक बिंदु हैं, तो यह या तो अतिशयोक्तिपूर्ण परवलयज है या एक-पत्रक अतिपरवलयज है। दोनों ही विषयों में, यह एक रेखित सतह है जिसमें प्रत्येक बिंदु पर ऋणात्मक गॉसियन वक्रता होती है।

यदि $$\Delta_4<0,$$ सतह या तो एक दीर्घवृत्ताभ या दो-शीट अतिपरवलयज या एक दीर्घवृत्तीय परवलयज है। सभी विषयों में, इसके प्रत्येक बिंदु पर धनात्मक गाऊसी वक्रता होती है।

यदि $$\Delta_4=0,$$ सतह में एक बीजगणितीय प्रकार का एक विलक्षण बिंदु है, संभवतः अनंत पर इंगित करता है। यदि मात्र एक विलक्षण बिंदु है, तो सतह एक बेलन या शंक्वाकार सतह है। यदि कई विचित्र बिंदु हैं तो सतह में दो तल होते हैं, एक दोहरा तल या एक रेखा।

जब $$\Delta_4\ne 0,$$ $$\Delta_3$$ का संकेत, यदि 0 नहीं है, कोई उपयोगी जानकारी प्रदान नहीं करता है, क्योंकि $K/(K^{×})^{2}$ को $a, b, c, d, e, f$ में बदलने से सतह नहीं बदलती है, परन्तु $$\Delta_3$$ का संकेत बदल जाता है। यद्यपि, यदि $$\Delta_4\ne 0$$ और $$\Delta_3 = 0$$ सतह एक परवलयज है, जो दीर्घवृत्ताकार या अतिपरवलिक है, जो $$\Delta_4$$ के संकेत के आधार पर पर निर्भर करता है।

बाहरी संबंध

 * Wolfram Mathworld: Polynomial विभेदक
 * Planetmath: विभेदक