미분이 어떤 점에서 함수의 기울기를 포착한다면, 테일러 급수는 그 점에서 함수 전체를 포착합니다 — 무한히 많은 미분을 쌓아 올림으로써 말이죠. 테일러 급수는 미적분과 수치 계산을 잇는 다리입니다. 계산기가 sin(0.4)를 계산할 때마다 내부에서는 테일러 급수를 더하고 있는 것입니다.
테일러 급수 공식
x=a를 중심으로 하는 함수 f의 테일러 급수는 다음과 같습니다:
f(x)=∑n=0∞n!f(n)(a)(x−a)n
즉, 점 a에서 f, f′, f′′, f′′′, …를 계산한 다음, n번째 항이 n!f(n)(a)(x−a)n인 다항식을 만드는 것입니다.
a=0일 때 이 급수를 매클로린 급수라고 부릅니다 — 가장 흔한 경우입니다.
왜 이것이 통할까?
점 a 주변에서 함수는 처음에는 접선(n=1 항)처럼 보이고, 그다음에는 곡률을 포함한 포물선(n=2)처럼, 이어서 삼차함수처럼 보이며 계속됩니다. 고차 미분일수록 더 세밀한 모양 정보를 포착합니다. 무한히 많이 더하면 ("좋은" 함수의 경우) f를 정확히 복원하게 됩니다.
세 가지 고전적인 매클로린 전개
이 세 가지는 외워 두세요 — 끊임없이 등장합니다:
ex=∑n=0∞n!xn=1+x+2!x2+3!x3+…
sinx=∑n=0∞(2n+1)!(−1)nx2n+1=x−3!x3+5!x5−…
cosx=∑n=0∞(2n)!(−1)nx2n=1−2!x2+4!x4−…
지수함수의 급수는 모든 거듭제곱을 포함합니다. 사인은 홀수 거듭제곱만, 코사인은 짝수 거듭제곱만 포함합니다. 그 대칭성은 0에서 어떤 미분이 0이 되는지의 직접적인 결과입니다.
예제: sinx를 처음부터 만들기
f(x)=sinx라고 합시다. a=0에서:
- f(0)=0
- f′(0)=cos(0)=1
- f′′(0)=−sin(0)=0
- f′′′(0)=−cos(0)=−1
- f(4)(0)=sin(0)=0
- 이 패턴은 미분 4번마다 반복됩니다.
테일러 공식에 대입합니다:
sinx≈0+1⋅x+0⋅2!x2+(−1)3!x3+0+5!x5−…
이는 x−x3/6+x5/120−…로 간단해집니다. 위 공식과 같습니다.
실제 근사
0 근처의 작은 x에 대해서는 처음 몇 항만으로도 매우 정확합니다:
- sin(0.1)≈0.1−0.001/6≈0.09983 (참값: 0.0998334…).
이것이 소각 근사 sinx≈x가 성립하는 이유입니다. x가 작을 때 다음 항이 아주 작기 때문입니다.
수렴 — 언제 실제로 f와 같아지는가?
테일러 급수에는 수렴 반지름 R이 있습니다. ∣x−a∣<R일 때 급수는 f(x)와 같고, 그 밖에서는 급수가 발산합니다. 일부 함수(ex, sinx, cosx)는 R=∞입니다. 0을 중심으로 한 1/(1−x) 같은 다른 함수는 R=1입니다.
흔한 실수
- 계승 분모 n! 을 잊는 것.
- 급수 전개를 혼동하는 것 — 사인은 홀수, 코사인은 짝수, ex는 전부.
- 수렴 반지름을 확인하지 않고 수렴을 가정하는 것.
AI 급수 솔버로 시도해 보기
급수 계산기를 사용해 임의의 함수에 대한 테일러 전개를 계산해 보세요 — 미분 단계, 결과 다항식, 그리고 수치적 타당성 검사를 보여줍니다.
관련 링크: