Proofs of trigonometric identities (source code)

= Proofs of trigonometric identities
{wiki=Proofs_of_trigonometric_identities}