Chapter 3 - 기하학을 통한 미분공식

0. 이 장의 목적

"미분 공식은 단순한 암기 대상이 아니라, 입력값의 미세한 변화($dx$)가 출력값의 변화($df$)에 어떻게 기여하는지 기하학적으로 해석한 결과입니다."

이 장에서는 Chapter 1에서 다룬 '누적(적분)'과 Chapter 2의 '변화율(미분)'의 극한적 정의를 바탕으로, 미분 공식($x^2, x^3, \sin\theta, \cos\theta$ 등)이 도형의 미세한 변화를 통해 도출되는 과정을 직관적으로 이해해보겠습니다. 단순한 공식을 외우는 단계를 넘어, 기하학적 모형의 변화를 눈으로 확인하며 미분 공식의 본질을 완벽히 내재화하는 것이 이 장의 목표입니다.

1. 다항함수의 미분: 면적과 부피의 변화

1.1 $f(x) = x^2$ 의 미분 (정사각형 모델)

---

• 직관: 한 변의 길이가 $x$인 정사각형의 넓이를 $f(x)$라고 하겠습니다.

• 변화량 ($dx$): 한 변의 길이를 $dx$만큼 늘리면, 넓이는 크게 세 부분으로 나누어 증가합니다.

  • $x \times dx$ 크기의 긴 직사각형 2개 $\rightarrow 2x \cdot dx$

  • $dx \times dx$ 크기의 아주 작은 모서리 정사각형 1개 $\rightarrow (dx)^2$

• 근사: $dx$가 매우 작아질 때, $(dx)^2$은 $dx$에 비해 무시할 수 있을 만큼 작아집니다. (차수가 1보다 큰 미소량 항은 소거됩니다.)

• 결론: 전체 넓이 변화량은 $df \approx 2x \cdot dx$ 이므로, 변화율은 다음과 같습니다.

  • $\frac{df}{dx} = 2x$

---

1.2 $f(x) = x^3$ 의 미분 (정육면체 모델)

---

• 직관: 한 변의 길이가 $x$인 정육면체의 부피 변화를 관찰하겠습니다.

• 변화량: 한 변의 길이를 $dx$만큼 늘리면 주로 3개의 겉면($x^2 \times dx$)에서 부피가 증가합니다. (모서리와 꼭짓점 부분의 변화량은 차수가 높아 소거됩니다.)

• 결론: 전체 부피 변화량은 $df \approx 3x^2 \cdot dx$ 이므로, 변화율은 다음과 같습니다.

  • $\frac{df}{dx} = 3x^2$

---

2. 파워 룰(Power Rule)의 일반화와 증명 보강

전문가의 보강: 이항정리를 이용한 증명

---

다항함수 $f(x) = x^n$에 대해 미분의 정의(극한)를 적용하면 다음과 같습니다.

$f'(x) = \lim_{\Delta x \to 0} \frac{(x+\Delta x)^n - x^n}{\Delta x}$

이때 $(x+\Delta x)^n$을 이항정리(Binomial Theorem)로 전개합니다.

$(x+\Delta x)^n = x^n + nx^{n-1}\Delta x + \frac{n(n-1)}{2}x^{n-2}(\Delta x)^2 + \dots + (\Delta x)^n$

1. 첫 번째 항 $x^n$은 분자의 $-x^n$과 상쇄되어 소거됩니다.

2. 두 번째 항 $nx^{n-1}\Delta x$는 분모의 $\Delta x$로 나누었을 때 $nx^{n-1}$로 남습니다.

3. 그 뒤의 모든 항은 $(\Delta x)^2$ 이상의 차수를 가지므로, $\Delta x$로 나누어도 최소 $\Delta x$의 1차 이상이 남아 $\lim_{\Delta x \to 0}$ 극한에 의해 모두 0으로 수렴합니다.

결과적으로,

$\implies \frac{d}{dx}x^n = nx^{n-1}$

---

3. 삼각함수의 미분: 단위원에서의 기하학적 해석

3.1 $f(\theta) = \sin\theta$ 의 미분

---

• 설정: 단위원(반지름 1인 원) 위를 움직이는 점의 높이($y$축 값)가 $\sin\theta$입니다.

• 미세 변화: 각도를 $d\theta$만큼 조금 더 이동하면, 원주를 따라 $d\theta$만큼의 아주 작은 직선 운동이 발생합니다.

• 삼각형 닮음: 이때 생기는 아주 작은 직각삼각형(빗변 $d\theta$, 높이 변화 $d(\sin\theta)$)은 원래의 커다란 직각삼각형(밑변이 $\cos\theta$인 삼각형)과 닮음 관계를 이룹니다.

• 결론: 높이 변화량은 $d(\sin\theta) = d\theta \cdot \cos\theta$ 가 성립하며, 따라서 미분값은 다음과 같습니다.

  • $\frac{d}{d\theta}\sin\theta = \cos\theta$

