सम्मिश्र संयुग्म मूल प्रमेय

गणित में, जटिल संयुग्म मूल प्रमेय कहता है कि यदि P वास्तविक संख्या गुणांक वाले एक चर में एक बहुपद है, और a + bi,a और b वास्तविक संख्याओं के साथ P का एक मूल है, तो इसका जटिल संयुग्म a-bi भी एक मूल P है। 

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

उदाहरण और परिणाम

 * बहुपद x2 + 1 = 0 के मूल ±&hairsp;i हैं।
 * विषम मूल के किसी भी वास्तविक वर्ग आव्यूह में कम से कम एक वास्तविक आइगेनमान होता है। उदाहरण के लिए, यदि आव्यूह (गणित)  लंबकोणीय आव्यूह है, तो 1 या -1 एक आइगेनमान है।
 * बहुपद
 * $$x^3 - 7x^2 + 41x - 87$$
 * मूल हैं
 * $$3,\, 2 + 5i,\, 2 - 5i,$$
 * और इस प्रकार के रूप में भाजित किया जा सकता है
 * $$(x - 3)(x - 2 - 5i)(x - 2 + 5i).$$
 * पूर्व दो कारकों के उत्पाद की गणना करने में, काल्पनिक भाग निरस्त हो जाते हैं, और हमें मिलता है
 * $$(x - 3)(x^2 - 4x + 29).$$
 * अवास्तविक गुणनखंड युग्मों में आते हैं जिन्हें गुणा करने पर वास्तविक गुणांकों के साथ द्विघात बहुपद प्राप्त होते हैं। चूंकि जटिल संख्या गुणांक वाले प्रत्येक बहुपद को प्रथम-मूल कारकों (जो कि बीजगणित के मौलिक प्रमेय को बताने की एक विधि  है) में सम्मिलित  किया जा सकता है, यह इस प्रकार है कि वास्तविक गुणांक वाले प्रत्येक बहुपद को 2 से अधिक मूल के कारकों में विभाजित किया जा सकता है: मात्र प्रथम-मूल और द्विघात कारक।


 * यदि मूल $a+bi$ और $a−bi$ हैं, वे द्विघात
 * $$x^2 - 2ax + (a^2 + b^2)$$
 * बनाते हैं।
 * यदि तीसरा मूल $c$ है,तो यह
 * $$(x^2 - 2ax + (a^2 + b^2))(x-c)$$
 * $$=x^3 + x^2(-2a-c) + x(2ac+a^2+b^2) - c(a^2 + b^2)$$
 * बन जाता है।

विषम मूल बहुपदों पर उपप्रमेय
यह वर्तमान प्रमेय और बीजगणित के मौलिक प्रमेय से अनुसरण करता है कि यदि वास्तविक बहुपद की मूल विषम है, तो इसमें कम से कम एक वास्तविक मूल होना चाहिए।

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

इस उपप्रमेय को मध्यवर्ती मान प्रमेय का प्रयोग करके भी प्रत्यक्ष रूप से सिद्ध किया जा सकता है।

प्रमाण
प्रमेय का एक प्रमाण इस प्रकार है:

बहुपद पर विचार करें


 * $$P(z) = a_0 + a_1z + a_2z^2 + \cdots + a_nz^n$$

जहां सभी ar वास्तविक हैं। मान लीजिए कि कुछ सम्मिश्र संख्या ζ P का एक मूल है, अर्थात $$P(\zeta) = 0$$। इसे दिखाने की जरूरत है
 * $$P\big(\, \overline{\zeta} \,\big) = 0$$

भी।

अगर P(ζ&hairsp;&hairsp;) = 0, तो


 * $$a_0 + a_1\zeta + a_2\zeta^2 + \cdots + a_n\zeta^n = 0$$

जिसे इस रूप में रखा जा सकता है


 * $$\sum_{r=0}^n a_r\zeta^r = 0.$$

अब
 * $$P\big(\, \overline{\zeta} \,\big) = \sum_{r=0}^n a_r \big(\, \overline{\zeta} \,\big)^r$$

और जटिल संयुग्मन # गुण दिए गए हैं,


 * $$\sum_{r=0}^n a_r\big(\, \overline{\zeta} \,\big)^r = \sum_{r=0}^n a_r \overline{\zeta^r} = \sum_{r=0}^n \overline{a_r\zeta^r} = \overline{\sum_{r=0}^n a_r\zeta^r}.$$

तब से
 * $$\overline{\sum_{r=0}^n a_r\zeta^r} = \overline{0},$$

यह इस प्रकार है कि


 * $$\sum_{r=0}^n a_r\big(\, \overline{\zeta} \,\big)^r = \overline{0} = 0.$$

वह है,


 * $$P\big(\, \overline{\zeta} \,\big) = a_0 + a_1\overline{\zeta} + a_2\big(\, \overline{\zeta} \,\big)^2 + \cdots + a_n\big(\, \overline{\zeta} \,\big)^n = 0.$$

ध्यान दें कि यह मात्र इसलिए काम करता है क्योंकि ar वास्तविक हैं, अर्थात् $$\overline{a_r} = a_r$$। यदि कोई भी गुणांक अवास्तविक होता, तो मूल आवश्यक रूप से संयुग्मी युग्मों में नहीं आते।

टिप्पणियाँ
[Category:Articles containing proo