இயற்கணித அடிப்படைத் தேற்றம்
'''இயற்கணித அடிப்படைத் தேற்றத்தின்''' (''fundamental theorem of algebra'') கூற்று:
 :[[சிக்கலெண்]] [[கெழு]]க்களுடன், மாறிலியுறுப்பு மட்டுமே கொண்டிராத, ஒருமாறியிலமைந்த பல்லுறுப்புக்கோவை ஒவ்வொன்றுக்கும் குறைந்தபட்சமாக ஒரு சிக்கலெண் [[சார்பின் மூலம்|மூலமாவது]] இருக்கும்.
 
 ஒவ்வொரு மெய்யெண்ணையும் [[சிக்கலெண்|கற்பனைப் பகுதி]] பூச்சியமாகவுள்ள ஒரு சிக்கலெண்ணாகக் கருதலாம் என்பதால், இத்தேற்றமானது மெய்யெண்கள் கெழுக்களுடன் மாறிலியுறுப்பு மட்டுமே கொண்டிராத, ஒருமாறியிலமைந்த பல்லுறுப்புக்கோவைகளுக்கும் பொருந்தும். இத்தேற்றமானது,  '''தெ'ஆலம்பர்த்தின் தேற்றம்''' (''d'Alembert's theorem'')&lt;ref&gt;https://www.maa.org/sites/default/files/pdf/upload_library/22/Polya/07468342.di020748.02p0019l.pdf{{Dead link|date=அக்டோபர் 2024 |bot=InternetArchiveBot }} {{Bare URL PDF|date=March 2022}}&lt;/ref&gt; அல்லது '''தெஆலம்பர்த்-காஸ் தேற்றம்''' (''d'Alembert–Gauss theorem''),&lt;ref&gt;http://www.math.toronto.edu/campesat/ens/20F/14.pdf {{Bare URL PDF|date=March 2022}}&lt;/ref&gt; எனவும் அழைக்கப்படுகிறது. 
 
 இத்தேற்றத்தின் கூற்றுக்குச் சமானமானமானதாக &quot;[[சிக்கலெண்]] [[களம் (கணிதம்)|களமானது]] [[இயற்கணிதமுறையில் அடைவுக் களம்|இயற்கணிதமுறையில் அடைவு பெற்றுள்ளது]]&quot; எனவும் கூறலாம்.
 
 ==வரலாறு==
 பீட்டர் ராத், தனது &quot;அரித்மெட்டிக்கா பிலாசபிக்கா&quot; (1608 ஆம் ஆண்டு நர்ன்பெர்க்கில் ஜோகன் லான்ட்சென்பெர்கரால் வெளியிடப்பட்டது) என்ற நூலில் (, at Nürnberg, by Johann Lantzenberger),&lt;ref&gt;[http://www.e-rara.ch/doi/10.3931/e-rara-4843 Rare books]&lt;/ref&gt; மெய்யெண் கெழுக்களுடன் ''n'' [[பல்லுறுப்புக்கோவையின் படி|படிகொண்ட]] பல்லுறுப்புக்கோவை சமன்பாட்டிற்கு ''n'' தீர்வுகள் &quot;இருக்கலாம்&quot; எனக் குறிப்பிட்டிருந்தார். பிரெஞ்சு கணிதவியலாளர் ஆல்பர்ட்டு ஜிரார்டு தனது நூலில் (''L'invention nouvelle en l'Algèbre'', 1629), ''n'' [[பல்லுறுப்புக்கோவையின் படி|படிகொண்ட]] பல்லுறுப்புக்கோவைக்கு ''n'' தீர்வுகள் &quot;இருக்குமென்பதை உறுதிப்படுத்தினார்; அவர் பல்லுறுப்புக்கோவையின் கெழுக்கள் மெய்யெண்களாக இருக்கவேண்டுமெனக் குறிப்பிடவில்லையென்றாலும் பல்லுறுப்புக்கோவையானது, முழுமையற்றதாக இருக்கக்கூடாதென்பதைக் (எந்தவொரு கெழுவும் பூச்சியமாக இருக்கக் கூடாது) குறிப்பிட்டிருந்தார். எனினும் அவர் தனது கருத்தை விவரமாக விளக்கும்போது, முழுமையற்றவைக்கும் இக்கருத்து பொருந்தும் என்பதை நம்பினார் என்பதை அறியமுடிகிறது. 
 
 எடுத்துக்காட்டாக,
 :&lt;math&gt;x^4 = 4x-3,&lt;/math&gt; என்ற பல்லுறுப்புக்கோவைச் சமன்பாடு முழுமையற்றத்தாக உள்ளது (&lt;math&gt;x^3 , x^2&lt;/math&gt; உறுப்புக்களின் கெழுக்கள் பூச்சியமாகவுள்ளன). இதன்  '4' தீர்வுகள் ([[மடங்கெண்|மடங்கெண்]] உட்பட):
 :1 (இருமுறை), &lt;math&gt;-1+i\sqrt{2},&lt;/math&gt; and &lt;math&gt;-1-i\sqrt{2}.&lt;/math&gt;
 
 அடிப்படை இயற்கணிதத் தேற்றத்தின் கூற்றுப்படி, மெய்யெண் கெழுக்களுடன் மாறிலியுறுப்பு மட்டுமில்லாத பல்லுறுப்புக்கோவை ஒவ்வொன்றையும் ஒன்று அல்லது இரு படியுள்ள மெய்யெண் கெழு பல்லுறுப்புக்கோவைகளின் பெருக்கற்பலனாக எழுதலாமென்ற முடிவு கிடைக்கிறது. இருந்தும் 1702 இல் கணிதவியலாளர் [[கோட்பிரீட் லைப்னிட்ஸ்|லைப்னிட்சு]],  {{math|''x''&lt;sup&gt;4&lt;/sup&gt; + ''a''&lt;sup&gt;4&lt;/sup&gt;}} ({{math|''a''}} ஒரு பூச்சியமற்ற மெய்யெண்) என்ற வடிவிலமைந்த எந்தவொரு பல்லுறுப்புக்கோவையையும் அவ்வாறு எழுதமுடியாது என அறிவித்தார். அவரது கூற்றை ஒத்ததாகக் கணிதவியலாளர் பெர்னொலியும் {{math|''x''&lt;sup&gt;4&lt;/sup&gt; − 4''x''&lt;sup&gt;3&lt;/sup&gt; + 2''x''&lt;sup&gt;2&lt;/sup&gt; + 4''x'' + 4}} என்ற பல்லுறுப்புக்கோவையையும் பெருக்கற்பலனாக எழுத இயலாதென்பதை வலியுறுத்தினார். ஆனால் கணிதவியலாளர் [[லியோனார்டு ஆய்லர்|ஆய்லர்]] 1742 இல்&lt;ref&gt;See section ''Le rôle d'Euler'' in C. Gilain's article ''Sur l'histoire du théorème fondamental de l'algèbre: théorie des équations et calcul intégral''.&lt;/ref&gt; பெர்னொலிக்கு எழுதிய கடிதத்தில் மேலே தரப்பட்ட இரு இக்கூற்றுகளையும் மறுத்து அதற்கான விடையயும் எழுதியிருந்தார்:
 :&lt;math&gt;\left (x^2-(2+\alpha)x+1+\sqrt{7}+\alpha \right ) \left (x^2-(2-\alpha)x+1+\sqrt{7}-\alpha \right ),&lt;/math&gt; (&lt;math&gt;\alpha = \sqrt{4+2\sqrt{7}}.&lt;/math&gt;)
 :&lt;math&gt;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 ).&lt;/math&gt;
 
 1746 இல் கணிதவியலாளர் [[ழான் லி ராண்ட் டெ'ஆலம்பர்ட்|தெ'ஆலம்பர்த்து]]  இத்தேற்றத்தை நிறுவ முயன்றார். ஆனால் அவரளித்த நிறுவல் முழுமையானதாக இருக்கவில்லை. மேலும் [[லியோனார்டு ஆய்லர்|ஆய்லர்]] (1749), தி பான்செனெக்சு, (1759), [[ஜோசப் லூயி லாக்ராஞ்சி|லாக்ராஞ்சி]] (1772), [[பியர் சிமோன் இலப்லாசு|இலப்லாசு]] (1795) ஆகிய நான்கு கணிதவியலாளர்களும் இத்தேற்றத்தினை நிறுவ முயன்றனர். இந்நான்கு பேரின் முயற்சிகளிலும் ஜெரார்டின் உறுதிப்படுத்தல் மறைமுகமாக கையாளப்பட்டிருந்தது; அதாவது, தீர்வுகள் உண்டு என்பது நிறுவப்படாமல்  எடுத்துக்கொள்ளப்பட்டு, தீர்வுகள் ''a''&amp;nbsp;+&amp;nbsp;''bi'' (''a'', ''b'' மெய்யெண்கள்) வடிவிலமையும் என்பது மட்டுமே நிறுவப்பட்டது.
 
 18 ஆம் நூற்றாண்டின் இறுதியில் இத்தேற்றத்திற்கு இரு புதிய நிறுவல்கள் வெளியிடப்பட்டன. அவை தீர்வுகள் உள்ளமையையும் நிறுவினாலும் வேறுவகையில் முழுமையான நிறுவல்களாக அமையவில்லை. இரு நிறுவல்களில் கணிதவியலாளர் ஜேம்சு வுட் என்பவரின் நிறுவல் முழுவதுமாக ஒதுக்கப்பட்டது.&lt;ref&gt;Concerning Wood's proof, see the article ''A forgotten paper on the fundamental theorem of algebra'', by Frank Smithies.&lt;/ref&gt; மற்றொரு நிறுவல் கணிதவியலாளர் [[கார்ல் பிரீடிரிக் காஸ்|காசால்]] 1799 இல் வெளியிடப்பட்டது. இந்நிறுவல் வடிவவியலாக இருந்தது. இதிலுள்ள குறைகளைக் கணிதவியலாளர் அலக்சாண்டர் ஆஸ்டிரொவ்சுக்கி 1920 இல் சரிசெய்தார்.&lt;ref&gt;[https://www.semanticscholar.org/paper/The-fundamental-theorem-of-algebra-and-complexity-Smale/bc3d674b9931e49d1e023d16401ae15ee6ad6681 Smale writes], &quot;...I wish to point out what an immense gap Gauss's proof contained. It is a subtle point even today that a real algebraic plane curve cannot enter a disk without leaving. In fact, even though Gauss redid this proof 50 years later, the gap remained. It was not until 1920 that Gauss's proof was completed. In the reference Gauss, A. Ostrowski has a paper which does this and gives an excellent discussion of the problem as well...&quot;&lt;/ref&gt;
 
 இத்தேற்றத்திற்கான சரியான நிறுவல், முதலாவதாகக் கணிதவியலாளர் ஜீன்-ராபர்ட் ஆர்கன் என்பவரால் 1806 ஆம் ஆண்டில் வெளியிடப்பட்டு, 1813 ஆம் ஆண்டில் மேலதிகத் திருத்தமும் செய்யப்பட்டது.&lt;ref&gt;{{MacTutor Biography|id=Argand|title=Jean-Robert Argand}}&lt;/ref&gt; இங்குதான் இத்தேற்றமானது மெய்யெண்கெழுக்கள் கொண்ட பல்லுறுப்புக்கோவைகளுக்கானதாக மட்டுமில்லாமல் சிக்கலெண் கெழுக்கள் கொண்ட பல்லுறுப்புக்கோவைகளுக்குமானதாக மாற்றியமைக்கப்பட்டது. 1816 இல் கணிதவியலாளர் காஸ் மேலு இரு நிறுவல்களை வெளியிட்டார். 
 
 இத்தேற்றத்திற்காக நிறுவல் வெளியான முதல் பாடப்புத்தகம் [[அகுஸ்டின்-லூயி கோசி]]யினதாகும் (''Cours d'Analyse - 1821). அப்புத்தகத்தில் ஆர்கனின் நிறுவல் இருந்தது; ஆனால் அதில் ஆர்கனின் பெயர் குறிப்பிடப்படவில்லை.
 
 மேலே குறிப்பிடப்பட்ட நிறுவல்கள் எதுவும் ஆக்கமுறையானவையாக அமையவில்லை. இத்தேற்றத்திற்கான ஆக்கமுறைநிறுவல் முதலாவதாகக் கணிதவியலாளர் [[கார்ல் வியர்ஸ்ட்ராஸ்|வியார்ஸ்ட்ராசால்]] 1891 இல் வெளியிடப்பட்டது. பின்னர் மற்றொன்று கணிதவியலாளர் ஹெல்மத் நெசெரால் 194ஒல் வெளியிடப்பட்டு அவரது மகன் மார்ட்டின் நெசெரால் 1981 இல் மேலும் எளிமையாக்கி வெளியிடப்பட்டது.
 
 ==சமானக் கூற்றுகள்==
 இத்தேற்றத்தின் வெவ்வேறு சமானமான கூற்றுகள்:
 * ''நேர்ம [[பல்லுறுப்புக்கோவையின் படி|படியுள்ள]], [[மெய்யெண்]] கெழு-ஒருமாறி [[பல்லுறுப்புக்கோவை]] ஒவ்வொன்றுக்கும் குறைந்தபட்சமாக ஒரு [[சிக்கலெண்]] [[சார்பின் மூலம்|மூலம்]] இருக்கும்.''
 * ''நேர்ம [[பல்லுறுப்புக்கோவையின் படி|படியுள்ள]], [[சிக்கலெண்]] கெழு-ஒருமாறி [[பல்லுறுப்புக்கோவை]] ஒவ்வொன்றுக்கும் குறைந்தபட்சமாக ஒரு [[சிக்கலெண்]] [[சார்பின் மூலம்|மூலம்]] இருக்கும்.''
 * ''நேர்ம {{mvar|n}}-[[பல்லுறுப்புக்கோவையின் படி|படியுள்ள]], [[சிக்கலெண்]] கெழு-ஒருமாறி [[பல்லுறுப்புக்கோவை]] ஒவ்வொன்றையும் பின்வருமாறு [[காரணிப்படுத்துதல்|காரணிப்படுத்தலாம்]]'':
 :&lt;math display =block&gt;c(x-r_1)\cdots(x-r_n),&lt;/math&gt; (&lt;math&gt;c, r_1, \ldots, r_n&lt;/math&gt; சிக்கலெண்கள்).
 *:&lt;math&gt;r_1, \ldots, r_n&lt;/math&gt; ஆகிய {{mvar|n}} சிக்கலெண்கள் பல்லுறுப்புக்கோவையின் மூலங்கள். ஒரே மூலமானது பல காரணிகளில் இருந்தால் அது பல்லுறுப்புக்கோவையின் [[மடங்கெண்#பல்லுறுப்புக்கோவையின் மூலங்களில்|மடங்கு மூலம்]] எனப்படுவதோடு, அது எத்தனை காரணிகளில் காணப்படுகிறதோ அந்த எண்ணானது அம்மூலத்தின் [[மடங்கெண்]] எனவும் அழைக்கப்படும்.
 * ''[[மெய்யெண்]] கெழு-ஒருமாறி [[பல்லுறுப்புக்கோவை]]யின் படியானது இரண்டைவிட அதிகமாக இருந்தால், அதற்கு மெய்யெண் கெழுவுள்ள இருபடியுள்ள ஒரு காரணி இருக்கும்.''
 * ''[[மெய்யெண்]] கெழு-ஒருமாறி [[பல்லுறுப்புக்கோவை]] ஒவ்வொன்றையும் கீழுள்ளவாறு காரணிப்படுத்தலாம்'':
 :&lt;math display = block&gt;cp_1\cdots p_k,&lt;/math&gt; {{mvar|c}} ஒரு மெய்யெண் மற்றும் &lt;math&gt;p_i&lt;/math&gt; ஒவ்வொன்றும் அதிகபட்சமாக இருபடியுள்ள மெய்யெண்-கெழு [[தலையொற்றை பல்லுறுப்புக்கோவை]]யாக இருக்கும்.
 
 ==மேற்கோள்கள்==
 {{Reflist}}
 
 ==வரலாற்று ஆதாரங்கள்==
 *{{Citation|last = Cauchy|first = Augustin-Louis|author-link = Augustin-Louis Cauchy|publication-date = 1992|year = 1821|title = Cours d'Analyse de l'École Royale Polytechnique, 1&lt;sup&gt;ère&lt;/sup&gt; partie: Analyse Algébrique|url = http://gallica.bnf.fr/ark:/12148/bpt6k29058v|place = Paris|publisher = Éditions Jacques Gabay|isbn = 978-2-87647-053-8}} (tr. Course on Analysis of the [[École Polytechnique|Royal Polytechnic Academy]], part 1: Algebraic Analysis)
 * {{citation|last = Euler|first = Leonhard|author-link = Leonhard Euler|year = 1751|title = Recherches sur les racines imaginaires des équations|periodical = Histoire de l'Académie Royale des Sciences et des Belles-Lettres de Berlin|location = Berlin|volume = 5|pages = 222–288|url = http://bibliothek.bbaw.de/bbaw/bibliothek-digital/digitalequellen/schriften/anzeige/index_html?band=02-hist/1749&amp;seite:int=228|access-date = 2008-01-28|archive-date = 2008-12-24|archive-url = https://web.archive.org/web/20081224062952/http://bibliothek.bbaw.de/bbaw/bibliothek-digital/digitalequellen/schriften/anzeige/index_html?band=02-hist%2F1749&amp;seite%3Aint=228|url-status = dead}}. English translation: {{citation|last = Euler|first = Leonhard|author-link = Leonhard Euler|year = 1751|title = Investigations on the Imaginary Roots of Equations|periodical = Histoire de l'Académie Royale des Sciences et des Belles-Lettres de Berlin|location = Berlin|volume = 5|pages = 222–288|url = http://eulerarchive.maa.org/docs/translations/E170en.pdf}}
 * {{citation|last = Gauss|first = Carl Friedrich|author-link = Carl Friedrich Gauss|year = 1799|title = Demonstratio nova theorematis omnem functionem algebraicam rationalem integram unius variabilis in factores reales primi vel secundi gradus resolvi posse|place = [[Helmstedt]]|publisher = C.&amp;nbsp;G.&amp;nbsp;Fleckeisen}} (tr. New proof of the theorem that every integral rational algebraic function of one variable can be resolved into real factors of the first or second degree).
 * {{Citation|last=Gauss|first=Carl Friedrich|year=1866|title=Carl Friedrich Gauss Werke|publisher=Königlichen Gesellschaft der Wissenschaften zu Göttingen|volume=Band III|url={{Google books|WFxYAAAAYAAJ|Werke: Analysis|plainurl=yes}}}}
 *#{{Google books|WFxYAAAAYAAJ|Demonstratio nova theorematis omnem functionem algebraicam rationalem integram unius variabilis in factores reales primi vel secundi gradus resolvi posse (1799), pp. 1–31.|page=1}} – first proof.
 *#{{Google books|WFxYAAAAYAAJ|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.|page=32}} – second proof.
 *#{{Google books|WFxYAAAAYAAJ|Theorematis de resolubilitate functionum algebraicarum integrarum in factores reales demonstratio tertia Supplementum commentationis praecedentis (1816 Jan), pp. 57–64.|page=57}} – third proof.
 *#{{Google books|WFxYAAAAYAAJ|Beiträge zur Theorie der algebraischen Gleichungen (1849 Juli), pp. 71–103.|page=71}} – fourth proof.
 * {{citation|last = Kneser|first = Hellmuth|author-link = Hellmuth Kneser|year = 1940|title = Der Fundamentalsatz der Algebra und der Intuitionismus|url = http://www-gdz.sub.uni-goettingen.de/cgi-bin/digbib.cgi?PPN266833020_0046|periodical = Mathematische Zeitschrift|volume = 46|pages = 287–302|issn = 0025-5874|doi = 10.1007/BF01181442|s2cid = 120861330}} (The Fundamental Theorem of Algebra and [[Intuitionism]]).
 * {{citation|last = Kneser|first = Martin|year = 1981|title = Ergänzung zu einer Arbeit von Hellmuth Kneser über den Fundamentalsatz der Algebra|url = http://www-gdz.sub.uni-goettingen.de/cgi-bin/digbib.cgi?PPN266833020_0177|periodical = Mathematische Zeitschrift|volume = 177|pages = 285–287|issn = 0025-5874|doi = 10.1007/BF01214206|issue = 2|s2cid = 122310417}} (tr. An extension of a work of [[Hellmuth Kneser]] on the Fundamental Theorem of Algebra).
 * {{citation|last = Ostrowski|first = Alexander | author-link = Alexander Ostrowski | year = 1920 | chapter = Über den ersten und vierten Gaußschen Beweis des Fundamental-Satzes der Algebra | title = Carl Friedrich Gauss ''Werke'' Band X Abt. 2 | chapter-url = http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN236019856&amp;DMDID=dmdlog53}} (tr. On the first and fourth Gaussian proofs of the Fundamental Theorem of Algebra).
 * {{citation|last=Weierstraß|first= Karl|author-link=Karl Weierstrass|contribution=Neuer Beweis des Satzes, dass jede ganze rationale Function einer Veränderlichen dargestellt werden kann als ein Product aus linearen Functionen derselben Veränderlichen|title=Sitzungsberichte der königlich preussischen Akademie der Wissenschaften zu Berlin|pages = 1085–1101|year=1891}} (tr. New proof of the theorem that every integral rational function of one variable can be represented as a product of linear functions of the same variable).
 
 ==வெளியிணைப்புகள்==
 {{Wikisourcelang|la|Demonstratio nova theorematis omnem functionem algebraicam rationalem integram unius variabilis in factores reales primi vel secundi gradus resolvi posse|Gauss's first proof}}
 * [http://www.encyclopediaofmath.org/index.php/Algebra,_fundamental_theorem_of ''Algebra, fundamental theorem of'' at Encyclopaedia of Mathematics]
 * [http://www.cut-the-knot.org/do_you_know/fundamental2.shtml Fundamental Theorem of Algebra]&amp;nbsp;— a collection of proofs
 * [https://www.ams.org/notices/200806/tx080600666p.pdf ''From the Fundamental Theorem of Algebra to Astrophysics: A &quot;Harmonious&quot; Path'']
 * {{Google books|g3VaAAAAcAAJ|Gauss's first proof (in Latin)}}
 * {{Google books|Svc7AQAAMAAJ|Gauss's first proof (in Latin)}}
 * [[Mizar system]] proof: http://mizar.org/version/current/html/polynom5.html#T74