Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Show that the inversion mapping $w = f(z) = \frac{1}{z}$ maps: the circle $|z-1|=1$ onto the vertical line $x=\frac{1}{2}$.

From what I know thus far, I can see that $|z-1|=1$ take $\theta$ from $2\pi > \theta > 0$ will traverse the circle at $z= 1 + e^{i\theta}$, am I right on that since the graph of the function is shifted to the right with radius one, thus $z= 1 + e^{i\theta}$? I do not know how to finish the proof.

share|improve this question
add comment

2 Answers

up vote 5 down vote accepted

You have a function $w=f(z)$ where $f(z) = \frac{1}{z}$.

The trick to this types of question is to compute the inverse. If $w = \frac{1}{z}$ then $z=\frac{1}{w}$. It follows:

$$z-1 = \frac{1}{w}-1 = \frac{1-w}{w} \, . $$

Taking the modulus of both sides gives:

$$|z-1|=\left| \frac{1-w}{w}\right| =\frac{|1-w|}{|w|} \, . $$

We know that $|z-1|=1$ and so, by multiplying both sides by $|w|$, we get $|w|=|1-w|$, or equivalently, $|w|=|w-1|$. By definition, this is the set of points $w$ equi-distant from $w=0$ and $w=1$, i.e. the perpendicular bisector: the line $\Re (w) = \frac{1}{2}$.

share|improve this answer
    
Very nice crisp answer! But I am stuck on the very last sentence on how you got the perpendicular bisector to be the line $\Re (w) = \frac{1}{2}$? –  Q.matin Jan 21 '13 at 22:57
1  
Geometrically: The set of points equi-distant from two points is the perpendicular bisector. Algebraically: We need $|w|=|w-1|$. Let $w=x+iy$ and consider $|x+iy|=|(x-1)+iy|$. We get, after squaring both sides, $x^2+y^2=(x-1)^2+y^2$ and in turn $x^2=(x-1)^2$. Expanding gives $x^2=x^2-2x+1$ and so $1-2x=0$ or $x=1/2.$ –  Fly by Night Jan 21 '13 at 23:09
    
Thanks a lot !! –  Q.matin Jan 22 '13 at 1:37
1  
@Q.matin You're more than welcome. Notice that this method works for any Möbius transformation, i.e. $$w = \frac{az+b}{cz+d} \, , $$ where $a,b,c,d$ are complex numbers and $c$ and $d$ are not both zero. Just invert to get $z=\ldots$ and work from there. –  Fly by Night Jan 22 '13 at 18:48
add comment

As shown in this answer, this fact can be proven geometrically.

Alternatively, we can parametrize the circle by $$ z(t)=1+e^{it} $$ Then, inverting maps this to $$ \begin{align} \frac1{z(t)} &=\frac1{1+e^{it}}\\ &=\frac1{1+\cos(t)+i\sin(t)}\frac{1+\cos(t)-i\sin(t)}{1+\cos(t)-i\sin(t)}\\[6pt] &=\frac{1+\cos(t)-i\sin(t)}{(1+\cos(t))^2+\sin^2(t)}\\[6pt] &=\frac{1+\cos(t)-i\sin(t)}{2+2\cos(t)}\\[6pt] &=\frac12-\frac i2\tan\left(\frac t2\right) \end{align} $$ which parametrizes the line $\mathrm{Re}(z)=\frac12$.

share|improve this answer
    
One question, how did you know to parameterize the circle by $z(t)=1+e^{it}$? –  Q.matin Jan 22 '13 at 1:36
1  
Because $|z-1|=|(1+e^{it})-1|=|e^{it}|=1$ –  robjohn Jan 22 '13 at 1:41
    
Thanks a lot!!! –  Q.matin Jan 22 '13 at 1:50
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.