y`=(x-sinx/2*cosx/2)`
=1-[(sinx/2)`cosx/2+sinx/2(cosx/2)`]
=1-[(cosx/2)^2-(sinx/2)^2]
=1-(cosx/2)^2+(sinx/2)^2
=2(sinx/2)^2
参考公式 (f(x)g(x))'=f'(x)g(x)+f(x)g'(x)(sinx)'=cosx (cosx)'=-sinx