Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this community
Let $z_1$ and $z_2$ be two complex numbers of modulus $1$. Denote by $Re$, the real part of a complex number.
Using maple, I believe that the sign of $Re((1-z_1)(1-z_2))$ is equal to the sign of $Re((z_1-1)(z_2-1)(1-z_1z_2))$. Is there a nice way to prove this?
Express the complex numbers as
$$z_1=a_1+ib_1$$
$$z_2=a_2+ib_2$$
Expanding the products should tell you if the result is true.
For $z_{1,2} \approx 1$ and $\Im z_{1,2}>0$, we have that $1-z_1$, $1-z_2$, $1-z_1z_2$ are approximately multiples of $i$ with slightly negative real part, i.e. their arguments are slightly above $\frac\pi2$. We conclude that $(1-z_1)(1-z_2)$ has argument $\approx \pi$ and negative real part, whereas $(1-z_1)(1-z_2)(1-z_1z_2)$ has argument slightly above $\frac32\pi$, i.e. positive real part.
