함수 f(x)는 폐구간 I=[a, b]에서 정의된 연속 인 함수이고 구간 I에서 f(x)≥0 라고 가정한다. y=f(x)의 그래프와 y축에 평행인 두 직선 x=a, x=b 및 x축으로 둘려 싸인 도형 F, 다시 말하면 부등식 a≤x ≤b, 0 ≤y ≤f(x)를 만족하는 점 (x,y)의 집합 F를 생각한다. 이 도형 F의 면적 A를 어떻게 구할 수 있는지 알아 보자. 그림 1 위의 그림 1과 같이 구간 I=[a, b] 내부에 n-1 개의 점들을 다음과 같은 순으로 취한다. \(a<x_1<x_2<\cdot\cdot\cdot<x_{i-1}<x_i<\cdot\cdot\cdot<x_{n-1}<b\) 이와 같은 분점을 취하는 방법을 구간 I=[a, b]의 하나의 분할 Δ라고 한다. 구간 I 안에 하나의 분할 Δ를 만들면 I는 n개의 소폐구간 \({\rm I}_1=[a,\,x_1],\,{\rm I}_2=[x_1,\,x_2],\,\cdot\cdot\cdot,\,{\rm I}_n=[x_{n-1},\,b]\) 으로 나누어진다. 이제 y=f(x)의 그래프와 두 직선 \(x=x_{i-1},\,x=x_i\) 및 x 축으로 둘러 싸인 도형 \({\rm F}_i\)의 면적을 \({\rm A}_i\)라 하고, 폐구간 \({\rm I}_i=[x_{i-1},\,x_i]\)에 있어서 f(x)의 최대값을 \({\rm M}_i\), 최소값을 \(m_i\)라 하자. 그림 1에서 구간 I 위에 있는 두 개의 직사각형 중 큰 것을 \(({\rm F}_i)_M\)라 하고, 작은 것을 \(({\rm F}_i)_m\)라 하면 포함 관계 \(({\rm F}_i)_m\subset{\rm F}_i\subset({\rm F}_i)_M\) 가 성립된다. 따라서 \(({\rm F}_i)_M\)의 면적을 \(({\rm A}_i)_M,\,({\rm F}_i)_m\)의 면적을 \(({\rm A}_i)_m\)라 하면 \(m_i(x_i-x_{i-1})\le{\rm A}_i\le