这是对任意三角形都成立的角度恒等式,并非只对本题成立——正是它使第2步中的两个余弦项能合并为一个因子。
由 γ=π−α−β\gamma=\pi-\alpha-\betaγ=π−α−β 可得 α+γ2=π2−β−α2\alpha+\frac{\gamma}{2}=\frac{\pi}{2}-\frac{\beta-\alpha}{2}α+2γ=2π−2β−α 及 β+γ2=π2+β−α2\beta+\frac{\gamma}{2}=\frac{\pi}{2}+\frac{\beta-\alpha}{2}β+2γ=2π+2β−α。因为 cos(π2−x)=sinx\cos(\frac{\pi}{2}-x)=\sin xcos(2π−x)=sinx、cos(π2+x)=−sinx\cos(\frac{\pi}{2}+x)=-\sin xcos(2π+x)=−sinx,所以对任意三角形这两个余弦互为相反数,与第2步的方程无关。