함수의 역함수는 원래 함수의 입력과 출력을 뒤바꾼 함수입니다. 미적분학에서는 어떤 함수의 역함수가 주어졌을 때, 그 도함수를 직접 구하기 어려운 경우가 많습니다. 이럴 때 매우 유용하게 쓰이는 것이 바로 ‘역함수의 미분법’입니다. 이 글에서는 역함수 미분법의 정의, 유도 과정, 그리고 다양한 예제를 통해 이 개념을 명확히 이해해보겠습니다.
역함수의 정의
함수 \( f(x) \)가 일대일 대응이면 역함수 \( f^{-1}(x) \)가 존재하며, 다음 관계를 가집니다:
\[ f(f^{-1}(x)) = x, \quad f^{-1}(f(x)) = x \]
즉, \( f(x) \)와 \( f^{-1}(x) \)는 서로의 입력과 출력을 뒤바꾼 관계입니다.
역함수 미분법 공식
함수 \( f \)와 그 역함수 \( f^{-1} \)가 모두 미분 가능하다고 할 때, 다음 공식이 성립합니다:
\[ \frac{d}{dx} f^{-1}(x) = \frac{1}{f'(f^{-1}(x))} \]
즉, 역함수의 도함수는 원래 함수의 도함수를 역함수에 대입한 뒤, 그 역수를 취하는 구조입니다.
유도 과정 요약
함수 \( y = f^{-1}(x) \)는 \( f(y) = x \)이므로, 양변을 \( x \)에 대해 미분하면 다음과 같습니다:
\[ \frac{d}{dx} f(y) = \frac{d}{dx} x \Rightarrow f'(y) \cdot \frac{dy}{dx} = 1 \Rightarrow \frac{dy}{dx} = \frac{1}{f'(y)} = \frac{1}{f'(f^{-1}(x))} \]
예제 1: \( f(x) = e^x \)의 역함수 \( f^{-1}(x) = \ln x \)
\[ \frac{d}{dx} \ln x = \frac{1}{e^{\ln x}} = \frac{1}{x} \]
이는 우리가 잘 알고 있는 \( \frac{d}{dx} \ln x = \frac{1}{x} \) 공식을 역함수 미분법으로 다시 확인한 예입니다.
예제 2: \( f(x) = \tan x \)의 역함수 \( f^{-1}(x) = \tan^{-1} x \)
\[ \frac{d}{dx} \tan^{-1} x = \frac{1}{\frac{d}{dx} \tan y} = \frac{1}{\sec^2 y} \]
여기서 \( \tan y = x \)이므로 \( \sec^2 y = 1 + \tan^2 y = 1 + x^2 \) 이고, 따라서
\[ \frac{d}{dx} \tan^{-1} x = \frac{1}{1 + x^2} \]
예제 3: \( f(x) = x + \sin x \)의 역함수 도함수
역함수 \( f^{-1}(x) \)는 일반적으로 명시적인 식으로 표현하기 어렵습니다. 그러나 역함수 미분법을 이용하면 도함수는 다음과 같이 구할 수 있습니다:
\[ \frac{d}{dx} f^{-1}(x) = \frac{1}{f'(f^{-1}(x))} = \frac{1}{1 + \cos(f^{-1}(x))} \]
이처럼 역함수 자체는 구할 수 없더라도, 도함수는 역함수 미분법을 통해 표현할 수 있습니다.
예제 4: 역함수의 그래프에서 도함수 구하기
예를 들어 함수 \( f(x) \)가 \( x = 2 \)일 때 \( f(2) = 5 \), \( f'(2) = 4 \)라고 할 때, \( f^{-1}(x) \)의 도함수는 다음과 같이 구할 수 있습니다:
\[ (f^{-1})'(5) = \frac{1}{f'(2)} = \frac{1}{4} \]
즉, \( f^{-1}(5) = 2 \)이고, 역함수의 도함수는 원함수의 도함수의 역수로 계산됩니다.
주의할 점
- 역함수의 존재 여부: \( f \)가 일대일 대응이어야 함
- 미분 가능성: \( f \)와 \( f^{-1} \) 모두 미분 가능해야 공식 적용 가능
- 도함수 내 함수 대입: \( f'(f^{-1}(x)) \)에서 반드시 역함수로 대입
결론
공식 요약
\[ \frac{d}{dx} f^{-1}(x) = \frac{1}{f'(f^{-1}(x))} \] 역함수의 미분은 원함수의 도함수 역수로 구한다.
대표 예제
지수함수와 로그함수, 삼각함수와 역삼각함수 등 다양한 함수에서 활용 가능하다.
함수를 모를 때도 가능
역함수를 명시적으로 구하지 못하더라도, 미분은 표현 가능하다.
실전 활용
역함수의 도함수 계산은 역함수 그래프, 과학 모델링, 물리 계산 등 다양한 분야에 응용된다.