Trigonometric identity (source code)

= Trigonometric identity

A <trigonometric identity> is an equality involving <trigonometric functions> that holds for every input in its stated domain.