求函数f(x)=x2+ax+3在[1,3]上的最小值