미적분학 30단계 · 17단계 · 미적분의 연결
17. 미적분학의 기본 정리 (FTC)
미적분학의 기본 정리(Fundamental Theorem of Calculus) 는 미분과 적분이 서로 역관계에 있음을 밝히는 정리입니다. 이 정리를 통해 우리는 리만 합의 복잡한 극한 계산 없이도 부정적분을 이용하여 정적분을 간단히 계산할 수 있게 되었습니다.
1. 개념 기반 목표 지향 수업 지도안
수업 목표 1
수업 목표 2
수업 목표 3
수업 목표 4
수업 흐름
도입 : "곡선 아래의 넓이를 구하는 적분"과 "접선의 기울기를 구하는 미분"이 왜 반대 과정일지 직관적으로 고찰한다.탐구 1 : FTC 제1정리 - 넓이 함수 $g(x) = \int_a^x f(t)dt$의 변화율이 왜 $f(x)$가 되는지 평균값 정리를 통해 증명한다.탐구 2 : FTC 제2정리 - 정적분의 값은 원시함수의 끝점 함숫값 차이와 같음을 유도한다.정리 : 정적분과 부정적분의 기호적 통일성 및 계산상의 편리함 정리.응용 : 적분 구간에 함수가 포함된 경우($\int_a^{h(x)} f(t)dt$)의 미분법(연쇄법칙 적용) 학습.
2. 개념 상세 설명
개념 1. 미적분학의 제1 기본 정리 (FTC 1)
함수 $f$가 $[a, b]$에서 연속이면, 함수 $g(x) = \int_a^x f(t) dt$는 $[a, b]$에서 연속이고 $(a, b)$에서 미분 가능하며 다음이 성립한다.
$$g'(x) = \frac{d}{dx} \int_a^x f(t) dt = f(x)$$
이는 모든 연속함수가 원시함수 를 가짐을 보장합니다.
개념 2. 미적분학의 제2 기본 정리 (FTC 2)
함수 $f$가 $[a, b]$에서 연속이고, $F$가 $f$의 임의의 원시함수($F'=f$)라면 다음이 성립한다.
$$\int_a^b f(x) dx = F(b) - F(a)$$
보통 $[F(x)]_a^b$ 또는 $F(x) \big|_a^b$ 로 표기합니다.
개념 3. 적분 기호의 미분 (확장)
적분 구간에 $x$에 관한 함수가 있을 때 연쇄법칙을 적용한다.
$$\frac{d}{dx} \int_{h(x)}^{g(x)} f(t) dt = f(g(x))g'(x) - f(h(x))h'(x)$$
3. Graph 및 시각적 이해
시각화 1. 넓이 함수의 변화율
Area g(x)
dg \approx f(x)dx
x
dx
미세한 구간 $dx$ 동안 추가되는 넓이는 $f(x) \cdot dx$와 거의 같습니다. 따라서 넓이의 변화율 $dg/dx$는 $f(x)$가 됩니다.
4. 주요 계산 예시
유형
문제
계산 과정
FTC 1
$\frac{d}{dx} \int_1^x \sin(t^2) dt$
$f(x)$를 대입 $\implies \sin(x^2)$
FTC 2
$\int_0^{\pi} \sin x dx$
$[-\cos x]_0^{\pi} = -(-1) - (-1) = 2$
확장형
$\frac{d}{dx} \int_0^{x^2} \sqrt{1+t} dt$
$\sqrt{1+x^2} \cdot (x^2)' = 2x\sqrt{1+x^2}$
5. 기초 5문항
1. $F(x) = \int_0^x \sqrt{1+t^4} dt$ 일 때, $F'(x)$를 구하시오.
정답 : \(\sqrt{1+x^4}\)
2. $\int_1^3 (3x^2 - 1) dx$ 의 값을 계산하시오.
$[x^3 - x]_1^3 = (27-3) - (1-1) = 24$.
정답 : 24
3. FTC 1이 성립하기 위해 피적분함수 $f$가 반드시 만족해야 하는 조건은?
정답 : 해당 구간에서의 연속성
4. $\frac{d}{dx} \int_x^5 \cos t dt$ 를 구하시오.
정답 : \(-\cos x\) (적분 범위가 바뀌면 부호 반전)
5. $f(x)$의 원시함수가 $F(x)$일 때, $\int_a^b f(x)dx$는 무엇인가?
정답 : \(F(b) - F(a)\)
6. 응용 5문항
1. 극한 $\lim_{x \to 0} \frac{1}{x} \int_0^x \sqrt{9 + t^2} dt$ 의 값을 구하시오.
FTC 1에 의해 이는 $g(x)=\int_0^x f(t)dt$의 $x=0$에서의 미분계수 $g'(0)=f(0)$과 같음. $\sqrt{9+0} = 3$.
2. $F(x) = \int_1^{\cos x} (t^3 + 1) dt$ 일 때, $F'(x)$를 구하시오.
$(\cos^3 x + 1) \cdot (-\sin x) = -\sin x \cos^3 x - \sin x$.
3. 모든 $x$에 대해 $\int_0^x f(t)dt = x^2 \cos x$ 일 때, $f(\pi)$를 구하시오.
양변 미분: $f(x) = 2x \cos x - x^2 \sin x$. $f(\pi) = 2\pi(-1) - 0 = -2\pi$.
4. 함수 $f(x) = \int_0^x (t-1)(t-2) dt$ 가 극대값을 갖는 $x$는?
$f'(x) = (x-1)(x-2) = 0 \implies x=1, 2$. $f''$ 판정이나 증감표를 통해 $x=1$에서 극대.
5. $f$가 연속일 때, $\int_a^b f(x)dx + \int_b^c f(x)dx = \int_a^c f(x)dx$ 임을 FTC 2를 사용하여 증명하시오.
7. 심화 5문항
1. 적분 기호 내부의 미분(Leibniz Integral Rule): $\frac{d}{dx} \int_{a}^{b} f(x, t) dt = \int_{a}^{b} \frac{\partial}{\partial x} f(x, t) dt$ 가 성립하기 위한 조건을 서술하시오.
2. 적분의 평균값 정리 를 증명하고, 이것이 FTC 1 증명에서 어떻게 사용되는지 설명하시오.
3. $f$가 불연속점 하나를 가질 때, FTC 1이 성립하지 않는 반례를 구성하시오.
4. $f$가 적분 가능하지만 원시함수가 존재하지 않는 경우를 제시하고, FTC 2의 적용 한계를 논하시오.
5. 테일러 정리의 나머지 항 $R_n(x)$를 FTC를 이용한 적분 형태 로 유도하시오.