余弦的倍角公式，可以处理 当x-->0的时候，为什么 1－cosx 是 x²/2的等价无穷小量？ 0022的 高等数学(工专)第65页有证明。
1-cos2x=2(sinx)^2
1-cosx=2(sin(x/2))^2
