You dont have to but you must never work both sides simultaneously and end with 0=0 or something. You can do tan(lhs)=.... And then separately, tan(rhs)=.......=tan(lhs) and since lhs and rhs are acute, lhs=rhsLol nvm just got it thanks for the help guys.
Just to confirm though, in these sort of questions, do I not have to follow the traditional proof style of LHS=......=RHS?