Chapter 6 - 음함수의 미분, 그 기묘한 과정

0. 이 장의 목적

"함수 관계가 $y = f(x)$처럼 명확히 드러나지 않는 상황에서, 변수 간의 미세한 균형 관계($dx, dy$)를 추적하여 곡선의 기울기를 도출한다."

Chapter 5까지가 하나의 입력 $x$에 대해 하나의 출력 $y$가 명시적으로 짝지어지는 '양함수(Explicit Function)'의 세계를 다루었다면, Chapter 6은 변수들이 서로 복잡하게 얽혀 있는 '음함수(Implicit Function)'의 세계로 들어갑니다.

우리는 이 장을 통해 명시적으로 정리되지 않은 수식에서도 변수 간의 미세한 변화량 균형($df = 0$)을 이용하여 접선의 기울기를 구하는 원리를 파악하고, 이것이 물리적 연관 변화율과 AI/딥러닝의 복잡한 제약 조건 최적화에 어떻게 적용되는지 직관적으로 이해해 보겠습니다.

---

1. 음함수(Implicit Curve)의 본질적 의미

1.1 명시적 함수(Explicit) vs 음함수(Implicit)

• 명시적 함수 (Explicit): $y = x^2$ 또는 $y = \sin(x)$처럼 한 변수가 다른 변수의 직접적인 연산 결과(입출력 관계)로 명확히 정의됩니다.

• 음함수 (Implicit): $x^2 + y^2 = 25$처럼 두 변수가 서로 얽혀 특정 조건(방정식)을 만족해야 하는 상태입니다. 이는 평면 위의 모든 점 $(x, y)$ 중에서 해당 방정식을 만족하여 '0(또는 상수의 균형)'을 맞추는 점들만 연결한 곡선입니다.

1.2 기하학적 직관

음함수의 미분은 곡선 위의 한 점 $(x, y)$에서 등식의 균형을 깨트리지 않으면서 아주 미세하게 이동할 수 있는 방향($dx$와 $dy$의 비율)을 찾는 과정입니다.

---

2. 미세한 변화의 균형 (The Nuance of Steps)

2.1 전변분과 변화량의 관점 ($df = 0$)

원의 방정식 $x^2 + y^2 = 25$를 예로 들어보겠습니다. 이 식을 $f(x, y) = x^2 + y^2$라는 어떤 지형의 높이 값이라고 생각하면, 우리는 높이가 정확히 $25$인 등고선(Contour Line) 위에만 서 있어야 합니다.

우리가 $dx, dy$만큼 움직였을 때, 여전히 원 위에 있으려면 전체 높이의 변화량(전미분 $df$)은 반드시 $0$이어야 합니다.

이를 수식으로 나타내면 다음과 같습니다:

$d(x^2 + y^2) = d(25)$

$2x\,dx + 2y\,dy = 0$

2.2 왜 뒤에 $dx, dy$가 붙는가? (미분의 정의)

• $x^2$의 변화량은 $x$의 변화량($dx$)에 그 지점의 기울기($2x$)를 곱한 $2x\,dx$입니다.

• 마찬가지로 $y^2$의 변화량은 $y$의 변화량($dy$)에 기울기($2y$)를 곱한 $2y\,dy$입니다.

• 이 두 변화량의 합이 정확히 $0$이 되어야만 원의 궤적을 벗어나지 않고 균형을 유지합니다.

---

3. 연쇄 법칙(Chain Rule)과의 연결

3.1 $y$를 $x$에 대한 함수로 간주하기

전통적인 계산 방식에서는 $y$를 $x$에 의존하는 함수 $y(x)$로 봅니다.

$x^2 + [y(x)]^2 = 25$의 양변을 $x$에 대해 미분하면:

1. $x^2$을 미분하면: $2x$

2. $[y(x)]^2$을 미분하면 (연쇄 법칙 적용): 겉함수 미분($2y$) $\times$ 속함수 미분($\frac{dy}{dx}$)

3. 상수를 미분하면: $0$

결과적으로 아래와 같은 식을 얻습니다:

$2x + 2y\frac{dy}{dx} = 0$

$\frac{dy}{dx} = -\frac{x}{y}$

---

4. 실전 응용 및 확장

4.1 사다리 미끄러짐 문제 (Related Rates)

길이가 $5\text{m}$인 사다리가 벽에 기대어 있고, 바닥이 $\frac{dx}{dt}$의 속도로 멀어질 때 꼭대기가 내려오는 속도 $\frac{dy}{dt}$를 구하는 물리 문제입니다.

• 관계식: $x^2 + y^2 = 5^2$

• 시간 $t$에 대한 음함수 미분:
  $2x\frac{dx}{dt} + 2y\frac{dy}{dt} = 0$

이 식은 $x, y$ 위치에 따른 두 속도 사이의 '강제된 물리적 상관관계'를 완벽하게 설명합니다.

4.2 로그함수 $\ln(x)$의 미분 공식 유도

$y = \ln(x)$를 직접 미분하기 어려울 때, 음함수 형태인 $e^y = x$로 바꾸어 해결할 수 있습니다.

• 양변을 $x$에 대해 미분:
  $\frac{d}{dx}(e^y) = \frac{d}{dx}(x)$
• 연쇄 법칙 적용:
  $e^y \cdot \frac{dy}{dx} = 1$
• 정리:
  $\frac{dy}{dx} = \frac{1}{e^y}$
• 원래 $e^y = x$였으므로:
  $\frac{d}{dx}\ln(x) = \frac{1}{x}$

AI 엔지니어가 잡아야 할 직관

이 음함수 미분의 아이디어는 딥러닝의 Implicit Reparameterization이나, 에너지 기반 모델(Energy-based Model), 그리고 최신 AI 분야의 Implicit Neural Representations (INR / NeRF) 에서 복잡한 공간적 제약 조건을 가진 수식을 다룰 때 핵심적인 수학적 기초가 됩니다.

---

5. 이 장의 핵심 요약

• 균형 유지: 음함수 미분은 식의 양변이 가진 '미세 변화량($df=0$)'이 서로 같아야 한다는 원리를 이용합니다.

• 독립성 탈피: $x$와 $y$를 입력/출력 관계가 아닌, 서로의 변화에 제약을 주는 동등한 관계로 바라봅니다.

• 기하적 의미: 결과값 $\frac{dy}{dx}$는 곡선 위의 특정 좌표 $(x, y)$에서 접선의 기울기를 의미합니다.

• 강력한 도구: 복잡한 역함수나 물리적 연관 변화율, 제약 조건 최적화 문제를 풀 때 가장 효율적인 해법을 제공합니다.

---

6. 스스로 체크하기

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

• $0/0$ 부정형 회피: $x^2 + y^2 = 25$ 미분 시 왜 우변은 $0$이 되는가?

  • (A: 상수는 변화량이 없기 때문입니다 ($d(\text{const}) = 0$).)

• 기하학적 적용: $\frac{dy}{dx} = -x/y$라면, 원의 꼭대기($(0, 5)$)에서 기울기는?

  • (A: $-0/5 = 0$입니다. 즉, 꼭대기에서 접선은 수평입니다.)

• 연쇄 법칙 누락: 음함수 미분에서 가장 많이 실수하는 부분은?

  • (A: $y$항을 미분할 때 연쇄 법칙($\frac{dy}{dx}$)을 빼먹는 것입니다. $y$는 단순 변수가 아니라 $x$의 변화에 따라 함께 움직이는 종속적 관계임을 잊지 말아야 합니다.)