求一个三角函数最小值sinx^2+2sinxcosx+3cosx^2的最小值