三角形中如何证明sin^2A/2+sin^B/2+sin^C/2=1-2sin/2sinB/2sin/2