---

3.2 $f(\theta) = \cos\theta$ 의 미분

---

• 설정: 단위원 위를 움직이는 점의 가로 좌표($x$축 값)가 $\cos\theta$입니다.

• 변화: 각도 $\theta$가 증가할 때 점이 반시계 방향으로 움직이므로, $x$좌표는 왼쪽(음의 방향)으로 이동합니다.

• 기하적 도출: 위 $d\theta$ 미세 삼각형에서 가로 변화량의 크기는 $d\theta \cdot \sin\theta$에 해당합니다.

• 결론: $x$값이 감소하므로 변화량은 음수($d(\cos\theta) = -\sin\theta \cdot d\theta$)가 되며, 따라서 미분값은 다음과 같습니다.

  • $\frac{d}{d\theta}\cos\theta = -\sin\theta$

---

4. [Challenge] 문제 및 심화 풀이

문제 1: $f(x) = \frac{1}{x}$ 의 기하학적 미분

---

• 모델: 넓이가 1로 고정된 직사각형(가로 $x$, 세로 $\frac{1}{x}$)을 가정합니다.

• 계산: 가로가 $dx$ 늘어날 때 넓이(1)를 유지하려면, 세로가 $d(\frac{1}{x})$만큼 줄어들어야 합니다.

• 식: $\frac{1}{x} \cdot dx + x \cdot d(\frac{1}{x}) \approx 0$

결과적으로,

$\implies \frac{d}{dx}\left(\frac{1}{x}\right) = -\frac{1}{x^2}$

---

문제 2: $f(x) = \sqrt{x}$ 의 기하학적 미분

---

• 모델: 넓이가 $x$인 정사각형(한 변의 길이 $\sqrt{x}$)을 가정합니다.

• 계산: 전체 넓이 변화 $dx$는 두 변의 증가량 합 $2\sqrt{x} \cdot d(\sqrt{x})$와 같습니다.

• 식: $dx \approx 2\sqrt{x} \cdot d(\sqrt{x})$

결과적으로,

$\implies \frac{d\sqrt{x}}{dx} = \frac{1}{2\sqrt{x}}$

---

추가 보강: 코사인 미분 수식 증명

---

코사인 덧셈정리를 이용한 엄밀한 대수적 증명은 다음과 같습니다.

$f'(\theta) = \lim_{h \to 0} \frac{\cos(\theta+h) - \cos\theta}{h} = \lim_{h \to 0} \frac{\cos\theta\cos h - \sin\theta\sin h - \cos\theta}{h}$

$= \lim_{h \to 0} \left[ \cos\theta \left( \frac{\cos h - 1}{h} \right) - \sin\theta \left( \frac{\sin h}{h} \right) \right] = \cos\theta(0) - \sin\theta(1) = -\sin\theta$

---

5. 이 장의 핵심 문장 6개

---

• 변화의 기여도: 미분은 특정 입력값의 '작은 변화'가 결과값의 변화에 주는 기여도를 측정합니다.

• 기하학적 본질: $x^2$의 미분이 $2x$인 이유는 정사각형의 두 면이 변화의 주된 영역이기 때문입니다.

• 고계도 미소량 소거: $(dx)^2$처럼 차수가 높은 미소량은 극한 과정에서 영향을 주지 못하고 사라집니다.

• 성분 분해: 삼각함수의 미분은 단위원 위에서의 점의 이동 방향(접선)을 성분 분해한 결과입니다.

• 순환 구조: $\sin$은 미분하면 $\cos$이 되고, $\cos$은 미분하면 $-\sin$이 되는 순환 구조를 가집니다.

• 시각적 유도: 모든 미분 공식은 기하학적 모형의 변화를 통해 시각적으로 유도될 수 있습니다.

---

6. 스스로 체크하기

---

아래 질문들에 대해 스스로 설명할 수 있다면 Chapter 3을 완벽히 이해한 것입니다!

• 고계도 미소량 소거: 정육면체의 부피($x^3$) 미분 시, 왜 세 개의 면($3x^2$)만 남고 모서리나 꼭짓점 부분의 변화는 사라질까요?

• 삼각함수의 부호: 단위원에서 각도 $\theta$가 커질 때 $\cos\theta$ 값은 왜 감소하며, 이것이 미분 부호에는 어떤 영향을 줄까요?

• 곱의 미분 관점: $x^n$ 미분 공식을 이항정리 없이 '곱의 미분' 관점에서 직관적으로 설명할 수 있나요?

• 공식의 확장성: 단위원의 2사분면에서도 $\frac{d}{d\theta}\cos\theta = -\sin\theta$ 공식이 여전히 유효할까요?

• 넓이 보존의 직관: 파워 룰을 모른다고 가정할 때, $\frac{1}{x}$의 변화율을 직사각형의 넓이 보존 개념으로 설명할 수 있나요?