The fondamental theorem of algebra

Ok, I’ve not quite given up yet. I’ll keep doing this blog a little bit more and see if something comes out of it. Since I don’t have anything special to say at this point, I’ll post about something quite simple and well known. It is a proof of the fundamental theorem of algebra that uses  only freshman calculus. Actually I learned about it during my second year of prep school, but it is really quite simple, an doesn’t use any complex analysis. Let me recall the result.

Fondamental theorem of algebra

Let P(X)=X^d+a_{d-1}X^{d-1}+\dots+a_1 X+a_0 be a polynomial with d a non negative integer, a_i complex numbers.
Then there exist z \in \mathbb{C} such that P(z)=0.

The proof goes like this. You consider the function z \mapsto |P(z)| on the complex plane. As the fact that \mathbb{C} is a field does not play any role at this point, you can identify \mathbb{C} to \mathbb{R}^2. You prove that this fuction admits a global minimum. You then prove that for any complex number z_0 such that P(z_0)\neq 0, there exists a neighbouring number z_1 such that |P(z_1)|<|P(z_0)|. But this means that the global minimum that we found must be a zero of P, and that is the expected result.

Step one

The fact that P has a global minimum is a consequence of the following lemma

Lemma 1

Let f: \mathbb{R}^n \mapsto \mathbb{R} be a continuous function such that \lim_{\|x\|\to +\infty}f(x)=+\infty. Then f has a global minimum.

Proof: There is an R \ge 0 such that for all \|x\| > R, f(x) \ge f(0). Now f has a minimun on the compact set \{x : \|x\|\le R\} (the closed ball of radius R). Let x_0 be a point where the minimal value is reached. For any point x \in \mathbb{R}^n, either \|x\|>R, in which case f(x_0)\le f(0)\le f(x), or \|x\|\le R, and then f(x_0)\le f(x). Either way, f(x_0) \le f(x), and therefore x_0 is a point of global minimum.

Now to apply this lemma, we need only to check that \lim_{|z|\to +\infty}|P(z)|=+\infty, and this is made obvious by the reversed triangle inequality :

\displaystyle |P(z)| \ge |z|^d-|a_{d-1}| |z|^{d-1}- \dots -|a_1| |z| - |a_0|.

Step 2

This part is the closest in spirit to complex analysis, but since we deal with polynomials we won’t need the whole theory. We will prove a version of the minimum principle.

Lemma 2

Let P be a polynomial that satisfies the hypothesis of the fondamental theorem (with complex coefficients and not a constant), and z_0 a complex number such that P(z_0)\neq 0. Then there exists a complex number z_1 such that |P(z_1)|<|P(z_0)|.

Proof: If we divide by P(z_0), we only need to study the case where P(z_0)=1. By the usual factorisation argument, there is an integer m \ge 1 and a polynomial Q with Q(z_0)\neq 0 such that for any z,

\displaystyle P(z)=1+(z-z_0)^m Q(z).

We will now use the polar representation to find z_1 such that |P(z_1)|<1. By continuity of Q, for any given \varepsilon >0, there is an r>0 such that for any |z-z_0|\le r, |Q(z)-Q(z_0)|\le \varepsilon. We now set z=z_0+=re^{\i \theta}, and we choose \theta to get

\displaystyle (z-z_0)^mQ(z)=r^me^{\i m \theta}Q(z_0)=-r^m|R(z_0)|

(which of course can be done). Then by the triangle inequality,

\displaystyle |P(z)| \le 1-r^m|Q(z_0)|+\varepsilon .

If, at the beginning of this argument , we choose \varepsilon to be 1/2r^m|Q(z_0)|, we get

\displaystyle |P(z)| \le 1-1/2 r^m |Q(z_0)|.

This ends the proof of the second lemma and of the theorem.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s