求证cos2x=2(cosx)^2-1