函数y=cosx+根号3倍sinx在区间[0,π/2]上的最小值