बीजगणित का मौलिक प्रमेय

Not to be confused with Fundamental theorem of arithmetic.

बीजगणित का मौलिक प्रमेय, जिसे डी'अलेम्बर्ट प्रमेय के रूप में भी जाना जाता है, डी'अलेम्बर्ट-गॉस प्रमेय, के अनुसार सम्मिश्र संख्या गुणांक वाले प्रत्येक गैर अचर बहुपद एकल-चर बहुपद में एक फलन का कम से कम एक सम्मिश्र मूल होता है। इसमें वास्तविक गुणांक वाले बहुपद सम्मिलित हैं, क्योंकि प्रत्येक वास्तविक संख्या एक समिश्र संख्या है जिसका काल्पनिक भाग शून्य के बराबर होता है।

समान रूप से (परिभाषा के अनुसार), प्रमेय कहती है कि समिश्र संख्याओं का क्षेत्र (गणित) बीजगणितीय रूप से बंद क्षेत्र है।

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

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

इतिहास

पीटर रोथ ने अपनी पुस्तक अरिथमेटिका फिलोसोफिका में (जोहान लैंट्ज़ेनबर्गर द्वारा नूर्नबर्ग में 1608 में प्रकाशित), में लिखा है कि घात n के एक बहुपद समीकरण (वास्तविक गुणांकों के साथ) के n समाधान हो सकते हैं। अल्बर्ट गिरार्ड ने अपनी पुस्तक एल'इन्वेंशन  नौवेल्ले  इन एल'एल्जेब्रे (1629 में प्रकाशित) में दावा किया कि घात n के एक बहुपद समीकरण के n समाधान हैं, लेकिन उन्होंने यह नहीं कहा कि उन्हें वास्तविक संख्याएँ होनी चाहिए। इसके अलावा, उन्होंने कहा कि उनका दावा तब तक बना रहता है जब तक कि समीकरण अधूरा न हो, जिससे उनका मतलब था कि कोई भी गुणांक 0 के बराबर नहीं है।

हालांकि, जब वह विस्तार से बताते हैं कि उनका क्या मतलब है, तो यह स्पष्ट है कि वह वास्तव में मानते हैं कि उनका दावा हमेशा सच होता है। ; उदाहरण के लिए, वह दिखाता है कि समीकरण x² = 4X - 3हलाकि अपूर्ण है , इसके चार हल हैं (बहुगुणों की गिनती): 1 (दो बार), तथा -1+√2i तथा -1-√2i जैसा कि नीचे फिर से उल्लेख किया जाएगा, यह बीजगणित के मौलिक प्रमेय का अनुसरण करता है कि वास्तविक गुणांक वाले प्रत्येक गैर-अचर बहुपद को वास्तविक गुणांक वाले बहुपदों के उत्पाद के रूप में लिखा जा सकता है, जिनकी घात या तो 1 या 2 है। हालांकि, 1702 में गॉटफ्रीड लीबनिज ने कहा कि x⁴ + a⁴ प्रकार के किसी बहुपद ( जिसमे a वास्तविक और 0 से भिन्न) को इस प्रकार नहीं लिखा जा सकता है। बाद में, निकोलस प्रथम बर्नौली ने बहुपद के संबंध में यही अभिकथन किया x⁴ − 4x³ + 2x² + 4x + 4, लेकिन उन्हें 1742 में लियोनहार्ड यूलर का एक पत्र मिला जिसमें यह दिखाया गया कि यह निम्न बहुपद के बराबर है

$\left(x^{2}-(2+\alpha )x+1+{\sqrt {7}}+\alpha \right)\left(x^{2}-(2-\alpha )x+1+{\sqrt {7}}-\alpha \right),$

साथ $\alpha ={\sqrt {4+2{\sqrt {7}}}}.$ साथ ही, यूलर ने बताया कि

$x^{4}+a^{4}=\left(x^{2}+a{\sqrt {2}}\cdot x+a^{2}\right)\left(x^{2}-a{\sqrt {2}}\cdot x+a^{2}\right).$

प्रमेय को सिद्ध करने का पहला प्रयास 1746 में जीन ले रोंड डी'अलेम्बर्ट|डी'अलेम्बर्ट द्वारा किया गया था, लेकिन उसका प्रमाण अधूरा था। अन्य समस्याओं के अलावा, यह एक प्रमेय (अब पुइसेक्स के प्रमेय के रूप में जाना जाता है) को निहित रूप से ग्रहण करता है, जो एक शताब्दी से अधिक समय तक और बीजगणित के मौलिक प्रमेय का उपयोग करके सिद्ध नहीं होगा। लियोनहार्ड यूलर (1749), फ्रांकोइस डेविएट डी फोन्सेंक्स (1759), जोसेफ लुइस लाग्रेंज (1772), और पियरे-साइमन लाप्लास (1795) द्वारा अन्य प्रयास किए गए। इन अंतिम चार प्रयासों में निहित रूप से गिरार्ड के दावे को ग्रहण किया गया; अधिक सटीक होने के लिए, समाधानों के अस्तित्व को मान लिया गया था और जो कुछ साबित होना बाकी था, वह यह था कि उनका रूप कुछ वास्तविक संख्याओं a और b के लिए a+bi था। आधुनिक शब्दों में, यूलर, डी फोन्सेंक्स, लाग्रेंज, और लाप्लास बहुपद p(z) के विभाजन वाले क्षेत्र के अस्तित्व को मान रहे थे।

18वीं शताब्दी के अंत में, दो नए प्रमाण प्रकाशित हुए जो मूलों के अस्तित्व को नहीं मानते थे, लेकिन इनमें से कोई भी पूर्ण नहीं था। उनमें से एक, जो जेम्स वुड (गणितज्ञ) द्वारा दिया गया था,मुख्य रूप से बीजगणितीय होने के कारण, 1798 में प्रकाशित हुआ था और इसे पूरी तरह से नजरअंदाज कर दिया गया था। वुड के प्रमाण में बीजगणितीय अंतर था। दूसरे को 1799 में कार्ल फ्रेडरिक गॉस द्वारा प्रकाशित किया गया था और यह मुख्य रूप से ज्यामितीय था, लेकिन इसमें एक सामयिक अंतर था, जिसे केवल 1920 में अलेक्जेंडर ओस्ट्रोव्स्की द्वारा भरा गया था, जैसा कि स्मेल (1981) में चर्चा की गई थी। पहला कठोर प्रमाण 1806 में जीन-रॉबर्ट अरगंड, शौकिया गणितज्ञों की एक सूची द्वारा प्रकाशित किया गया था (और 1813 में पुनरीक्षित); यहीं पर पहली बार, बीजगणित के मौलिक प्रमेय को केवल वास्तविक गुणांकों के बजाय समिश्र गुणांक वाले बहुपदों के लिए बताया गया था। गॉस ने 1816 में दो अन्य प्रमाण पेश किए और 1849 में अपने मूल प्रमाण का एक और अधूरा संस्करण पेश किया।

