The fundamental theorem of algebra is one of the most important theorems in mathematics, being core to algebraic geometry and complex analysis. Unraveling the definitions, it says:
Fundamental theorem of algebra. Let be a polynomial over of degree . Then the equation has solutions , counting multiplicity.
Famously, most proofs of the fundamental theorem of algebra are complex-analytic in nature. Indeed, complex analysis is the natural arena for such a theorem to be proven. One has to use the fact that is a real closed field, but since there are lots of real closed fields, one usually defines in a fundamentally analytic way and then proves the intermediate value theorem, which shows that is a real closed field. One can then proceed by tricky algebraic arguments (using, e.g. Galois or Sylow theory), or appeal to a high-powered theorem of complex analysis. Since the fundamental theorem is really a theorem about algebraic geometry, and complex analysis sits somewhere between algebraic geometry and PDE analysis in the landscape of mathematics (and we need some kind of analysis to get the job done; purely algebro-geometric methods will not be able to distinguish from another field such that does not have a square root in ) it makes a lot of sense to use complex analysis.
But, since complex analysis sits between algebraic geometry and PDE analysis, why not abandon all pretense of respectability (that is to say, algebra — analysis is not a field worthy of the respect of a refined mathematician) and give a PDE-analytic proof? Of course, this proof will end up “looking like” multiple complex-analytic proofs, and indeed it is basically the proof by Liouville’s theorem dressed up in a trenchcoat (and in fact, gives Liouville’s theorem, and probably some other complex-analytic results, as a byproduct). In a certain sense — effectiveness — this proof is strictly inferior to the proof by the argument principle, and in another certain sense — respectability — this proof is strictly inferior to algebraic proofs. However, it does have the advantage of being easy to teach to people working in very applied fields, since it entirely only uses the machinery of PDE analysis, rather than fancy results such as Liouville’s theorem or the Galois correspondence.
By induction, it suffices to prove that if is a polynomial with no zeroes, then is constant. So suppose that has no zeroes, and introduce . As usual, we want to show that is constant.
Since is a polynomial, it does not decay at infinity, so is finite. Therefore can instead be viewed as a function on the sphere, , by stereographic projection. Also by stereographic projection, one can cover the sphere by two copies of , one centered at the south pole that misses only the north pole, and one centered at the north pole that only misses the south pole. Thus one can define the Laplacian, , in each of these coordinates; it remains well-defined on the overlaps of the charts, so is well-defined on all of . (In fancy terminology, which may help people who already know ten different proofs of the fundamental theorem of algebra but will not enlighten anyone else, we view as a Riemannian manifold under the pushforward metric obtained by stereographic projection, and consider the Laplace-Beltrami operator of .)
Recall that a function is called harmonic provided that . We claim that is harmonic. The easiest way to see this is to factor where . Then exactly if has a complex derivative, by the Cauchy-Riemann equations. There are other ways to see this, too, such as using the mean-value property of harmonic functions and computing the antiderivative of . In any case, the proof is just calculus.
So is a harmonic function on the compact connected manifold ; by the extreme value theorem, has (or more precisely, its real and imaginary parts have) a maximum. By the maximum principle of harmonic functions (which is really just the second derivative test — being harmonic generalizes the notion of having zero second derivative), it follows that is equal to its maximum, so is constant. (In fancy terminology, we view as the canonical representative of the zeroth de Rham cohomology class of using the Hodge theorem.)