Demostramos que el argumento principal Arg(z) de un complejo z=x+iy tal que x \in (0,+\infty) es igual a

Arg(z) = 2 \arctan \frac{y}{x+\sqrt{x^2+y^2}},

arctan

(Música cortesía de https://www.bensound.com)