प्रमेय के प्रमाण वाली पहली पाठ्यपुस्तक कौशी का कोर्ट्स डी'एनालिसिस|कोर्ट्स डी'एनालिसिस डी ल'इकोले रोयाले पॉलीटेक्निक (1821) थी। इसमें अरगंड का प्रमाण शामिल था, हालांकि जॉन रॉबर्ट अरगंड को इसका श्रेय नहीं दिया जाता है।

अब तक उल्लिखित कोई भी प्रमाण रचनावाद (गणित) नहीं है। 19वीं शताब्दी के मध्य में पहली बार विअरस्ट्रास ने बीजगणित के मौलिक प्रमेय के रचनात्मक प्रमाण को खोजने की समस्या को उठाया। उन्होंने अपना समाधान प्रस्तुत किया, जो 1891 में होमोटोपी निरंतरता सिद्धांत के साथ डुरंड-कर्नर पद्धति के संयोजन के लिए आधुनिक शब्दों में है। इस तरह का एक और प्रमाण 1940 में हेलमथ केसर द्वारा प्राप्त किया गया था और 1981 में उनके बेटे मार्टिन केनेसर द्वारा सरलीकृत किया गया था।

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

समतुल्य कथन

प्रमेय के कई समतुल्य योग हैं:

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

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

• सकारात्मक घात का प्रत्येक अविभाज्य बहुपद n समिश्र गुणांक के साथ गुणनखंड किया जा सकता है
  $$c(x-r_{1})\cdots (x-r_{n}),$$
  कहाँ पे $c,r_{1},\ldots ,r_{n}$ समिश्र संख्याएँ हैं।

  n }} समिश्र आंकड़े $r_{1},\ldots ,r_{n}$ बहुपद की मूल हैं। यदि एक मूल कई कारकों में प्रकट होती है, तो यह एक बहुमूल है, और इसकी घटनाओं की संख्या, परिभाषा के अनुसार, मूल की बहुलता (गणित) है।

  प्रमाण है कि यह कथन पिछले वाले से परिणामित होता है, पर पुनरावर्तन द्वारा किया जाता है n: जब एक मूल $r_{1}$ द्वारा बहुपद विभाजन पाया गया है $x-r_{1}$ घात का बहुपद प्रदान करता है $n-1$ जिनकी मूल दिए गए बहुपद की अन्य मूल हैं।

अगले दो बयान पिछले वाले के बराबर हैं, हालांकि उनमें कोई अवास्तविक सम्मिश्र संख्या शामिल नहीं है। इन कथनों को पिछले गुणनखंडों से यह टिप्पणी करके सिद्ध किया जा सकता है कि, यदि r वास्तविक गुणांक वाले बहुपद की एक गैर-वास्तविक मूल है, इसका समिश्र संयुग्म ${\overline {r}}$ एक मूल भी है, और $(x-r)(x-{\overline {r}})$ वास्तविक गुणांकों के साथ घात दो का बहुपद है। इसके विपरीत, यदि किसी के पास घात दो का गुणनखंड है, तो द्विघात सूत्र एक मूल देता है।

• दो से अधिक घात के वास्तविक गुणांक वाले प्रत्येक अविभाजित बहुपद में वास्तविक गुणांकों के साथ घात दो का कारक होता है।
• सकारात्मक घात के वास्तविक गुणांक वाले प्रत्येक अविभाज्य बहुपद को इस प्रकार विभाजित किया जा सकता है
  $$cp_{1}\cdots p_{k},$$
  कहाँ पे c एक वास्तविक संख्या है और प्रत्येक $p_{i}$ वास्तविक गुणांकों के साथ अधिकतम दो घात का एक मोनिक बहुपद है। इसके अलावा, कोई यह मान सकता है कि घात दो के गुणनखंडों का कोई वास्तविक मूल नहीं है।

प्रमाण

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

$q(z)=p(z){\overline {p({\overline {z}})}}$

केवल वास्तविक गुणांक हैं और, यदि z, q(z) का एक शून्य है, तो या तो z या इसका सयुग्मी p(z) का एक मूल है।

प्रमेय के कई गैर-बीजगणितीय प्रमाण इस तथ्य का उपयोग करते हैं (कभी-कभी विकास प्रमेय कहा जाता है) कि एक बहुपद फलन p(z) घात n जिसका प्रमुख गुणांक 1 है, z की तरह व्यवहार करता हैⁿ कब |z| काफी बड़ा है। अधिक सटीक रूप से, कुछ धनात्मक वास्तविक संख्या R है जैसे कि

${\tfrac {1}{2}}|z^{n}|<|p(z)|<{\tfrac {3}{2}}|z^{n}|$

जब |z| > R.

वास्तविक-विश्लेषणात्मक प्रमाण

सम्मिश्र संख्याओं का उपयोग किए बिना भी, यह दिखाना संभव है कि एक वास्तविक मान का बहुपद p(x): p(0) ≠ 0 घात n > 2 को हमेशा वास्तविक गुणांक वाले किसी द्विघात बहुपद द्वारा विभाजित किया जा सकता है। दूसरे शब्दों में, कुछ वास्तविक मान वाले a और b के लिए, p(x) को x से विभाजित करने पर रैखिक शेष के गुणांक² − ax − b एक साथ शून्य हो जाता है।

$p(x)=(x^{2}-ax-b)q(x)+x\,R_{p(x)}(a,b)+S_{p(x)}(a,b),$

जहाँ q(x) घात n - 2 का बहुपद है। गुणांक R_p(x)(a, b) औरS_p(x)(a, b) x से स्वतंत्र हैं और पूरी तरह से p(x) के गुणांक द्वारा परिभाषित हैं। प्रतिनिधित्व के मामले में R_p(x)(a, b) और S_p(x)(a, b) aऔर b में द्विचरीय बहुपद हैं। 1799 से इस प्रमेय के गॉस के पहले (अधूरे) प्रमाण के तरीके में, कुंजी यह दिखाने के लिए है कि b के किसी भी बड़े ऋणात्मक मान के लिए, दोनों R की सभी मूल R_p(x)(a, b) और S_p(x)(a, b) चर में a वास्तविक मान हैं और एक-दूसरे को बदलते हैं (अंतरफलक लक्षण )। स्टर्म जैसी श्रृंखला जिसमें R_p(x)(a, b) और S_p(x)(a, b) लगातार फलनों के रूप में शामिल है,चर a अंतरफलक श्रृंखला में सभी लगातार जोड़े के लिए दिखाया जा सकता है जब b में पर्याप्त रूप से बड़ा ऋणात्मक मान हो। जैसे की S_p(a, b = 0) = p(0) की कोई मूल नहीं है, R_p(x)(a, b) and S_p(x)(a, b) की अंतरफलक चर a, b = 0 पर विफल रहता है। सामयिक तर्कों को अंतरफलक लक्षण पर लागू किया जा सकता है यह दिखाने के लिए कि R_p(x)(a, b) और S_p(x)(a, b) की मूलों का बिन्दुपथ कुछ वास्तविक मान a और b <0 के लिए प्रतिच्छेदित करना चाहिए।

समिश्र -विश्लेषणात्मक प्रमाण

