座標平面上で３点
Ａ(COSα,sinα) Ｂ(COSβ，sinβ) Ｃ(1，0)を考える。
ただし0<α<β<2πとする。
辺ＢＣ,ＣＡ,ＡＢの長さをa,b,cとする。

問
a^2＋b^2＋c^2＝8−8COS(α/2)COS(β/2)COS((β−α)/2)
が成り立つことを示せ。


どなたか教えてください。