新数演 §6 三角比・図形
6・1
任意の△ABCに関して

cosA+cosB+cosC
=□sin(A/2)sin(B/2)sin(C/2)+□
が成り立つ。