함수 y=f(t)가 구간 [a,b]에서 연속이고 f(t)≥0 이라고 하면
아래 그림과 같이 구간 [a,b]에 속하는 임의의 x에 대하여 a에서 x까지의 곡선 y=f(t)와 t축 사이의 넓이를 S(x)라 하면
이 때, x의 증분 Δx(Δx>0)에 대하여 S(x)의 증분을 ΔS라고 하면
ΔS=S(x+Δx)-S(x).
한편,
구간 [x,x+Δx]에서 함수 f(t)는 연속이므로 최대값과 최소값을 각각 M,m이라고 하면
mΔx≤ΔS≤MΔx
여기서 Δx→0 이면
함수 f(t)는 [a,b]에서 연속함수이므로
Δx→0 이면 m→f(x), M→f(x)
적분과 미분의 관계에서 S'(x)=f(x)이므로 S(x)는 f(x)의 부정적분입니다.
여기서 f(x)의 또 다른 부정적분의 하나를 F(x)라고 하면 아래와 같은 식이 성립합니다
(C는 적분상수)……ⓐ
S(x)의 정의에 의하여 x=a이면 S(a)=0이므로 ⓐ에서
이것을 ⓐ에 대입하면
이 식에 x=b(a<b)를 대입하고 적분변수 t를 x로 바꾸면
……ⓑ
이 것을 정적분의 기본 정리라고 합니다.
이때 ⓑ의 우변 F(b)-F(a)를 기호로 아래와 같이 나타낼 수 있습니다.
지금까지는 a<b 일 때
정적분 를 정의하였으나,
a=b, a>b일 때에는 아래와 같이 정의할 수 있습니다.
위의 정의에 의하여 a>b이고 F'(x)=f(x)일 때,
따라서 정적분의 기본정리는 아래끝, 위끝의 대소에 관계없이 항상 성립한다.■
2017/05/08 - [Cyong's Mathmatics] - 정적분의 정의
2017/05/07 - [Cyong's Mathmatics] - 여러 가지 함수의 부정적분
2017/05/05 - [Cyong's Mathmatics] - 부정적분
2017/05/04 - [Cyong's Mathmatics] - 부정적분의 기본 성질