부정적분과 정적분의 관계 (FTC)
부정적분은 미분의 역연산으로서의 함수를 찾는 과정이며, 정적분은 곡선 아래의 넓이를 합산하는 과정입니다. 미적분학의 기본 정리(Fundamental Theorem of Calculus)는 이 두 독립적인 개념을 하나로 묶어줍니다.
FTC Part 1: Integral as a Function
1. 미적분학의 기본 정리 1부
정적분으로 정의된 함수를 미분하면 원래의 함수가 된다는 정리입니다. 즉, 적분은 미분의 역작용임을 증명합니다.
$$\frac{d}{dx} \int_{a}^{x} f(t) dt = f(x)$$
의미와 해석
- 넓이 함수 $g(x) = \int_a^x f(t) dt$의 변화율은 바로 그 점에서의 높이 $f(x)$와 같습니다.
- 모든 연속함수는 항상 원시함수(부정적분)를 가짐을 보장합니다.
FTC Part 2: Evaluation Theorem
2. 미적분학의 기본 정리 2부
정적분 값을 계산할 때, 리만 합의 극한을 취하는 대신 부정적분(원시함수)의 차이를 이용할 수 있게 해줍니다.
계산적 가치
- 복잡한 무한 급수의 계산을 단순한 뺄셈 문제로 치환합니다.
- 부정적분($\int f dx$)과 정적분($\int_a^b f dx$)을 잇는 실질적인 다리 역할을 합니다.
핵심 개념 비교
| 구분 |
부정적분 (Indefinite) |
정적분 (Definite) |
| 정의 |
미분의 역연산 (함수군) |
리만 합의 극한 (스칼라 값) |
| 결과물 |
$F(x) + C$ (함수) |
실수값 (넓이/유량 등) |
고급 팁: 변수가 상수가 아닌 함수로 주어진 경우(라이프니츠 규칙의 특수 사례) 미분은 다음과 같습니다.
$$\frac{d}{dx} \int_{h(x)}^{g(x)} f(t) dt = f(g(x))g'(x) - f(h(x))h'(x)$$