  Recent proofs of classical theorems in polynomial algebra and functional
analysis are discussed, which use tools from the topology of real manifolds.
Simpler proofs were discovered in the new century, of the Hilbert
Nullstellensatz, and the Gelfand-Mazur Theorem. We give a related proof that an
irreducible real polynomial has degree 2 or less, Gauss's form of the
Fundamental Theorem of Algebra. It has been debated whether an elementary proof
for FTA can be found, using the Brouwer Fixed-Point Theorem as its "analytical"
component. In the present case the analytic or topological tool employed is
Brouwer's Theorem on Invariance of Domain, which derives from his Fixed-Point
Theorem. A corollary of Domain Invariance is that an injective mapping of one
compact manifold to another (connected) one of the same dimension, is in fact
surjective and a homeomorphism. The desired result (FTA) comes from the fact
that a real sphere and its (quotient) projective space of the same dimension
are homeomorphic only when this dimension equals 1. This proof joins a class of
proofs that depend on Euclidean fixed-point theory, and also the class of
proofs that involve no field extensions or methods of complex analysis.
