1－cosAcosB－cos²(C/2)＝0 ∵cos²(C/2)＝(cosC＋1)/2 怎么得来的

这个是书上公式 cos(α+β)=cosαcosβ-sinαsinβ的变形,得到的也就是常说的二倍角公式
推导如下：
令α=β,则
cos2α=cos(α+α)=cosαcosα-sinαsinα
=cos²α-sin²α
=cos²α-（1-cos²α)
=2cos²α-1
∴2cos²α=1+cos2α
即
cos²(C/2)＝(cosC＋1)/2
补充一下：