因为f(x)=0,所以0=2√3sinx-2cosx,推出√3sinx=cosx,可以解出sinx=正负0.5,
2cos^2-sinx-1/√2sin(x+π/4)=6sin^2-sinx-0.5*（sinx+cosx）
最后解得1/4 *(3-√3)或者1/4 *（11+√3）错再做过一次还是这样啊，你说说哪里错了后面好像是1/4 *（9+√3）