余弦定理
が、さらに三角関数の加法定理から
sin  β cos  γ + sin  γ cos  β = sin  ( β + γ ) ⋯ 3 {\displaystyle \sin \beta \cos \gamma +\sin \gamma \cos \beta =\sin(\beta +\gamma )\quad \cdots \quad {\text{3}}\quad }
が成り立つ。したがって、