라그랑주 오차 한계 계산기

라그랑주 오차 한계는 테일러 나머지 정리 또는 라그랑주 나머지라고도 하며, 테일러 다항식이 근사하는 실제 함수에서 얼마나 벗어날 수 있는지에 대한 엄격한 상한을 제공합니다. eˣ, cos(x), ln(x) 같은 복잡한 함수를 n차 다항식으로 바꾸면 절단 오차가 생깁니다. 라그랑주 한계는 지정된 구간에서 그 오차가 최악의 경우 얼마나 커질 수 있는지 알려 주므로, 정밀도가 중요한 곳에서 필수적입니다. 공식은 |Rₙ(x)| ≤ M × |x − a|ⁿ⁺¹ / (n+1)! 입니다. 여기서 n은 테일러 다항식의 차수, a는 전개 중심(다항식이 만들어지는 기준점), x는 근사값을 평가하는 특정 점, M은 a와 x 사이의 닫힌 구간에서 함수의 (n+1)차 도함수 절댓값의 최댓값입니다. 핵심은 n이 커질수록 오차가 줄어든다는 점입니다. 분모의 팩토리얼이 분자에 있는 (x − a)의 거듭제곱보다 훨씬 빠르게 증가하기 때문입니다. M을 찾는 것이 이 과정에서 가장 분석이 많이 필요한 부분입니다. 먼저 함수의 (n+1)차 도함수를 기호적으로 구한 뒤, 구간 [a, x] (x < a이면 [x, a])에서 그 절댓값의 최댓값을 찾아야 합니다. 지수 함수나 삼각 함수처럼 다루기 쉬운 함수는 M을 정하기가 비교적 쉽습니다. eˣ의 (n+1)차 도함수는 여전히 eˣ이므로, 오른쪽 끝점에서의 eˣ를 M으로 쓰면 됩니다. cos(x)는 모든 도함수가 1로 제한되므로 M = 1이면 항상 안전합니다(다만 더 타이트한 상한이 가능한 경우도 있습니다). 다른 함수는 기호 미분을 하고 구간 내 식을 간단히 분석하면 됩니다. 이 상한은 수치해석, 과학 계산, 공학 전반에서 널리 쓰입니다. 계산기, 컴퓨터 대수 시스템, 또는 다항식으로 초월함수를 계산하는 임베디드 펌웨어는 내부적으로 이런 형태의 상한을 사용해 결과가 필요한 소수 자릿수 정확도를 만족하도록 보장합니다. 물리학에서는 파동 함수, 퍼텐셜 에너지 곡면, 확률 밀도의 다항식 근사도 비슷한 정밀도 요구를 충족해야 합니다. 금융에서는 옵션 가격 모델의 급수 전개도 제어된 절단 오차에 의존합니다. 흔한 오해는 차수가 높을수록 항상 오차가 작아진다는 것입니다. 일반적으로는 차수를 높일수록 상한이 줄어들지만, |x − a|가 크거나 함수의 도함수가 빠르게 증가하는 경우에는 차수를 높여도 항상 도움이 되지 않을 수 있습니다. 이럴 때는 전개 중심 a를 평가점 x에 최대한 가깝게 잡고, 필요한 허용 오차 아래로 떨어질 때까지 n을 늘리는 것이 가장 좋습니다. 이 계산기는 라그랑주 공식의 계산을 자동화합니다. M(이는 도함수 분석을 직접 해야 합니다), n, a, x를 입력하면 도구가 즉시 상한을 계산합니다. 결과는 보장입니다. 실제 절대 오차 |f(x) − Pₙ(x)|는 표시된 값을 넘지 않습니다。