先证三角形的另一个面积公式
S=(ab*SinC)/2(作高再用S=ab/2即可证明)..........(1)
再证余弦定理
c^2=a^2+b^2-2ab*CosC............................(2)
根据公式
(SinC)^2+(CosC)^2=1...........................(3)
由(2),(3)把SinC用a,b,c表示出来再代入(1)即可得出秦九韶--海伦公式