当两个余弦互为相反数时,两项之和恰好变为一个乘积,而这正是第3步所建立的事实。
把第3步的 cos(β+γ2)=−cos(α+γ2)\cos(\beta+\frac{\gamma}{2})=-\cos(\alpha+\frac{\gamma}{2})cos(β+2γ)=−cos(α+2γ) 代入第2步的等式,得到 acosβcos(α+γ2)−bcosαcos(α+γ2)=0a\cos\beta\cos(\alpha+\frac{\gamma}{2}) - b\cos\alpha\cos(\alpha+\frac{\gamma}{2}) = 0acosβcos(α+2γ)−bcosαcos(α+2γ)=0,即上面的乘积形式。