The last equation immediately tells you that
So you have
Dividing the second equation by the first, you end up with
Because the argument's cosine is negative and its sine is positive, you know that
However, you can restrict the domain of the tangent function so that an inverse can be defined. By shifting the argument of tangent by
All this to say
So,