.
It is interesting question.
Let assume that you are given a task to prove that two expressions are identical:
A = B.
Expressions can be trigonometric or algebraic - it does not matter.
You can make transformations over the left side and over the right side.
If your transformations of each side are equivalent, and if they result to an identity
C = D,
then you may conclude that the original expressions A and B are identical.
Simply because you can reverse your chain of logical conclusions (= transformations) from
the identity C = D back to A = B.
But if your transformations are NOT equivalent and if they result to an identity
C = D,
then you CAN NOT conclude that the original expressions are identical.
So, working with equivalent transformations, you can transform either side or even both sides - there is NO obstacles
for it and for validity of your final conclusion.
But if you work and use non-equivalent transformations on the way - then be careful - your final conclusion might be wrong.
-----------------
Regarding the example given by Edwin, he started from the hypothetical identity, squared both sides, obtained the identity -
but in this case he can not conclude that the original hypothetical identity is a real identity.
Because squaring IS NOT an equivalent transformation: from = you can not conclude that a = b.