Προβολή πηγαίου κώδικα για τη σελίδα Θεμελιώδες θεώρημα άλγεβρας

Δεν έχετε την άδεια να τροποποιήσετε αυτή τη σελίδα, για τον ακόλουθο λόγο:
Η διεύθυνση IP σας βρίσκεται σε ένα εύρος που έχει αποκλειστεί σε όλα τα wiki του Ιδρύματος Wikimedia.
Ο αποκλεισμός έγινε από ‪EPIC‬ . Ο λόγος που δίνεται είναι Open proxy/Webhost: See the help page if you are affected .
Έναρξη αποκλεισμού: 08:48, 2 Ιουλίου 2024
Λήξη αποκλεισμού: 08:48, 2 Ιουλίου 2025
Η τρέχουσα διεύθυνση IP σας είναι 206.189.44.186 . Το αποκλεισμένο εύρος είναι 206.189.32.0/20 .
Παρακαλούμε συμπεριλάβετε τις παραπάνω λεπτομέρειες σε όποια ερωτήματα κάνετε. Εάν πιστεύετε ότι έχετε αποκλειστεί κατά λάθος, μπορείτε να βρείτε πρόσθετες πληροφορίες και οδηγίες στην παγκόσμια πολιτική No open proxies παγκόσμια πολιτική.
Διαφορετικά, για να συζητήσετε τον αποκλεισμό, παρακαλούμε αναρτήστε ένα αίτημα για έλεγχο στο Meta-Wiki. ⧼wikimedia-globalblocking-blockedtext-mistake- email-steward⧽
Μπορείτε να δείτε και να αντιγράψετε τον κώδικα της σελίδας:
{{άλλεςχρήσεις4|σχετικό θεώρημα της άλγεβρας|το θεώρημα της αριθμητικής|Θεμελιώδες θεώρημα της αριθμητικής}}

Το '''Θεμελιώδες θεώρημα της άλγεβρας''' (ή Θεώρημα [[Ζαν λε Ροντ ντ' Αλαμπέρ|ντ' Αλαμπέρ]]-[[Καρλ Φρίντριχ Γκάους|Γκάους]]) είναι ένα από τα σημαντικότερα θεωρήματα στα [[μαθηματικά]]. Σύμφωνα με αυτό, όλα τα [[πολυώνυμο|πολυώνυμα]] με [[μιγαδικός αριθμός|μιγαδικούς]] συντελεστές έχουν τουλάχιστον μία μιγαδική [[Ρίζα (μαθηματικά)|ρίζα]].

Ο τυπικός ορισμός του θεωρήματος είναι: 
<blockquote>
''Κάθε [[πολυώνυμο]] μιας μεταβλητής, μη μηδενικού [[Βαθμός πολυωνύμου|βαθμού]] και με [[μιγαδικός αριθμός|μιγαδικούς]] συντελεστές, έχει τουλάχιστον μία ρίζα στο σύνολο '''C''' των μιγαδικών αριθμών.''
</blockquote>

Το θεώρημα διατυπώνεται και ως εξής: Κάθε μη μηδενικό πολυώνυμο μίας μεταβλητής και βαθμού ''n με μιγαδικούς συντελεστές'' έχει, συμπεριλαμβανομένων των [[Πολλαπλότητα|πολλαπλοτήτων]], ακριβώς ''n'' ρίζες. Η ισοτιμία των δύο προτάσεων μπορεί να αποδειχθεί με τη χρήση διαδοχικών [[Πολυωνυμική διαίρεση|πολυωνυμικών διαιρέσεων]].

Στην ορολογία της [[Σώμα (άλγεβρα)|θεωρίας σωμάτων]], το θεμελιώδες θεώρημα της άλγεβρας ισοδυναμεί με το γεγονός ότι το σώμα των μιγαδικών αριθμών είναι αλγεβρικά κλειστό.

Παρόλο το όνομά του, δεν υπάρχει αμιγώς αλγεβρική απόδειξη του θεωρήματος, καθώς κάθε απόδειξη πρέπει να χρησιμοποιεί την πληρότητα των πραγματικών (ή κάποια ισοδύναμη σύνθεση), η οποία δεν είναι αλγεβρική έννοια. Επιπλέον δεν είναι θεμελιώδης για τη σημερινή [[άλγεβρα]], έλαβε το όνομά του σε μία εποχή όπου η μελέτη της άλγεβρας αφορούσε κυρίως την επίλυση των πολυωνυμικών εξισώσεων με πραγματικούς και μιγαδικούς συντελεστές.

== Ιστορική αναδρομή ==

Η πρώτη αναφορά στην ουσία του θεωρήματος έγινε από τον [[Peter Rothe (Petrus Roth)]] στο βιβλίο του  ''Arithmetica Philosophica'' (1608), όπου σημείωνε ότι κάθε πολυωνυμική εξίσωση βαθμού ''n'' (με πραγματικούς συντελεστές) ''μπορεί'' να έχει ''n'' λύσεις. Έπειτα, ο [[Albert Girard]], στο βιβλίο του ''L'invention nouvelle en l'Algèbre''  του 1629, ισχυρίστηκε ότι κάθε πολυωνυμική εξίσωση βαθμού ''n'' έχει n λύσεις, χωρίς όμως να δηλώνει ότι χρειάζεται να είναι πραγματικοί αριθμοί. Επιπλέον, πρόσθεσε ότι ο ισχυρισμός του ισχύει "εκτός αν η εξίσωση είναι ατελής", με το οποίο εννοούσε ότι κανένας συντελεστής δεν ισούται με το μηδέν. Ωστόσο, όταν εξηγεί λεπτομερώς τί εννοεί, είναι σαφές ότι ο ίδιος πιστεύει ότι ο ισχυρισμός του είναι πάντα αληθής για παράδειγμα δείχνει ότι η εξίσωση ''x''<sup>4</sup>&nbsp;=&nbsp;4x&nbsp;−&nbsp;3, ενώ ατελής, έχει τέσσερις λύσεις (συμπεριλαμβανομένων και των πολλαπλοτήτων): 1 (διπλή), −1&nbsp;+&nbsp;''i''√<span style="text-decoration: overline">2</span>, και −1&nbsp;−&nbsp;''i''√<span style="text-decoration: overline">2</span>.

Από το θεμελιώδες θεώρημα της άλγεβρας προκύπτει ότι κάθε μη σταθερό πολυώνυμο με πραγματικούς συντελεστές μπορεί να γραφεί σαν προϊόν πολυωνύμων με πραγματικούς συντελεστές των οποίων ο βαθμός είναι είτε 1 είτε 2. Ωστόσο, το 1702 ο [[Γκότφριντ Βίλχελμ Λάιμπνιτς|Λάιμπνιτς]] είπε ότι κανένα πολυώνυμο του τύπου ''x''<sup>4</sup>&nbsp;+&nbsp;''a''<sup>4</sup> (όπου ''a πραγματικός και διάφορος του μηδενός) μπορεί να γραφεί με τέτοιο τρόπο. Αργότερα, ο ''[[Nikolaus I Bernoulli]] έκανε τον ίδιο ισχυρισμό όσον αφορά το πολυώνυμο ''x''<sup>4</sup>&nbsp;−&nbsp; 4''x''<sup>3</sup>&nbsp;+&nbsp;2''x''<sup>2</sup>&nbsp;+&nbsp;4''x''&nbsp;+&nbsp;4, αλλά έλαβε ένα γράμμα από τον [[Λέοναρντ Όιλερ|Όιλερ]] το 1742<ref>''Βλέπε 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''.</ref>, το οποίο εξηγούσε ότι το πολυώνυμό του τύχαινε να είναι ίσο με:

:<math>(x^2-(2+\alpha)x+1+\sqrt{7}+\alpha)(x^2-(2-\alpha)x+1+\sqrt{7}-\alpha),</math>

όπου α η τετραγωνική ρίζα του 4&nbsp;+&nbsp;2√<span style="text-decoration: overline">7</span>. Επίσης ο Όιλερ ανέφερε ότι:

:<math>x^4+a^4=(x^2+a\sqrt{2}\cdot x+a^2)(x^2-a\sqrt{2}\cdot x+a^2).\,</math>

