SOLUTION: The complex numbers z and w satisfy |z| = |w| = 1 and zw is not equal to -1. (a) Prove that overline{z} = 1/z and overline{w} = 1/w. (b) Prove that (z + w)/(zw + 1) is a real

Algebra.Com
Question 1189372: The complex numbers z and w satisfy |z| = |w| = 1 and zw is not equal to -1.
(a) Prove that overline{z} = 1/z and overline{w} = 1/w.
(b) Prove that (z + w)/(zw + 1) is a real number.

Answer by ikleyn(52784)   (Show Source): You can put this solution on YOUR website!
.
The complex numbers z and w satisfy |z| = |w| = 1 and zw is not equal to -1.
(a) Prove that overline{z} = 1/z and overline{w} = 1/w.
(b) Prove that (z + w)/(zw + 1) is a real number.
~~~~~~~~~~~~~~~~


                    Part (a)


Part (a) is the widely known fact. Students learn it on the beginner steps of studying complex numbers.

The proof is very short and straightforward.


Notice, that in part (a), we should prove only first statement for z, since the statement for w is mathematically THE SAME.


    If z = a + bi, then overline(z) = a - bi.

    If |z| = 1, it means that  = 1, or, which is the same, a^2 + b^2 = 1.


    Now,   =  =  =  = a-bi = overline(z), 

    and the statement is proved.


                    Part (b)


Part (b) is not widely known, which makes it interesting.


    Since |z| = 1 and |w| = 1, it means that z and w are the unit vectors of the length 1: their endpoints lie on the unit circle.

    To calculate (z+w), apply the parallelogram's rule.  Since the sides of the parallelogram on vectors z and w are equal,

    the parallelogram is a rhombus.  The sum (z+w) is the diagonal of the parallelogram, and since parallelogram is a rhombus,

    arg(z+w) is  EITHER   OR  .   Here arg() means the argument of complex number.



    The first case   arg(z+w) =  is when the angle between vectors z and w is less than  :  |arg(z)-arg(w)| <= .

    The second case  arg(z+w) =  is when the angle between vectors z and w is greater than  :  |arg(z)-arg(w)| > .

    Notice that by the modulo of ,  arg(z+w) =    always.



    Further, the product zw is the unit vector, again, so the same formulas are applicable to vectors zw and 1 = (1,0).

    Notice that arg(zw) = arg(z) + arg(w), so arg(zw+1) is EITHER ,  or  , depending
    on the angle between vectors zw and 1 = (1,0).

    But in any case,  the vectors (z+w) and (zw+1) are EITHER parallel OR anti-parallel (opposite).

    By the modulo of ,  arg(zw+1) =    always.



    By the rule of argument of quotient for complex numbers, it means that the ratio   is real number.

    This real number is EITHER positive (when the vectors (z+w) and (zw+1) are parallel), 

                          OR   negative (when the vectors (z+w) and (zw+1) are anti-parallel).                     

At this point, the proof is completed.



RELATED QUESTIONS

The complex numbers z and w satisfy |z| = |w| = 1 and zw is not equal to -1. (a) Prove... (answered by Solver92311)
The complex numbers z and w satisfy |z| = |w| = 1 and zw is not equal to -1. (a) Prove... (answered by ikleyn)
The complex numbers z and w satisfy |z| = |w| = 1 and zw is not equal to -1. (a) Prove... (answered by math_tutor2020)
Let z and w be complex numbers such that |z| = |w| = 1 and zw is not equal to -1. (a)... (answered by ikleyn,mccravyedwin,Edwin McCravy)
Given that z = 10 - 3i and w = 4 + 2i are complex numbers, find: a) zw b) z/w write the (answered by ikleyn)
Suppose z=a+bi is a complex number, and w=x+yi is another complex number such that z+w is (answered by richard1234)
Find polar forms for zw, z/w, and 1/z by first putting z and w into polar form. z = 27(3 (answered by CPhill,ikleyn)
Find polar forms for zw, z/w, and 1/z by first putting z and w into polar form. z = 27(3 (answered by CPhill,ikleyn)
Z= (3+i) W=(-4+i) Find ZW and conj(ZW). I think I found ZW that is equal to -13+7i I'm (answered by tommyt3rd)