The identity is .
Consider left hand side : .
The difference formula for the tangent function .
Substitute the value .
= Right hand side.
.