不妨设f(x)单调增,任取y0∈[A,B],定义g(x)=f(x)-y0,则g(a)=0,由介值定理知存在x0∈[a,b]使f(x0)=y0,即[A,B]⊆f([a,b]);
另一方面,任取y1∈f([a,b]),由于f(x)单调增,必有A