formula di prostaferesi

Noun

 * 1)  trigonometric sum-to-product identity (trigonometric addition formula)