f(x)=sinx+根号下3cosx在区间【0,π/2】上的最小值