证明:设n=[a]+1,f(x)=x^2.
则:f(x)在[0,n]上是单调递增的连续函数.
min[0,n]f(x)=f(0)=0,max[0,n]f(x)=f(n)=([a]+1)^2=[a]^2+2[a]+1.
于是:min[0,n]f(x)