4.5 Fundamental theorem of algebra

The fundamental theorem of algebra connects polynomial equations and complex numbers, stating that every non-constant polynomial with complex coefficients has at least one complex root. This powerful result establishes a link between algebra and complex analysis.

Understanding this theorem is crucial for solving polynomial equations and exploring their properties. It guarantees that a polynomial of degree n has exactly n complex roots, counted with multiplicity, and allows for the complete factorization of polynomials over complex numbers.

Definition of fundamental theorem

• The fundamental theorem of algebra is a crucial result in complex analysis that establishes a connection between polynomial equations and complex numbers
• It states that every non-constant polynomial equation with complex coefficients has at least one complex root

Polynomial equations

Top images from around the web for Polynomial equations

• 

  Identifying Characteristics of Polynomials | Prealgebra View original

  Is this image relevant?

• 

  Polynomial Equations – Intermediate Algebra View original

  Is this image relevant?

• 

  Use the Fundamental Theorem of Algebra | College Algebra View original

  Is this image relevant?

• 

  Identifying Characteristics of Polynomials | Prealgebra View original

  Is this image relevant?

• 

  Polynomial Equations – Intermediate Algebra View original

  Is this image relevant?

1 of 3

Top images from around the web for Polynomial equations

• 

  Identifying Characteristics of Polynomials | Prealgebra View original

  Is this image relevant?

• 

  Polynomial Equations – Intermediate Algebra View original

  Is this image relevant?

• 

  Use the Fundamental Theorem of Algebra | College Algebra View original

  Is this image relevant?

• 

  Identifying Characteristics of Polynomials | Prealgebra View original

  Is this image relevant?

• 

  Polynomial Equations – Intermediate Algebra View original

  Is this image relevant?

1 of 3

• A polynomial equation is an equation of the form $a_n x^n + a_{n-1} x^{n-1} + \cdots + a_1 x + a_0 = 0$, where $a_n, a_{n-1}, \ldots, a_1, a_0$ are complex numbers and $a_n \neq 0$
• The degree of a polynomial equation is the highest power of the variable $x$ in the equation ($x^n$ in this case)
• Examples of polynomial equations include $x^2 + 1 = 0$ (quadratic) and $x^3 - 2x + 1 = 0$ (cubic)

Complex roots

• A complex root of a polynomial equation is a complex number that satisfies the equation when substituted for the variable $x$
• The fundamental theorem guarantees the existence of at least one complex root for every non-constant polynomial equation
• For example, the complex roots of $x^2 + 1 = 0$ are $i$ and $-i$, where $i$ is the imaginary unit satisfying $i^2 = -1$

Degree of polynomials

• The degree of a polynomial equation determines the maximum number of complex roots it can have
• A polynomial equation of degree $n$ has exactly $n$ complex roots, counted with multiplicity
• Multiplicity refers to the number of times a root is repeated (e.g., $x^2 - 2x + 1 = (x - 1)^2$ has a double root at $x = 1$)

History of fundamental theorem

• The fundamental theorem of algebra has a rich history, with contributions from various mathematicians over centuries
• Its development showcases the interplay between algebra and complex analysis

Early mathematicians

• The concept of complex numbers emerged in the 16th century, with mathematicians like Gerolamo Cardano and Rafael Bombelli exploring their properties
• Albert Girard (1595-1632) conjectured that a polynomial equation of degree $n$ has $n$ solutions, but a rigorous proof was lacking
• Leonhard Euler (1707-1783) made significant contributions to complex analysis and laid the groundwork for the fundamental theorem

Gauss's proof

• Carl Friedrich Gauss (1777-1855) provided the first complete proof of the fundamental theorem of algebra in his doctoral dissertation in 1799
• Gauss's proof relied on geometric arguments and the concept of continuity
• He later provided three more proofs using different techniques, highlighting the importance of the theorem

Statement of fundamental theorem

• The fundamental theorem of algebra can be stated in various equivalent forms, each emphasizing different aspects of the result

Formal definition

• The fundamental theorem of algebra states that every non-constant polynomial $p(z)$ with complex coefficients has at least one complex root
• Equivalently, every non-constant polynomial $p(z)$ of degree $n$ can be factored as $p(z) = a_n(z - z_1)(z - z_2) \cdots (z - z_n)$, where $a_n$ and $z_1, z_2, \ldots, z_n$ are complex numbers

Algebraic vs geometric interpretation

