你的问题是有道理的.
严格地说,这个命题应该这样表达：
f(x),g(x)在区间[a,b]上连续,在[a,b]上任取一点x,均有f(x)≤g(x)
且至少存在一点x1,使得f(x1)如果任取一点x,均有f(x)＝g(x),那么自然f(x)=g(x) (x∈[a,b])
积分图形重合,两个函数的定积分相等.