Problem 13 - Complex Analysis

Question

A proof of the Fundamental Theorem of Algebra Let \(P\) be a nonconstant polynomial of degree \(n\), $$ P(z)=a_{n} z^{n}+\cdots+a_{0}, \quad a_{\nu} \in \mathbb{C}, 0 \leq \nu \leq n, n \geq 1, a_{n} \neq 0 $$ We have \(P(z)=z\left(a_{n} z^{n-1}+\cdots+a_{1}\right)+a_{0}=z Q(z)+a_{0}\) Assumption: \(P(z) \neq 0\) for all \(z \in \mathbb{C} .\) Then for \(z \neq 0\) we have $$ \frac{1}{z}=\frac{P(z)}{z P(z)}=\frac{z Q(z)+a_{0}}{z P(z)}=\frac{Q(z)}{P(z)}+\frac{a_{0}}{z P(z)} $$ By integration along \(\alpha(t)=R \exp (\mathrm{i} t), 0 \leq t \leq 2 \pi, R>0\), it follows that $$ 2 \pi \mathrm{i}=\int_{\alpha} \frac{a_{0}}{z P(z)} d z $$ By using the lemma on growth of polynomials, derive a contradiction (consider the limit \(R \rightarrow \infty\) ).

Step-by-Step Solution

Answer

The polynomial must have a root in \(\mathbb{C}\) due to a contradiction in growth behavior as \(R\to\infty\).

Step 1: Understand the Fundamental Theorem of Algebra

The Fundamental Theorem of Algebra asserts that every nonconstant polynomial equation with complex coefficients has at least one complex root. In simpler terms, it assures that any polynomial of degree \( n \geq 1\) has \( n \) roots in the complex numbers, accounting for multiplicities.

Step 2: Assume for Induction

We assume for contradiction that \( P(z) eq 0 \) for all \( z \in \mathbb{C} \). This contradicts the theorem that a nonconstant polynomial must have a root in the complex plane.

Step 3: Define the Parameterized Path for Integration

Consider a path \( \alpha(t) = R e^{i t} \) where \( t \) spans from \( 0 \) to \( 2\pi \) and \( R > 0 \) is a large radius. This setup is essential to perform the integration as \( R \) approaches infinity.

Step 4: Set Up Integral Equation

Using the function inside the integral: \( \frac{a_0}{zP(z)} \), integrate along \( \alpha \): \[ 2 \pi i = \int_\alpha \frac{a_0}{z P(z)} \, dz \] This relation arises from the assumption and the path parameterization.

Step 5: Analyze Infinity Behavior with Growth Lemma

As \( R \to \infty \), observe the polynomial's growth. The term \( \frac{a_0}{z P(z)} \) becomes essentially negligible compared to the contribution from \( P(z) \) due to the degree influence. This means that for extremely large \( R \), polynomial \( P(z) \) dominates.

Step 6: Reach a Contradiction

Given that \( 2 \pi i \) is a non-zero value, and as \( R \to \infty \) the integral should approach zero due to polynomial growth domination, this contradicts the starting assumption that \( P(z) eq 0 \). Hence, \( P(z) \) must have a root in \( \mathbb{C} \).

Key Concepts

Complex Analysis

Complex analysis involves studying functions of complex variables. A complex number can be expressed in the form \(z = x + yi\), where \(x\) and \(y\) are real numbers, and \(i\) is the imaginary unit with the property \(i^2 = -1\).
One main focus in complex analysis is understanding how these complex functions behave, especially in terms of their integrals and derivatives.
When dealing with the Fundamental Theorem of Algebra, complex analysis helps us understand how polynomial roots can be found within the complex plane.

• A key principle is the behavior of functions as they approach infinity, which allows for using specific paths or contours to integrate, such as circles or other curves.
• Complex integration then often involves evaluating integral equations over these paths to draw conclusions about the functions' behavior on the whole plane.
• This understanding leads to powerful results, such as the fundamental theorem, showing that every polynomial must have roots in the complex plane.

Polynomial Roots

Finding the roots of polynomials is essential in both real and complex analysis. A polynomial of degree \(n\) is expected to have exactly \(n\) roots in the complex plane.
This expectation persists due to the Fundamental Theorem of Algebra, which guarantees these roots exist, potentially including multiplicities, in the set of complex numbers.

• These roots are solutions to the equation \(P(z) = 0\).
• The roots might be real numbers (a subset of complex numbers where the imaginary part is zero), or truly complex with non-zero imaginary parts.
• Analyzing their distribution and count can often require additional knowledge in both algebra and calculus, specifically when considering characteristics like symmetry and uniqueness.
• Understanding polynomial roots is crucial in fields ranging from engineering to physics, where these concepts model real-world phenomena.

Complex Numbers

Complex numbers extend the standard number line into a two-dimensional plane, allowing for a broader range of possibilities in solving equations like polynomials.
Within this plane, any number can be expressed as \(z = x + yi\) with a real part \(x\) and an imaginary part \(yi\).

• The complex plane itself is a visual representation of these numbers, providing insights into their conjugates and magnitudes, crucial for solving polynomial equations.
• Every polynomial with degrees \(n \geq 1\) is expressed using coefficients that may themselves be complex numbers, which affect how roots are derived.
• While real numbers form a one-dimensional subset, complex numbers allow for transformations and solutions not possible with only real coefficients.

Complex numbers simplify many problems, using geometric interpretations and Euler's formula, \(e^{i \theta} = \cos(\theta) + i \sin(\theta)\), which relates complex exponentials to trigonometric functions.

Proof Techniques

Proving theorems in mathematics, like the Fundamental Theorem of Algebra, requires diligent and methodical techniques. Here, proof by contradiction is key.
The proof begins with assuming the opposite of what you wish to prove, then logically showing this assumption leads to a contradiction.

• For the Fundamental Theorem of Algebra, the assumption might be that a polynomial has no roots, which contradicts established mathematical truths.
• Integration techniques, like contour integration around a closed path in the complex plane, amplify the contradictions by yielding non-zero results where zero is expected.
• The proof technique leverages how certain polynomial behaviors diminish or become insignificant as \(R\) approaches infinity, which is a powerful demonstration of relational dynamics between polynomial components.

Applying these methods not only demonstrates the theorem clearly to mathematicians but can aid in teaching these complex ideas to students.