|a+bi|2=(¯a+bi)⋅(a+bi), and since |w|=1, we know |w|2=|w|⋅|w|=1⋅1=1=|w|, giving us
|w|=1|w|=|w|2|w|=¯ww¯ww=1¯w=1w.
we can get ¯z=1z through the same process. we make x=w+z1+wz, which means ¯x=¯w+¯z1+¯w⋅¯z.we plug in our values for the congujates of w and z, which gives us
¯x=1w+1z1+1w⋅1z=zwz+wwzwzwz+1wz=w+zwz1+wzwz=w+z1+wz=x
we get ¯x=x, which is only true when x is real.