Download Fundamental Theorem of Algebra.

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts
no text concepts found
Transcript
A SIMPLE COMPLEX ANALYSIS AND AN ADVANCED
CALCULUS PROOF OF THE FUNDAMENTAL THEOREM OF
ALGEBRA
ANTON R. SCHEP
In this note we present two proofs of the Fundamental Theorem of Algebra. The
first one uses Cauchy’s integral form and seems not to have been observed before
in the literature. The second one, which uses only results from advanced calculus,
is the real variable version of the complex analysis proof. This proof was motivated
by the proof of [1], where the same ideas were used to prove a more general result
(the non-emptiness of the spectrum of an element in a complex Banach algebra).
Theorem (Fundamental Theorem of Algebra). Every polynomial of degree n ≥ 1
with complex coefficients has a zero in C.
Proof. Let p(z) = z n + an−1 z n−1 + · · · + a1 z + a0 be a polynomial of degree n ≥ 1
and assume that p(z) 6= 0 for all z ∈ C.
First Proof: By Cauchy’s integral theorem we have
I
1
2πi
dz =
6= 0,
p(0)
|z|=r zp(z)
where the circle is traversed counter clockwise. On the other hand |p(z)| = |z|n |(1+
a1
a0
z + · · · + z n )| → ∞ as |z| → ∞ implies that
I
1
1
dz ≤ 2π max
→ 0,
|z|=r zp(z) |z|=r |p(z)|
as |z| → ∞, which is a contradiction.
Second Proof Define g : [0, ∞) × [0, 2π] → C by g(r, θ) = p(re1 iθ ) . Then the function
g is continuous on [0, ∞) × [0, 2π] and has continuous partials on (0, ∞) × (0, 2π),
given by
∂g
−eiθ
(r, θ) = 2 iθ
∂r
p (re )
−rieiθ
∂g
(r, θ) = 2 iθ .
∂θ
p (re )
R 2π
Define now F : [0, ∞) → C by F (r) = 0 g(r, θ) dθ. Then F is continuous on
[0, ∞) by the uniform continuity of g on [0, M ] × [0, 2π] and by Leibniz’s rule for
differentiation under the integral sign we have for all r > 0
Z 2π
Z 2π
∂g
−eiθ
F 0 (r) =
(r, θ) dθ =
dθ,
2
∂r
p (reiθ )
0
0
Date: May 4, 2007.
1
2
ANTON R. SCHEP
so that by the fundamental theorem of calculus
Z 2π
Z 2π
−rieiθ
∂g
0
riF (r) =
dθ =
(r, θ) dθ = g(r, 2π) − g(r, 0) = 0.
2 (reiθ )
p
∂θ
0
0
Hence F 0 (r) = 0 for all r > 0. This implies that F is constant on [0, ∞) with
2π
6= 0. On the other hand |p(z)| → ∞ as |z| → ∞ implies that
F (r) = F (0) = p(0)
g(r, θ) → 0 as r → ∞ uniformly in θ. Therefore F (r) → 0 as r → ∞, which is a
contradiction.
References
[1] Dinesh Singh, The spectrum in a Banach algebra, The Amer. Math. Monthly 113(2006)
756–758.
Department of Mathematics, University of South Carolina, Columbia, SC 29208, USA
E-mail address: [email protected]
Related documents