Theory

• If $\arg(w)=0$ (mod $2\pi$), then $w$ is a positive real number.
• A complex number is real iff its imaginary part is $0$.
• Use rationalization to compute the imaginary part of a complex fraction.