√(1 cosx)为什么化为√(2cos²(x 2))