평균 변화율: 직선의 기울기는 곡선에 맞지 않는다
직선의 기울기는 그 위 어디서나 일정하며, 상승분을 이동분으로 나눈 값 — 즉 직선 위 임의의 두 점 사이에서 수직 값의 변화량을 수평 값의 변화량으로 나눈 값 — 으로 계산됩니다. 반면 곡선은 지점마다 계속해서 달라지는 기울기를 가집니다. f(x) = x^2의 그래프는 x = 0 근처에서는 완만하지만 거기서 멀어질수록 가팔라지므로, 곡선 전체를 하나의 기울기 값으로 나타낼 수 없습니다.
두 점 a와 b 사이에서 함수의 평균 변화율은 직선의 기울기와 같은 방식, 즉 [f(b) − f(a)] / (b − a)로 계산됩니다. 이 값은 해당 구간 전체에 걸쳐 함수가 평균적으로 얼마나 변했는지를 나타내지만, 그 구간 안의 특정한 한 지점에서 함수가 얼마나 가파른지는 나타내지 않습니다 — 곡선은 구간의 한쪽 끝에서는 빠르게 상승하고 다른 쪽 끝에서는 천천히 상승하면서도 구간 전체의 평균 변화율은 동일할 수 있습니다.
할선에서 접선으로: 미분의 극한 정의
곡선 위 두 점을 지나는 직선을 할선이라고 하며, 그 기울기는 두 점 사이의 평균 변화율인 [f(x+h) − f(x)] / h와 같습니다. 여기서 h는 두 점 사이의 수평 거리입니다. 두 번째 점이 첫 번째 점에 점점 더 가까워질수록 — 즉 h가 0을 향해 줄어들수록 — 할선은 회전하며 접선이라는 극한 위치에 가까워집니다. 접선이란 곡선 위 단 한 점에서만 곡선에 닿으며 그 지점에서 곡선의 방향과 일치하는 직선입니다.
x에서 f의 미분은 이 접선의 기울기로 정의되며, 공식적으로는 h가 0에 가까워질 때 할선 기울기의 극한으로 다음과 같이 표현됩니다: f'(x) = lim(h→0) [f(x+h) − f(x)] / h. 이는 모든 표준 미적분학 강의에서 가르치는 공식적인 정의이며, 「순간 변화율」이라는 막연한 개념을 평가하거나 근사할 수 있는 정밀한 극한으로 바꾸어 줍니다.
수치 미분과 기호 미분: 서로 다른 두 가지 질문
기호 미분은 거듭제곱 법칙, 곱의 법칙, 연쇄 법칙 등의 대수적 규칙을 함수의 식에 직접 적용해 원래 함수가 미분 가능한 모든 x에서 성립하는 새로운 공식 f'(x)를 만들어 냅니다. f(x) = x^2가 주어지면 기호 미분은 일반적인 공식 f'(x) = 2x를 반환하며, 이는 추가적인 미적분 계산 없이 어떤 지점에서든 계산할 수 있습니다. x = 3에서는 6, x = 10에서는 20이 됩니다.
수치 미분은 더 좁은 질문에 답합니다. 일반적인 공식을 전혀 유도하지 않고 특정한 한 지점 x0에서 미분값이 얼마인지를 묻는 것입니다. 이 사이트의 미분 계산기는 5점 중심 차분이라는, x0 양쪽에 매우 가까운 여러 지점에서 f를 계산하고 그 값들을 결합해 x0에서의 기울기를 매우 정확하게 추정하는 표준적인 수치해석 기법을 사용합니다. 두 접근법은 같은 결과를 놓고 경쟁하는 방법이 아닙니다 — 하나는 공식을 만들어 내고, 다른 하나는 한 지점에서의 숫자 하나를 만들어 냅니다 — 이 둘을 혼동하는 것이 미분 계산기 결과를 읽을 때 가장 흔한 오해입니다.
| 접근법 | 반환하는 값 | f(x) = x²의 예 |
|---|---|---|
| 기호 미분 | 모든 x에서 성립하는 일반적인 공식 f'(x) | f'(x) = 2x |
| 수치 미분(5점 중심 차분) | 선택한 한 지점에서 f'(x0)의 추정값인 숫자 하나 | f'(3) ≈ 6 |
예제 풀이: x = 3에서 x²의 미분
기호적으로, f(x) = x^2의 미분은 거듭제곱 법칙에 의해 f'(x) = 2x이므로 f'(3) = 2 × 3 = 6이 정확히 성립합니다. 수치적으로, 5점 중심 차분 공식은 작은 간격 h에 대해 f'(x0) ≈ [−f(x0+2h) + 8f(x0+h) − 8f(x0−h) + f(x0−2h)] / (12h)로 f'(x0)를 추정합니다. h = 0.000001, x0 = 3을 사용하면 이 수치 공식은 약 6.000000001로 계산되어, 소수점 여덟째 자리까지 정확한 기호적 결과와 일치합니다.
이러한 일치는 우연이 아니라 예상된 결과입니다. x^2처럼 매끄러운 함수에서는 중심 차분법의 오차가 h^4에 비례해 줄어들므로, 아주 작은 h를 사용하면 보통 표시되는 정밀도 수준에서 정확한 기호적 답과 사실상 구별할 수 없는 수치 추정값을 얻게 됩니다. 두 방법은 x = 3에서의 접선의 기울기라는 동일한 근본 질문에 서로 다른 경로로 답합니다 — 하나는 대수적이고 정확하며, 다른 하나는 수치적이고 근사적이지만 잘 정의된 함수에 대해서는 매우 정확합니다.
계산기 결과를 읽을 때 이 구분이 중요한 이유
이 사이트의 계산기를 포함해 수치 미분 계산기는 2x와 같은 공식을 절대 출력하지 않습니다 — 출력되는 것은 입력한 단 하나의 x0에서 추정된 기울기, 즉 숫자 하나뿐입니다. 다른 지점에서의 미분값을 구하려면 그 새로운 지점을 다시 입력하고 다시 계산해야 합니다. 그 과정에서 f'(x)에 대한 일반적인 식이 만들어지거나 저장되지 않기 때문입니다.
이 구분에는 실질적인 결과가 따릅니다. 수치 미분은 데이터나 시뮬레이션으로부터 구성된 함수, 또는 단순한 대수적 미분이 없는 식처럼 기호적으로 닫힌 형태로 미분하기 어렵거나 불가능한 함수의 미분값도 계산할 수 있습니다. 인접한 지점에서 f를 계산하기만 하면 되고 그 식을 조작할 필요가 없기 때문입니다. 다만 그 대가로 각 결과는 재사용 가능한 일반 공식이 아니라 한 지점에 대한 추정값에 그칩니다.
자주 묻는 질문
미분이란 간단히 말해 무엇인가요?
미분이란 특정한 한 지점에서 함수의 순간 변화율이며, 그 지점에서 함수 그래프에 접하는 접선의 기울기와 같습니다. 공식적으로는 할선을 정의하는 두 점이 하나로 모여들 때의 평균 변화율(할선의 기울기)의 극한으로 정의됩니다.
미분의 극한 정의란 무엇인가요?
x에서 f의 미분은 f'(x) = lim(h→0) [f(x+h) − f(x)] / h로 정의됩니다. 이는 h가 0을 향해 줄어들 때 x와 x+h 두 점 사이 할선 기울기의 극한입니다. 이 극한은 순간 변화율이라는 비공식적인 개념을 정밀한 수학적 정의로 바꾸어 줍니다.
수치 미분과 기호 미분의 차이는 무엇인가요?
기호 미분은 함수의 식에 대수적 규칙을 적용해 모든 지점에서 성립하는 새로운 일반 공식 f'(x)를 만들어 냅니다. 반면 수치 미분은 일반 공식을 전혀 만들지 않고, 5점 중심 차분과 같이 인접한 지점에서의 함숫값을 이용해 특정한 한 지점에서의 미분값을 추정합니다.
수치 미분 계산기는 왜 공식이 아니라 숫자 하나만 알려주나요?
수치 미분은 요청받은 한 지점에 매우 가까운 지점들에서 함수를 계산하고 그 값들을 결합해 기울기를 추정하는 방식으로 작동하기 때문입니다 — 함수의 대수적 구조를 전혀 다루지 않으므로 다른 지점에서도 성립하는 공식을 만들어 낼 방법이 없습니다. 다른 지점에서 미분값을 구하려면 새 지점을 입력하고 계산을 다시 해야 합니다.
x = 3에서 x²의 미분은 얼마인가요?
정확히 6입니다. 기호적으로는 f(x) = x²에 거듭제곱 법칙을 적용하면 f'(x) = 2x이므로 f'(3) = 6입니다. 수치적으로는 작은 간격을 사용한 5점 중심 차분이 소수점 여러 자리까지 같은 결과를 냅니다. 두 방법 모두 x = 3에서의 접선의 기울기라는 동일한 값을 서로 다른 경로로 계산하기 때문입니다.
참고 자료
- Stewart J. Calculus. Cengage Learning (the derivative as the limit of a difference quotient and the slope of the tangent line).
- Burden RL, Faires JD. Numerical Analysis. Cengage Learning (finite-difference approximations to derivatives).
- Spivak M. Calculus (4th ed). Publish or Perish, 2008 (rigorous treatment of limits and the derivative).
- NIST Digital Library of Mathematical Functions (DLMF), Chapter 3: Numerical Methods. dlmf.nist.gov.