Tangent isn't defined at . The identity doesn't seem possible in my opinion. Secant also is not defined at .

Edit: I was wrong, the identities DO seem to be true. I was mistaken because when I went to prove it with the tangent of a difference, the is undefined. What you need to do, is write the tangent as . So when you expand, all of the functions are defined on