正弦的平方为什么等于1减去余弦二倍角的一半?