Cut the knot: learn to enjoy mathematics
A math books store at a unique math study site. Learn to enjoy mathematics.
Google
Web CTK
Try our no ads browsing

Sites for teachers
Sites for parents
Terms of use
Awards

Interactive Activities
CTK Exchange
CTK Insights - a blog

Games & Puzzles
What Is What
Arithmetic/Algebra
Geometry
Probability
Outline Mathematics
Make an Identity
Book Reviews
Stories for Young
Eye Opener
Analog Gadgets
Inventor's Paradox
Did you know?...
Proofs
Math as Language
Things Impossible
Visual Illusions
My Logo
Math Poll
Cut The Knot!
MSET99 Talk
Other Math sites
Front Page
Movie shortcuts
Personal info
Privacy Policy

Guest book
News sites

Recommend this site

Games to relax

Tutor Match Tutoring and Homework Help

Sites for teachers
Sites for parents

Education & Parenting

Manifesto: what CTK is about Buying a book is a commitment to learning Table of content Try our no ads browsing Things you can find on CTK Chronology of updates Email to Cut The Knot Recommend this page

A topological proof
going in circles and counting

Let us suppose that the polynomial

  f(z) = an z n + an -1 z n -1 + ... + a1z1 + a0

has no root, so that for every complex number z

  f(z) ≠ 0.

On this assumption, if we now allow z to describe any closed curve in the x, y - plane, f(z) will describe a closed curve Γ which never passes through the origin.

 
 Proof of fundamental theorem of algebra.

We may, therefore, define the order of the origin O with respect to the function f(z) for any closed curve C as the net number of complete revolutions made by an arrow joining O to a point on the curve Γ traced out by the point representing f(z) as z traces out the curve C. As the curve C we shall take a circle with O as center and with radius t, and we define the function φ(t) to be the order of O with respect to the function f(z) for the circle about O with radius t. Clearly φ(0) = 0, since a circle with radius 0 is a single point, and the curve Γ reduces to the point f(0) ≠ 0. We shall show in the next paragraph that φ(t) = n for large values of t. But the order φ(t) depends continuously on t, since f(z) is a continuous function of z. Hence we shall have a contradiction, for the function φ(t) can assume only integral values and therefore cannot pass continuously from the value 0 to the value n.

It remains only to show that φ(t) = n for large values of t. We observe that on a circle of radius z = t so large that

  t > 1 and t > |a0| + |a1| + … + |an - 1|,

we have the inequality

 |f(z) - z n|
   = |an-1 z n-1 + an-2 z n-2 + … + a0|
   ≤ |an-1||z|n-1 + |an-2||z|n-2 + … + |a0|
   = tn-1[|an-1| + … +|a0| /tn-1]
   ≤ tn-1[|an-1| + … +|a0|] < tn = |z|n.

Since the expression on the left is the distance between the two points zn and f(z), while the last expression on the right is the distance of the point zn from the origin, we see that the straight line segment joining the two points f(z) and zn cannot pass through the origin so long as z is on the circle of radius t about the origin. This being so, we may continuously deform the curve traced out by f(z) into the curve traced out by zn without ever passing through the origin, simply by pushing each point f(z) along the segment joining it to zn. Since the order of the origin will vary continuously and can assume only integral values during this deformation, it must be the same for both curves. Since the order for zn is n, the order for f(z) must also be n. This completes the proof.

Reference

  1. R.Courant and H.Robbins, What is Mathematics?, Oxford University Press, 1966.

Copyright © 1996-2008 Alexander Bogomolny

30742325Page copy protected against web site content infringement by Copyscape


Search:
Keywords:



Latest on CTK Exchange
try this puzzle ?/?? + ?/?? + ?/? ...
Posted by albert1950
5 messages
12:40 PM, Nov-18-08

Help me find Hisashi ABE, Pythago ...
Posted by likesmath
2 messages
11:11 AM, Oct-06-08

triangle construction
Posted by Elianto84
12 messages
07:06 PM, Oct-30-08

Gardner's Torus cutting puzzle... ...
Posted by itineracy
3 messages
11:22 PM, Nov-02-08

Three Concurrent Circles
Posted by billmillar
2 messages
12:26 PM, Oct-28-08

disjoint sets
Posted by jay_shark
0 messages
07:36 PM, Nov-13-08

Error in Fractal Curves and Dimen ...
Posted by miguemate22
1 messages
08:51 AM, Nov-16-08