곡선은 지금 무엇을 하고 있는가?
움직이는 점은 자취를 남긴다. 미분은 그 자취가 아니다. 지금 이 순간, 자취가 되려고 하는 화살표다. 평균 속도는 두 점을 두고 나누면 그만이지만, 순간 속도는 점 하나뿐인데도 기어이 하나의 수로 정해진다. 그 수 — 물리·ML·공학의 모든 변화율이 결국 이것이다 — 는 두 점을 지나는 할선이 한 점에서의 접선으로 무너지도록 몰아붙여 얻는다.
아래 위젯: 위의 두 점을 잇는 주황색 할선. h를 0으로 끌면 할선이 갈색 접선으로 회전해 무너진다. 그 기울기가 수렴하는 값이 그 점에서의 미분 — 곡선의 순간 방향이 한 숫자로 응축된 것.
- 정의
순간 변화율. . 자취가 지금 이 순간 되려는 화살표 — 두 번째 점이 첫 번째 점으로 무너져 들어가면서, 할선 기울기들이 하나의 접선 기울기로 좁혀진다.
- 적용
변화율이 등장하는 모든 곳. 속도 (위치 → 속력), 경사하강 (손실 → 한 걸음 방향), 작은 각 근사 (0 근처 sin θ ≈ θ), 물리·ML·제어의 국소 선형화. 한 기계, 네 이름: 기울기·속도·변화율·그래디언트.
- 한계
극한이 존재해야 한다. 뾰족한 모서리 (0에서의 |x|), 점프 (계단 함수), 병적인 진동 (어디서도 미분 불가능한 바이어슈트라스 함수)에는 미분이 없다. ML에서는 숨은 비미분 지점들 — ReLU의 0, 맥스풀링, 지시 함수 — 을 관례로 메운다. 수학이 아니라 합의로 메운다는 뜻이다 — 그 지점을 통과하는 그래디언트는 사실이 아니라 선택이다.
Δ 분의 Δ — 평균 변화율
에 에서 출발해 에
에 도착했다. 평균 속도는
. 이 수는 여정 전체를 요약할 뿐,
에 무엇을 하고 있었는지는 말해주지 않는다. 위치 그래프 위
과 를 잇는 직선이
# Average rate of change — the secant slope. Two points, one division.
def average_rate(f, a, b):
return (f(b) - f(a)) / (b - a)
f = lambda t: t * t # x(t) = t² — toy "position"
average_rate(f, 1, 3) # → 4.0 (position went 1 → 9 in 2 seconds)구간을 0으로 — 순간 변화율
“에서 무엇을 하고 있었나”는 할선의 두 점이 하나로 합쳐져야 답이 나온다. 기준점 를 고정하고 작은 구간 를 잡아 를 계산하면서 를 줄여 나가자. 이라면:
(f(2+h) − f(2)) / h = ((2+h)² − 4) / h = (4 + 4h + h² − 4) / h = 4 + h ← independent of how big h is, except for the +h tail
일 때 식은 로 수렴한다. 막연히 “다가간다”는 뜻이
아니다 — 값은 정확히 이고, 는 얼마든지 작게 만들 수
있다. 극한에서 살아남는 수 4가 에서 의
# Instantaneous rate — shrink the interval and watch the secant slope
# converge to the tangent slope. No epsilon-delta; just shrink and look.
def secant_slope(f, a, h):
return (f(a + h) - f(a)) / h
[secant_slope(f, 3, h) for h in (1, 0.1, 0.01, 0.0001)]
# → [7.0, 6.1, 6.01, 6.0001]
# The pattern: 6 + h. The limit as h → 0 is 6.
# That's f'(3) for f(t) = t². In general, f'(t) = 2t.기계는 하나, 이름은 셋 — 기울기·속도·변화율
레시피 — 두 점을 잡고, 할선 기울기를 계산하고, 구간을 줄이고, 극한을 취한다 — 는 무엇을 넣어도 같은 종류의 수를 낸다. 가 시간 대 위치 함수면 미분은
표준 패턴: 의 미분은 . 위젯은 경우를 보여준다 — 기준 a를 끌면 가 읽힌다. 같은 기계를 에 돌리면 가 나오고, 에 돌리면 가 그대로 돌아오고, 상수에 돌리면 0. 이 이름들 — “미분법” — 은 장부일 뿐, 바닥에 깔린 연산은 단 하나, _할선 기울기의 극한_이다.
두 번 미분하면 — 가속도
함수의 미분은 그 자체로 함수다. 한 번 더 미분할 수 있다. 이라면 (직선), (상수). 위치를 두 번 미분하면
이 사다리 — 위치, 속도, 가속도 — 는 미분이라는 도구만 손에 쥐면 “뉴턴 제2법칙” 그 자체가 된다: 힘 = 질량 × 위치의 두 번째 미분. 입문 물리의 대부분은 이 한 사실의 대수·기하적 따름결과다.
이게 어디에 나타나나 — 같은 연산, 세 필러
미분은 단순히 기울기가 아니다. 국소적인 변화다 — 한 양을 아주 조금 건드렸을 때 다른 양이 어떻게 반응하는가. 같은 연산이 필러마다 다른 이름으로 나타나지만, 대수는 같다.
물리 : 위치가 속도로 바뀌고, 속도가 가속도로 바뀐다.
그 변화를 결정하는 것이 힘.
ML : 매개변수가 움직일 때 손실이 변한다.
그래디언트가 손실이 떨어지는 방향을 말해준다.
금융 : 금리가 움직일 때 가격이 변한다. 미분이 그 민감도를 잰다 —
채권에는 듀레이션, 옵션에는 그릭스.포물선 운동 — 식 와 를 미분하면 (상수)와 (선형)가 나온다. 위치를 미분하면 바로 속도가 되고, 한 번 더 미분하면 상수 가속도다.
진자시계 — 운동 방정식 는 왼쪽이 θ의 두 번 미분, 오른쪽이 θ의 함수다. 를 로 갈아끼우면 (선형화 트릭) —
종단속도 — 미분방정식 는 왼쪽이 한 번의 미분, 오른쪽이 단위 질량당 알짜힘이다.
감쇠 진동자 — 식 의 왼쪽에 미분이 두 번 깔린다 — 속도 항과 가속도 항.
경사하강법 — 손실 는 다변수 함수다. 그
현재가치 — 같은 연산, 금융 어휘로. 채권 가격은 이고, 수정 듀레이션 는 정규화된 미분 — 금리가 움직일 때 채권 가격이 얼마나 움직일지를 예측한다. 옵션의 그릭스도 같은 가족 — , 는 그 2계 도함수, 등등. 금융의 derivative와 수학의 미분 (derivative) 이 같은 단어인 데에는 이유가 있다.
이름은 달라도 같은 생각이다 — 물리에서는 속도, ML에서는 그래디언트, 금융에서는 민감도. 셋 다 미분이 국소적인 변화 규칙을 말해준다.
# Position → velocity → acceleration. Same machine, applied twice.
# Projectile: y(t) = v₀ sin θ · t − ½ g t² (from /physics/projectile-motion)
# dy/dt = v₀ sin θ − g t (vertical velocity)
# d²y/dt² = −g (vertical acceleration — constant)
#
# Pendulum (small-angle): θ(t) = θ₀ cos(ω t), ω = √(g/L)
# dθ/dt = −θ₀ ω sin(ω t)
# d²θ/dt² = −θ₀ ω² cos(ω t) = −ω² · θ(t) ← simple harmonic motion
#
# Each application's equation of motion is one or two derivatives applied
# to the position function. The derivative is the shared tool.Δ는 구간을 안다. d는 순간을 안다. 미분은 구간이 0으로 줄어들 때 Δ가 도달하는 자리 — 그리고 그 살아남는 극한이, 물리가 변화율이라 부르는 모든 것이다.
에서 구간 의 평균 변화율을 계산하라. 이어서 , 그다음 . 어떤 패턴이 보이는가?
에서 할선 기울기 정의로부터 를 유도하라. 대수 과정을 한 단계도 빼지 말고 모두 보여라.
위젯은 를 보여준다. 공식을 쓰지 말고 a를 움직이고 h를 줄여서 와 에서 접선 기울기를 읽어내라. 두 수를 모두 설명하는 규칙을 한 줄로 적어라.
포물선 운동의 세로 위치는 다. 같은 레시피로 를 유도하라. 포물선 위젯이 표시하는 v_y 값과 맞아떨어지는지 확인하라.