On the Fundamental Theorem of Algebra

```@article{Krner2006OnTF,
title={On the Fundamental Theorem of Algebra},
author={T. W. K{\"o}rner},
journal={The American Mathematical Monthly},
year={2006},
volume={113},
pages={347 - 348}
}```
• T. W. Körner
• Published 1 April 2006
• Mathematics, Philosophy
• The American Mathematical Monthly
One of the simplest proofs that every nontrivial polynomial P has a zero goes as follows. Observe that |P(z)| → ∞ as |z| → ∞, so we may find an R > 0 with |P(z)| > |P(0)| for all |z| ≥ R. Since any real-valued continuous function on a compact set attains a minimum, |P(z)| attains a minimum for |z| ≤ R at some point z1 and, by the previous sentence, this must be a global minimum. By translation, we may suppose z1 = 0 and, by multiplying P by a constant, we may suppose that a0 = P(0) is real and…
115 Citations
Lagrange Multipliers and the Fundamental Theorem of Algebra
1. THE PROOF. Write z = x + iy and F(x + iy) = P(x, y) + i Q(x, y) where P(x, y) and Q(x, y) are real polynomials. We will study for c ∈ R the level curves Lc := { (x, y) : P(x, y) = c} and Mc :=
Yet another application of the Gauss-Bonnet Theorem for the sphere
• Mathematics, Philosophy
• 2007
where K and dAg denote the Gaussian curvature and the area element of g, respectively. In particular, this implies the existence of at least an elliptic point of (S, g). In this short note we prove
Polynomials and degrees of maps in real normed algebras
• T. Sakkalis
• Mathematics
Communications in Mathematics
• 2020
Abstract Let 𝒜 be the algebra of quaternions ℍ or octonions 𝕆. In this manuscript an elementary proof is given, based on ideas of Cauchy and D’Alembert, of the fact that an ordinary polynomial f(t)
A One-Line Proof of the Fundamental Theorem of Algebra with Newton's Method as a Consequence
A very short and simple proof of the existence of such descent direction that gives rise to Newton's method for solving a polynomial equation via modulus minimization and also makes the iterates definable at any critical point is presented.
A Simple Complex Analysis and an Advanced Calculus Proof of the Fundamental Theorem of Algebra
• Mathematics
Am. Math. Mon.
• 2009
Two proofs of the Fundamental Theorem of Algebra which do not seem to have been observed before and which the author thinks are worth recording are presented.
The Fundamental Theorem of Algebra in ACL2
• Mathematics
ACL2
• 2018
It is shown that if a given number is not a root of a non-constant polynomial, then it cannot be the global minimum, and this result is part of a larger effort in the formalization of complex polynomials in ACL2(r).
A NOTE ON THE FUNDAMENTAL THEOREM OF ALGEBRA
• Mathematics
Bulletin of the Australian Mathematical Society
• 2018
The algebraic proof of the fundamental theorem of algebra uses two facts about real numbers. First, every polynomial with odd degree and real coefficients has a real root. Second, every nonnegative
A Purely Algebraic Proof of the Fundamental Theorem of Algebra
Proofs of the fundamental theorem of algebra can be divided up into three groups according to the techniques involved: proofs that rely on real or complex analysis, algebraic proofs, and topological
On Roots of Polynomials over F[X]/ 〈p〉
Summary This is the first part of a four-article series containing a Mizar [3], [1], [2] formalization of Kronecker’s construction about roots of polynomials in field extensions, i.e. that for every

References

SHOWING 1-10 OF 27 REFERENCES
The fundamental theorem of algebra and complexity theory
1. The main goal of this account is to show that a classical algorithm, Newton's method, with a standard modification, is a tractable method for finding a zero of a complex polynomial. Here, by
A forgotten paper on the fundamental theorem of algebra
• F. Smithies
• Mathematics
Notes and Records of the Royal Society of London
• 2000
In 1798, there appeared in the Philosophical Transactions of the Royal Society a paper by James Wood, purporting to prove the fundamental theorem of algebra, to the effect that every non-constant
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
Although the proof of the theorem about the resolution of polynomials into factors that I published in a paper sixteen years ago seemed to leave nothing to be desired in respect of rigour or
Improving the Fundamental Theorem of Algebra
ConclusionTheorems 2 and 3 establish the minimum algebraic conditions necessary for a field to be algebraically closed, and they can therefore be said to “optimize” the Fundamental Theorem of
The fundamental theorem of algebra: a constructive development without choice
Is it reasonable to do constructive mathematics without the axiom of countable choice? Serious schools of constructive mathematics all assume it one way or another, but the arguments for it are not
The Algebra ℝ I
• Mathematics
• 1970
We shall be particularly concerned with functions f: I → ℝ, where I ⊆ ℝ is a special kind of subset, called an interval, and of one of the forms.
New Proof of the Theorem That Every
• Education
• 2000
Which Carl Friedrich Gauss has presented, In order to obtain the highest honors in philosophy, To the famous faculty of philosophers At the Julia Carolina Academy.
Archive for History of Exact Sciences
• Education
Nature
• 1960
The Archive for History of Exact Sciences casts light upon the conceptual groundwork of the sciences by analyzing the historical course of mathematical and quantitative thought and the precise theory
Sur l'histoire du théorème fondamental de l'algèbre: théorie des équations et calcul intégral
2. La theorie generale des equations au XVIIe siecle 3. Leibniz, l'integration des differentielles rationnelles et le probleme du theoreme fondamental de l'algebre 4. Integration en termes finis et
Searcóid, Elements of Abstract Analysis
• THE MATHEMATICAL ASSOCIATION OF AMERICA [Monthly
• 2002