கேள்வி: இயற்கணித அடிப்படைத் தேற்றம் பற்றி விளக்கவும்.
பதில்: இயற்கணித அடிப்படைத் தேற்றத்தின் (''fundamental theorem of algebra'') கூற்று: :சிக்கலெண் கெழுக்களுடன், மாறிலியுறுப்பு மட்டுமே கொண்டிராத, ஒருமாறியிலமைந்த பல்லுறுப்புக்கோவை ஒவ்வொன்றுக்கும் குறைந்தபட்சமாக ஒரு சிக்கலெண் சார்பின் மூலம் இருக்கும். ஒவ்வொரு மெய்யெண்ணையும் சிக்கலெண் பூச்சியமாகவுள்ள ஒரு சிக்கலெண்ணாகக் கருதலாம் என்பதால், இத்தேற்றமானது மெய்யெண்கள் கெழுக்களுடன் மாறிலியுறுப்பு மட்டுமே கொண்டிராத, ஒருமாறியிலமைந்த பல்லுறுப்புக்கோவைகளுக்கும் பொருந்தும். இத்தேற்றமானது, தெ'ஆலம்பர்த்தின் தேற்றம் (''d'Alembert's theorem'')https://www.maa.org/sites/default/files/pdf/upload_library/22/Polya/07468342.di020748.02p0019l.pdf அல்லது தெஆலம்பர்த்-காஸ் தேற்றம் (''d'Alembert–Gauss theorem''),http://www.math.toronto.edu/campesat/ens/20F/14.pdf எனவும் அழைக்கப்படுகிறது. இத்தேற்றத்தின் கூற்றுக்குச் சமானமானமானதாக "சிக்கலெண் களம் (கணிதம்) இயற்கணிதமுறையில் அடைவுக் களம்" எனவும் கூறலாம்.
கேள்வி: இயற்கணித அடிப்படைத் தேற்றம் - வரலாறு பற்றி தகவல் சொல்.
பதில்: பீட்டர் ராத், தனது "அரித்மெட்டிக்கா பிலாசபிக்கா" (1608 ஆம் ஆண்டு நர்ன்பெர்க்கில் ஜோகன் லான்ட்சென்பெர்கரால் வெளியிடப்பட்டது) என்ற நூலில் (, at Nürnberg, by Johann Lantzenberger),[http://www.e-rara.ch/doi/10.3931/e-rara-4843 Rare books] மெய்யெண் கெழுக்களுடன் ''n'' பல்லுறுப்புக்கோவையின் படி பல்லுறுப்புக்கோவை சமன்பாட்டிற்கு ''n'' தீர்வுகள் "இருக்கலாம்" எனக் குறிப்பிட்டிருந்தார். பிரெஞ்சு கணிதவியலாளர் ஆல்பர்ட்டு ஜிரார்டு தனது நூலில் (''L'invention nouvelle en l'Algèbre'', 1629), ''n'' பல்லுறுப்புக்கோவையின் படி பல்லுறுப்புக்கோவைக்கு ''n'' தீர்வுகள் "இருக்குமென்பதை உறுதிப்படுத்தினார்; அவர் பல்லுறுப்புக்கோவையின் கெழுக்கள் மெய்யெண்களாக இருக்கவேண்டுமெனக் குறிப்பிடவில்லையென்றாலும் பல்லுறுப்புக்கோவையானது, முழுமையற்றதாக இருக்கக்கூடாதென்பதைக் (எந்தவொரு கெழுவும் பூச்சியமாக இருக்கக் கூடாது) குறிப்பிட்டிருந்தார். எனினும் அவர் தனது கருத்தை விவரமாக விளக்கும்போது, முழுமையற்றவைக்கும் இக்கருத்து பொருந்தும் என்பதை நம்பினார் என்பதை அறியமுடிகிறது. எடுத்துக்காட்டாக, :x^4 = 4x-3, என்ற பல்லுறுப்புக்கோவைச் சமன்பாடு முழுமையற்றத்தாக உள்ளது (x^3 , x^2 உறுப்புக்களின் கெழுக்கள் பூச்சியமாகவுள்ளன). இதன் '4' தீர்வுகள் (மடங்கெண் உட்பட): :1 (இருமுறை), -1+i\sqrt{2}, and -1-i\sqrt{2}. அடிப்படை இயற்கணிதத் தேற்றத்தின் கூற்றுப்படி, மெய்யெண் கெழுக்களுடன் மாறிலியுறுப்பு மட்டுமில்லாத பல்லுறுப்புக்கோவை ஒவ்வொன்றையும் ஒன்று அல்லது இரு படியுள்ள மெய்யெண் கெழு பல்லுறுப்புக்கோவைகளின் பெருக்கற்பலனாக எழுதலாமென்ற முடிவு கிடைக்கிறது. இருந்தும் 1702 இல் கணிதவியலாளர் கோட்பிரீட் லைப்னிட்ஸ், ( ஒரு பூச்சியமற்ற மெய்யெண்) என்ற வடிவிலமைந்த எந்தவொரு பல்லுறுப்புக்கோவையையும் அவ்வாறு எழுதமுடியாது என அறிவித்தார். அவரது கூற்றை ஒத்ததாகக் கணிதவியலாளர் பெர்னொலியும் என்ற பல்லுறுப்புக்கோவையையும் பெருக்கற்பலனாக எழுத இயலாதென்பதை வலியுறுத்தினார். ஆனால் கணிதவியலாளர் லியோனார்டு ஆய்லர் 1742 இல்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''. பெர்னொலிக்கு எழுதிய கடிதத்தில் மேலே தரப்பட்ட இரு இக்கூற்றுகளையும் மறுத்து அதற்கான விடையயும் எழுதியிருந்தார்: :\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''&nbsp;+&nbsp;''bi'' (''a'', ''b'' மெய்யெண்கள்) வடிவிலமையும் என்பது மட்டுமே நிறுவப்பட்டது. 18 ஆம் நூற்றாண்டின் இறுதியில் இத்தேற்றத்திற்கு இரு புதிய நிறுவல்கள் வெளியிடப்பட்டன. அவை தீர்வுகள் உள்ளமையையும் நிறுவினாலும் வேறுவகையில் முழுமையான நிறுவல்களாக அமையவில்லை. இரு நிறுவல்களில் கணிதவியலாளர் ஜேம்சு வுட் என்பவரின் நிறுவல் முழுவதுமாக ஒதுக்கப்பட்டது.Concerning Wood's proof, see the article ''A forgotten paper on the fundamental theorem of algebra'', by Frank Smithies. மற்றொரு நிறுவல் கணிதவியலாளர் கார்ல் பிரீடிரிக் காஸ் 1799 இல் வெளியிடப்பட்டது. இந்நிறுவல் வடிவவியலாக இருந்தது. இதிலுள்ள குறைகளைக் கணிதவியலாளர் அலக்சாண்டர் ஆஸ்டிரொவ்சுக்கி 1920 இல் சரிசெய்தார்.[https://www.semanticscholar.org/paper/The-fundamental-theorem-of-algebra-and-complexity-Smale/bc3d674b9931e49d1e023d16401ae15ee6ad6681 Smale writes], "...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..." இத்தேற்றத்திற்கான சரியான நிறுவல், முதலாவதாகக் கணிதவியலாளர் ஜீன்-ராபர்ட் ஆர்கன் என்பவரால் 1806 ஆம் ஆண்டில் வெளியிடப்பட்டு, 1813 ஆம் ஆண்டில் மேலதிகத் திருத்தமும் செய்யப்பட்டது. இங்குதான் இத்தேற்றமானது மெய்யெண்கெழுக்கள் கொண்ட பல்லுறுப்புக்கோவைகளுக்கானதாக மட்டுமில்லாமல் சிக்கலெண் கெழுக்கள் கொண்ட பல்லுறுப்புக்கோவைகளுக்குமானதாக மாற்றியமைக்கப்பட்டது. 1816 இல் கணிதவியலாளர் காஸ் மேலு இரு நிறுவல்களை வெளியிட்டார். இத்தேற்றத்திற்காக நிறுவல் வெளியான முதல் பாடப்புத்தகம் அகுஸ்டின்-லூயி கோசியினதாகும் (''Cours d'Analyse - 1821). அப்புத்தகத்தில் ஆர்கனின் நிறுவல் இருந்தது; ஆனால் அதில் ஆர்கனின் பெயர் குறிப்பிடப்படவில்லை. மேலே குறிப்பிடப்பட்ட நிறுவல்கள் எதுவும் ஆக்கமுறையானவையாக அமையவில்லை. இத்தேற்றத்திற்கான ஆக்கமுறைநிறுவல் முதலாவதாகக் கணிதவியலாளர் கார்ல் வியர்ஸ்ட்ராஸ் 1891 இல் வெளியிடப்பட்டது. பின்னர் மற்றொன்று கணிதவியலாளர் ஹெல்மத் நெசெரால் 194ஒல் வெளியிடப்பட்டு அவரது மகன் மார்ட்டின் நெசெரால் 1981 இல் மேலும் எளிமையாக்கி வெளியிடப்பட்டது.
கேள்வி: இயற்கணித அடிப்படைத் தேற்றம் - சமானக் கூற்றுகள் என்பது என்ன?
பதில்: இத்தேற்றத்தின் வெவ்வேறு சமானமான கூற்றுகள்: * ''நேர்ம பல்லுறுப்புக்கோவையின் படி, மெய்யெண் கெழு-ஒருமாறி பல்லுறுப்புக்கோவை ஒவ்வொன்றுக்கும் குறைந்தபட்சமாக ஒரு சிக்கலெண் சார்பின் மூலம் இருக்கும்.'' * ''நேர்ம பல்லுறுப்புக்கோவையின் படி, சிக்கலெண் கெழு-ஒருமாறி பல்லுறுப்புக்கோவை ஒவ்வொன்றுக்கும் குறைந்தபட்சமாக ஒரு சிக்கலெண் சார்பின் மூலம் இருக்கும்.'' * ''நேர்ம -பல்லுறுப்புக்கோவையின் படி, சிக்கலெண் கெழு-ஒருமாறி பல்லுறுப்புக்கோவை ஒவ்வொன்றையும் பின்வருமாறு காரணிப்படுத்துதல்'': :c(x-r_1)\cdots(x-r_n), (c, r_1, \ldots, r_n சிக்கலெண்கள்). *:r_1, \ldots, r_n ஆகிய சிக்கலெண்கள் பல்லுறுப்புக்கோவையின் மூலங்கள். ஒரே மூலமானது பல காரணிகளில் இருந்தால் அது பல்லுறுப்புக்கோவையின் மடங்கெண்#பல்லுறுப்புக்கோவையின் மூலங்களில் எனப்படுவதோடு, அது எத்தனை காரணிகளில் காணப்படுகிறதோ அந்த எண்ணானது அம்மூலத்தின் மடங்கெண் எனவும் அழைக்கப்படும். * ''மெய்யெண் கெழு-ஒருமாறி பல்லுறுப்புக்கோவையின் படியானது இரண்டைவிட அதிகமாக இருந்தால், அதற்கு மெய்யெண் கெழுவுள்ள இருபடியுள்ள ஒரு காரணி இருக்கும்.'' * ''மெய்யெண் கெழு-ஒருமாறி பல்லுறுப்புக்கோவை ஒவ்வொன்றையும் கீழுள்ளவாறு காரணிப்படுத்தலாம்'': :cp_1\cdots p_k, ஒரு மெய்யெண் மற்றும் p_i ஒவ்வொன்றும் அதிகபட்சமாக இருபடியுள்ள மெய்யெண்-கெழு தலையொற்றை பல்லுறுப்புக்கோவையாக இருக்கும்.
கேள்வி: இயற்கணித அடிப்படைத் தேற்றம் - வரலாற்று ஆதாரங்கள் பற்றி விளக்கவும்.
பதில்: * (tr. Course on Analysis of the École Polytechnique, part 1: Algebraic Analysis) * . English translation: * (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). * }} *# – first proof. *# – second proof. *# – third proof. *# – fourth proof. * (The Fundamental Theorem of Algebra and Intuitionism). * (tr. An extension of a work of Hellmuth Kneser on the Fundamental Theorem of Algebra). * (tr. On the first and fourth Gaussian proofs of the Fundamental Theorem of Algebra). * (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).
கேள்வி: இயற்கணித அடிப்படைத் தேற்றம் - வெளியிணைப்புகள் குறித்து விரிவாக சொல்லுங்கள்.
பதில்: * [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]&nbsp;— a collection of proofs * [https://www.ams.org/notices/200806/tx080600666p.pdf ''From the Fundamental Theorem of Algebra to Astrophysics: A "Harmonious" Path''] * * * Mizar system proof: http://mizar.org/version/current/html/polynom5.html#T74 பகுப்பு:பல்லுறுப்புக்கோவைகள் பற்றிய தேற்றங்கள்