求证:cos^2x=1+cosx/2