로그함수는 지수함수의 역함수이다.
지수함수가 미분가능한 함수이므로 역함수인 로그함수 또한 미분가능한 함수임을 알 수 있다.
- 로그함수의 도함수
$$\frac{d}{dx}(log_bx) = \frac{1}{xlnb}$$ |
증명
$$y = log_bx\ 라면\ b^y = x\ 이다.$$
$$x에\ 관하여\ 음함수의\ 미분법을 적용하면$$
$$b^y×lnb×y' = 1\ 이고, y' = \frac{1}{b^ylnb} = \frac{1}{xlnb}\ 이다.$$
이를 통해 자연로그함수 lnx의 미분 결과는
$$\frac{d}{dx}lnx = \frac{1}{x}\ 임을\ 알\ 수\ 있다.$$
예제1.
$$y = ln(sinx)를\ 미분하라$$
풀이1.
y = ln(sinx)를 f(x) = lnx, g(x) = sinx 로 이루어진 합성함수로 생각하자
합성함수 미분법에 의하여
$$f'(x) = \frac{1}{x},\ g'(x) = cosx\ 이므로$$
$$[f(g(x))]' = f'(g(x))*g'(x) = \frac{cosx}{sinx}$$
- 역삼각함수의 도함수
역삼각함수의 미분공식을 먼저 살펴보자.
$$\frac{d}{dx}sin^{-1}x = \frac{1}{\sqrt{1-x^2}}$$ | $$\frac{d}{dx}csc^{-1}x = -\frac{1}{x\sqrt{x^2-1}}$$ |
$$\frac{d}{dx}cos^{-1}x = -\frac{1}{\sqrt{1-x^2}}$$ | $$\frac{d}{dx}sec^{-1}x = \frac{1}{x\sqrt{x^2-1}}$$ |
$$\frac{d}{dx}tan^{-1}x = \frac{1}{1+x^2}$$ | $$\frac{d}{dx}cot^{-1}x = -\frac{1}{1+x^2}$$ |
위 역삼각함수의 미분공식 중 arcsinx의 미분과 arctanx의 미분이 주로 나오는데 여기서는 arcsinx의 미분을 증명해보겠다.
증명
$$y = sin^{-1}x\ 이면\ siny = x 이다.\ \ -\frac{pi}{2}≤ y≤ \frac{pi}{2}$$
$$음함수의\ 미분법으로\ siny=x를\ 미분하면$$
$$y'cosy = 1이\ 된다.$$
$$cosy = \sqrt{1-sin^2y} = \sqrt{1-x^2}$$
$$따라서\ y' = \frac{1}{cosy} = \frac{1}{\sqrt{1-x^2}}$$
예제2.
$$y=\frac{1}{sin^{-1}x}를\ 미분하라$$
풀이2.
몫의 미분법을 적용하면
$$y' = -\frac{(sin^{-1}x)'}{(sin^{-1}x)^2} =-\frac{1}{\sqrt{1-x^2}}* \frac{1}{(sin^{-1}x)^2} $$
$$= -\frac{1}{ (sin^{-1}x)^2 \sqrt{1-x^2}}$$
'CALCULUS 핵심미분적분학' 카테고리의 다른 글
CALCULUS 핵심 미적분학 (제 9판) | 3 - 5 쌍곡선함수 (1) | 2024.10.11 |
---|---|
CALCULUS 핵심 미적분학 (제 9판) | 3 - 4 선형 근사 (8) | 2024.10.11 |
CALCULUS 핵심 미적분학 (제 9판) | 3 - 2 음함수 미분법 (1) | 2024.10.10 |
CALCULUS 핵심 미적분학 (제 9판) | 3 - 1-(2)곱 법칙과 몫 법칙, 삼각함수의 도함수, 연쇄법칙 (2) | 2024.10.08 |
CALCULUS 핵심 미적분학 (제 9판) | 3 - 1 - (1) 다항함수와 지수함수의 도함수 (0) | 2024.09.26 |