도함수
도함수 (Derivative)
도함수(導函數, 영어: derivative)는 미적분학의 핵심 개념 중 하나로, 어떤 함수가 주어진 점에서 얼마나 빠르게 변화하는지를 나타내는 값입니다. 기하학적으로는 함수 그래프의 접선의 기울기를 의미하며, 물리학에서는 순간 속도나 가속도와 같은 변화율을 설명하는 데 필수적입니다. 도함수를 구하는 과정은 미분(differentiation)이라고 하며, 도함수 자체를 구하는 연산자는 미분 연산자라고 부릅니다.
1. 개요 및 정의
도함수는 함수 $f(x)$의 입력값 $x$가 아주 작은 변화량 $\Delta x$만큼 변할 때, 함수값 $f(x)$가 얼마나 변하는지를 비율로 나타낸 것입니다. 이를 엄밀하게 정의하기 위해 극한(limit) 개념을 사용합니다.
함수 $f(x)$가 점 $x=a$에서 미분 가능할 때, $f(x)$의 $x=a$에서의 도함수 $f'(a)$는 다음과 같이 정의됩니다.
$$ f'(a) = \lim_{h \to 0} \frac{f(a+h) - f(a)}{h} $$
여기서 분모의 $h$는 $0$에 수렴하지만 $0$은 아닙니다. 이 극한값이 존재할 때, 함수 $f(x)$는 점 $a$에서 미분 가능(differentiable)하다고 합니다. 만약 모든 점 $x$에서 이 극한값이 존재한다면, 함수 $f(x)$는 전체 정의역에서 미분 가능하다고 하며, 이를 함수 $f'(x)$로 표기합니다. 이를 도함수 함수(derivative function) 또는 단순히 도함수라고 합니다.
2. 도함수의 기하학적 및 물리적 의미
2.1 기하학적 의미: 접선의 기울기
함수 $y = f(x)$의 그래프 위에서 두 점 $(x, f(x))$와 $(x+h, f(x+h))$를 연결하는 할선의 기울기는 $\frac{f(x+h) - f(x)}{h}$입니다. $h$가 $0$에 가까워질수록 이 할선은 점 $(x, f(x))$에서의 접선(tangent line)에 가까워집니다. 따라서 도함수 $f'(x)$는 그래프 위의 각 점에서의 접선의 기울기를 나타냅니다.
- $f'(x) > 0$: 함수가 증가하는 구간 (접선이 우상향)
- $f'(x) < 0$: 함수가 감소하는 구간 (접선이 우하향)
- $f'(x) = 0$: 극대점 또는 극소점이 될 수 있는 점 (수평 접선)
2.2 물리적 의미: 순간 변화율
물리학에서 도함수는 운동의 기본 개념을 설명합니다. * 위치 $s(t)$의 도함수는 속도 $v(t)$입니다. ($v(t) = s'(t)$) * 속도 $v(t)$의 도함수는 가속도 $a(t)$입니다. ($a(t) = v'(t) = s''(t)$)
즉, 도함수는 어떤 양이 다른 양에 대해 얼마나 민감하게 반응하는지를 정량화하는 도구입니다.
3. 도함수의 계산 방법
복잡한 함수의 도함수를 직접 극한 정의를 통해 구하는 것은 계산적으로 번거롭습니다. 따라서 다음과 같은 미분 법칙과 공식들을 활용하여 효율적으로 계산합니다.
3.1 기본 미분 공식
주요 기본 함수들의 도함수는 다음과 같습니다.
| 함수 $f(x)$ | 도함수 $f'(x)$ | 비고 |
|---|---|---|
| $c$ (상수) | $0$ | 상수의 미분은 0 |
| $x^n$ | $nx^{n-1}$ | 거듭제곱 법칙 |
| $e^x$ | $e^x$ | 지수함수 자체의 도함수 |
| $\ln x$ | $\frac{1}{x}$ | 자연로그 함수 |
| $\sin x$ | $\cos x$ | 삼각함수 |
| $\cos x$ | $-\sin x$ | 삼각함수 |
3.2 연산 법칙
여러 함수의 합, 차, 곱,商的 도함수를 구할 때 사용하는 주요 법칙입니다.
- 합과 차의 미분: $$ (f(x) \pm g(x))' = f'(x) \pm g'(x) $$
- 상수배의 미분: $$ (cf(x))' = c f'(x) $$
- 곱의 미분법 (Product Rule): $$ (f(x)g(x))' = f'(x)g(x) + f(x)g'(x) $$
- 商의 미분법 (Quotient Rule): $$ \left(\frac{f(x)}{g(x)}\right)' = \frac{f'(x)g(x) - f(x)g'(x)}{(g(x))^2} $$
- 연쇄 법칙 (Chain Rule): 합성함수 $y = f(g(x))$의 도함수는 다음과 같습니다. $$ \frac{dy}{dx} = \frac{dy}{du} \cdot \frac{du}{dx} \quad (\text{where } u = g(x)) $$ 즉, 바깥쪽 함수의 미분과 안쪽 함수의 미분을 곱합니다.
4. 고계 도함수 (Higher-Order Derivatives)
도함수 자체도 함수이므로, 다시 미분할 수 있습니다. 이를 고계 도함수(higher-order derivative)라고 합니다.
- 1계 도함수: $f'(x)$ 또는 $\frac{dy}{dx}$
- 2계 도함수: $f''(x)$ 또는 $\frac{d^2y}{dx^2}$ (1계 도함수의 도함수)
- n계 도함수: $f^{(n)}(x)$ 또는 $\frac{d^ny}{dx^n}$
물리학에서 위치의 2계 도함수는 가속도를 나타내며, 공학에서는 구조물의 진동 해석이나 제어 시스템의 안정성 분석에 널리 사용됩니다.
5. 관련 개념 및 응용
- 연결성: 미분 가능하면 연속이다. (역은 성립하지 않음: 연속이어도 미분 가능하지 않을 수 있음. 예: $y=|x|$는 $x=0$에서 연속이지만 미분 불가)
- 평균값 정리: 구간 $[a, b]$에서 연속이고 $(a, b)$에서 미분 가능하면, $f'(c) = \frac{f(b)-f(a)}{b-a}$를 만족하는 $c$가 존재한다.
- 테일러 급수: 도함수들의 값을 이용하여 함수를 다항식으로 근사하는 방법입니다. 이는 수치 해석과 컴퓨터 그래픽스에서 함수 근사에 필수적입니다.
6. 참고 자료
- Stewart, J. (2015). Calculus: Early Transcendentals. Cengage Learning.
- 김민수, (2018). 미적분학 입문. 서울대학교 출판문화원.
- Wolfram MathWorld. "Derivative." https://mathworld.wolfram.com/Derivative.html
본 문서는 위키백과 및 표준 미적분학 교재의 내용을 참고하여 작성되었습니다.
이 문서는 AI 모델(qwen/qwen3.6-35b-a3b)에 의해 생성된 콘텐츠입니다.
주의사항: AI가 생성한 내용은 부정확하거나 편향된 정보를 포함할 수 있습니다. 중요한 결정을 내리기 전에 반드시 신뢰할 수 있는 출처를 통해 정보를 확인하시기 바랍니다.