Η πρώτη απόπειρα απόδειξης του θεωρήματος έγινε από το Γάλλο μαθηματικό και φιλόσοφο [[Ζαν λε Ροντ ντ' Αλαμπέρ]] το 1746, αλλά η απόδειξη του ήταν ατελής. Για παράδειγμα, προαπαιτούσε την ισχύ ενός θεωρήματος (που είναι σήμερα γνωστό ως [[θεώρημα του Puiseux]]), το οποίο όμως αποδείχτηκε μόλις έναν αιώνα μετά και μάλιστα η απόδειξη του βασιζόταν στο θεμελιώδες θεώρημα της άλγεβρας. Άλλες προσπάθειες για την απόδειξη του θεωρήματος έγιναν και από άλλους μαθηματικούς, όπως οι [[Λέοναρντ Όιλερ|Όιλερ]] (1749), [[de Foncenex]] (1759), [[Ζοζέφ Λουί Λαγκράνζ|Λαγκράνζ]] (1772), και [[Πιέρ Σιμόν Λαπλάς|Λαπλάς]] (1795). Όλες αυτές οι προσπάθειες βασιζόντουσαν ουσιαστικά στον ισχυρισμό του [[Girard]]. Για την ακρίβεια, δεχόντουσαν την ύπαρξη αυτών των λύσεων οπότε το μόνο που έμενε να αποδειχθεί ήταν ότι οι λύσεις είχαν τη μορφή  ''a''&nbsp;+&nbsp;''bi'' για κάποιους πραγματικούς ''a'' και ''b''. Με τους σημερινούς όρους οι Όιλερ, de Foncenex, Λαγκράνζ και Λαπλάς υπέθεταν την ύπαρξη ενός [[Σώμα Διάσπασης|σώματος διάσπασης]] του πολυωνύμου p(z).

Στα τέλη του 18ου αιώνα δημοσιεύτηκαν δύο νέες και καλύτερες ''απόπειρες'' απόδειξης του θεωρήματος, οι οποίες δεν υπέθεταν την ύπαρξη ριζών. Η πρώτη ήταν του [[James Wood]], δημοσιεύθηκε το 1798  και ήταν κυρίως αλγεβρική, αλλά αγνοήθηκε εντελώς μιας και είχε αλγεβρικά κενά<ref>Σχετικά με την απόδειξη του Wood δες το άρθρο ''A forgotten paper on the fundamental theorem of algebra'', του Frank Smithies.</ref>. Πιο γνωστή έγινε η δεύτερη απόπειρα απόδειξης, που ήταν κυρίως γεωμετρική και δημοσιεύθηκε ένα χρόνο αργότερα, το 1799, από το Γερμανό μαθηματικό [[Καρλ Φρίντριχ Γκάους]]. Και πάλι, όμως, η απόδειξη δεν ήταν πλήρης, αφού είχε ένα τοπολογικό κενό. Αυτά ήρθε να γεμίσει ο [[Alexander Ostrowski]] το 1920, όπως συζητήθηκε και με τον [[Smale]] το 1981 (ο Smale γράφει: ... θα ήθελα να τονίσω το τεράστιο κενό που περιείχε η απόδειξη του Γκάους. Είναι ένα λεπτό σημείο ακόμα και σήμερα το ότι μια πραγματική αλγεβρική καμπύλη του επίπεδου δεν μπορεί να μπει σε ένα δίσκο χωρίς να φύγει. Στην πραγματικότητα, ακόμη και αν ο Γκάους επαναδιατύπωσε την απόδειξη 50 χρόνια μετά, το κενό παρέμεινε. Ήταν το 1920 όταν η απόδειξη του Γκάους ολοκληρώθηκε.Στην παραπομπή Γκάους, ο A. Ostrowski έχει μία εργασία η οποία κάνει αυτό και δίνει μία εξαιρετική συζήτηση του προβλήματος επίσης...). Μια αυστηρή απόδειξη δημοσιεύτηκε από τον Ελβετό μαθηματικό [[Ζαν-Ρομπέρ Αργκάν]]  το 1806 και για πρώτη φορά το θεμελιώδες θεώρημα της άλγεβρας διατυπώθηκε για πολυώνυμα με μιγαδικούς συντελεστές αντί για μόνο πραγματικούς συντελεστές. Ο Γκάους παρήγαγε δύο ακόμη αποδείξεις το 1816 και μία ακόμη εκδοχή της πρωτότυπης απόδειξης το 1849. 

Το πρώτο εγχειρίδιο που είχε μία απόδειξη του θεωρήματος ήταν το Cauchy's ''Cours d'analyse de l'École Royale Polytechnique'' (1821). Περιείχε την απόδειξη του Αργκάνf, αν και δεν του δόθηκε πίστωση για αυτό. 

Καμία από τις αποδείξεις που έχουν αναφερθεί έως τώρα είναι [[Κονστρουκτιβισμός (μαθηματικά)|εποικοδομητική]]. Ήταν ο [[Weierstrass]] ο οποίος έθεσε για πρώτη φορά, στα μισά του 19ου αιώνα, το πρόβλημα της εύρεσης μίας εποικοδομητικής απόδειξης του θεμελιώδους θεωρήματος της άλγεβρας. Παρουσίασε την απόδειξή του , η οποία ανέρχεται με τους σημερινούς όρους σε έναν συνδυασμό της [[Μέθοδος Durand–Kerner|μεθόδου Durand–Kerner]] με την [[Ομοτοπία|αρχή της συνέχισης της ομοτοπίας]], το 1891. Άλλη μία απόδειξη αυτού του είδους βρήκε ο Χέλμουτ Κνέζερ (Hellmuth Kneser) το 1940 και απλοποίησε ο γιος του, Μάρτιν Κνέζερ, το 1981.

Χωρίς να χρησιμοποιήσουμε [[Αξίωμα της Μετρήσιμης Επιλογής|μετρήσιμη επιλογή]], δεν είναι δυνατό να αποδείξουμε εποικοδομητικά το θεμελιώδες θεώρημα της άλγεβρας για μιγαδικούς αριθμούς βασιζόμενοι στους [[Κατασκευή Πραγματικών Αριθμών|πραγματικούς αριθμούς Dedekind''(?)'']] (οι οποίοι δεν είναι εποικοδομητικά  ισοδύναμοι με τα πραγματικά νούμερα Cauchy χωρίς μετρήσιμη επιλογή<ref>Για το ελάχιστο και απαραίτητο ώστε να αποδειχθεί η ισοτιμία τους, βλέπε  Bridges, Schuster, and Richman (1998) <cite>A weak countable choice principle</cite>' διαθέσιμο από [http://www.math.fau.edu/richman/HTML/DOCS.HTM] {{Webarchive|url=https://web.archive.org/web/20090204062007/http://www.math.fau.edu/Richman/HTML/DOCS.HTM|date=2009-02-04}}.</ref>). Ωστόσο, ο [[Fred Richman]] απέδειξε μία αναδιατυπωμένη εκδοχή του θεωρήματος η οποία λειτουργεί<ref>βλέπε Fred Richman (1998) <cite>The fundamental theorem of algebra: a constructive development without choice</cite>' διαθέσιμο από [http://www.math.fau.edu/richman/HTML/DOCS.HTM] {{Webarchive|url=https://web.archive.org/web/20090204062007/http://www.math.fau.edu/Richman/HTML/DOCS.HTM|date=2009-02-04}}.</ref>.

== Αποδείξεις ==

{{Μορφοποίηση}}

'Όλες οι αποδείξεις παρακάτω περιέχουν κάποια [[Μαθηματική ανάλυση|ανάλυση]] ή τουλάχιστον την [[Τοπολογία|τοπολογική]] έννοια της [[Συνέχεια συνάρτησης|συνέχειας]] των πραγματικών αριθμών ή μιγαδικών συναρτήσεων. Μερικές χρησιμοποιούν επίσης [[Παράγωγος|διαφορικές]] ή ακόμα και [[Αναλυτική συνάρτηση|αναλυτικές]] συναρτήσεις. Αυτό έχει οδηγήσει μερικούς στην παρατήρηση ότι το Θεμελιώδης Θεώρημα της Άλγεβρας δεν είναι ούτε θεμελιώδης ούτε θεώρημα της Άλγεβρας.  

Μερικές αποδείξεις του θεωρήματος αποδεικνύουν μόνο ότι κάθε μη [[σταθερή συνάρτηση|σταθερό πολυώνυμο]] με πραγματικούς συντελεστές έχει κάποια μιγαδική ρίζα. Αυτό είναι αρκετό για να καθοριστεί το θεώρημα στη γενική περίπτωση, διότι, δεδομένου ενός πολυωνύμου μη σταθερού ''p''(''z'') με μιγαδικούς συντελεστές, το πολυώνυμο  

:<math>q(z)=p(z)\overline{p(\overline z)}</math>  

έχει μόνο πραγματικούς συντελεστές και, εάν το Ζ είναι μηδέν του ''p''(''z''), τότε είτε το ''z'' ή το συζυγές του είναι μια ρίζα της ''p''(''z'').

Ένας μεγάλος αριθμός αποδείξεων του θεωρήματος χρησιμοποιούν το δεδομένο (μερικές φορές αποκαλούνται "αναπτυγμένα λήμματα")  ότι μία νιοστού βαθμού πολυωνυμική συνάρτηση ''p''(''z'') του οποίου ο κυρίαρχος συντελεστής είναι 1 συμπεριφέρεται ως  ''z<sup>n  </sup>'' όταν το |''z''| είναι αρκετά μεγάλο. Μια πιο ακριβής δήλωση είναι: υπάρχει κάποια θετικός πραγματικός αριθμός R τέτοιος ώστε: 

:<math>\tfrac{1}{2}|z^n|<|p(z)|<\tfrac{3}{2}|z^n|</math>

όταν |''z''|&nbsp;>&nbsp;''R''.

=== Περίπλοκες-Αναλυτικές Αποδείξεις ===
Βρείτε ένα κλειστό [[Δίσκος (γεωμετρία)|δίσκο]] D της ακτίνας r και κέντρο στην αρχή των αξόνων έτσι ώστε | p (z) |> | p (0) | όταν | z | ≥ r. Το ελάχιστο της | p (z) | στο D, το οποίο πρέπει να υπάρχει αφού το D είναι [[Συμπαγής χώρος|συμπαγής]], επιτυγχάνεται, επομένως, σε ορισμένες ''z''<sub>0</sub> σημείο στο εσωτερικό του ϋ, αλλά όχι σε οποιοδήποτε σημείο του ορίου του. [[Αρχής της μέγιστης συντελεστή]] (εφαρμόζεται σε 1 / Ρ (ζ)), τότε συνεπάγεται ότι p (''c<sub>j</sub>'') = 0. Με άλλα λόγια ''c<sub>j</sub>'' είναι μηδέν ρ (ζ). 

'''Μία παραλλαγή αυτής της απόδειξης '''δεν απαιτεί τη χρήση της αρχής της μέγιστης συντελεστή (στην πραγματικότητα, το ίδιο επιχείρημα με μικρές αλλαγές δίνει επίσης μια απόδειξη της αρχής της μέγιστης συντελεστή για ολομορφικές λειτουργίες). Αν υποθέσουμε από την αντίφαση ότι: p = (''c<sub>j</sub>'') ≠ 0, τότε, επέκταση p (z) στις δυνάμεις του z - ''c<sub>j</sub>'' μπορούμε να γράψουμε 

:<math>p(z) = a + c_k (z-z_0)^k + c_{k+1} (z-z_0)^{k+1} + \ldots + c_n (z-z_0)^n.</math>

Εδώ, οι ''c<sub>j</sub>'' είναι απλά οι συντελεστές του πολυωνύμου z → p (''c<sub>j</sub>''), και αφήνουμε k είναι ο δείκτης του πρώτου συντελεστή μετά από τον σταθερό όρο που είναι μη μηδενική. Αλλά τώρα βλέπουμε ότι για z αρκετά κοντά στο ''c<sub>j</sub>'' αυτό έχει ασυμπτωτικά συμπεριφορά παρόμοια με την απλούστερη πολυώνυμο <math>q(z) = a+c_k (z-z_0)^k</math> , με την έννοια ότι (όπως είναι εύκολο να ελεγχθεί) η συνάρτηση <math>\left|\frac{p(z)-q(z)}{(z-z_0)^{k+1}}\right|</math> οριοθετείται από κάποια θετική σταθερά M σε κάποια γειτονιά του ''c<sub>j</sub>''. Ως εκ τούτου, αν ορίσουμε <math>\theta_0 = (\arg(a)+\pi-\arg(c_k)) /k</math>  και αφήσετε <math>z = z_0 + r e^{i \theta_0}</math> τότε για κάθε επαρκώς μικρό θετικό αριθμό r (έτσι ώστε η δεσμευμένη Μ αναφέρθηκε παραπάνω κατέχει), χρησιμοποιώντας την [[τριγωνική ανισότητα]] βλέπουμε ότι<math>\begin{align}
|p(z)| &< |q(z)| + r^{k+1} \left|\frac{p(z)-q(z)}{r^{k+1}}\right|\\[.2em]
&\le \left|a +(-1)c_k r^k e^{i(\arg(a)-\arg(c_k))}\right| + M r^{k+1} \\[.5em]
&= |a|-|c_k|r^k + M r^{k+1}.\end{align}</math> 

Όταν το r είναι αρκετά κοντά στο 0 αυτό το άνω φράγμα για | p (z) | είναι αυστηρά μικρότερο από | ένα |, σε αντίθεση με τον ορισμό του ''c<sub>j</sub>''. (Γεωμετρικά, έχουμε βρει μια σαφή κατεύθυνση θ<sub>0</sub>, έτσι ώστε αν κάποιος πλησιάζει ''c<sub>j</sub>'' από αυτή την κατεύθυνση μπορεί κανείς να αποκτήσει τιμές p (z) και μικρότερες σε [[απόλυτη τιμή]] από | p (''c<sub>j</sub>'') |.) 

Μια άλλη αναλυτική απόδειξη μπορεί να επιτευχθεί κατά μήκος αυτής της γραμμής σκέψης παρατηρώντας ότι, δεδομένου ότι | p (z) |> | p (0) | εκτός D, το ελάχιστο | p (z) | για να επιτευχθεί το όλο συγκρότημα αεροπλάνο στο z0. Αν | p (z0) |> 0, τότε το 1 / ρ είναι μια φραγμένη [[holomorphic λειτουργία]] σε ολόκληρο το μιγαδικό επίπεδο, δεδομένου ότι, για κάθε μιγαδικό αριθμό z, | 1 / p (z) | ≤ | 1 / p (''z''<sub>0</sub>) |. Εφαρμόζοντας το [[θεώρημα Liouville]], η οποία αναφέρει ότι ένα φραγμένο σύνολο της λειτουργίας πρέπει να είναι σταθερή, αυτό θα σήμαινε ότι το 1 / ρ είναι σταθερή και, συνεπώς, ότι η p είναι σταθερό. Αυτό δίνει μια αντίφαση, και ως εκ τούτου, p (''z''<sub>0</sub>) = 0. 

Ακόμα μια αναλυτική απόδειξη χρησιμοποιεί το [[επιχείρημα της αρχής.]] Έστω R ένας θετικός πραγματικός αριθμός είναι αρκετά μεγάλο έτσι ώστε κάθε ρίζα του p (z) έχει απόλυτη αξία μικρότερη από R: ένας τέτοιος αριθμός πρέπει να υπάρχει γιατί κάθε πολυώνυμο μη σταθερή συνάρτηση του βαθμού n έχει το πολύ n μηδενικά. Για κάθε r> R, σκεφτείτε τον αριθμό :<math>\frac{1}{2\pi i}\int_{c(r)}\frac{p'(z)}{p(z)}\,dz,</math>

όπου c (r) είναι ο κύκλος με κέντρο 0 με ακτίνα r προσανατολίζεται αριστερόστροφα: τότε η αρχή επιχείρημα λέει ότι αυτός ο αριθμός είναι ο αριθμός Ν των μηδενικών ρ (ζ) στην ανοικτή μπάλα με κέντρο 0 με ακτίνα R, η οποία, δεδομένου ότι r> R, είναι ο συνολικός αριθμός των μηδενικών ρ (ζ). Από την άλλη πλευρά, το ολοκλήρωμα της Ν / z κατά μήκος C (R) διαιρούμενο με 2πi είναι ίσο με n. Αλλά η διαφορά μεταξύ των δύο αριθμών είναι:

<math>\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.</math>

Ο αριθμητής της ορθολογικής έκφρασης ενσωμα��ώνονται έχει βαθμό το πολύ n - 1 και ο βαθμός του παρονομαστή είναι n + 1 Ως εκ τούτου, η παραπάνω αριθμός τείνει στο 0 καθώς r → + ∞.. Αλλά ο αριθμός είναι επίσης ίσο προς Ν - N και έτσι Ν = Ν.

Ακόμα ένα άλλο συγκρότημα-αναλυτική απόδειξη μπορεί να δοθεί από το συνδυασμό [[γραμμική άλγεβρα]] με το [[θεώρημα του Cauchy]]. Για να αποδείξουν ότι κάθε συγκρότημα πολυώνυμο βαθμού n> 0 έχει μηδενική, αρκεί να δείξουμε ότι κάθε τετράγωνο του πίνακα μεγέθους n> 0 έχει μια (σύνθετη) [[ιδιοτιμή.]] [5] Η ��πόδειξη της τελευταίας δήλωσης είναι [[από την αντίφαση.]]

Έστω A να είναι μια πολύπλοκη τετραγωνική μήτρα μεγέθους n> 0 και αφήστε Στην αποτελεί τη μονάδα μήτρα του ίδιου μεγέθους. Έστω Α δεν έχει ιδιοτιμές. Εξετάστε τη λειτουργία [[resolvent]]

::<math> \int_{c(r)} R(z) dz =0.</math>

Από την άλλη πλευρά, το R (z) επεκτάθηκε ως μία γεωμετρική σειρά δίδει:


:<math>R(z)=z^{-1}(I_n-z^{-1}A)^{-1}=z^{-1}\sum_{k=0}^{\infty}\frac{1}{z^k}A^k\cdot</math>>

Ο τύπος αυτός ισχύει έξω από την κλειστή [[δίσκο]] ακτίνας | | A | | (ο [[κανόνας του χειριστή]] Α). Έστω r> | | A | |. τότε

:<math>\int_{c(r)}R(z)dz=\sum_{k=0}^{\infty}\int_{c(r)}\frac{dz}{z^{k+1}}A^k=2\pi iI_n</math>

του οποίου μόνο το summand k = 0 έχει ένα μη μηδενικό ολοκλήρωμα). Αυτό είναι μια αντίφαση, και έτσι το Α έχει ιδιοτιμή.

Τέλος, [[θεώρημα Rouche]] δίνει ίσως την πιο σύντομη απόδειξη του θεωρήματος.

=== Τοπολογικές αποδείξεις ===
Ας z0 ∈ '''C''' είναι τέτοια ώστε το ελάχιστο | p (z) | για να επιτευχθεί το όλο συγκρότημα αεροπλάνο στο z0? θεωρήθηκε στην απόδειξη που χρησιμοποιεί το θεώρημα Liouville ότι ένας τέτοιος αριθμός πρέπει να υπάρχει. Μπορούμε να γράψουμε p (z) ένα πολυώνυμο z - z0: υπάρχει κάποιο φυσικό αριθμό k και υπάρχουν κάποιες μιγαδικών αριθμών, το CK + 1, ..., cn, έτσι ώστε ck ≠ 0 και ότι

<math>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.</math>

Σε περίπτωση που η p (z0) είναι μη μηδενική, προκύπτει ότι αν το α είναι μια ρίζα k-p-(z0) / ck και αν t είναι θετική και αρκετά μικρό, τότε | p (z0 + ta) | <| p (z0) |, το οποίο είναι αδύνατο, δεδομένου ότι | p (z0) | είναι το ελάχιστο | p | σχετικά D.

Για άλλη μια τοπολογική απόδειξη με αντίφαση, ας υποθέσουμε ότι p (z) δεν έχει μηδενικά. Επιλέξτε ένα μεγάλο θετικό αριθμό R τέτοια ώστε, για | z | = R, η κορυφαία όρος zn του p (z) κυριαρχεί σε όλους τους άλλους όρους σε συνδυασμό; Με άλλα λόγια, τέτοια ώστε | z | ν> | an-1zn-1 + · · · + a0 |. Ως Ζ διασχίζει τον κύκλο δίνεται από την εξίσωση | z | = R άπαξ αριστερόστροφα, p (z), όπως Ζη, άνεμοι η φορές αριστερόστροφα γύρω 0 Στο άλλο άκρο, με το |. Z | = 0, η "καμπύλη "p (z) είναι απλά η ενιαία (μη μηδενικό) σημείο p (0), των οποίων ο αριθμός είναι [[περιέλιξης]] σαφώς 0. Εάν ο βρόχος που ακολουθείται από το Ζ είναι συνεχώς παραμορφώνεται μεταξύ αυτών των άκρων, η διαδρομή του ρ (z) παραμορφώνεται επίσης συνεχώς. Μπορούμε να γράψουμε ρητά μια τέτοια παραμόρφωση ως Η (Reiθ, t) = p ((1 - t) Reiθ), όπου 0 ≤ t ≤ 1 Εάν κάποιος θεωρεί τη μεταβλητή t ως χρόνος, τότε σε χρόνο μηδέν η καμπύλη είναι ρ (. z) και τη χρονική στιγμή ένα η καμπύλη είναι p (0). Σαφώς σε κάθε σημείο t, p (z) δεν μπορεί να είναι μηδέν με την αρχική υπόθεση, ως εκ τούτου, κατά τη [[διάρκεια της παραμόρφωσης]], η καμπύλη δεν διασχίζει μηδέν. Ως εκ τούτου, η περιέλιξη αριθμό της καμπύλης γύρω από το μηδέν δεν πρέπει ποτέ να αλλάξει. Ωστόσο, δεδομένου ότι ο αριθμός περιέλιξης ξεκίνησε ως n και έληξε 0, αυτό είναι παράλογο. Ως εκ τούτου, p (z) έχει τουλάχιστον ένα μηδέν.

=== Αλγεβρικές αποδείξεις  ===
Οι αποδείξεις αυτές χρησιμοποιούν δύο θεωρήματα σχετικά με τους πραγματικούς αριθμούς που απαιτούν στοιχειώδεις γνώσεις Ανάλυσης (ακριβέστερα, το Θεώρημα Ενδιάμεσης Τιμής): 
* Κάθε πολυώνυμο με βαθμό <math>\geq 1</math> και πραγματικούς συντελεστές έχει κάποια πραγματική ρίζα. 
* Κάθε μη αρνητικός πραγματικός αριθμός έχει μια τετραγωνική ρίζα. 

Δεύτερον, μαζί με τον [[τετραγωνικό τύπο]], συνεπάγεται το θεώρημα για τα τετραγωνικά πολυώνυμα. Με άλλα λόγια, οι αλγεβρικές αποδείξεις του θεμελιώδους θεωρήματος δείχνουν στην πραγματικότητα ότι αν το <math>R</math> είναι οποιοσδήποτε [[κλειστό υποσύνολο των πραγματικών]], τότε επέκτασή του <math>C=R(\sqrt{-1})</math> είναι αλγεβρικά κλειστό σύνολο. 

Όπως αναφέρθηκε παραπάνω, αρκεί να ελέγχει η πρόταση: «Κάθε μη σταθερό πολυώνυμο <math>p(z)</math> με πραγματικούς συντελεστές έχει μια μιγαδική ρίζα". Η πρόταση αυτή μπορεί να αποδειχθεί με επαγωγή στον μεγαλύτερο μη αρνητικό ακέραιο <math>k</math>έτσι ώστε το <math>2k</math> να χωρίζει το βαθμό <math>n</math> του <math>p(z)</math>. Έστω <math>deg(z^n)=1</math> και έστω <math>F</math> είναι ένα [[σώμα διάσπασης]] του <math>p(z)</math> στο <math>\mathbb{C}</math>. Αυτό σημαίνει: <math>F\in\mathbb{C}</math> και υπάρχουν στοιχεία <math>z_1,z_2,...,z_n\in F</math> τέτοια ώστε 

     :<math>p(z)=a(z-z_1)(z-z_2) \cdots (z-z_n).</math>. 

Αν k = 0, τότε το n είναι περιττός, και ως εκ τούτου,  p(z) έχει μια πραγματική ρίζα. Τώρα, ας υποθέσουμε ότι το ''n'' = 2''<sup>k</sup>m'' (με m περιττός και k> 0) και ότι το θεώρημα έχει ήδη αποδειχθεί όταν ο βαθμός του πολυωνύμου έχει τη μορφή 2<sup>''k'' − 1</sup>''m, ''με m περιττός. Για ένα πραγματικό αριθμό t, ορίζουν: 

:<math>q_t(z)=\prod_{1\le i<j\le n}\left(z-z_i-z_j-tz_iz_j\right).\,</math>

Στη συνέχεια, οι συντελεστές της q<sub>t</sub>(z) είναι [[συμμετρικά πολυώνυμα]] των z<sub>i</sub> με πραγματικούς συντελεστές. Ως εκ τούτου, μπορούν να εκφράζονται ως πολυώνυμα με πραγματικούς συντελεστές στα στοιχειώδη [[στοιχειώδη συμμετρικά πολυώνυμα| συμμετρικά πολυώνυμα]], δηλαδή, σε −''a''<sub>1</sub>, ''a''<sub>2</sub>, ..., (−1)''<sup>n</sup>a<sub>n </sub>''. Έτσι, q<sub>t</sub>(z) έχει στην πραγματικότητα πραγματικούς συντελεστές. Επιπλέον, ο βαθμός q<sub>t</sub>(z) είναι n (n - 1) / 2 = 2<sup>k-1</sup>m (n - 1) και m (n - 1) είναι ένας [[Άρτιοι και περιττοί αριθμοί|περιττός αριθμός]]. Έτσι, χρησιμοποιώντας την υπόθεση επαγωγής, qt έχει τουλάχιστον ένα σύμπλοκο ρίζα? Με άλλα λόγια,  ''z<sub>i</sub>'' + ''z<sub>j</sub>'' + ''tz<sub>i</sub>z<sub>j</sub>'' είναι πολύπλοκη για δύο διακριτά στοιχεία i και j από {1, ..., n}. Δεδομένου ότι υπάρχουν περισσότερα πραγματικοί αριθμοί από ζεύγη (i, j), μπορεί κανείς να βρει διακριτές πραγματικούς αριθμούς t και s ώστε ''z<sub>i</sub>'' + ''z<sub>j</sub>'' + ''tz<sub>i</sub>z<sub>j</sub>'' και ''z<sub>i</sub>'' + ''z<sub>j</sub>'' + ''sz<sub>i</sub>z<sub>j</sub>'' είναι σύνθετα (για το ίδιο i και j). Έτσι, οι δύο zi + zj και zizj είναι μιγαδικών αριθμών. Είναι εύκολο να ελεγχθεί ότι κάθε μιγαδικό αριθμό έχει μια σύνθετη τετραγωνική ρίζα, έτσι κάθε συγκρότημα πολυώνυμο βαθμού 2 έχει μια σύνθετη ρίζα από τον τετραγωνικό τύπο. Συνάγεται ότι zi και zj είναι μιγαδικών αριθμών, δεδομένου ότι είναι οι ρίζες του πολυωνύμου τετραγωνική ''z''<sup>2</sup> −  (''z<sub>i</sub>'' + ''z<sub>j</sub>'')''z'' + ''z<sub>i</sub>z<sub>j</sub>''. 

Ο J. Shipman έδειξε το 2007 ότι η υπόθεση ότι η υπόθεση ότι τα πολυώνυμα είναι περιττού βαθμού και ότι έχουν ρίζες είναι ισχυρότερη από την πρόταση ό, τι είναι απαραίτητο? ότι οποιοδήποτε πεδίο στο οποίο πολυώνυμα, που είναι πρωταρχικού βαθμού, έχουν τις ρίζες είναι αλγεβρικά κλειστό (έτσι «περιττό» μπορεί να αντικατασταθεί από το "περιττό και πρωταρχικό" και, επιπλέον, αυτό ισχύει για τα πεδία όλων των χαρακτηριστικών). Για axiomatization της αλγεβρικά κλειστά πεδία, αυτή είναι η καλύτερη δυνατή, καθώς υπάρχουν αντιπαραδείγματα αν ένα μόνο πρωταρχικό αποκλείεται. Ωστόσο, αυτά τα αντιπαραδείγματα βασίζονται σε -1 έχει τετραγωνική ρίζα. Αν πάρουμε ένα πεδίο όπου -1 δεν έχει τετραγωνική ρίζα, και κάθε πολυώνυμο βαθμού n ∈ I έχει μια ρίζα, όπου είναι οποιοδήποτε σταθερό άπειρο σύνολο των μονών αριθμών, τότε κάθε πολυώνυμο f (x) των περίεργο βαθμό έχει ρίζα (δεδομένου ότι (x<sup>2</sup> + 1)<sup>K</sup>F (x) έχει μία ρίζα, όπου επιλέγεται k, έτσι ώστε deg (f) + 2k ∈ Ι). 

Μια άλλη αλγεβρική απόδειξη του θεμελιώδους θεωρήματος μπορεί να προκύψει χρησιμοποιώντας τη [[θεωρία Galois]]. Αρκεί να δείξουμε ότι η '''C''' δεν έχει την κατάλληλη [[πεπερασμένη επέκταση]] τομέα. <ref>Μια άλλη απόδεξη του θεωρήματος αυτού υπάρχει [[Algebraically closed field#The field has no proper finite extension|εδώ]].</ref> Ας είναι K /''' C'''  μια πεπερασμένη επέκταση. Δεδομένου ότι η κανονική κλείσιμο του K στον '''R''' εξακολουθεί να έχει ένα πεπερασμένο βαθμό πάνω από '''C''' (ή '''R'''), μπορούμε να υποθέσουμε χωρίς βλάβη της γενικότητας ότι το Κ είναι μια φυσιολογική επέκταση του '''R''' (γι 'αυτό και είναι [[επέκταση του Galois]], όπως κάθε αλγεβρική επέκταση του συνόλου, [[χαρακτηριστικής τάξης]] 0, είναι [[διαχωρίσιμο]]). Έστω G η ομάδα Galois της επέκτασης αυτής, και θεωρήστε ότι  Η είναι μια [[Sylow]] 2-υποομάδα της G, έτσι ώστε η σειρά του Η είναι μια δύναμη του 2, και ο δείκτης της Η στην G είναι περιττός. Με το [[θεμελιώδες θεώρημα της θεωρίας Galois]], υπάρχει επέταση του L στο K / '''R''' τέτοια ώστε Gal (K / L) = Η. Όπως [L: '''R'''] = [G: H] είναι περιττός, και δεν υπάρχουν μη γραμμικά ανάγωγα πολυώνυμα, με πραγματικούς συντελεστές, περιττού βαθμού, πρέπει να έχουμε L = '''R''', έτσι [K: '''R'''] και [K: '''C'''] είναι δυνάμεις του 2. Υποθέτοντας μέσω της διάψευσης, ότι [K: C].> 1, καταλήγουμε στο συμπέρασμα ότι η [[2-ομάδα]] gal (K / '''C''') περιέχει μία υποομάδα με δείκτη 2, οπότε υπάρχει μια επέκταση Μ του  '''C''' βαθμού 2. Ωστόσο, '''C''' δεν έχει καμία επέκταση βαθμού 2, επειδή κάθε τετραγωνικό πολυώνυμο έχει μια σύνθετη ρίζα, όπως αναφέρθηκε παραπάνω. Αυτό δείχνει ότι το [Κ:'''C'''] = 1, και ως εκ τούτου, K = '''C''', πράγμα που αποδεικνύει το ζητούμενο.

=== Γεωμετρικές αποδείξεις ===
Υπάρχει ακόμα ένας άλλος τρόπος για να προσεγγίσουμε το θεμελιώδες θεώρημα της άλγεβρας, λόγω JM Almira και A. Romero: από [[Riemannian Γεωμετρική]] επιχειρήματα. Η βασική ιδέα εδώ είναι να αποδείξει ότι η ύπαρξη ενός πολυωνύμου μη σταθερή P (Z), χωρίς μηδενικά συνεπάγεται την ύπαρξη μιας [[επίπεδης Riemannian μετρι��ό]] πάνω από την σφαίρα '''S'''<sup>2</sup> . Αυτό οδηγεί σε μια αντίφαση, δεδομένου ότι η σφαίρα δεν είναι επίπεδη.

Υπενθυμίζεται ότι ένας Riemannian επιφάνεια (M, g) λέγεται ότι είναι επίπεδη, αν Gaussian καμπυλότητα της, την οποία συμβολίζουμε με Kg, είναι πανομοιότυπα null. Τώρα, [[Gauss-Bonnet θεώρημα]], όταν εφαρμόζεται στη σφαίρα '''S'''<sup>2</sup> , ισχυρίζεται ότι

<math>\int_{\mathbf{S}^2}K_g=4\pi</math>,

πράγμα που αποδεικνύει ότι η σφαίρα δεν είναι επίπεδη.

Ας υποθέσουμε τώρα ότι ''n''> 0 και ''p''(''z'')&nbsp;= ''a''<sub>0</sub>&nbsp;+&nbsp;''a''<sub>1</sub>''z''&nbsp;+&nbsp;⋅⋅⋅&nbsp;+&nbsp;''a<sub>n</sub>z<sup>n</sup>'' ≠ 0 για κάθε μιγαδικό αριθμό z. Ας ορίσει ''p*''(''z'')&nbsp;= ''z<sup>n</sup>p''(''1/z'')&nbsp;= ''a''<sub>0</sub>''z<sup>n</sup>''&nbsp;+&nbsp;''a''<sub>1</sub>''z''<sup>''n''−1</sup>&nbsp;+&nbsp;⋅⋅⋅&nbsp;+&nbsp;''a<sub>n</sub>''. Προφανώς,  ''p*''(''z'')&nbsp;≠ 0 για όλα τα z στο C. Εξετάστε το πολυώνυμο ''f''(''z'')&nbsp;=&nbsp;''p''(''z'')''p*''(''z''). Τότε ''f''(''z'')&nbsp;≠ 0 για κάθε z στο '''C'''. Επιπλέον,

<math>f(\tfrac{1}{w}) = p(\tfrac{1}{w})p^*(\tfrac{1}{w}) = w^{-2n}p^*(w)p(w) = w^{-2n}f(w)</math>.

Μπορούμε να χρησιμοποιήσουμε αυτή τη λειτουργική εξίσωση για να αποδείξει ότι η ''g'', δίνεται από

:<math>g=\frac{1}{|f(w)|^{\frac{2}{n}}}\,|dw|^2 </math>
για ''w'' σε ''C'', και

<math>g=\frac{1}{|f(1/w)|^{\frac{2}{n}}}\,|d(1/w)|^2 </math>

για ''w''&nbsp;∈&nbsp;'''S'''<sup>2</sup>\{0}, είναι μια καλά καθορισμένη Riemannian μετρικό ολόκληρη τη σφαίρα '''S'''<sup>2</sup> (το οποίο ταυτιζόμαστε με το εκτεταμένο μιγαδικό επίπεδο '''C'''&nbsp;∪&nbsp;{∞}).

Τώρα, ένας απλός υπολογισμός δείχνει ότι

<math>\forall w\in\mathbf{C} : \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</math>,
δεδομένου ότι το πραγματικό μέρος μιας αναλυτικής λειτουργία είναι αρμονική. Αυτό αποδεικνύει ότι ''K<sub>g</sub>''&nbsp;=&nbsp;0.

== Πορίσματα ==
Δεδομένου ότι το θεμελιώδες θεώρημα της άλγεβρας μπορεί να θεωρηθεί ως η διαπίστωση ότι το σώμα των μιγαδικών αριθμών είναι αλγεβρικά κλειστό, προκύπτει ότι κάθε θεώρημα σχετικά με σώματα αλγεβρικά κλειστά παραπέμπει στον τομέα των μιγαδικών αριθμών. Εδώ είναι μερικές ακόμα συνέπειες του θεωρήματος, οι οποίες είναι είτε σχετικές με το σώμα των πραγματικών αριθμών ή για τη σχέση μεταξύ του σώματος των πραγματικών αριθμών και του σώματος των μιγαδικών αριθμών:
* Το σώμα των μιγαδικών αριθμών είναι το αλγεβρική θήκη του σώματος των πραγματικών αριθμών.
* Κάθε πολυώνυμο μιας μεταβλητής <math>z</math> με μιγαδικούς συντελεστές είναι το προϊόν ενός μιγαδικού σταθερού πολυώνυμου της μορφής <math>z+a,\ a\in\mathbb{C}</math>.
* Κάθε πολυώνυμο μιας μεταβλητής <math>x</math>, με πραγματικούς συντελεστές μπορεί να γραφτεί με μοναδικό τρόπο ως προϊόν ενός σταθερού πολυώνυμου της μορφής x + a με ένα πραγματικό και ενός πολυώνυμου της μορφής  ''x''<sup>2</sup>&nbsp;+&nbsp;''ax''&nbsp;+&nbsp;''b'' με τα a και b να ανήκουν στους πραγματικούς αριθμούς και ''a''<sup>2</sup>&nbsp;−&nbsp;4''b''&nbsp;<&nbsp;0 
* Κάθε λογική συνάρτηση μιας μεταβλητής x, με πραγματικούς συντελεστές, μπορεί να γραφτεί ως το άθροισμα μιας πολυωνυμικής συνάρτησης με την ορθολογική συνάρτηση της μορφής ''a''/(''x''&nbsp;−&nbsp;''b'')<sup>''n''</sup> (όπου η είναι ένας φυσικός αριθμός, και a και b είναι πραγματικοί αριθμών), και της ορθολογικής συνάρτησης (''ax''&nbsp;+&nbsp;''b'')/(''x''<sup>2</sup>&nbsp;+&nbsp;''cx''&nbsp;+&nbsp;''d'')<sup>''n''</sup>  (όπου ο n είναι ένας φυσικός αριθμός και a,b,c,d είναι πραγματικοί αριθμοί και ισχύει ότι ''c''<sup>2</sup>&nbsp;−&nbsp;4''d''&nbsp;<&nbsp;0.Απόρροια αυτού είναι ότι κάθε ρητή συνάρτηση μιας μεταβλητής και πραγματικούς συντελεστές έχει μια στοιχειώδη πρωτoγένεια.
Κάθε αλγεβρική επέκταση του <math>\mathbb{R}</math> είναι ισόμορφη είτε με το <math>\mathbb{R}</math> ή με το <math>\mathbb{C}</math>.

==Όρια των ριζών του πολυωνύμου==
{{Κύριο|Ιδιότητες ριζών πολυωνύμου}}

Ενώ το θεμελιώδες θεώρημα της άλγεβρας ορίζει ένα γενικό αποτέλεσμα ύπαρξης, είναι ενδιαφέρον, τόσο από θεωρητική όσο και από πρακτική άποψη, να υπάρχουν πληροφορίες για την ύπαρξη των ριζών ενός δεδομένου πολυωνύμου. Το απλούστερο αποτέλεσμα προς αυτή την κατεύθυνση αυτή είναι ένα όριο για το μέτρο: όλες οι ρίζες z ενός [[μονικό πολυώνυμο|μονικού πολυωνύμου]] <math>\scriptstyle z^n+a_{n-1}z^{n-1}+\cdots+a_1z +a_0</math> να ικανοποιούν την ανισότητα |ζ| ≤ ''R''<sub>∞ </sub> όπου,

<math>R_{\infty}:= 1+\max\{|a_0|,\cdots,|a_{n-1}|\}. </math>

Παρατηρείστε ότι, όπως αναφέρθηκε, αυτό δεν είναι ακόμη ένα αποτέλεσμα ύπαρξης αλλά μάλλον ένα παράδειγμα του τί ονομάζεται μια εκ των προτέρων βέβαιο: αυτή λέει ότι αν υπάρχουν λύσεις, τότε βρίσκονται στο εσωτερικό του κλειστού δίσκου του κέντρου η προέλευση και η ακτίνα R ∞.Ωστόσο, τη στιγμή που σε συνδυασμό με το θεμελιώδες θεώρημα της άλγεβρας λέει ότι ο δίσκος περιέχει στην πραγματικότητα, τουλάχιστον μία λύση. Γενικότερα, ένα δεσμευμένο μπορεί να δοθεί απ 'ευθείας από την άποψη του κάθε p-νόρμα του κ-διάνυσμα των συντελεστών <math>\scriptstyle (1, \|a\|_p)</math> ,ότι είναι | ζ | ≤ Rp, όπου Rp είναι ακριβώς το q-νόρμα του 2-διάνυσμα \ scriptstyle (1, \ | α \ | _P), q είναι ο συζυγής εκθέτης του p, 1 / p + 1 / q = 1, για κάθε 1 ≤ p ≤ ∞. Έτσι, ο συντελεστής της οποιασδήποτε λύσης είναι επίσης οριοθετείται από


:<math> R_1:= \max\Bigl\{ 1 , \sum_{0\leq k<n} |a_k|\Bigr\},</math>

:<math> R_p:= \biggl[ 1 + \Bigl(\sum_{0\leq k<n}|a_k|^p\Bigr)^{\frac{q}{p}}\biggr]^{\frac{1}{q}},</math>


για 1 <ρ <∞, και ιδίως

:<math> R_2:= \sqrt{\sum_{0\leq k\leq n} |a_k|^2 }</math>

(όπου ορίζουμε ένα να σημαίνει 1, το οποίο είναι λογικό, δεδομένου ότι 1 είναι πράγματι η Ν-ου συντελεστή πολυωνύμου μας). Η περ'ιπτωση ενός γενικού πολυωνύμου ν-βαθμού <math>\scriptstyle P(z):= a_n z^n+a_{n-1}z^{n-1}+\cdots+a_1z +a_0</math> φυσικά μειώνεται σε περίπτωση ενός μονικού, διαιρώντας όλους τους συντελεστές με έναν ≠ 0. Επίσης σε περίπτωση που το 0 δέν είναι ρίζα δηλαδή a0 ≠ 0., φράγματα από κάτω στις ρίζες ζ ακολουθεί αμέσως ως φράγματα από παραπάνω <math>\scriptstyle\frac{1}{\zeta}</math> ,που είναι οι ρίζες του <math>\scriptstyle a_0 z^n+a_1z^{n-1}+\cdots+a_{n-1}z +a_n</math> . Τέλος η απόσταση <math>\zeta_0</math>  από τις ρίζες z ως κάποιο σημείο <math>\zeta-\zeta_0</math> μπορεί να υπολογισθεί από πάνω και απο κάτω βλέποντας το <nowiki><math>\zeta-\zeta_0</math></nowiki>ως ρίζες του πολυωνύμου  <math>P(z+\zeta_0)</math> του οποίου οι παράγοντες είναι το ανάπτυγμα Taylor του  ''P''(''z'') για <math>z=\zeta_0.</math> .

Αναφέρουμε εδώ την απόδειξη των ανωτέρω ορίων, η οποία είναι μικρή και στοιχειώδη. Αν ζ είναι μια ρίζα του πολυωνύμου <math>\scriptstyle z^n+a_{n-1}z^{n-1}+\cdots+a_1z +a_0</math> προκειμένου να αποδείξει την ανισότητα | ζ | ≤ Rp μπορούμε να υποθέσουμε, βέβαια, | ζ |> 1 Γράφοντας την εξίσωση ως <math>\scriptstyle -\zeta^n=a_{n-1}\zeta^{n-1}+\cdots+a_1\zeta+a_0</math> , και χρησιμοποιώντας την ανισότητα του Hölder, διαπιστώνουμε <math>\scriptstyle -\zeta^n=a_{n-1}\zeta^{n-1}+\cdots+a_1\zeta+a_0</math> .Τώρα, εάν ρ = 1, αυτό είναι <math>\scriptstyle|\zeta|^n\leq\|a\|_1\max\{|\zeta|^{n-1},\cdots,|\zeta|,1\} =\|a\|_1|\zeta|^{n-1} </math> ενώ,  <math>\scriptstyle |\zeta|\leq \max\{1,\|a\|_1\}</math>. Στην περίπτωση 1 <ρ ≤ ∞, λαμβάνοντας υπόψη τον τύπο άθροισης για μια γεωμετρική πρόοδο, έχουμε


:<math>|\zeta|^n\leq \|a\|_p \left(|\zeta|^{q(n-1)}+\cdots+|\zeta|^q +1\right)^{1/q}=\|a\|_p \left(\frac{|\zeta|^{qn}-1}{|\zeta|^q-1}\right)^{1/q}\leq\|a\|_p \left(\frac{|\zeta|^{qn}}{|\zeta|^q-1}\right)^{1/q},</math> 
 

έτσι,<math>\scriptstyle|\zeta|^{nq}\leq \|a\|_p^q \frac{|\zeta|^{qn}}{|\zeta|^q-1}</math> και απλοποιώντας <math>\scriptstyle|\zeta|^q\leq 1+\|a\|_p^q </math> .Συνεπώς <math>\scriptstyle|\zeta|\leq \|(1,\|a\|_p)\|_q=R_p </math>

ισχύει, για όλα τα 1 ≤ p ≤ ∞.

== Σημειώσεις ==
<references />

== Βιβλιογραφία ==

=== Ιστορικές πηγές ===
* {{Citation|last = Κωσύ|first = Ωγκυστέν-Λουί|author-link = Ωγκυστέν-Λουί Κωσύ|publication-date = 1992|year = 1821|title = Cours d'Analyse de l'École Royale Polytechnique, 1<sup>ère</sup> partie: Analyse Algébrique|url = http://gallica.bnf.fr/ark:/12148/bpt6k29058v|place = Paris|publisher = Éditions Jacques Gabay|isbn = 2-87647-053-5}} (tr. Course on Analysis of the [[École Polytechnique|Royal Polytechnic Academy]], part 1: Algebraic Analysis)
* {{citation|last = Όιλερ|first = Λέοναρντ|author-link = Λέοναρντ Όιλερ|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|publication-place = Berlin|volume = 5|pages = 222–288|url = http://bibliothek.bbaw.de/bbaw/bibliothek-digital/digitalequellen/schriften/anzeige/index_html?band=02-hist/1749&seite:int=228|accessdate = 2020-05-09|archiveurl = https://web.archive.org/web/20081224062952/http://bibliothek.bbaw.de/bbaw/bibliothek-digital/digitalequellen/schriften/anzeige/index_html?band=02-hist%2F1749&seite%3Aint=228|archivedate = 2008-12-24|url-status = dead}}. English translation: {{citation|last = Όιλερ|first = Λέοναρντ|author-link = Λέοναρντ Όιλερ|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|publication-place = Berlin|volume = 5|pages = 222–288|url = http://www.mathsym.org/euler/e170.pdf|format = PDF|accessdate = 2014-06-30|archiveurl = https://web.archive.org/web/20071008123540/http://www.mathsym.org/euler/e170.pdf|archivedate = 2007-10-08|url-status = dead}}
* {{citation|last = Γκάους|first = Καρλ Φρίντριχ|author-link = Καρλ Φρίντριχ Γκάους|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.&nbsp;G.&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 = Γκάους|first = Καρλ Φρίντριχ|author-link = Καρλ Φρίντριχ Γκάους|year = 1815|title = “[http://www.paultaylor.eu/misc/gauss-web.php Another 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 = 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}} (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}} (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 |  url = http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN236019856&DMDID=dmdlog53}} (tr. On the first and fourth Gaussian proofs of the Fundamental Theorem of Algebra).
* {{cite conference|last=Weierstraß|first=Karl|authorlink=Karl Weierstraß|title=Neuer Beweis des Satzes, dass jede ganze rationale Function einer Veränderlichen dargestellt werden kann als ein Product aus linearen Functionen derselben Veränderlichen|booktitle=Sitzungsberichte der königlich preussischen Akademie der Wissenschaften zu Berlin|pages=1085–1101|year=1891|url=http://bibliothek.bbaw.de/bibliothek-digital/digitalequellen/schriften/anzeige?band=10-sitz/1891-2&seite:int=00000565|accessdate=2020-05-09|archiveurl=https://web.archive.org/web/20131102093616/http://bibliothek.bbaw.de/bibliothek-digital/digitalequellen/schriften/anzeige?band=10-sitz%2F1891-2&seite%3Aint=00000565|archivedate=2013-11-02|url-status=dead}} (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).

=== Πρόσφατη βιβλιογραφία ===
* {{citation|last = Fine|first = Benjamin|last2 = Rosenber|first2 = Gerhard|title = Το Θεμελιώδες θεώρημα της Άλγεβρας |publisher = [[Leader Books]]|place = Αθήνα|year = 2001|isbn = 9789607901200 |series = Πανεπιστημιακά Μαθηματικά Κείμενα}}
* {{citation|last = Almira|first = J.M.|last2 = Romero|first2 = A. |year = 2007|title = Yet another application of the Gauss-Bonnet Theorem for the sphere|periodical = [[Bulletin of the  Belgian Mathematical Society]]|volume = 14|pages = 341–342| url = http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?handle=euclid.bbms/1179839226&view=body&content-type=pdf_1}}
* {{citation|last = Almira|first = J.M.|last2 = Romero|first2 = A.|year = 2012|title = Some Riemannian geometric proofs of the Fundamental Theorem of Algebra|periodical = Differential Geometry - Dynamical Systems|volume = 14|pages = 1–4|url = http://www.mathem.pub.ro/dgds/v14/D14-al.pdf|accessdate = 2014-06-30|archivedate = 2021-03-02|archiveurl = https://web.archive.org/web/20210302014931/http://www.mathem.pub.ro/dgds/v14/D14-al.pdf|deadurl = }}
* {{citation|last = Fine|first = Benjamin|last2 = Rosenberger|first2 = Gerhard|title = The Fundamental Theorem of Algebra|publisher = [[Springer Science+Business Media|Springer-Verlag]]|place = Berlin|year = 1997|isbn = 978-0-387-94657-3|series = Undergraduate Texts in Mathematics}}
* {{citation|last = Gersten|first = S.M.|last2 = Stallings|first2 = John R.|year = 1988|title = On Gauss's First Proof of the Fundamental Theorem of Algebra|jstor = 2047574|periodical = Proceedings of the AMS|volume = 103|issue = 1|pages = 331–332|issn = 0002-9939|doi = 10.2307/2047574}}
* {{citation|last = Gilain|first = Christian|year = 1991|title = Sur l'histoire du théorème fondamental de l'algèbre: théorie des équations et calcul intégral|periodical = Archive for History of Exact Sciences|volume = 42|issue = 2|pages = 91–136|issn = 0003-9519|doi = 10.1007/BF00496870}} (tr. On the history of the fundamental theorem of algebra: [[theory of equations]] and [[integral calculus]].)
* {{citation|last = Netto|first = Eugen|last2 = Le Vavasseur|first2 = Raymond|author-link = Eugen Netto|year = 1916|chapter = Les fonctions rationnelles §80–88: Le théorème fondamental|editor-last = Meyer|editor-first = François|editor2-last = Molk|editor2-first = Jules|title = Encyclopédie des Sciences Mathématiques Pures et Appliquées, tome&nbsp;I, vol.&nbsp;2|publication-date = 1992|publisher = Éditions Jacques Gabay|isbn = 2-87647-101-9}} (tr. The rational functions §80–88: the fundamental theorem).
* {{citation|last = Remmert|first = Reinhold|author-link = Reinhold Remmert|year = 1991|chapter = The Fundamental Theorem of Algebra|editor-last = Ebbinghaus|editor-first = Heinz-Dieter|editor2-last = Hermes|editor2-first = Hans|editor3-last = Hirzebruch|editor3-first = Friedrich|title = Numbers|series = Graduate Texts in Mathematics 123|editor3-link = Friedrich Hirzebruch|place = Berlin|publisher = [[Springer Science+Business Media|Springer-Verlag]]|isbn = 978-0-387-97497-2}}
* {{citation|last = Shipman|first = Joseph|year = 2007|title = Improving the Fundamental Theorem of Algebra|periodical = Mathematical Intelligencer|volume = 29|issue = 4|pages = 9–14|doi=10.1007/BF02986170|issn = 0343-6993}}
* {{citation|last = Smale|first = Steve|year = 1981|title=The Fundamental Theorem of Algebra and Complexity Theory|author-link = Stephen Smale|periodical = Bulletin (new series) of the American Mathematical Society|volume = 4 | issue = 1}} [http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.bams/1183547848]
* {{citation|last= Smith|first = David Eugene|author-link = David Eugene Smith|title = A Source Book in Mathematics|publisher = [[Dover Publications|Dover]]|isbn = 0-486-64690-4|year = 1959}}
* {{citation|last = Smithies|first = Frank|year = 2000|title = A forgotten paper on the fundamental theorem of algebra|periodical = Notes & Records of the Royal Society|volume = 54|issue = 3|pages = 333–341|issn = 0035-9149|doi = 10.1098/rsnr.2000.0116}}
* {{citation | last = Van Der Waerden | first = Bartel Leendert | author-link = Bartel Leendert van der Waerden | title = Algebra | volume = I | edition = 7th | year = 2003 | publisher = [[Springer Science+Business Media|Springer-Verlag]] | isbn = 0-387-40624-7}}

==Εξωτερικοί σύνδεσμοι==
* [http://www.cut-the-knot.org/do_you_know/fundamental2.shtml Το Θεμελιώδες θεώρημα της Άλγεβρας] &mdash; μια συλλογή αποδείξεων (στα Αγγλικά).
* [http://math.fullerton.edu/mathews/c2003/FunTheoremAlgebraMod.html Το Θεμελιώδες θεώρημα της Άλγεβρας] &mdash; μάθημα (στα Αγγλικά) από τον John H. Mathews
* [http://math.fullerton.edu/mathews/c2003/FunTheoremAlgebraBib/Links/FunTheoremAlgebraBib_lnk_2.html  Θεμελιώδες θεώρημα της Άλγεβρας] &mdash;  Βιβλιογραφία από τον John H. Mathews (στα Αγγλικά).
* [http://www.encyclopediaofmath.org/index.php/Algebra,_fundamental_theorem_of Algebra, Fundamental theorem of]  &#x2014;  Encyclopaedia of Mathematics
* ''[http://www.ams.org/notices/200806/tx080600666p.pdf From the Fundamental Theorem of Algebra to Astrophysics: A "Harmonious" Path]''
* D. J. Velleman: ''The Fundamental Theorem of Algebra: A Visual Approach'', [http://www.cs.amherst.edu/~djv/ PDF (unpublished paper)] {{Webarchive|url=https://web.archive.org/web/20160616112617/http://www.cs.amherst.edu/%7Edjv/ |date=2016-06-16 }}, visualisation of d'Alembert's, Gauss's and the winding number proofs


[[Κατηγορία:Άλγεβρα]]
[[Κατηγορία:Θεωρία σωμάτων]]
[[Κατηγορία:Μαθηματικά θεωρήματα]]
[[Κατηγορία:Θεωρήματα της μιγαδικής ανάλυσης]]
Πρότυπα που χρησιμοποιούνται σε αυτή την σελίδα:
Πρότυπο:Ambox (προβολή κώδικα) (προστατευμένη)
Πρότυπο:Ambox/category (επεξεργασία)
Πρότυπο:Ambox/core (προβολή κώδικα) (προστατευμένη)
Πρότυπο:Category handler (επεξεργασία)
Πρότυπο:Citation (προβολή κώδικα) (ημιπροστατευμένη)
Πρότυπο:Citation/core (επεξεργασία)
Πρότυπο:Citation/make link (επεξεργασία)
Πρότυπο:Cite conference (επεξεργασία)
Πρότυπο:FULLROOTPAGENAME (επεξεργασία)
Πρότυπο:Ns has subpages (επεξεργασία)
Πρότυπο:Webarchive (επεξεργασία)
Πρότυπο:Άλλεςχρήσεις4 (προβολή κώδικα) (ημιπροστατευμένη)
Πρότυπο:Κύριο (προβολή κώδικα) (ημιπροστατευμένη)
Πρότυπο:Μορφοποίηση (επεξεργασία)
Module:Arguments (προβολή κώδικα) (ημιπροστατευμένη)
Module:Category handler (επεξεργασία)
Module:Category handler/blacklist (επεξεργασία)
Module:Category handler/config (επεξεργασία)
Module:Category handler/data (επεξεργασία)
Module:Category handler/shared (επεξεργασία)
Module:Namespace detect/config (επεξεργασία)
Module:Namespace detect/data (επεξεργασία)
Module:Webarchive (επεξεργασία)
Module:Yesno (προβολή κώδικα) (προστατευμένη)
Επιστροφή στη σελίδα Θεμελιώδες θεώρημα άλγεβρας.
Ανακτήθηκε από "https://el.wikipedia.org/wiki/Θεμελιώδες_θεώρημα_άλγεβρας"