• The algebraic interpretation of the fundamental theorem focuses on the existence of complex roots for polynomial equations
• The geometric interpretation views the theorem as a statement about the behavior of complex polynomials as functions
• Geometrically, the theorem implies that a complex polynomial $p(z)$ of degree $n$ takes on every complex value exactly $n$ times, counted with multiplicity

Proofs of fundamental theorem

• Over the years, various proofs of the fundamental theorem of algebra have been developed, each employing different mathematical techniques

Algebraic proofs

• Algebraic proofs of the fundamental theorem rely on algebraic manipulations and properties of complex numbers
• One common approach is to use the fact that complex numbers form an algebraically closed field
• An algebraically closed field is a field in which every polynomial equation has a root within the field itself

Topological proofs

• Topological proofs of the fundamental theorem make use of concepts from topology, such as continuity and compactness
• One famous topological proof, due to Argand and Cauchy, uses the concept of winding numbers
• The winding number measures how many times a curve winds around a point in the complex plane

Liouville's proof

• Joseph Liouville (1809-1882) provided a proof of the fundamental theorem using complex analysis techniques
• Liouville's proof relies on the properties of holomorphic functions and the maximum modulus principle
• The maximum modulus principle states that a non-constant holomorphic function attains its maximum modulus only on the boundary of its domain

Consequences of fundamental theorem

• The fundamental theorem of algebra has several important consequences that shed light on the structure of polynomial equations and their roots

Number of complex roots

• The fundamental theorem guarantees that a polynomial equation of degree $n$ has exactly $n$ complex roots, counted with multiplicity
• This means that a quadratic equation ($n = 2$) has two complex roots, a cubic equation ($n = 3$) has three complex roots, and so on
• For example, the quadratic equation $x^2 - 2x + 2 = 0$ has two complex roots: $1 + i$ and $1 - i$

Relationship between degree and roots

• The degree of a polynomial equation determines the maximum number of distinct complex roots it can have
• If a polynomial equation has fewer than $n$ distinct roots, some of the roots must be repeated (have multiplicity greater than 1)
• For instance, the cubic equation $x^3 - 3x^2 + 3x - 1 = (x - 1)^3$ has a triple root at $x = 1$

Factoring polynomials over complex numbers

• The fundamental theorem implies that every polynomial with complex coefficients can be factored into linear factors
• This factorization takes the form $p(z) = a_n(z - z_1)(z - z_2) \cdots (z - z_n)$, where $a_n$ and $z_1, z_2, \ldots, z_n$ are complex numbers
• Factoring polynomials is important for solving equations, finding roots, and simplifying expressions

Applications of fundamental theorem

• The fundamental theorem of algebra has numerous applications in various areas of mathematics and beyond

Solving polynomial equations

• The fundamental theorem guarantees that every polynomial equation has a solution in the complex number system
• This allows us to find all the roots of a polynomial equation, even if some of them are complex
• Techniques such as factoring, the quadratic formula, and numerical methods can be used to solve polynomial equations

Roots of unity

• The fundamental theorem is crucial in the study of roots of unity, which are complex numbers that satisfy the equation $z^n = 1$ for some positive integer $n$
• There are exactly $n$ distinct $n$-th roots of unity, given by $e^{2\pi i k/n}$ for $k = 0, 1, \ldots, n-1$
• Roots of unity have applications in various fields, including signal processing, cryptography, and quantum computing

Fundamental theorem of algebra vs arithmetic

• The fundamental theorem of algebra is often contrasted with the fundamental theorem of arithmetic
• While the fundamental theorem of algebra deals with the existence of complex roots for polynomials, the fundamental theorem of arithmetic concerns the unique factorization of integers into prime factors
• Both theorems highlight the deep structure and properties of their respective number systems (complex numbers and integers)

Generalizations of fundamental theorem

• The fundamental theorem of algebra has inspired various generalizations and analogues in different areas of mathematics

Fundamental theorem for holomorphic functions

• The fundamental theorem of algebra can be generalized to holomorphic functions, which are complex-valued functions that are differentiable in a region of the complex plane
• The generalized theorem states that a non-constant holomorphic function $f(z)$ takes on every complex value (with at most one exception) the same number of times as its degree
• This generalization connects the fundamental theorem of algebra with the theory of complex analysis and Riemann surfaces

Fundamental theorem in other fields

• Analogues of the fundamental theorem of algebra exist in other mathematical fields, such as algebraic geometry and number theory
• In algebraic geometry, the fundamental theorem corresponds to the statement that every projective variety over an algebraically closed field has a point
• In number theory, the fundamental theorem of arithmetic (unique factorization of integers into primes) can be seen as an analogue for the ring of integers