미적분학 30단계 · 15단계 · 고계 도함수

15. 고계 도함수 (Higher-Order Derivatives)

함수 $f$를 미분하여 얻은 도함수 $f'$가 다시 미분 가능할 때, 그 도함수를 $f$의 이계도함수라고 합니다. 이 과정을 반복하여 $n$계 도함수를 얻을 수 있습니다. 고계 도함수는 그래프의 오목함(Concavity), 변곡점(Inflection Point)을 결정하며, 물리적으로는 속도의 변화율인 가속도를 의미합니다.

1. 개념 기반 목표 지향 수업 지도안

수업 목표 1
라이프니츠 기법과 뉴턴 기법의 고계 도함수 표기법을 익힌다.

수업 목표 2
이계도함수의 부호와 함수의 오목/볼록성 사이의 관계를 이해한다.

수업 목표 3
라이프니츠 법칙(Leibniz Rule)을 통해 곱의 n계 도함수를 구한다.

수업 목표 4
변곡점의 정의를 명확히 하고 이계도함수를 활용해 판정한다.

수업 흐름

도입 : 위치-속도-가속도의 관계를 통해 미분을 여러 번 수행하는 실생활의 필요성 인식.
탐구 1 : 고계 도함수의 정의와 다양한 표기법($f^{(n)}(x)$, $\frac{d^ny}{dx^n}$) 학습.
탐구 2 : 이계도함수 판정법: 극값의 종류(극대/극소)를 판별하는 효율적인 도구로 활용.
정리 : 곱의 미분법을 일반화한 일반 라이프니츠 법칙(이항정리와의 유사성) 도출.
적용 : 다항함수, 지수함수, 삼각함수의 $n$계 도함수 규칙성 찾기.

2. 개념 상세 설명

개념 1. 고계 도함수의 정의 및 표기

함수 $y=f(x)$에 대하여 미분 과정을 $n$번 반복한 것을 $n$계 도함수라고 한다.

$$y', \quad y'', \quad y''', \quad y^{(4)}, \quad \dots, \quad y^{(n)}$$ $$\frac{dy}{dx}, \quad \frac{d^2y}{dx^2}, \quad \frac{d^3y}{dx^3}, \quad \dots, \quad \frac{d^ny}{dx^n}$$

※ 주의: $\frac{d^2y}{dx^2}$는 $(\frac{d}{dx})^2 y$의 의미로, 분모의 $x$에만 제곱 표시를 합니다.

개념 2. 오목성(Concavity)과 변곡점

아래로 볼록(Concave Up): 구간 내 모든 $x$에서 $f''(x) > 0$ 이면 그래프는 아래로 볼록합니다.
위로 볼록(Concave Down): 구간 내 모든 $x$에서 $f''(x) < 0$ 이면 그래프는 위로 볼록합니다.
변곡점(Inflection Point): 그래프의 오목함이 바뀌는 점입니다. $f''(c)=0$이거나 존재하지 않으며, 점 $c$ 좌우에서 $f''$의 부호가 바뀌어야 합니다.

개념 3. 일반 라이프니츠 법칙 (Leibniz Rule)

두 함수의 곱 $uv$의 $n$계 도함수는 이항전개식과 매우 유사한 형태를 띱니다.

$$(uv)^{(n)} = \sum_{k=0}^{n} \binom{n}{k} u^{(n-k)} v^{(k)}$$

3. Graph 및 시각적 이해

시각화 1. 이계도함수와 그래프의 모양

이계도함수는 접선의 기울기가 '증가'하는지 '감소'하는지를 알려줍니다.

시각화 2. 이계도함수 판정법 (극값 판정)

$f'(c)=0$일 때, $f''(c) > 0$이면 아래로 볼록한 골짜기이므로 극소, $f''(c) < 0$이면 위로 볼록한 봉우리이므로 극대입니다.