त्रिज्या r की एक बंद चकती D खोजें जो मूल पर केंद्रित हो जैसे कि|p(z)| > |p(0)| जब भी |z| ≥ r।, D पर |p(z)| न्यूनतम , जो मौजूद होना चाहिए क्योंकि D छोटा है, इसलिए कुछ बिंदु z₀ D के भीतर हासिल किया जाता है , लेकिन इसकी सीमा के किसी भी बिंदु पर नहीं। 1/p(z) पर लागू अधिकतम गुणांक सिद्धांत का अर्थ है कि p(z₀) = 0. दूसरे शब्दों में, z₀ ,p(z) का शून्य है।

इस सबूत की भिन्नता के लिए अधिकतम गुणांक सिद्धांत की आवश्यकता नहीं होती है (वास्तव में, इसी तरह का तर्क होलोमोर्फिक कार्यों के लिए अधिकतम गुणांक सिद्धांत का प्रमाण भी देता है)। सिद्धांत लागू होने से पहले से जारी है, अगर a := p(z₀) ≠ 0, फिर, z − z₀ की घात में p(z) का विस्तार करने पर , हम लिख सकते हैं

$p(z)=a+c_{k}(z-z_{0})^{k}+c_{k+1}(z-z_{0})^{k+1}+\cdots +c_{n}(z-z_{0})^{n}.$

यहाँ, c_j बहुपद z → p(z + z) के गुणांक हैं, विस्तार के बाद, और k स्थिर पद के बाद पहले अशून्य गुणांक का सूचकांक है। Z के लिए पर्याप्त रूप से z₀ के करीब इस फलन का व्यवहार समान रूप से सरल बहुपद के समान है $q(z)=a+c_{k}(z-z_{0})^{k}$. अधिक सटीक रूप में ,

$\left|{\frac {p(z)-q(z)}{(z-z_{0})^{k+1}}}\right|\leq M$

z₀ के कुछ पड़ोस में कुछ धनात्मक स्थिरांक M के लिए. इसलिए, यदि हम परिभाषित करते हैं $\theta _{0}=(\arg(a)+\pi -\arg(c_{k}))/k$ और जाने $z=z_{0}+re^{i\theta _{0}}$ z के चारों ओर त्रिज्या r > 0 के एक वृत्त का अनुरेखण करना, फिर किसी भी पर्याप्त रूप से छोटे r के लिए (ताकि बाध्य M धारण कर सके), हम देखते हैं कि

${\begin{aligned}|p(z)|&\leq |q(z)|+r^{k+1}\left|{\frac {p(z)-q(z)}{r^{k+1}}}\right|\\[4pt]&\leq \left|a+(-1)c_{k}r^{k}e^{i(\arg(a)-\arg(c_{k}))}\right|+Mr^{k+1}\\[4pt]&=|a|-|c_{k}|r^{k}+Mr^{k+1}\end{aligned}}$

जब r पर्याप्त रूप से 0 के करीब होता है तो यह ऊपरी सीमा |p(z)| के लिए होती है |a| से बिल्कुल छोटा है, जो z की परिभाषा का खंडन करता है. ज्यामितीय रूप से, हमें एक स्पष्ट दिशा θ मिली है₀ ऐसा है कि यदि कोई z तक पहुंचता है₀ उस दिशा से व्यक्ति p(z) का पूर्ण मान |p(z) से छोटा मान प्राप्त कर सकता है₀)|.

विचार की इस पंक्ति के साथ एक और विश्लेषणात्मक प्रमाण प्राप्त किया जा सकता है, क्योंकि |p(z)| > |p(0)| D के बाहर, |p(z)| का न्यूनतम पूरे समिश्र तल पर z₀ पर प्राप्त किया जाता है. अगर |p(z₀)| > 0, तो 1/p पूरे समिश्र तल में एक घिरा होलोमॉर्फिक फलन है, क्योंकि प्रत्येक समिश्र संख्या z के लिए, |1/p(z)| ≤ |1/p(z₀)|. लिउविले के प्रमेय (समिश्र विश्लेषण) | लिउविल के प्रमेय को लागू करना, जो बताता है कि एक परिबद्ध संपूर्ण फलन स्थिर होना चाहिए, इसका अर्थ यह होगा कि 1/p स्थिर है और इसलिए p स्थिर है। यह एक विरोधाभास देता है, और इसलिए p(z₀) = 0. फिर भी एक अन्य विश्लेषणात्मक प्रमाण तर्क सिद्धांत का उपयोग करता है। मान लीजिए कि R एक धनात्मक वास्तविक संख्या है जो इतनी बड़ी है कि p(z) के प्रत्येक मूल का निरपेक्ष मान R से छोटा है; ऐसी संख्या का अस्तित्व होना चाहिए क्योंकि घात n के प्रत्येक असतत बहुपद फलन में अधिक से अधिक n शून्य होते हैं। प्रत्येक r > R के लिए, संख्या पर विचार करें

