User:PCMorphy72/math

Formula without apparent conditional construct: $$\operatorname {atan2} (y,x)=\lim _{z\to x^{+}}\arctan \left({\frac {y}{z}}\right)+{\frac {\pi }{2}}\operatorname {sgn}(y)\operatorname {sgn}(x)\left(\operatorname {sgn}(x)-1\right)$$

, that is useful e.g. to define the multivalued version of each inverse trigonometric function: e.g. $\tan ^{-1}(x)=\{\arctan(x)+\pi k\mid k\in \mathbb {Z} \}$. However, this might appear to conflict logically with the common semantics for expressions such as sin²(x) (although only sin² x, without brackets, is the really common one) [...] This potentially avoids confusion with the multiplicative inverse, which should be represented by sin⁻¹(x), cos⁻¹(x), etc., or, better, by sin⁻¹ x, cos⁻¹ x, etc.