Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Let Z be a complex number. How do you (elegantly) prove that |z - 1|
> 2 implies |z^3 - 1| > 1

Replies: 11   Last Post: Oct 29, 2013 2:49 AM

 Messages: [ Previous | Next ]
 William Elliot Posts: 2,637 Registered: 1/8/12
Re: Let Z be a complex number.
Posted: Oct 28, 2013 4:12 AM

> There are two equivalent statements of the same problem . The first is to
> prove that for complex z, |z - 1| > 2 implies |z^3 - 1| > 1 , the second is
> made by substituting z with |i*y - x| , and proving that one
> x^2 + 2x + y^2 > 3 (which is equivalent to |z-1| > 2|
> implies x^3 - 3xy^2 + 1)^2 + (3x^2 y - y^3)^2 > 1. (which is equivalent to
> |z^3 - 1| > 1 ) .

What's 2|?

Let z = -x + yi. Then |z - 1| = |-1 - x + yi| = sqr((-1 - x)^2 + y^2)
. . = sqr(x^2 + 2x + y^2)
|z^3 - 1| = |-x^3 + 3x^2 yi - 3xy^2 - y^3 i|
. . = sqr((x^3 + 3xy^2)^2 + (3x^2 y - y^3)^2)

Thus |z - 1| > 2 iff sqr(x^2 + 2x + y^2) > 2 iff x^2 + 2x + y^2 > 4.
Are sure about "> 2"? Also
|z^3 - 1| > 1 iff sqr((x^3 + 3xy^2)^2 + (3x^2 y - y^3)^2) > 1.
. . iff (x^3 + 3xy^2)^2 + (3x^2 y - y^3)^2 > 1.

Can't you get any better email/newserver than gmail that passes all you write
onto the government and puts unwanted extra blank lines between every
two lines?

Date Subject Author
10/25/13 dan.ms.chaos@gmail.com
10/25/13 William Elliot
10/26/13 dan.ms.chaos@gmail.com
10/27/13 William Elliot
10/27/13 dan.ms.chaos@gmail.com
10/27/13 William Elliot
10/28/13 dan.ms.chaos@gmail.com
10/28/13 William Elliot
10/28/13 Roland Franzius
10/26/13 David C. Ullrich
10/28/13 Rock Brentwood
10/29/13 dan.ms.chaos@gmail.com