${\frac {1}{2\pi i}}\int _{c(r)}{\frac {p'(z)}{p(z)}}\,dz,$

जहां c(r) 0 पर केंद्रित वृत्त है, जिसकी त्रिज्या r वामावर्त दिशा में है; तब तर्क सिद्धांत कहता है कि यह संख्या r त्रिज्या के साथ 0 पर केंद्रित खुली गेंद में p(z) के शून्यों की संख्या N है, जो, चूंकि r > R, p(z) के शून्यों की कुल संख्या है। दूसरी ओर, c(r) के साथ n/z का समाकल 2πi से विभाजित n के बराबर है। लेकिन दोनों संख्याों के बीच का अंतर है

${\frac {1}{2\pi i}}\int _{c(r)}\left({\frac {p'(z)}{p(z)}}-{\frac {n}{z}}\right)dz={\frac {1}{2\pi i}}\int _{c(r)}{\frac {zp'(z)-np(z)}{zp(z)}}\,dz.$

परिमेय व्यंजक के समाकलन में अधिकतम n − 1 की घात होती है और हर की घात n+1 होती है। इसलिए, ऊपर की संख्या r → +∞ के रूप में 0 हो जाती है। लेकिन संख्या भी N− n के बराबर है और इसलिए N = n।

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

मान लीजिए कि A आकार n > 0 का एक समिश्र वर्ग आव्यूह है और I_nएक ही आकार की इकाई आव्यूह हो। मान लें कि A का कोई आइगेन मान नहीं है। हल किये गए फलन पर विचार करें

$R(z)=(zI_{n}-A)^{-1},$

जो आव्यूह के सदिश स्थान में मानों के साथ समिश्र तल पर एक मेरोमॉर्फिक फलन है। A के आइगन मान ​​ठीक R(z) के ध्रुव हैं। चूंकि, धारणा के अनुसार, A का कोई आइगेनमान नहीं है, फलन R(z) एक संपूर्ण फलन है और कौशी का समाकल प्रमेय यह दर्शाता है कि

$\int _{c(r)}R(z)\,dz=0.$

दूसरी ओर, ज्यामितीय श्रृंखला के रूप में विस्तारित R(z) देता है:

$R(z)=z^{-1}(I_{n}-z^{-1}A)^{-1}=z^{-1}\sum _{k=0}^{\infty }{\frac {1}{z^{k}}}A^{k}\cdot$

यह सूत्र त्रिज्या की बंद चकती (गणित) के बाहर मान्य है $\|A\|$ (a के ऑपरेटर मानदंड)। होने देना $r>\|A\|.$ फिर

$\int _{c(r)}R(z)dz=\sum _{k=0}^{\infty }\int _{c(r)}{\frac {dz}{z^{k+1}}}A^{k}=2\pi iI_{n}$

(जिसमें केवल योग k = 0 का एक अशून्य समाकल है)। यह एक विरोधाभास है, और इसलिए a का आइगन मान है।

अंत में, रूचे का प्रमेय शायद प्रमेय का सबसे छोटा प्रमाण देता है।

सामयिक प्रमाण

मान लीजिए |p(z)| का न्यूनतम पूरे समिश्र तल पर z₀ पर प्राप्त किया जाता है; यह सबूत पर देखा गया था जो लिउविल के प्रमेय का उपयोग करता है कि ऐसी संख्या मौजूद होनी चाहिए। हम p(z) को z − z में एक बहुपद के रूप में लिख सकते हैं₀: कुछ प्राकृतिक संख्या k है और कुछ समिश्र संख्याएँ c हैं_k, सी_k + 1, ..., सी_nऐसा कि सी_k≠ 0 और:

$p(z)=p(z_{0})+c_{k}(z-z_{0})^{k}+c_{k+1}(z-z_{0})^{k+1}+\cdots +c_{n}(z-z_{0})^{n}.$

अगर पी (जेड₀) अशून्य है, यह इस प्रकार है कि यदि a एक k है^th −p(z₀)/सी_kऔर यदि t धनात्मक है और पर्याप्त रूप से छोटा है, तो |p(z₀+ उसे) | <| डर (में₀)|, जो असंभव है, क्योंकि |p(z₀)| |p| का न्यूनतम है डी पर

विरोधाभास द्वारा एक अन्य सामयिक प्रमाण के लिए, मान लीजिए कि बहुपद p(z) की कोई मूल नहीं है, और फलस्वरूप कभी भी 0 के बराबर नहीं होता है। बहुपद को समिश्र तल से समिश्र तल में एक मानचित्र के रूप में सोचें। यह किसी भी वृत्त को मैप करता है |z| = R एक बंद लूप में, एक वक्र P(R). हम इस बात पर विचार करेंगे कि चरम सीमा पर P(R) की वाइंडिंग संख्या का क्या होता है जब R बहुत बड़ा होता है और जब R = 0 होता है। जब R पर्याप्त रूप से बड़ी संख्या होती है, तो अग्रणी शब्द z^{p(z) का n} संयुक्त रूप से अन्य सभी शब्दों पर हावी है; दूसरे शब्दों में,

$\left|z^{n}\right|>\left|a_{n-1}z^{n-1}+\cdots +a_{0}\right|.$

जब z वृत्त को पार करता है $Re^{i\theta }$ एक बार वामावर्त $(0\leq \theta \leq 2\pi ),$ फिर $z^{n}=R^{n}e^{in\theta }$ हवाएँ n बार वामावर्त चलती हैं $(0\leq \theta \leq 2\pi n)$ मूल बिंदु के आसपास (0,0), और P(R) इसी तरह। दूसरे चरम पर, |z| के साथ = 0, वक्र P(0) केवल एक बिंदु p(0) है, जो अशून्य होना चाहिए क्योंकि p(z) कभी शून्य नहीं होता। इस प्रकार p(0) मूल (0,0) से अलग होना चाहिए, जो समिश्र विमान में 0 को दर्शाता है। मूल (0,0) के चारों ओर P(0) की वाइंडिंग संख्या इस प्रकार 0 है। अब R को लगातार बदलने से होमोटॉपी होगी। कुछ R पर वाइंडिंग संख्या बदलना चाहिए। लेकिन यह तभी हो सकता है जब वक्र P(R) में कुछ R के लिए मूल (0,0) शामिल हो। लेकिन फिर उस वृत्त पर कुछ z के लिए |z| = R हमारे पास p(z) = 0 है, जो हमारी मूल धारणा के विपरीत है। इसलिए, p(z) में कम से कम एक शून्य है।

बीजगणितीय प्रमाण

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

• एक विषम घात और वास्तविक गुणांक वाले प्रत्येक बहुपद का कुछ वास्तविक मूल होता है;
• प्रत्येक गैर-ऋणात्मक वास्तविक संख्या का एक वर्गमूल होता है।

दूसरा तथ्य, द्विघात सूत्र के साथ, वास्तविक द्विघात बहुपदों के लिए प्रमेय का तात्पर्य है। दूसरे शब्दों में, मौलिक प्रमेय के बीजगणितीय प्रमाण वास्तव में दिखाते हैं कि यदि R कोई वास्तविक बंद क्षेत्र है, तो इसका विस्तार C = R(√−1) बीजगणितीय रूप से बंद है।

प्रेरण द्वारा

जैसा कि ऊपर उल्लेख किया गया है, यह कथन की जाँच करने के लिए पर्याप्त है कि वास्तविक गुणांक वाले प्रत्येक गैर-अचर बहुपद p(z) का एक सम्मिश्र मूल होता है। इस कथन को सबसे बड़े गैर-ऋणात्मक पूर्णांक k पर आगमन द्वारा सिद्ध किया जा सकता है जैसे कि 2^k p(z) की घात n को विभाजित करता है। माना a, z का गुणांक हैⁿ p(z) में और F को C के ऊपर p(z) का विभाजित क्षेत्र होने दें; दूसरे शब्दों में, फ़ील्ड F में C है और वहाँ तत्व z हैं₁, साथ₂, ..., साथ_nएफ में ऐसा है कि

$p(z)=a(z-z_{1})(z-z_{2})\cdots (z-z_{n}).$

यदि k = 0, तो n विषम है, और इसलिए p(z) का वास्तविक मूल है। अब, मान लीजिए कि n = 2^km (m विषम और k > 0 के साथ) और यह कि प्रमेय पहले ही सिद्ध हो चुका है जब बहुपद की घात का रूप 2 है^k − 1m′ m′ विषम के साथ। वास्तविक संख्या t के लिए, परिभाषित करें:

$q_{t}(z)=\prod _{1\leq i<j\leq n}\left(z-z_{i}-z_{j}-tz_{i}z_{j}\right).$

फिर क्यू के गुणांक_t(z) z में सममित बहुपद हैं_iवास्तविक गुणांक के साथ। इसलिए, उन्हें प्रारंभिक सममित बहुपदों में वास्तविक गुणांक वाले बहुपदों के रूप में व्यक्त किया जा सकता है, अर्थात -a में₁, एक₂, ..., (−1)^{एन</सुप>ए_n. तो क्यू_t(z) वास्तव में वास्तविक गुणांक हैं। इसके अलावा, क्यू की घात_t(z) n(n − 1)/2 = 2 हैk−1m(n − 1), और m(n − 1) एक विषम संख्या है। तो, प्रेरण परिकल्पना का उपयोग करते हुए, क्यू_tकम से कम एक समिश्र मूल है; दूसरे शब्दों में, जेड_i+ z_j+ tz_iz_j{1, ..., n} से दो अलग-अलग तत्वों i और j के लिए समिश्र है। चूंकि जोड़े (i, j) की तुलना में अधिक वास्तविक संख्याएं हैं, इसलिए अलग-अलग वास्तविक संख्याएं t और s इस तरह से पा सकते हैं कि z_i+ z_j+ tz_iz_jऔर जेड_i+ z_j+ नहीं_iz_jसमिश्र हैं (उसी i और j के लिए)। तो, दोनों जेड_i+ z_jऔर जेड_iz_jसमिश्र संख्याएँ हैं। यह जाँचना आसान है कि प्रत्येक सम्मिश्र संख्या का एक सम्मिश्र वर्गमूल होता है, इस प्रकार द्विघात सूत्र द्वारा घात 2 के प्रत्येक सम्मिश्र बहुपद का एक सम्मिश्र मूल होता है। यह इस प्रकार है कि जेड_iऔर जेड_jसम्मिश्र संख्याएँ हैं, क्योंकि वे द्विघात बहुपद z के मूल हैं2</सुप> - (जेड_i+ z_j)z+z_iz_j.}

जोसेफ शिपमैन ने 2007 में दिखाया कि यह धारणा कि विषम घात बहुपदों की मूल आवश्यकता से अधिक मजबूत हैं; कोई भी क्षेत्र जिसमें प्रमुख घात के बहुपदों की मूल बीजगणितीय रूप से बंद होती हैं (इसलिए विषम को विषम अभाज्य द्वारा प्रतिस्थापित किया जा सकता है और यह सभी विशेषताओं के क्षेत्रों के लिए है)। बीजगणितीय रूप से बंद क्षेत्रों के स्वयंसिद्ध के लिए, यह सबसे अच्छा संभव है, क्योंकि यदि एक एकल अभाज्य को बाहर रखा गया है तो प्रति उदाहरण हैं। हालांकि, ये प्रति उदाहरण -1 के वर्गमूल पर निर्भर करते हैं। यदि हम एक ऐसा क्षेत्र लेते हैं जहां −1 का कोई वर्गमूल नहीं है, और घात n ∈ I के प्रत्येक बहुपद का एक मूल है, जहां I विषम संख्याओं का कोई निश्चित अनंत समुच्चय है, तो विषम कोटि के प्रत्येक बहुपद f(x) का एक मूल होता है ( जबसे (x² + 1)^kf(x) एक मूल है, जहाँ k को चुना जाता है ताकि deg(f) + 2k ∈ I). मोहसिन अलीआबादी सामान्यीकृत 2013 में शिपमैन का परिणाम, एक स्वतंत्र प्रमाण प्रदान करता है कि बीजगणितीय रूप से बंद होने के लिए एक मनमाना क्षेत्र (किसी भी विशेषता के) के लिए पर्याप्त शर्त यह है कि इसकी प्रधान घात के प्रत्येक बहुपद के लिए एक मूल है।

गैलोइस थ्योरी से

मौलिक प्रमेय का एक अन्य बीजगणितीय प्रमाण गाल्वा सिद्धांत का उपयोग करके दिया जा सकता है। यह दिखाने के लिए पर्याप्त है कि C का कोई उचित परिमित क्षेत्र विस्तार नहीं है। K/'C' को परिमित विस्तार होने दें। चूँकि सामान्य विस्तार # 'R' पर K का सामान्य समापन अभी भी 'C' (या 'R') पर एक परिमित घात है, हम सामान्यता के नुकसान के बिना मान सकते हैं कि K, 'R' का सामान्य विस्तार है (इसलिए यह है) एक गाल्वा विस्तार, विशेषता (बीजगणित) 0 के क्षेत्र के प्रत्येक बीजगणितीय विस्तार के रूप में वियोज्य विस्तार है)। G को इस विस्तार का Galois समूह होने दें, और H को G का एक सिलो प्रमेय 2-उपसमूह होने दें, ताकि H का क्रम (समूह सिद्धांत) 2 की शक्ति हो, और G में H के एक उपसमूह का सूचकांक है अजीब। गैलोज़ सिद्धांत के मौलिक प्रमेय के अनुसार, K/'R' का एक उप-विस्तार L मौजूद है जैसे कि Gal(K/L) = H. जैसा कि [L:'R'] = [G:H] विषम है, और वहाँ हैं विषम घात का कोई अरैखिक अप्रासंगिक वास्तविक बहुपद नहीं, हमारे पास L = 'R' होना चाहिए, इस प्रकार [K:'R'] और [K:'C'] 2 की शक्तियाँ हैं। विरोधाभास के माध्यम से यह मानते हुए कि [K:'C '] > 1, हम यह निष्कर्ष निकालते हैं कि p-समूह|2-समूह Gal(K/'C') में अनुक्रमणिका 2 का एक उपसमूह शामिल है, इसलिए घात 2 के 'C' का एक उप-विस्तार M मौजूद है। हालांकि, 'C' घात 2 का कोई विस्तार नहीं है, क्योंकि प्रत्येक द्विघात सम्मिश्र बहुपद का एक सम्मिश्र मूल होता है, जैसा कि ऊपर उल्लेख किया गया है। इससे पता चलता है कि [K:'C'] = 1, और इसलिए K = 'C', जो उपपत्ति को पूरा करता है।

ज्यामितीय प्रमाण

जेएम अलमीरा और ए रोमेरो के कारण बीजगणित के मौलिक प्रमेय तक पहुंचने का एक और तरीका मौजूद है: रिमेंनियन ज्यामिति तर्कों द्वारा। यहाँ मुख्य विचार यह साबित करना है कि शून्य के बिना एक असततबहुपद p(z) के अस्तित्व का अर्थ है 'एस' क्षेत्र पर एक फ्लैट कई गुना का अस्तित्व।^{2</उप>। यह एक विरोधाभास की ओर ले जाता है क्योंकि गोला समतल नहीं है।}

एक रिमेंनियन सतह (M, g) को सपाट कहा जाता है यदि इसकी गाऊसी वक्रता, जिसे हम K द्वारा निरूपित करते हैं_g, समान रूप से शून्य है। अब, गॉस-बोनट प्रमेय, जब गोले 'S' पर लागू किया जाता है², का दावा है

$\int _{\mathbf {S} ^{2}}K_{g}=4\pi ,$

जो सिद्ध करता है कि गोला समतल नहीं है।

आइए अब मान लें कि n> 0 और

$p(z)=a_{0}+a_{1}z+\cdots +a_{n}z^{n}\neq 0$

प्रत्येक समिश्र संख्या z के लिए। आइए परिभाषित करते हैं

$p^{*}(z)=z^{n}p\left({\tfrac {1}{z}}\right)=a_{0}z^{n}+a_{1}z^{n-1}+\cdots +a_{n}.$

जाहिर है, p*(z) ≠ 0 'C' में सभी z के लिए। बहुपद f(z) = p(z)p*(z) पर विचार करें। फिर 'C' में प्रत्येक z के लिए f(z) ≠ 0। आगे,

$f({\tfrac {1}{w}})=p\left({\tfrac {1}{w}}\right)p^{*}\left({\tfrac {1}{w}}\right)=w^{-2n}p^{*}(w)p(w)=w^{-2n}f(w).$

हम इस क्रियात्मक समीकरण का प्रयोग यह सिद्ध करने के लिए कर सकते हैं कि g, द्वारा दिया गया है

$g={\frac {1}{|f(w)|^{\frac {2}{n}}}}\,|dw|^{2}$

डब्ल्यू के लिए 'सी' में, और

$g={\frac {1}{\left|f\left({\tfrac {1}{w}}\right)\right|^{\frac {2}{n}}}}\left|d\left({\tfrac {1}{w}}\right)\right|^{2}$

w ∈ 'S' के लिए²\{0}, गोले S पर एक अच्छी तरह से परिभाषित रिमेंनियन मेट्रिक है² (जिसे हम विस्तारित समिश्र तल C ∪ {∞} से पहचानते हैं)।

अब, एक साधारण गणना यह दर्शाती है

$\forall w\in \mathbf {C} :\qquad {\frac {1}{|f(w)|^{\frac {1}{n}}}}K_{g}={\frac {1}{n}}\Delta \log |f(w)|={\frac {1}{n}}\Delta {\text{Re}}(\log f(w))=0,$

चूंकि एक विश्लेषणात्मक कार्य का वास्तविक भाग हार्मोनिक है। इससे सिद्ध होता है कि के_g = 0.

परिणाम

चूँकि बीजगणित के मौलिक प्रमेय को इस कथन के रूप में देखा जा सकता है कि समिश्र संख्याओं का क्षेत्र बीजगणितीय रूप से बंद क्षेत्र है, यह इस प्रकार है कि बीजगणितीय रूप से बंद क्षेत्रों से संबंधित कोई भी प्रमेय समिश्र संख्याओं के क्षेत्र पर लागू होता है। यहाँ प्रमेय के कुछ और परिणाम हैं, जो या तो वास्तविक संख्या के क्षेत्र के बारे में हैं या वास्तविक संख्या के क्षेत्र और समिश्र संख्या के क्षेत्र के बीच संबंध हैं:

• सम्मिश्र संख्याओं का क्षेत्र वास्तविक संख्याओं के क्षेत्र का बीजगणितीय समापन है।
• समिश्र गुणांक वाले एक चर z में प्रत्येक बहुपद एक समिश्र स्थिरांक और समिश्र के साथ z + a के रूप के बहुपदों का गुणनफल होता है।
• वास्तविक गुणांक वाले एक चर x में प्रत्येक बहुपद को विशिष्ट रूप से x + a के रूप के एक स्थिर, बहुपद के उत्पाद के रूप में लिखा जा सकता है, और प्रपत्र x के बहुपद² + ax + b with a और b real और a² − 4b < 0 (जो कहने के समान है कि बहुपद x² + ax + b का कोई वास्तविक मूल नहीं है)। (एबेल-रफ़िनी प्रमेय द्वारा, वास्तविक संख्याएँ a और b आवश्यक रूप से बहुपद के गुणांकों, मूल अंकगणितीय संक्रियाओं और n-वें मूलों के निष्कर्षण के संदर्भ में अभिव्यक्त नहीं हैं।) इसका तात्पर्य है कि गैर-वास्तविक की संख्या समिश्र मूल हमेशा सम होती हैं और उनकी बहुलता से गिनने पर भी बनी रहती हैं।
• वास्तविक गुणांक वाले एक चर x में प्रत्येक परिमेय फलन को a/(x − b) रूप के परिमेय फलन वाले बहुपद फलन के योग के रूप में लिखा जा सकता है।ⁿ (जहाँ n एक प्राकृत संख्या है, और a और b वास्तविक संख्याएँ हैं), और (ax + b)/(x) के रूप का परिमेय फलन² + सीएक्स + डी)ⁿ (जहाँ n एक प्राकृतिक संख्या है, और a, b, c, और d वास्तविक संख्याएँ हैं जैसे कि c² − 4d < 0). इसका एक परिणाम यह है कि एक चर और वास्तविक गुणांकों में प्रत्येक परिमेय फलन का एक प्राथमिक फलन (विभेदक बीजगणित) प्रतिअवकलज होता है।
• वास्तविक क्षेत्र का प्रत्येक बीजगणितीय विस्तार या तो वास्तविक क्षेत्र या समिश्र क्षेत्र के लिए आइसोमोर्फिक है। Since the fundamental theorem of algebra can be seen as the statement that the field of complex numbers is algebraically closed, it follows that any theorem concerning algebraically closed fields applies to the field of complex numbers. Here are a few more consequences of the theorem, which are either about the field of real numbers or the relationship between the field of real numbers and the field of complex numbers:
  • The field of complex numbers is the algebraic closure of the field of real numbers.
  • Every polynomial in one variable z with complex coefficients is the product of a complex constant and polynomials of the form z + a with a complex.
  • Every polynomial in one variable x with real coefficients can be uniquely written as the product of a constant, polynomials of the form x + a with a real, and polynomials of the form x² + ax + b with a and b real and a² − 4b < 0 (which is the same thing as saying that the polynomial x² + ax + b has no real roots). (By the Abel–Ruffini theorem, the real numbers a and b are not necessarily expressible in terms of the coefficients of the polynomial, the basic arithmetic operations and the extraction of n-th roots.) This implies that the number of non-real complex roots is always even and remains even when counted with their multiplicity.
  • Every rational function in one variable x, with real coefficients, can be written as the sum of a polynomial function with rational functions of the form a/(x − b)ⁿ (where n is a natural number, and a and b are real numbers), and rational functions of the form (ax + b)/(x² + cx + d)ⁿ (where n is a natural number, and a, b, c, and d are real numbers such that c² − 4d < 0). A corollary of this is that every rational function in one variable and real coefficients has an elementary primitive.
  • Every algebraic extension of the real field is isomorphic either to the real field or to the complex field.

== एक बहुपद == के शून्य पर सीमा

Main article: Properties of polynomial roots

जबकि बीजगणित का मौलिक प्रमेय एक सामान्य अस्तित्व परिणाम बताता है, यह सैद्धांतिक और व्यावहारिक दोनों दृष्टिकोणों से, किसी दिए गए बहुपद के शून्यों के स्थान पर जानकारी रखने के लिए कुछ रुचि का है। इस दिशा में सरल परिणाम गुणांक पर बाध्य है: एक मोनिक बहुपद के सभी शून्य ζ $z^{n}+a_{n-1}z^{n-1}+\cdots +a_{1}z+a_{0}$ एक असमानता को संतुष्ट करें |ζ| ≤ आर_∞, कहाँ पे

$R_{\infty }:=1+\max\{|a_{0}|,\ldots ,|a_{n-1}|\}.$

ध्यान दें कि, जैसा कि कहा गया है, यह अभी तक एक अस्तित्व का परिणाम नहीं है, बल्कि एक उदाहरण है जिसे एक प्राथमिकता और पश्चवर्ती बाध्यता कहा जाता है: यह कहता है कि यदि समाधान हैं तो वे केंद्र की बंद चकती के अंदर स्थित हैं और त्रिज्या आर_∞. हालांकि, एक बार बीजगणित के मौलिक प्रमेय के साथ मिलकर यह कहता है कि चकती में वास्तव में कम से कम एक समाधान होता है। अधिक आम तौर पर, गुणांक के एन-वेक्टर के किसी भी पी-मानदंड के संदर्भ में एक बाध्य सीधे दिया जा सकता है $a:=(a_{0},a_{1},\ldots ,a_{n-1}),$ वह है |ζ| ≤ आर_p, जहां आर_pठीक 2-वेक्टर का क्यू-नॉर्म है $(1,\|a\|_{p}),$ क्यू पी के संयुग्मी प्रतिपादक होने के नाते, ${\tfrac {1}{p}}+{\tfrac {1}{q}}=1,$ किसी भी 1 ≤ पी ≤ ∞ के लिए। इस प्रकार, किसी भी विलयन का मापांक भी द्वारा परिबद्ध होता है

$R_{1}:=\max \left\{1,\sum _{0\leq k<n}|a_{k}|\right\},$

$R_{p}:=\left[1+\left(\sum _{0\leq k<n}|a_{k}|^{p}\right)^{\frac {q}{p}}\right]^{\frac {1}{q}},$

1 <पी <∞ के लिए, और विशेष रूप से

$R_{2}:={\sqrt {\sum _{0\leq k\leq n}|a_{k}|^{2}}}$

(जहाँ हम a को परिभाषित करते हैं_nमतलब 1, जो उचित है क्योंकि 1 वास्तव में हमारे बहुपद का एन-वां गुणांक है)। घात एन के एक सामान्य बहुपद का मामला,

$P(z):=a_{n}z^{n}+a_{n-1}z^{n-1}+\cdots +a_{1}z+a_{0},$

निश्चित रूप से एक मोनिक के मामले में कम हो गया है, सभी गुणांकों को एक से विभाजित करते हुए_n≠ 0. साथ ही, अगर 0 एक रूट नहीं है, यानी a₀ ≠ 0, मूलों पर नीचे से सीमाएं ζ ऊपर से सीमा के रूप में तुरंत पालन करती हैं ${\tfrac {1}{\zeta }}$यानी की मूल

$a_{0}z^{n}+a_{1}z^{n-1}+\cdots +a_{n-1}z+a_{n}.$

अंत में, दूरी $|\zeta -\zeta _{0}|$ मूलों से ζ किसी भी बिंदु तक $\zeta _{0}$ नीचे और ऊपर से देखकर अंदाजा लगाया जा सकता है $\zeta -\zeta _{0}$ बहुपद के शून्य के रूप में $P(z+\zeta _{0})$, जिसका गुणांक P(z) का टेलर विस्तार है $z=\zeta _{0}.$ माना ζ बहुपद का एक मूल है

$z^{n}+a_{n-1}z^{n-1}+\cdots +a_{1}z+a_{0};$

असमानता को साबित करने के लिए |ζ| ≤ आर_pहम निश्चित रूप से मान सकते हैं |ζ| > 1. समीकरण को इस रूप में लिखने पर

$-\zeta ^{n}=a_{n-1}\zeta ^{n-1}+\cdots +a_{1}\zeta +a_{0},$

और होल्डर की असमानता का उपयोग करके हम पाते हैं

$|\zeta |^{n}\leq \|a\|_{p}\left\|\left(\zeta ^{n-1},\ldots ,\zeta ,1\right)\right\|_{q}.$

अब, यदि p = 1, यह है

$|\zeta |^{n}\leq \|a\|_{1}\max \left\{|\zeta |^{n-1},\ldots ,|\zeta |,1\right\}=\|a\|_{1}|\zeta |^{n-1},$

इस प्रकार

$|\zeta |\leq \max\{1,\|a\|_{1}\}.$

1 <p ≤ ∞ की स्थिति में, ज्यामितीय प्रगति के योग सूत्र को ध्यान में रखते हुए, हमारे पास है

$|\zeta |^{n}\leq \|a\|_{p}\left(|\zeta |^{q(n-1)}+\cdots +|\zeta |^{q}+1\right)^{\frac {1}{q}}=\|a\|_{p}\left({\frac {|\zeta |^{qn}-1}{|\zeta |^{q}-1}}\right)^{\frac {1}{q}}\leq \|a\|_{p}\left({\frac {|\zeta |^{qn}}{|\zeta |^{q}-1}}\right)^{\frac {1}{q}},$

इस प्रकार

$|\zeta |^{nq}\leq \|a\|_{p}^{q}{\frac {|\zeta |^{qn}}{|\zeta |^{q}-1}}$

और सरलीकरण,

$|\zeta |^{q}\leq 1+\|a\|_{p}^{q}.$

इसलिए

$|\zeta |\leq \left\|\left(1,\|a\|_{p}\right)\right\|_{q}=R_{p}$

धारण करता है, सभी के लिए 1 ≤ p ≤ ∞.

यह भी देखें

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

संदर्भ

ऐतिहासिक स्रोत

• Cauchy, Augustin-Louis (1821), Cours d'Analyse de l'École Royale Polytechnique, 1^ère partie: Analyse Algébrique, Paris: Éditions Jacques Gabay (published 1992), ISBN 978-2-87647-053-8 (tr। इकोले पॉलीटेक्निक के विश्लेषण पर पाठ्यक्रम, भाग 1: बीजगणितीय विश्लेषण)
• Euler, Leonhard (1751), "Recherches sur les racines imaginaires des équations", Histoire de l'Académie Royale des Sciences et des Belles-Lettres de Berlin, Berlin, vol. 5, pp. 222–288. अंग्रेजी अनुवाद: Euler, Leonhard (1751), "Investigations on the Imaginary Roots of Equations" (PDF), Histoire de l'Académie Royale des Sciences et des Belles-Lettres de Berlin, Berlin, vol. 5, pp. 222–288
• Gauss, Carl Friedrich (1799), Demonstratio nova theorematis omnem functionem algebraicam rationalem integram unius variabilis in factores reales primi vel secundi gradus resolvi posse, Helmstedt: C. G. Fleckeisen (tr। प्रमेय का नया प्रमाण है कि एक चर के प्रत्येक अभिन्न तर्कसंगत बीजगणितीय कार्य को पहली या दूसरी घात के वास्तविक कारकों में हल किया जा सकता है)।
• Gauss, Carl Friedrich (1866), Carl Friedrich Gauss Werke, vol. Band III, Königlichen Gesellschaft der Wissenschaften zu Göttingen
  1. Demonstratio nova theorematis omnem functionem algebraicam rationalem integram unius variabilis in factores reales primi vel secundi gradus resolvi posse (1799), pp. 1–31., p. 1, at Google Books - पहला प्रमाण।
  2. Demonstratio nova altera theorematis omnem functionem algebraicam rationalem integram unius variabilis in factores reales primi vel secundi gradus resolvi posse (1815 Dec), pp. 32–56., p. 32, at Google Books - दूसरा प्रमाण।
  3. Theorematis de resolubilitate functionum algebraicarum integrarum in factores reales demonstratio tertia Supplementum commentationis praecedentis (1816 Jan), pp. 57–64., p. 57, at Google Books - तीसरा प्रमाण।
  4. Beiträge zur Theorie der algebraischen Gleichungen (1849 Juli), pp. 71–103., p. 71, at Google Books - चौथा प्रमाण।
• Kneser, Hellmuth (1940), "Der Fundamentalsatz der Algebra und der Intuitionismus", Mathematische Zeitschrift, vol. 46, pp. 287–302, doi:10.1007/BF01181442, ISSN 0025-5874, S2CID 120861330 (बीजगणित और अंतर्ज्ञान का मौलिक प्रमेय)।
• Kneser, Martin (1981), "Ergänzung zu einer Arbeit von Hellmuth Kneser über den Fundamentalsatz der Algebra", Mathematische Zeitschrift, vol. 177, no. 2, pp. 285–287, doi:10.1007/BF01214206, ISSN 0025-5874, S2CID 122310417 (टीआर। बीजगणित के मौलिक प्रमेय पर हेलमथ केसर के काम का विस्तार)।
• Ostrowski, Alexander (1920), "Über den ersten und vierten Gaußschen Beweis des Fundamental-Satzes der Algebra", Carl Friedrich Gauss Werke Band X Abt. 2 (tr। बीजगणित के मौलिक प्रमेय के पहले और चौथे गॉसियन प्रमाणों पर)।
• Weierstraß, Karl (1891), "Neuer Beweis des Satzes, dass jede ganze rationale Function einer Veränderlichen dargestellt werden kann als ein Product aus linearen Functionen derselben Veränderlichen", Sitzungsberichte der königlich preussischen Akademie der Wissenschaften zu Berlin, pp. 1085–1101 (tr। प्रमेय का नया प्रमाण है कि एक चर के प्रत्येक अभिन्न तर्कसंगत कार्य को उसी चर के रैखिक कार्यों के उत्पाद के रूप में दर्शाया जा सकता है)।

हाल का साहित्य

• Almira, J.M.; Romero, A. (2007), "Yet another application of the Gauss-Bonnet Theorem for the sphere", Bulletin of the Belgian Mathematical Society, vol. 14, pp. 341–342
• Almira, J.M.; Romero, A. (2012), "Some Riemannian geometric proofs of the Fundamental Theorem of Algebra" (PDF), Differential Geometry – Dynamical Systems, vol. 14, pp. 1–4
• de Oliveira, O.R.B. (2011), "The Fundamental Theorem of Algebra: an elementary and direct proof", Mathematical Intelligencer, vol. 33, no. 2, pp. 1–2, doi:10.1007/s00283-011-9199-2, S2CID 5243991
• de Oliveira, O.R.B. (2012), "The Fundamental Theorem of Algebra: from the four basic operations", American Mathematical Monthly, vol. 119, no. 9, pp. 753–758, arXiv:1110.0165, doi:10.4169/amer.math.monthly.119.09.753, S2CID 218548926
• Fine, Benjamin; Rosenberger, Gerhard (1997), The Fundamental Theorem of Algebra, Undergraduate Texts in Mathematics, Berlin: Springer-Verlag, ISBN 978-0-387-94657-3, MR 1454356
• Gersten, S.M.; Stallings, John R. (1988), "On Gauss's First Proof of the Fundamental Theorem of Algebra", Proceedings of the American Mathematical Society, vol. 103, no. 1, pp. 331–332, doi:10.1090/S0002-9939-1988-0938691-3, ISSN 0002-9939, JSTOR 2047574
• Gilain, Christian (1991), "Sur l'histoire du théorème fondamental de l'algèbre: théorie des équations et calcul intégral", Archive for History of Exact Sciences, vol. 42, no. 2, pp. 91–136, doi:10.1007/BF00496870, ISSN 0003-9519, S2CID 121468210 (tr। बीजगणित के मौलिक प्रमेय के इतिहास पर: समीकरणों का सिद्धांत और अभिन्न कलन।)
• Netto, Eugen; Le Vavasseur, Raymond (1916), "Les fonctions rationnelles §80–88: Le théorème fondamental", in Meyer, François; Molk, Jules (eds.), Encyclopédie des Sciences Mathématiques Pures et Appliquées, tome I, vol. 2, Éditions Jacques Gabay (published 1992), ISBN 978-2-87647-101-6 (tr। तर्कसंगत कार्य §80–88: मौलिक प्रमेय)।
• Remmert, Reinhold (1991), "The Fundamental Theorem of Algebra", in Ebbinghaus, Heinz-Dieter; Hermes, Hans; Hirzebruch, Friedrich (eds.), Numbers, Graduate Texts in Mathematics 123, Berlin: Springer-Verlag, ISBN 978-0-387-97497-2
• Shipman, Joseph (2007), "Improving the Fundamental Theorem of Algebra", Mathematical Intelligencer, vol. 29, no. 4, pp. 9–14, doi:10.1007/BF02986170, ISSN 0343-6993, S2CID 123089882
• Smale, Steve (1981), "The Fundamental Theorem of Algebra and Complexity Theory", Bulletin of the American Mathematical Society, New Series, 4 (1): 1–36, doi:10.1090/S0273-0979-1981-14858-8 [एचटीटीपी://प्रोजेक्टउक्लिड.ऑर्ग/डपबस?सर्विस=ुइ&वर्शन=1.0&वर्ब=डिस्प्ले&हैंडल=यूक्लिड.बांस/1183547848]
• Smith, David Eugene (1959), A Source Book in Mathematics, Dover, ISBN 978-0-486-64690-9
• Smithies, Frank (2000), "A forgotten paper on the fundamental theorem of algebra", Notes & Records of the Royal Society, vol. 54, no. 3, pp. 333–341, doi:10.1098/rsnr.2000.0116, ISSN 0035-9149, S2CID 145593806
• Taylor, Paul (2 June 2007), Gauss's second proof of the fundamental theorem of algebra - गॉस के दूसरे प्रमाण का अंग्रेजी अनुवाद।
• van der Waerden, Bartel Leendert (2003), Algebra, vol. I (7th ed.), Springer-Verlag, ISBN 978-0-387-40624-4

बाहरी संबंध

• Algebra, fundamental theorem of at Encyclopaedia of Mathematics
• Fundamental Theorem of Algebra — a collection of proofs
• From the Fundamental Theorem of Algebra to Astrophysics: A "Harmonious" Path
• Gauss's first proof (in Latin) at Google Books
• Gauss's first proof (in Latin) at Google Books
• Mizar system proof: http://mizar.org/version/current/html/polynom5.html#T74