y=sinx-1/2cosx (x属于R) 求最大值?