加法定理 (かほうていり) — trigonometric addition formulas | Kumi Dictionary