정적분으로 넓이 구하기 (Area by Definite Integral)
2개의 함수 \(f(x)\)와 \(g(x)\)가 폐구간 \([a,\,b]\)에서 연속 이고 \(f(x)\ge g(x)\) 일 때, \(x\)축 상의 구간 \([a,\,b]\)를 \[a=x_0<x_1<x_2<\cdots<x_{n-1}<x_n=b\] 와 같은 분점으로 분할하여, 이 분할을 \(\Delta\)라 하자. 각 소구간 \(l_i=[x_{i-1},\,x_i]\)에서 \(f(x)-g(x)\)의 최대치를 \({\rm M}_i\), 최소치를 \(m_i\)로 두고 2개의 합 \[\sum_{i=1}^n{\rm M}_i(x_i-x_{i-1}),\qquad\sum_{i=1}^nm_i(x_i-x_{i-1})\] 을 만든다. 이것은 직관적으로 보면 그림 1과 같이 두 곡선 \(y=f(x)\)와 \(y=g(x)\) 및 \(y\)축에 평행인 두 직선 \(x=a\)와 \(x=b\)에 포함된 평면도형 \(\rm F\)를 포함하는 다각형의 넓이와 \(\rm F\)에 포함되는 다각형의 넓이를 나타낸다. 그림 1 여기서 분할 \(\Delta\)를 충분히 세분할 때, 다음의 두 극한 \[\lim_\Delta\sum_{i=1}^n{\rm M}_i(x_i-x_{i-1}),\qquad\lim_\Delta\sum_{i=1}^nm_i(x_i-x_{i-1})\] 이 존재하여, 같은 극한치를 가질 때, 그 극한치를 도형 \(\rm F\)의 넓이 \(\rm S\)로 정의한다. 여기서, \(f(x)\)와 \(g(x)\)가 \([a,\,b]\)에서 연속이므로, 이 경우 두 개의 극한은 존재하고, 그 극한은 \[{\rm S}=\int_a^b\{f(x)-g(x)\}dx\] 이다. 정리 1 2개의 함수 \(f(x)\)와 \(g(x)\)가 구간 \([a,\,b]\)에서 연속이고, \(f(x)\ge g(x)\) 이면, 곡선 \(y=f(x)\)와 \(y=g(x)\) 및 두 직선 \(x=a\)와 \(x=b\)로 이루어지...