Na questão Why is it that when proving trig identities, one must work both sides independently? do MSE, Ord pergunta porque não pode manipular a totalidade de uma identidade para a demonstrar.
Na minha resposta disse-lhe que na verdade pode. Eis o que escrevi:
Pode. O método analítico de demonstração de uma identidade consiste em começar com a identidade que se pretende provar, no caso presente,
e estabelecer uma sequência de identidades tais que cada uma delas é uma consequência da seguinte. Para que a identidade 
ou esta que lhe é equivalente
ou finalmente esta última
Como 
O livro referenciado abaixo ilustra este método com a identidade
Referência: J. Calado, Compêndio de Trigonometria, 3.º ciclo do Ensino Liceal, Empresa Literária Fluminense, Lisbon, pp. 90-91, 1967.
