Argument of a complex number and negative

111 Views Asked by At

How do you prove that if $x>0$ then $arg(-x)=\pi -arctan(x)$. Geometrically this is clear. How would you prove it formally?