You are allowed, and it is probably the best way to approach this type of question. Remember to always state the range of the inverse tan function; in your example, the constant is an angle, let it be theta, then the range of values would be in the interval 0 < theta < pi. With this in mind, you can then go about proving both sides equal.