微积分 1-1/cosx怎样化得到-2sin^2 X/2的?