도함수
개요
도함수(derivative)는 수학에서 함수의 변화율을 나타내는 개념으로, 미적분학의 핵심 주제 중 하나입니다. 특정 점에서의 순간적인 변화율이나 기울기를 계산하는 데 사용되며, 물리학, 공학, 경제학 등 다양한 분야에서 응용됩니다. 도함수를 통해 함수의 최대/최소값, 곡선의 기울기, 가속도 등을 분석할 수 있습니다.
도함수의 정의
극한을 통한 정의
도함수는 극한(limit) 개념에 기반합니다. 함수 $ f(x) $의 점 $ x = a $에서의 도함수는 다음과 같이 정의됩니다:
$$
f'(a) = \lim_{h \to 0} \frac{f(a+h) - f(a)}{h}
$$
이 식은 $ x = a $ 근처에서 함수의 평균 변화율을 점 $ h $가 0에 가까워질 때의 극한으로 표현합니다.
기하학적 해석
도함수는 곡선 위의 특정 점에서의 접선의 기울기를 나타냅니다. 예를 들어, 함수 $ f(x) = x^2 $의 도함수 $ f'(x) = 2x $는 $ x = 1 $에서 접선의 기울기가 2임을 의미합니다.
도함수의 계산 규칙
기본 규칙
- 상수 함수: $ \frac{d}{dx} c = 0 $
- 일차 함수: $ \frac{d}{dx} x^n = n x^{n-1} $ (거듭제곱 법칙)
- 합/차의 도함수: $ (f \pm g)' = f' \pm g' $
복합 함수 규칙
- 곱셈 규칙(Product Rule):
$$
(fg)' = f'g + fg'
$$
- 나눗셈 규칙(Quotient Rule):
$$
\left( \frac{f}{g} \right)' = \frac{f'g - fg'}{g^2}
$$
- 연쇄 법칙(Chain Rule):
$$
\frac{d}{dx} f(g(x)) = f'(g(x)) \cdot g'(x)
$$
예시
함수 $ f(x) = (x^2 + 1)^3 $의 도함수는 연쇄 법칙을 적용하여:
$$
f'(x) = 3(x^2 + 1)^2 \cdot 2x = 6x(x^2 + 1)^2
$$
응용 분야
물리학
- 속도와 가속도: 위치 함수 $ s(t) $의 도함수는 속도 $ v(t) = s'(t) $, 두 번째 도함수는 가속도 $ a(t) = v'(t) $입니다.
- 예: $ s(t) = 5t^2 + 3t + 2 \Rightarrow v(t) = 10t + 3 $
경제학
- 마진알 비용: 총비용 함수 $ C(x) $의 도함수는 생산량 증가 시 추가 비용을 나타냅니다.
- 예: $ C(x) = x^2 + 5x \Rightarrow MC = 2x + 5 $
최적화 문제
도함수를 통해 함수의 극대/극소값을 찾습니다. 예를 들어, 수익 함수 $ R(x) = -x^2 + 100x $의 도함수 $ R'(x) = -2x + 100 $을 0으로 둔 후 $ x = 50 $에서 최대 수익을 얻습니다.
고급 개념
다변수 함수의 편도함수
다중 변수 함수 $ f(x, y) $의 편도함수는 다른 변수를 상수로 간주한 상태에서 특정 변수에 대한 도함수입니다. 예:
$$
\frac{\partial}{\partial x} (x^2 + xy + y^3) = 2x + y
$$
고계 도함수
도함수의 도함수를 이차 도함수라고 합니다. 예: $ f(x) = x^3 \Rightarrow f'(x) = 3x^2, f''(x) = 6x $
도함수의 표기법
도함수는 수학적 맥락과 강조하고자 하는 의미에 따라 다양한 표기법이 사용됩니다.
| 표기법 |
형태 |
주요 특징 및 용도 |
| 라이프니츠 표기법 |
$\frac{dy}{dx}, \frac{df}{dx}$ |
변화율($\Delta y / \Delta x$)의 극한이라는 의미가 강하며, 연쇄 법칙이나 미분 방정식 계산 시 변수 간의 관계를 명확히 보여줍니다. |
| 라그랑주 표기법 |
$f'(x), y'$ |
'프라임' 기호를 사용하여 간결하게 표현하며, 함수 자체의 도함수라는 관점에서 가장 널리 쓰입니다. |
| 뉴턴 표기법 |
$\dot{y}, \dot{x}$ |
변수 위에 점을 찍어 표기하며, 주로 물리학에서 시간에 대한 미분(시간 변화율)을 나타낼 때 사용합니다. |
| 오일러 표기법 |
$D_x f$ |
미분을 하나의 연산자(Operator)로 취급하여 선형 대수학적 관점에서 접근할 때 사용합니다. |
미분 가능성과 연속성
함수가 특정 점 $x=a$에서 도함수를 갖기 위해서는 미분 가능성(Differentiability) 조건이 충족되어야 합니다.
미분 가능성의 조건
함수 $f(x)$가 $x=a$에서 미분 가능하려면, 좌미분계수와 우미분계수가 존재하고 그 값이 서로 같아야 합니다.
$$ \lim_{h \to 0^-} \frac{f(a+h) - f(a)}{h} = \lim_{h \to 0^+} \frac{f(a+h) - f(a)}{h} $$
연속성과의 관계
- 미분 가능 $\implies$ 연속: 함수가 어떤 점에서 미분 가능하다면, 그 점에서 반드시 연속입니다.
- 연속 $\not\implies$ 미분 가능: 함수가 연속이라고 해서 반드시 미분 가능한 것은 아닙니다. 즉, 그래프가 끊어지지 않고 이어져 있어도 '뾰족한 점(첨점)'이 있다면 그 점에서는 미분이 불가능합니다.
[미분 불가능한 연속함수의 예시]
절댓값 함수 $f(x) = |x|$는 $x=0$에서 연속이지만, 좌미분계수($-1$)와 우미분계수($1$)가 다르므로 $x=0$에서 미분 불가능합니다.
- 그래프 형태: $V$자 모양의 꺾인 선 (첨점 발생)
국소적 선형 근사
도함수는 단순히 순간 변화율을 구하는 것을 넘어, 복잡한 곡선을 특정 점 근처에서 직선으로 대체하여 생각하는 국소적 선형 근사(Linear Approximation)를 가능하게 합니다.
- 국소적 선형성: 곡선 위의 한 점을 무한히 확대하면, 그 곡선은 결국 그 점에서의 접선과 거의 일치하게 됩니다.
- 선형 근사식: 점 $a$ 근처에서 함수 $f(x)$는 다음과 같이 1차 식으로 근사할 수 있습니다.
$$ f(x) \approx f(a) + f'(a)(x - a) $$
이는 복잡한 비선형 함수를 계산하기 쉬운 직선 함수로 바꾸어 근삿값을 구할 때 매우 유용합니다.
이계도함수를 이용한 곡선 분석
이계도함수 $f''(x)$는 도함수의 변화율을 나타내며, 함수의 그래프가 어떻게 굽어있는지(오목함)와 변곡점을 판별하는 데 사용됩니다.
오목성과 볼록성 (Concavity)
- $f''(x) > 0$ 인 구간: 그래프가 아래로 볼록(convex) 하며, 접선의 기울기가 증가합니다.
- $f''(x) < 0$ 인 구간: 그래프가 위로 볼록(concave) 하며, 접선의 기울기가 감소합니다.
변곡점 판별법 (Inflection Point)
변곡점이란 곡선의 오목함과 볼록함이 바뀌는 점을 말합니다. 점 $x=c$가 변곡점이 되기 위한 조건은 다음과 같습니다.
1. $f''(c) = 0$ 또는 $f''(c)$가 존재하지 않아야 합니다.
2. $x=c$를 경계로 $f''(x)$의 부호가 바뀌어야 합니다.
$$ \text{sgn}(f''(c-\epsilon)) \neq \text{sgn}(f''(c+\epsilon)) \quad (\epsilon > 0) $$
참고 자료
관련 문서
# 도함수
## 개요
도함수(derivative)는 수학에서 함수의 변화율을 나타내는 개념으로, 미적분학의 핵심 주제 중 하나입니다. 특정 점에서의 순간적인 변화율이나 기울기를 계산하는 데 사용되며, 물리학, 공학, 경제학 등 다양한 분야에서 응용됩니다. 도함수를 통해 함수의 최대/최소값, 곡선의 기울기, 가속도 등을 분석할 수 있습니다.
---
## 도함수의 정의
### 극한을 통한 정의
도함수는 **극한(limit)** 개념에 기반합니다. 함수 $ f(x) $의 점 $ x = a $에서의 도함수는 다음과 같이 정의됩니다:
$$
f'(a) = \lim_{h \to 0} \frac{f(a+h) - f(a)}{h}
$$
이 식은 $ x = a $ 근처에서 함수의 평균 변화율을 점 $ h $가 0에 가까워질 때의 극한으로 표현합니다.
### 기하학적 해석
도함수는 곡선 위의 특정 점에서의 **접선의 기울기**를 나타냅니다. 예를 들어, 함수 $ f(x) = x^2 $의 도함수 $ f'(x) = 2x $는 $ x = 1 $에서 접선의 기울기가 2임을 의미합니다.
---
## 도함수의 계산 규칙
### 기본 규칙
1. **상수 함수**: $ \frac{d}{dx} c = 0 $
2. **일차 함수**: $ \frac{d}{dx} x^n = n x^{n-1} $ (거듭제곱 법칙)
3. **합/차의 도함수**: $ (f \pm g)' = f' \pm g' $
### 복합 함수 규칙
1. **곱셈 규칙**(Product Rule):
$$
(fg)' = f'g + fg'
$$
2. **나눗셈 규칙**(Quotient Rule):
$$
\left( \frac{f}{g} \right)' = \frac{f'g - fg'}{g^2}
$$
3. **연쇄 법칙**(Chain Rule):
$$
\frac{d}{dx} f(g(x)) = f'(g(x)) \cdot g'(x)
$$
### 예시
함수 $ f(x) = (x^2 + 1)^3 $의 도함수는 연쇄 법칙을 적용하여:
$$
f'(x) = 3(x^2 + 1)^2 \cdot 2x = 6x(x^2 + 1)^2
$$
---
## 응용 분야
### 물리학
- **속도와 가속도**: 위치 함수 $ s(t) $의 도함수는 속도 $ v(t) = s'(t) $, 두 번째 도함수는 가속도 $ a(t) = v'(t) $입니다.
- 예: $ s(t) = 5t^2 + 3t + 2 \Rightarrow v(t) = 10t + 3 $
### 경제학
- **마진알 비용**: 총비용 함수 $ C(x) $의 도함수는 생산량 증가 시 추가 비용을 나타냅니다.
- 예: $ C(x) = x^2 + 5x \Rightarrow MC = 2x + 5 $
### 최적화 문제
도함수를 통해 함수의 극대/극소값을 찾습니다. 예를 들어, 수익 함수 $ R(x) = -x^2 + 100x $의 도함수 $ R'(x) = -2x + 100 $을 0으로 둔 후 $ x = 50 $에서 최대 수익을 얻습니다.
---
## 고급 개념
### 다변수 함수의 편도함수
다중 변수 함수 $ f(x, y) $의 편도함수는 다른 변수를 상수로 간주한 상태에서 특정 변수에 대한 도함수입니다. 예:
$$
\frac{\partial}{\partial x} (x^2 + xy + y^3) = 2x + y
$$
### 고계 도함수
도함수의 도함수를 **이차 도함수**라고 합니다. 예: $ f(x) = x^3 \Rightarrow f'(x) = 3x^2, f''(x) = 6x $
---
## 도함수의 표기법
도함수는 수학적 맥락과 강조하고자 하는 의미에 따라 다양한 표기법이 사용됩니다.
| 표기법 | 형태 | 주요 특징 및 용도 |
| :--- | :---: | :--- |
| **라이프니츠 표기법** | $\frac{dy}{dx}, \frac{df}{dx}$ | 변화율($\Delta y / \Delta x$)의 극한이라는 의미가 강하며, 연쇄 법칙이나 미분 방정식 계산 시 변수 간의 관계를 명확히 보여줍니다. |
| **라그랑주 표기법** | $f'(x), y'$ | '프라임' 기호를 사용하여 간결하게 표현하며, 함수 자체의 도함수라는 관점에서 가장 널리 쓰입니다. |
| **뉴턴 표기법** | $\dot{y}, \dot{x}$ | 변수 위에 점을 찍어 표기하며, 주로 물리학에서 시간에 대한 미분(시간 변화율)을 나타낼 때 사용합니다. |
| **오일러 표기법** | $D_x f$ | 미분을 하나의 연산자(Operator)로 취급하여 선형 대수학적 관점에서 접근할 때 사용합니다. |
## 미분 가능성과 연속성
함수가 특정 점 $x=a$에서 도함수를 갖기 위해서는 **미분 가능성(Differentiability)** 조건이 충족되어야 합니다.
### 미분 가능성의 조건
함수 $f(x)$가 $x=a$에서 미분 가능하려면, 좌미분계수와 우미분계수가 존재하고 그 값이 서로 같아야 합니다.
$$ \lim_{h \to 0^-} \frac{f(a+h) - f(a)}{h} = \lim_{h \to 0^+} \frac{f(a+h) - f(a)}{h} $$
### 연속성과의 관계
- **미분 가능 $\implies$ 연속**: 함수가 어떤 점에서 미분 가능하다면, 그 점에서 반드시 연속입니다.
- **연속 $\not\implies$ 미분 가능**: 함수가 연속이라고 해서 반드시 미분 가능한 것은 아닙니다. 즉, 그래프가 끊어지지 않고 이어져 있어도 '뾰족한 점(첨점)'이 있다면 그 점에서는 미분이 불가능합니다.
**[미분 불가능한 연속함수의 예시]**
절댓값 함수 $f(x) = |x|$는 $x=0$에서 연속이지만, 좌미분계수($-1$)와 우미분계수($1$)가 다르므로 $x=0$에서 미분 불가능합니다.
- **그래프 형태**: $V$자 모양의 꺾인 선 (첨점 발생)
## 국소적 선형 근사
도함수는 단순히 순간 변화율을 구하는 것을 넘어, 복잡한 곡선을 특정 점 근처에서 직선으로 대체하여 생각하는 **국소적 선형 근사(Linear Approximation)**를 가능하게 합니다.
- **국소적 선형성**: 곡선 위의 한 점을 무한히 확대하면, 그 곡선은 결국 그 점에서의 접선과 거의 일치하게 됩니다.
- **선형 근사식**: 점 $a$ 근처에서 함수 $f(x)$는 다음과 같이 1차 식으로 근사할 수 있습니다.
$$ f(x) \approx f(a) + f'(a)(x - a) $$
이는 복잡한 비선형 함수를 계산하기 쉬운 직선 함수로 바꾸어 근삿값을 구할 때 매우 유용합니다.
## 이계도함수를 이용한 곡선 분석
이계도함수 $f''(x)$는 도함수의 변화율을 나타내며, 함수의 그래프가 어떻게 굽어있는지(오목함)와 변곡점을 판별하는 데 사용됩니다.
### 오목성과 볼록성 (Concavity)
- $f''(x) > 0$ 인 구간: 그래프가 **아래로 볼록(convex)** 하며, 접선의 기울기가 증가합니다.
- $f''(x) < 0$ 인 구간: 그래프가 **위로 볼록(concave)** 하며, 접선의 기울기가 감소합니다.
### 변곡점 판별법 (Inflection Point)
**변곡점**이란 곡선의 오목함과 볼록함이 바뀌는 점을 말합니다. 점 $x=c$가 변곡점이 되기 위한 조건은 다음과 같습니다.
1. $f''(c) = 0$ 또는 $f''(c)$가 존재하지 않아야 합니다.
2. $x=c$를 경계로 $f''(x)$의 **부호가 바뀌어야** 합니다.
$$ \text{sgn}(f''(c-\epsilon)) \neq \text{sgn}(f''(c+\epsilon)) \quad (\epsilon > 0) $$
## 참고 자료
- [미적분학 기초](https://ko.wikipedia.org/wiki/미적분학)
- [도함수 계산 예제](https://www.mathsisfun.com/calculus/derivatives-rules.html)
- [물리학에서의 도함수 활용](https://physics.stackexchange.com/questions/132475/what-is-the-difference-between-a-derivative-and-a-partial-derivative)
---
## 관련 문서
- [적분](https://ko.wikipedia.org/wiki/적분)
- [극한과 연속성](https://ko.wikipedia.org/wiki/극한)
- [미분 방정식](https://ko.wikipedia.org/wiki/미분_방정식)