验证当x→0时(1-cosx)^2是x^3的高阶无穷小