Express
in terms of , treating and separately.
Note the domain. The expression requires , so the identity will have two branches with nothing to say at .
Derive the positive branch from complementary angles. For let , so . In a right triangle with legs and the two acute angles are complementary, and swapping which leg is 'opposite' replaces by :
See why the negative branch needs a different constant. For both and lie in , so their sum is negative and cannot be . The correct constant is the negative one:
Understand the jump. The function is constant on each side of the origin but jumps by across it, taking the value for and for . The jump exists because the principal range of arctan is only wide.
Check one value on each branch. At : and . At : and .
Need to solve a different problem like this? Open the solver →