함수의 세계에서는 여러 함수가 서로 결합되어 새로운 함수를 형성하는 ‘합성 함수’가 자주 등장합니다. 이 때 중요한 도구가 바로 ‘합성함수의 미분법’, 즉 연쇄법칙입니다. 이 글에서는 합성함수의 개념과 그 미분법을 살펴보고, 다양한 예제를 통해 실제로 어떻게 적용되는지를 자세히 설명하겠습니다.
합성함수란?
합성함수는 두 함수 \( f(x) \), \( g(x) \)가 있을 때, \( f(g(x)) \) 형태로 표현되는 함수입니다. 즉, 먼저 \( g(x) \)를 계산한 후 그 값을 다시 \( f \)에 대입합니다. 예를 들어,
\[ h(x) = \sin(x^2) \]
는 \( g(x) = x^2 \), \( f(x) = \sin x \)로 구성된 합성함수입니다. 이처럼 두 함수가 중첩되어 구성된 함수의 미분에는 특별한 규칙이 필요합니다.
합성함수의 미분법 (연쇄법칙)
합성함수 \( f(g(x)) \)의 도함수는 다음과 같이 구합니다:
\[ \frac{d}{dx} f(g(x)) = f'(g(x)) \cdot g'(x) \]
즉, 바깥 함수 \( f \)를 먼저 미분한 뒤, 그 안에 들어 있는 \( g(x) \)를 그대로 유지한 채, 곱하기 \( g(x) \)의 미분을 해줍니다.
예제 1: \( f(x) = \cos(x^2) \)
여기서 \( g(x) = x^2 \), \( f(x) = \cos x \) 이므로,
\[ f'(x) = -\sin(x^2) \cdot 2x = -2x \sin(x^2) \]
바깥의 코사인을 미분하면 \(-\sin\), 안쪽 함수 \( x^2 \)의 도함수는 \( 2x \)입니다.
예제 2: \( f(x) = \ln(5x^3 + 1) \)
겉함수 \( f(x) = \ln x \), 속함수 \( g(x) = 5x^3 + 1 \) 이므로,
\[ f'(x) = \frac{1}{5x^3 + 1} \cdot 15x^2 = \frac{15x^2}{5x^3 + 1} \]
예제 3: \( f(x) = e^{x^2 + 1} \)
겉함수 \( f(x) = e^x \), 속함수 \( g(x) = x^2 + 1 \) 이므로,
\[ f'(x) = e^{x^2 + 1} \cdot 2x \]
예제 4: \( f(x) = \sqrt{\tan x} \)
겉함수 \( f(x) = \sqrt{x} = x^{1/2} \), 속함수 \( g(x) = \tan x \) 이므로,
\[ f'(x) = \frac{1}{2\sqrt{\tan x}} \cdot \sec^2 x = \frac{\sec^2 x}{2\sqrt{\tan x}} \]
예제 5: 다중 합성함수 \( f(x) = \sin^2(3x) \)
이 함수는 \( f(x) = (\sin(3x))^2 \) 형태로 볼 수 있으며, 3중 합성 구조를 가집니다:
- 겉: \( x^2 \)
- 중간: \( \sin x \)
- 안쪽: \( 3x \)
\[ f'(x) = 2\sin(3x) \cdot \cos(3x) \cdot 3 = 6\sin(3x)\cos(3x) \]
이는 삼각 함수의 배각공식 \( \sin(2a) = 2\sin a \cos a \)를 이용하면 \( 3\sin(6x) \)로도 표현 가능합니다.
주의할 점
- 바깥-안쪽 순서를 정확히 구분하여 미분해야 함
- 중첩이 깊어질수록 단계적으로 적용 필요
- 지수함수, 로그함수, 삼각함수와 조합된 경우 실수가 많으므로 연습이 중요
결론
합성함수란?
한 함수의 출력이 또 다른 함수의 입력이 되는 중첩된 함수 구조이다.
합성함수 미분법
바깥 함수 도함수 × 안쪽 함수 도함수로 계산하는 연쇄법칙을 사용한다.
대표 예제 분석
\(\cos(x^2), \ln(5x^3 + 1), \sqrt{\tan x}\) 등 다양한 조합에 모두 적용 가능하다.
주의사항
계산 순서에 따라 오답이 발생할 수 있으므로 함수 구조를 먼저 분석하고 적용해야 한다.
활용
실제 수학, 물리학, 인공지능의 역전파 알고리즘 등 다방면에서 핵심적으로 활용된다.