##  [Fundamental Theorem of Algebra](/fundamental-theorem-algebra-1) 

 Definition

The statement that every nonconstant single-variable polynomial with complex coefficients has at least one complex root; equivalently, a degree-n polynomial over the complex numbers factors into n linear factors when multiplicities are counted.

 

 

 

 

 

 





## Principle

Principle

The complex numbers form an algebraically closed field: every polynomial equation of positive degree has a solution in C, which implies full linear factorization over C.

 

 

 

 

 





## Demonstration

Demonstration

Example: p(z) = z^2 + 1 is nonconstant and has complex roots z = i and z = -i; more generally a degree-n polynomial has exactly n complex roots counting multiplicity.

 

 

 

 

## Misapplication

Misapplication

Assuming the same conclusion over fields that are not algebraically closed (for instance the real numbers); over R a nonconstant polynomial need not have a real root and may only factor into linear and irreducible quadratic factors.

 

 

 

 

 





## Consequence

Consequence

Enables factorization of complex-coefficient polynomials into linear factors, supports spectral results in linear algebra over C, and underlies many analytic and algebraic constructions relying on root existence.

 

 

 

 

## Reversal

Reversal

Reversal contrasts working over a non-algebraically-closed field: instead of guaranteed linear factors, polynomials may remain irreducible or factor only partially, motivating extension of the coefficient field to obtain roots.

 

 

 

 

 





## Boundary

Boundary

Requires single-variable polynomials with coefficients in C (or any algebraically closed field) and nonzero degree; multivariate polynomials or polynomials over nonclosed fields fall outside the direct statement and require different notions of solution sets.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension arises between algebraic closure as an existence property and constructive approaches to finding roots; proofs use diverse methods (analytic, topological, algebraic) that emphasize different facets of the same fact.

 

 

 

 

 





## Synthesis

Synthesis

The Fundamental Theorem of Algebra asserts that the complex numbers are algebraically complete for single-variable polynomials: every nonconstant polynomial has a complex root, hence factors completely into linear terms over C, linking algebraic structure with analytic and topological reasoning.