Prove the following identities, where the angles involved are acute angles for which the expressions are defined.
Prove the following identities, where the angles involved are acute angles for which the expressions are defined.