Proofs_of_trigonometric_identities