Proofs of trigonometric identities
 
x
OK