[Image comparing local maximum (f'' < 0) and local minimum (f'' > 0)]

4. 주요 함수의 n계 도함수 공식

함수 $f(x)$	$n$계 도함수 $f^{(n)}(x)$
$e^{ax}$	$a^n e^{ax}$
$\sin x$	$\sin(x + \frac{n\pi}{2})$
$x^m$	$m(m-1)\dots(m-n+1)x^{m-n}$
$\ln x$	$(-1)^{n-1} (n-1)! x^{-n}$

5. 기초 5문항

1. $f(x) = x^4 - 2x^3$ 의 이계도함수 $f''(x)$를 구하시오.

정답 : $12x^2 - 12x$

2. 어떤 점 $c$에서 $f'(c)=0$이고 $f''(c)=-5$일 때, $f(c)$는 극대인가 극소인가?

정답 : 극대 (위로 볼록하므로)

3. 변곡점의 후보가 되는 조건(이계도함수 관련)은 무엇인가?

정답 : $f''(x)=0$ 이거나 $f''(x)$가 정의되지 않음.

4. $y = \cos x$ 의 4계 도함수 $y^{(4)}$는 무엇인가?

정답 : $\cos x$ (4번 미분하면 자기 자신으로 복귀)

5. 물리적으로 가속도를 위치 함수 $s(t)$를 이용해 표현하면?

정답 : $s''(t)$ 또는 $\frac{d^2s}{dt^2}$

6. 응용 5문항

1. 라이프니츠 법칙을 사용하여 $(x^2 e^x)''$를 계산하시오.

$(x^2)''e^x + 2(x^2)'(e^x)' + x^2(e^x)'' = 2e^x + 4xe^x + x^2e^x$.

2. $f(x) = \frac{1}{x}$ 의 $n$계 도함수가 $(-1)^n n! x^{-(n+1)}$ 임을 수학적 귀납법으로 보이시오.

3. $f(x) = x^3 - 3x^2 + 4$ 의 변곡점의 좌표를 구하시오.

$f'(x)=3x^2-6x, f''(x)=6x-6$. $6x-6=0 \implies x=1$. 함숫값 $f(1)=2$.

정답 : (1, 2)

4. $f''(c)=0$이지만 $x=c$가 변곡점이 아닌 함수의 예를 드시오.

정답 : $f(x)=x^4$ ( $x=0$에서 $f''=0$이지만 좌우 부호 변화 없음)

5. $y = e^x \sin x$ 의 이계도함수를 구하시오.

7. 심화 5문항

1. 음함수 미분법을 이용하여 $x^2 + y^2 = 25$ 의 이계도함수 $\frac{d^2y}{dx^2}$를 $x, y$로 표현하시오.

$2x + 2yy' = 0 \implies y' = -x/y$. 다시 미분하면 $y'' = -\frac{1 \cdot y - x \cdot y'}{y^2} = -\frac{y + x^2/y}{y^2} = -\frac{x^2+y^2}{y^3} = -25/y^3$.

2. 매개변수 함수 $x=f(t), y=g(t)$ 의 이계도함수 $\frac{d^2y}{dx^2}$를 구하는 공식이 $\frac{\frac{d}{dt}(dy/dx)}{dx/dt}$ 임을 유도하시오.

3. 테일러 정리에서 $n$계 도함수가 나머지 항(Remainder)의 크기를 결정하는 원리를 설명하시오.

4. $f$가 두 번 미분 가능하고 모든 $x$에 대해 $f''(x) \ge 0$이면, 임의의 $t \in [0, 1]$에 대해 $f((1-t)x_1 + tx_2) \le (1-t)f(x_1) + tf(x_2)$ (젠센 부등식)가 성립함을 논하시오.

5. 고차 미분방정식 $y'' + py' + qy = 0$에서 고계 도함수가 해의 선형 독립성을 판단하는 데(Wronskian) 어떻게 쓰이는지 기술하시오.