중점법 호 길이 계산기
중점 직사각형으로 어떤 곡선의 길이든 바로 근사하고 오차를 실시간으로 확인하세요.
변수로는 x를 사용하세요. +, -, *, /, ^, sqrt, abs, sin, cos, tan, asin, acos, atan, sinh, cosh, tanh, exp, ln, log, pi, e를 지원합니다. 예: 2x는 2*x, x^2는 x의 제곱을 뜻합니다.
도함수: 자동 (쌍대수)
도함수 x'(t)와 y'(t)는 자동으로 계산됩니다 (쌍대수). 매개변수로 t를 사용하세요.
원래 곡선과 선택한 호
금색 점이 각 부분구간의 중점을 표시합니다.
피적분함수 g(x)와 중점 직사각형
직사각형에 마우스를 올리면 부분구간, 중점, 피적분함수 값, 기여도를 볼 수 있습니다.
자세한 중점 계산 표
수렴 비교
연속된 세분화 사이의 차이는 실용적인 오차 지표이지 보장된 오차 상한이 아닙니다.
계산 오류
섹션 탐색
중점법 호 길이 계산기 사용법
중점법 호 길이 계산기는 호의 길이 적분을 직사각형으로 나누고 각 직사각형의 중심에서 표본을 취해 곡선의 길이를 근사합니다. 함수를 입력하고 구간을 정한 뒤 부분구간 개수를 선택하면 계산기가 근삿값, 전체 중점 표, 오차 추정치, 직사각형의 실시간 도표를 보여 줍니다. 정확한 답을 얻으려면 다음 단계를 따르세요.
- 계산 모드를 선택합니다. y = f(x) 형태의 곡선에는 명시적 함수 모드를 사용하세요. y = x2이나 y = sin(x) 같은 곡선이 여기에 해당합니다. x = x(t), y = y(t) 형태의 곡선에는 매개변수 곡선 모드를 사용하세요. 매개변수로 그려지는 원이나 타원 같은 곡선이 여기에 해당합니다.
- 함수를 입력합니다. 입력란에 함수를 입력하세요. 거듭제곱에는 ^, 제곱근에는 제곱근 함수, 표준 함수에는 sin(), cos(), exp(), ln()을 사용합니다. 계산기가 도함수를 자동으로 구해 주며, 이미 도함수를 알고 있다면 직접 입력할 수도 있습니다.
- 구간을 설정합니다. 하한 a와 상한 b를 입력하세요. 구간 [a, b]는 길이를 구하려는 곡선의 구간입니다. b를 a보다 작게 입력해도 계산기는 양의 길이를 반환합니다. 호의 길이는 절대 음수가 되지 않기 때문입니다.
- 부분구간 개수 n을 선택합니다. 슬라이더를 이용하거나 값을 직접 입력하세요. 사전 설정 값은 1, 2, 4, 5, 8, 10, 20, 50, 100, 500, 1,000, 5,000입니다. n이 클수록 직사각형이 좁아지고 근삿값이 대개 더 가까워집니다. 먼저 n = 4로 계산 과정을 또렷하게 확인한 뒤 n을 올려 답이 안정되는 모습을 살펴보세요.
- 표시 정밀도를 선택합니다. 소수점 이하 2, 4, 6, 8, 10자리 중에서 선택하세요. 계산기는 내부적으로 전체 정밀도를 유지하고 표시되는 결과만 반올림하므로, 정밀도를 바꿔도 실제 계산은 달라지지 않습니다.
- 호 길이 계산 버튼을 클릭합니다. 주요 결과는 중점 근삿값 Ln이며 근삿값이라고 명확히 표시됩니다. 그 아래에는 부분구간 너비, 처음과 마지막 중점, 처음과 마지막 피적분함수 값, 피적분함수 값의 합, 끝점 사이의 현의 길이, 고정밀 기준 길이, 추정 절대 오차와 상대 오차가 표시됩니다.
- 도표를 살펴봅니다. 첫 번째 도표는 원래 곡선과 선택한 호가 강조 표시되고 중점 표본 위치가 표시된 그림입니다. 두 번째 도표는 호의 길이 피적분함수와 그 아래에 그려진 중점 직사각형을 보여 줍니다. 이 직사각형들의 전체 넓이가 근삿값이므로 두 도표를 혼동해서는 안 됩니다. 직사각형은 피적분함수 아래에 그려지며 원래 곡선 아래에 그려지지 않습니다.
- 계산 표를 읽습니다. 모든 부분구간마다 경계, 중점, 중점에서의 도함수, 피적분함수 값, 직사각형 기여도가 한 행씩 표시됩니다. 마지막 행은 합계를 보여 주며, 이 합계가 주요 결과와 같습니다.
- 수렴을 비교하고 리처드슨 외삽을 시도합니다. 수렴 패널은 n, 2n, 4n에 대한 근삿값을 나란히 보여 주고 그 차이도 함께 보여 줍니다. 리처드슨 외삽은 두 근삿값을 합쳐 더 정교한 추정치를 만듭니다. 두 방법 모두 아래 가이드 항목에서 설명합니다.
- 복사, 내보내기, 초기화. 결과 복사 버튼으로 답을 복사하고, 표를 CSV로 내보내 풀이 과정에 활용하거나, 초기화 버튼으로 패널을 비울 수 있습니다. 사전 설정 버튼을 누르면 검증된 예제가 바로 불러와집니다. 포물선, 직선, 수평선, 사분원, 삼차 곡선, 사인 곡선이 준비되어 있습니다.
예제를 시도해 보세요. [0, 2] 구간에서 y = x2, n = 4이면 L4 = 4.6267234873 단위이며 기준값은 4.6467837624 단위입니다. [0, 4] 구간에서 y = 3x + 1, n = 4이면 정확히 12.6491106407 단위입니다. [1, 5] 구간에서 y = 2, n = 4이면 정확히 4.0000000000 단위입니다. 반지름 5인 매개변수 사분원은 7.8539816340 단위입니다. [0, 1] 구간에서 y = x3, n = 4이면 1.5330289642 단위이며, [0, π] 구간에서 y = sin(x), n = 8이면 3.8201978627 단위입니다.
중요한 요령. 항상 먼저 함수를 미분하세요. 피적분함수는 f(x)가 아니라 f'(x)를 사용합니다. 끝점이 아니라 중점에서 표본을 취하세요. 그렇지 않으면 다른 규칙을 계산하게 됩니다. 삼각함수에서는 각도 단위를 라디안으로 유지하세요. 중점이나 피적분함수 값을 계산 도중에 반올림하지 마세요. 작은 반올림이 많은 직사각형에 걸쳐 누적됩니다. 중점에서 함수가 정의되지 않으면 계산기는 표본을 조용히 건너뛰지 않고 오류를 보고합니다.
중점법이란?
수치적분은 정확한 원시함수를 찾기 어려울 때나 표본 값만 주어졌을 때 정적분을 추정하는 기술입니다. 중점법은 가장 단순하면서도 믿을 만한 수치적분 방법 중 하나입니다. 곡선 아래 넓이를 직사각형으로 덮고 그 넓이를 더해 적분을 추정합니다.
리만 합은 구간 [a, b]를 너비가 Δx = (b - a) / n인 n개의 같은 부분구간으로 나누고 각 부분구간마다 직사각형 하나를 세웁니다. 각 직사각형의 높이는 부분구간 안의 한 표본점에서의 함수 값입니다. 왼쪽 끝점 합은 왼쪽 끝에서, 오른쪽 끝점 합은 오른쪽 끝에서 표본을 취하고, 중점법은 각 부분구간의 중심에서 표본을 취합니다.
중심에서 표본을 취한다는 것이 핵심 아이디어입니다. 짧은 부분구간에서는 곡선이 중점 한쪽에서 오르면 다른 쪽에서는 비슷한 만큼 내리므로, 한쪽 절반에서의 과대추정이 다른 쪽 절반에서의 과소추정과 대략 상쇄됩니다. 이러한 상쇄 덕분에 중점법은 같은 개수의 직사각형을 쓰는 왼쪽이나 오른쪽 끝점 규칙보다 정확하고, 오차는 부분구간 너비의 제곱에 비례해 줄어듭니다.
[a, b] 구간에서의 함수 g(x)에 대해 합성 중점법은 다음과 같습니다.
여기서 xi*는 i번째 부분구간의 중점이며 합은 n개의 부분구간 전체에 걸쳐 이루어집니다. 각 항 Δx × g(xi*)는 직사각형 하나의 넓이이고, 모든 직사각형 넓이의 합이 적분의 근삿값입니다.
중점법은 미적분학 숙제를 훨씬 넘어 널리 쓰입니다. 엔지니어는 응력 해석과 신호 처리에서 적분을 추정할 때 사용하고, 물리학자는 수치 시뮬레이션에서 사용하며, 컴퓨터 그래픽스는 곡선 길이와 곡면 넓이를 잴 때 사용합니다. 단순함과 2차 정확도가 결합되어, 깔끔한 닫힌 형태가 없는 적분에서는 표준적인 첫 선택이 됩니다.
중점이 끝점보다 나은 이유. [0, 1] 구간에서 g(x) = x, n = 1인 경우를 보세요. 왼쪽 합은 0, 오른쪽 합은 1, 중점 합은 0.5이며 이는 정확한 답입니다. 중점은 부분구간 전체에 걸친 함수의 평균적인 모습을 보지만, 끝점은 한쪽 모습만 봅니다. 이 장점은 모든 매끄러운 함수에 해당하며, 중점법이 대부분의 수치 계산에서 기본 리만 합인 이유입니다.
호의 길이란?
호의 길이는 끝점 사이의 직선 거리가 아니라 곡선을 따라 잰 거리입니다. 언덕을 구불구불 지나가는 도로는 지도에 두 끝점을 곧게 이은 선보다 깁니다. 휘어진 철사는 두 끝 사이의 간격보다 깁니다. 호의 길이는 굽은 경로 자체를 잽니다.
이 길이를 구하려면 곡선을 아주 작은 조각으로 자른다고 상상해 보세요. 각 작은 조각은 너무 짧아 거의 직선에 가깝고, 그 길이는 양 끝을 잇는 직선에 가깝습니다. 피타고라스 정리에 따라 가로로 Δx, 세로로 Δy만큼 움직이는 작은 조각의 길이는 √(Δx2 + Δy2)에 가깝습니다. 모든 작은 조각을 더하면 전체 길이가 되고, 조각을 0으로 줄이면 그 합이 적분이 됩니다.
곡선 y = f(x)에서 작은 가로 이동 dx는 세로 변화 dy = f'(x) dx를 만들므로 작은 길이 요소는 다음과 같습니다.
a부터 b까지 모든 길이 요소를 더하면 호의 길이 적분이 됩니다.
이 공식이 도함수를 포함하는 이유를 설명해 줍니다. 가파른 곡선은 높이가 빠르게 변하므로 f'(x)가 크고, 피적분함수 √(1 + [f'(x)]2)도 크며, 가로 거리 1단위마다 곡선 길이가 1단위보다 더 많이 늘어납니다. 평평한 곡선은 f'(x)가 0에 가깝고, 피적분함수가 1에 가까우며, 호의 길이가 가로 거리 b - a에 가깝습니다.
호의 길이는 항상 현보다 길거나 같습니다. 끝점 사이의 직선은 두 점 사이의 최단 경로이므로 곡선이 그보다 짧을 수는 없습니다. [0, 2] 구간에서 포물선 y = x2의 경우 (0, 0)에서 (2, 4)까지의 현은 √(20) = 4.4721359550 단위인 반면 참 호의 길이는 4.6467837624 단위로 0.1746478074 단위 더 깁니다. [0, π] 구간에서 사인 곡선 y = sin(x)의 경우 현은 π = 3.1415926536 단위이고 호는 3.8201977890 단위로 0.6786051354 단위 더 깁니다. 호가 현보다 긴지 확인하는 것은 모든 호의 길이 답에 대한 빠른 타당성 검사입니다.
대부분의 호의 길이 적분은 초등 원시함수가 없습니다. 포물선 적분 ∫ √(1 + 4x2) dx는 치환으로 풀 수 있지만, 사인 적분 ∫ √(1 + cos2x) dx는 초등함수로는 전혀 나타낼 수 없습니다. 바로 그 지점에서 중점법이 제 역할을 합니다. 원시함수 없이 적분을 수치로 추정하기 때문입니다.
중점법 호 길이 공식
중점법 호 길이 계산은 정확한 호의 길이 적분에서 출발해 적분을 직사각형 넓이의 합으로 바꿉니다. 호의 길이 피적분함수를 다음과 같이 정의합니다.
그러면 정확한 호의 길이는 L = ∫ab g(x) dx이며 중점법은 이 적분을 근사합니다. [a, b]를 n개의 같은 부분구간으로 나눕니다. 부분구간 너비는 다음과 같습니다.
i를 0부터 세면 i번째 부분구간의 중점은 다음과 같습니다.
각 중점에서 피적분함수를 계산하고 각 값을 Δx와 곱한 뒤 결과를 모두 더합니다.
각 기호는 정확한 의미를 가집니다.
| 기호 | 의미 | 참고 |
|---|---|---|
| L | 정확한 호의 길이 | 참 곡선 거리, 보통은 알 수 없음 |
| Ln | 중점 근삿값 | n개 부분구간에 대한 계산기의 주요 결과 |
| f(x) | 함수 | 길이를 재는 곡선 |
| f'(x) | 1차 도함수 | x에서의 곡선 기울기 |
| g(x) | 호의 길이 피적분함수 | g(x) = √(1 + [f'(x)]2) |
| a, b | 적분 한계 | 구간의 아래쪽과 위쪽 끝 |
| n | 부분구간 개수 | 부분구간이 많을수록 대개 더 가까운 답 |
| Δx | 부분구간 너비 | Δx = (b - a) / n |
| xi* | 부분구간 i의 중점 | xi* = a + (i + ½)Δx |
구체적인 확인. [0, 2] 구간에서 y = x2, n = 4인 경우 너비는 Δx = (2 - 0) / 4 = 0.5, 중점은 0.25, 0.75, 1.25, 1.75이며 피적분함수 값은 1.1180339887, 1.8027756377, 2.6925824036, 3.6400549446입니다. 합은 9.2534469747이고 0.5를 곱하면 L4 = 4.6267234873 단위가 됩니다. 이 과정의 모든 숫자는 계산기의 단계별 패널과 계산 표에 표시됩니다.
매개변수 곡선 x = x(t), y = y(t)에서는 같은 아이디어가 매개변수 구간 [t1, t2]에 적용되며, 속력 v(t) = √([x'(t)]2 + [y'(t)]2)이 피적분함수의 역할을 합니다. 매개변수 공식은 아래 별도 항목에서 다룹니다.
중점법으로 호의 길이를 계산하는 방법
중점법 계산은 열 단계를 따르며 계산기가 모두 자동으로 수행합니다. 한 번 손으로 직접 풀어 보면 도구를 훨씬 더 믿고 쓰게 됩니다. 아래 풀이 예제는 [0, 2] 구간에서 y = x2, n = 4인 경우로, 계산기가 첫 번째 사전 설정으로 불러오는 예제와 같습니다.
- 함수를 확인합니다. f(x) = x2.
- 1차 도함수를 구합니다. f'(x) = 2x.
- 적분 구간을 확인합니다. a = 0, b = 2.
- 부분구간 개수를 선택합니다. n = 4.
- 부분구간 너비를 계산합니다. Δx = (2 - 0) / 4 = 0.5.
- 각 부분구간의 중점을 구합니다. x0* = 0.25, x1* = 0.75, x2* = 1.25, x3* = 1.75. 각 중점은 부분구간 경계의 정확히 가운데에 있습니다. 0.25는 0과 0.5의 가운데, 0.75는 0.5와 1의 가운데에 있습니다.
- 각 중점에서 호의 길이 피적분함수를 계산합니다. g(x) = √(1 + 4x2)이므로 g(0.25) = 1.1180339887, g(0.75) = 1.8027756377, g(1.25) = 2.6925824036, g(1.75) = 3.6400549446입니다.
- 각 값을 부분구간 너비와 곱합니다. 네 직사각형의 기여도는 0.5 × 1.1180339887 = 0.5590169944, 0.5 × 1.8027756377 = 0.9013878189, 0.5 × 2.6925824036 = 1.3462912018, 0.5 × 3.6400549446 = 1.8200274723입니다.
- 모든 기여도를 더합니다. 0.5590169944 + 0.9013878189 + 1.3462912018 + 1.8200274723 = 4.6267234873.
- 근사 호의 길이를 해석합니다. L4 = 4.6267234873 단위입니다. 고정밀 기준값은 4.6467837624 단위이므로 이 근삿값은 0.0200602751 단위만큼 짧고 상대 오차는 0.4317%입니다.
같은 열 단계가 모든 함수에 적용됩니다. [0, 1] 구간에서 y = x3, n = 4인 경우 도함수는 f'(x) = 3x2, 너비는 Δx = 0.25, 중점은 0.125, 0.375, 0.625, 0.875, 피적분함수 값은 1.0010980300, 1.0853471867, 1.5405489332, 2.5051217067이며 합은 6.1321158566이고 0.25를 곱하면 L4 = 1.5330289642 단위가 되며 기준값은 1.5478656547 단위입니다.
삼각함수를 이용한 두 번째 풀이 예제. [0, π] 구간에서 y = sin(x), n = 8인 경우 도함수는 f'(x) = cos(x), 너비는 Δx = π / 8 = 0.3926990817이며 여덟 중점은 π/16, 3π/16, 5π/16, 7π/16, 9π/16, 11π/16, 13π/16, 15π/16입니다. 피적분함수 값은 순서대로 1.4006926023, 1.3005159423, 1.1439660326, 1.0188524102, 1.0188524102, 1.1439660326, 1.3005159423, 1.4006926023입니다. 합은 9.7280539749이고 0.3926990817을 곱하면 L8 = 3.8201978627 단위가 되며 기준값은 3.8201977890 단위이고 절대 오차는 겨우 0.0000000736 단위입니다.
중점 직사각형 이해하기
각 중점 직사각형은 적분의 한 조각을 있는 그대로 보여 주는 작은 그림입니다. 세 부분으로 이루어져 있으며 각 부분마다 명확한 의미가 있습니다.
| 직사각형 부분 | 공식 | 의미 |
|---|---|---|
| 너비 | Δx = (b - a) / n | 부분구간 하나의 가로 길이 |
| 높이 | g(xi*) | 부분구간 중점에서의 피적분함수 값 |
| 넓이 | Δx × g(xi*) | 전체 합에 대한 해당 부분구간의 기여도 |
[0, 2] 구간에서 포물선 y = x2, n = 4인 경우 네 직사각형의 너비는 모두 0.5입니다. 높이는 1.1180339887, 1.8027756377, 2.6925824036, 3.6400549446이며 넓이는 0.5590169944, 0.9013878189, 1.3462912018, 1.8200274723입니다. 전체 넓이는 4.6267234873 단위이며 이는 정확히 중점 근삿값 L4입니다.
넓이의 합이 적분을 근사하는 이유. 적분 ∫ab g(x) dx는 피적분함수 곡선 아래의 정확한 넓이입니다. 각 직사각형은 한 부분구간 위의 곡선 띠를 같은 너비의 평평한 띠로 바꾸며, 중점 높이를 대표 높이로 삼습니다. 피적분함수가 위로 볼록한 곳에서는 평평한 위쪽이 한쪽에서는 넓이를 조금 잘라내고 다른 쪽에서는 조금 더합니다. 중심에서 표본을 취하므로 이 두 오차가 거의 상쇄되고 직사각형 넓이가 참 띠 넓이에 가까워집니다. 직사각형을 모두 더하면 전체 넓이, 곧 호의 길이를 추정할 수 있습니다.
가장 흔한 도표 실수. 직사각형은 원래 곡선 f(x) 아래가 아니라 피적분함수 곡선 g(x) = √(1 + [f'(x)]2) 아래에 그려야 합니다. 원래 곡선과 피적분함수는 높이가 다른 그래프입니다. [0, 2] 구간에서 y = x2의 경우 원래 곡선은 0부터 4까지 올라가지만 피적분함수는 1부터 √(17) = 4.1231056256까지 올라갑니다. 원래 곡선 아래에 그린 직사각형을 더하면 f(x) 아래 넓이가 되며 이는 호의 길이와 무관합니다. 계산기는 두 그래프를 따로 표시하며 위 가이드 도표는 피적분함수 아래의 직사각형만 보여 줍니다.
직사각형 읽기. 계산기에서 직사각형에 마우스를 올리거나 선택하면 부분구간 번호, 왼쪽과 오른쪽 경계, 중점, 중점에서의 도함수, 피적분함수 값, 직사각형 기여도가 표시됩니다. 이 세부 정보가 표를 숙제에 유용하게 만듭니다. 최종 답의 모든 숫자를 직사각형 하나하나로 거슬러 올라가 확인할 수 있기 때문입니다.
부분구간 개수가 중요한 이유
부분구간 개수 n은 계산기에서 가장 중요한 조절 값입니다. 직사각형이 얼마나 잘게 나뉘는지를 결정하기 때문입니다. n이 작으면 넓은 직사각형이 몇 개만 생깁니다. n이 크면 피적분함수 곡선을 바짝 따라가는 좁은 직사각형이 많아집니다.
n이 작을 때 일어나는 일. n = 1이면 구간 전체가 직사각형 하나가 되며 답은 Δx × g(중점)입니다. [0, 2] 구간에서 포물선 y = x2의 경우 n = 1이면 2 × √(5) = 4.4721359550 단위가 되며 참값 4.6467837624 단위보다 0.1746478074 단위 짧습니다. 직사각형 하나로는 피적분함수가 1에서 4.1231056256까지 오르는 모습을 따라갈 수 없어 오차가 큽니다. n = 2이면 답은 4.5764912225 단위로 좋아집니다. n = 4이면 4.6267234873 단위, n = 8이면 4.6417306581 단위, n = 16이면 4.6455205322 단위, n = 32이면 4.6464679593 단위입니다.
오차가 줄어드는 방식. 매끄러운 피적분함수에서는 중점법 오차가 1 / n2에 비례합니다. n을 두 배로 하면 오차는 대략 4분의 1로 줄어듭니다. 포물선 숫자가 이를 분명히 보여 줍니다. 오차는 n = 4에서 0.0200602751 단위, n = 8에서 0.0050531044 단위, n = 16에서 0.0012632302 단위, n = 32에서 0.0003158031 단위로 떨어집니다. 두 배가 될 때마다 오차가 약 4로 나뉩니다. 이러한 1 / n2 거동을 2차 수렴이라고 하며, 중점법이 그토록 효과적인 이유입니다. n을 조금만 늘려도 정확도가 크게 좋아집니다.
개선이 항상 단조롭지는 않은 이유. 오차는 보통 n이 커질수록 줄어들지만 모든 함수에서 매 단계마다 줄어들 필요는 없습니다. 사인 곡선은 이를 완만하게 보여 줍니다. n = 2이면 3.8476494905 단위로 기준값 3.8201977890 단위를 웃돌고, n = 4이면 3.8204517876 단위로 훨씬 가까워집니다. 근삿값이 참값 위쪽에서 참값 바로 위쪽으로 넘어왔지만 오차는 전체적으로 줄었습니다. 급격한 굽음, 진동, 특이점에 가까운 함수는 n이 변할 때 오차가 흔들릴 수 있지만 장기적인 추세는 아래쪽입니다. 한 단계에서 n이 커졌다고 해서 답이 항상 좋아진다고 가정해서는 안 되며 수렴 표를 확인해야 합니다.
n이 클 때의 비용. 부분구간이 많으면 계산도 많아집니다. 도함수 계산, 피적분함수 값, 표 행이 늘어납니다. n = 5,000이면 계산기는 5,000번 계산을 수행하는데 컴퓨터에는 빠르지만 표가 너무 길어 행마다 읽기 어려우므로 계산기가 페이지를 나눠 보여 줍니다. 실용적인 규칙은 필요한 정밀도에서 답이 더 이상 변하지 않을 때까지 n을 올리는 것입니다. n = 100과 n = 200이 소수점 이하 여섯 자리까지 일치한다면 n = 100으로 충분하고 n = 5,000은 작업만 늘릴 뿐입니다.
실전에서의 n 선택. 배우는 동안에는 n = 4나 n = 8을 사용하세요. 표가 짧아 손으로 확인하기 좋습니다. 소수점 이하 네 자리나 다섯 자리가 정확한 숙제 답에는 n = 50이나 n = 100을 사용하세요. n = 1,000 이상은 아주 높은 정밀도가 필요하거나 피적분함수가 구간 안에서 빠르게 변할 때만 사용하세요. 수렴 패널은 n, 2n, 4n을 함께 보여 주므로 추측 없이 답이 안정되는 모습을 볼 수 있습니다.
중점법과 사다리꼴 법칙, 심프슨 법칙 비교
중점법은 고전적인 수치적분 방법 세 가지 중 하나이며, 각 방법은 피적분함수를 다르게 표본 추출합니다. 그 차이를 알면 알맞은 도구를 고르고 답이 다른 이유를 이해하는 데 도움이 됩니다.
| 특징 | 중점법 | 사다리꼴 법칙 | 심프슨 법칙 |
|---|---|---|---|
| 표본 위치 | 각 부분구간의 중점 | 각 부분구간의 양쪽 끝점 | 끝점과 중점 |
| 맞추는 도형 | 평평한 위쪽의 직사각형 | 직선 변의 사다리꼴 | 세 점을 지나는 포물선 |
| 오차 차수 | O(1 / n2) | O(1 / n2) | O(1 / n4) |
| 오차 부호 경향 | 사다리꼴 법칙과 반대 | 중점법과 반대 | 보통 세 방법 중 가장 작음 |
| 필요한 계산 횟수 | n | n + 1 | 2n + 1 |
| 제한 | 없음 | 없음 | n은 짝수여야 함 |
| 정확한 경우 | 상수함수와 1차 함수 | 상수함수와 1차 함수 | 3차까지의 다항식 |
중점법. 각 부분구간의 중심에서 표본을 취하고 직사각형을 만듭니다. 오차는 O(1 / n2)로 사다리꼴 법칙과 차수가 같지만, 중심 표본이 주요 오차를 상쇄하므로 같은 n에서 중점법은 보통 사다리꼴 법칙보다 약 두 배 정확합니다. 부분구간마다 한 번씩 n번만 계산하면 되고 모든 양의 n에 사용할 수 있습니다.
사다리꼴 법칙. 끝점에서 표본을 취하고 직선으로 이어 사다리꼴을 만듭니다. 중점법과 오차 차수 O(1 / n2)를 공유하지만 오차 부호가 보통 반대입니다. 볼록한 피적분함수에서는 사다리꼴 법칙이 과대추정하는 동안 중점법은 과소추정하거나 그 반대입니다. 두 방법을 평균내면 사다리꼴-중점 조합이 되며 이는 심프슨 법칙의 바탕입니다. 같은 함수로 두 방법을 비교하려면 사다리꼴 법칙 계산기를 사용해 보세요.
심프슨 법칙. 부분구간 쌍마다 양쪽 끝점과 중점을 지나는 포물선을 맞추므로 부분구간 개수가 짝수여야 합니다. 오차는 O(1 / n4)라서 매끄러운 함수에서는 다른 두 방법보다 훨씬 빠르게 수렴합니다. 대가로 짝수 n 제한과 부분구간마다 더 많은 계산이 필요합니다. 적은 부분구간으로 높은 정확도가 필요할 때는 심프슨 법칙 계산기를 사용해 보세요.
숫자 비교. [0, 2] 구간에서 포물선 y = x2, n = 4인 경우 중점법은 4.6267234873 단위, 사다리꼴 법칙은 4.6870560064 단위, 심프슨 법칙은 4.6502010785 단위이며 기준값은 4.6467837624 단위입니다. 중점 오차는 0.0200602751 단위, 사다리꼴 오차는 0.0402722440 단위, 심프슨 오차는 0.0034173160 단위입니다. 매끄러운 함수에서는 심프슨 법칙이 보통 이기지만, 중점법은 더 단순하고 짝수 n 제한이 없으며 중점 표본만 주어졌을 때 자연스러운 선택입니다.
어떤 규칙을 써야 할까요? 단순하고 믿을 만한 추정치가 필요하거나, 균등한 간격의 내부 점에서 함수를 표본 추출하거나, 리만 합을 가르칠 때는 중점법을 사용하세요. 각 구간 끝에서 잰 측정값처럼 끝점 값이 자연스러운 자료일 때는 사다리꼴 법칙을 사용하세요. 함수가 매끄럽고 작은 n으로 높은 정확도가 필요할 때는 심프슨 법칙을 사용하세요. 호의 길이에서는 중점법에 실용적인 장점이 있습니다. 끝점에서 피적분함수를 계산하지 않으므로 함수가 끝점에서 정의되지 않거나 특이한 곡선도 다룰 수 있어 다른 두 규칙이 시작조차 할 수 없는 경우에도 계산할 수 있습니다.
중점법 오차 이해하기
모든 중점 근삿값은 참 호의 길이와 어느 정도 차이가 나며, 이 오차를 이해하는 것이 숫자를 믿을 만한 답으로 바꿉니다. 오차를 말하는 방법은 세 가지가 다르며 서로 혼동해서는 안 됩니다.
절대 오차. 절대 오차는 근삿값과 참값 사이의 간격 크기입니다. |L - Ln|입니다. n = 4인 포물선에서는 절대 오차가 |4.6467837624 - 4.6267234873| = 0.0200602751 단위입니다. n = 8인 사인 곡선에서는 |3.8201977890 - 3.8201978627| = 0.0000000736 단위입니다. 절대 오차는 길이와 같은 단위로 잽니다.
상대 오차. 상대 오차는 절대 오차를 참값 크기로 나눈 값이며 보통 백분율로 나타냅니다. |L - Ln| / |L| × 100입니다. n = 4인 포물선에서는 상대 오차가 0.4317%입니다. n = 4인 삼차 곡선에서는 0.9585%입니다. n = 8인 사인 곡선에서는 0.00000193%입니다. 상대 오차는 크기가 다른 문제들의 정확도를 공정하게 비교하는 방법입니다. 0.02 단위의 오차는 길이가 100 단위인 문제에서는 작지만 길이가 0.1 단위인 문제에서는 큽니다.
세분화 기반 오차 지표. 실제 작업에서는 참값을 알 수 없으므로 절대 오차를 직접 계산할 수 없습니다. 대신 두 근삿값을 비교합니다. 차이 |M2n - Mn|은 분할을 세밀하게 했을 때 답이 얼마나 움직였는지 보여 줍니다. 포물선에서는 |M8 - M4| = |4.6417306581 - 4.6267234873| = 0.0150071707 단위입니다. 이 차이는 실용적인 경고 신호입니다. 차이가 크면 답이 아직 움직이고 있으므로 n을 올려야 합니다. 이는 지표이지 보장된 상한이 아닙니다. 참 오차는 세분화 차이보다 크거나 작을 수 있으며, 중점법에서는 보통 그 약 3분의 1 수준입니다. 두 배가 될 때마다 오차가 4분의 1로 줄어들기 때문입니다.
이론적 오차 상한. 충분히 매끄러운 피적분함수 g(x)에 대해 합성 중점법 오차는 다음을 만족합니다.
이 상한을 구하려면 구간 위에서 피적분함수의 2차 도함수의 최댓값이 필요하며 이를 정확히 구하기는 종종 어렵습니다. 포물선 피적분함수 g(x) = √(1 + 4x2)의 2차 도함수는 g''(x) = 4 / (1 + 4x2)3/2이며 [0, 2] 구간에서의 가장 큰 값은 x = 0에서 4입니다. 따라서 n = 4인 경우 상한은 (8 / (24 × 16)) × 4 = 0.0833333333 단위이며 실제 오차 0.0200602751 단위는 그 안에 안전하게 들어갑니다. n = 8인 경우 상한은 0.0208333333 단위입니다. 이 상한은 정직하지만 느슨합니다. 여기서는 실제 오차를 4배가량 과대평가하는데 이는 흔한 일입니다.
상한이 적용되지 않는 경우. 오차 상한은 피적분함수가 매끄럽고 2차 도함수에 상한이 있다고 가정합니다. 모서리, 점프, 특이점이 있는 함수는 이 가정을 깨뜨리며 상한이 존재하지 않거나 쓸모없을 만큼 큽니다. 계산기는 확신할 수 없는 상한을 지어내지 않습니다. 그럴 때는 세분화 차이와 그 한계를 보여 주는 것이 정직한 답입니다.
매끄러움이 중요한 이유. 1 / n2 오차 거동은 중점 상쇄가 작동할 만큼 피적분함수가 매끄럽다는 데 달려 있습니다. √(1 + 4x2) 같은 매끄러운 피적분함수는 깔끔하게 수렴합니다. 날카로운 모서리가 있는 피적분함수는 더 느리게 수렴하고, 특이점이 있는 피적분함수는 아주 느리게 수렴하거나 전혀 수렴하지 않을 수 있습니다. n을 두 배로 해도 답이 거의 변하지 않는다면 함수가 매끄럽고 이미 정확하다는 뜻일 수 있습니다. n을 두 배로 했을 때 답이 크게 변한다면 함수가 거칠거나 n이 아직 너무 작다는 뜻입니다.
리처드슨 외삽이란?
리처드슨 외삽은 두 중점 근삿값을 이용해 훨씬 더 좋은 추정치 하나를 만드는 단순한 방법입니다. 중점법 오차의 알려진 패턴을 이용해 주요 오차 항을 상쇄합니다.
매끄러운 피적분함수에서는 n개 부분구간을 쓴 중점 근삿값의 오차가 C / n2처럼 거동합니다. 여기서 C는 함수에 따라 달라지지만 n에는 의존하지 않는 상수입니다. 부분구간을 2n으로 두 배로 하면 오차는 4분의 1로 줄어듭니다. 그러면 참값 L과 상수 C라는 두 미지수에 대한 방정식 두 개를 얻습니다.
L에 대해 풀면 C가 사라지고 리처드슨 외삽 추정치가 남습니다.
풀이 예제. [0, 2] 구간에서 포물선 y = x2의 경우 M4 = 4.6267234873 단위, M8 = 4.6417306581 단위입니다. 리처드슨 추정치는 LR = (4 × 4.6417306581 - 4.6267234873) / 3 = 4.6467330483 단위입니다. 참값은 4.6467837624 단위이므로 외삽 오차는 겨우 0.0000507141 단위이며 원래 M4 오차 0.0200602751 단위보다 훨씬 작습니다. 외삽은 n = 4와 n = 8 계산만으로 훨씬 큰 n의 정확도를 얻어 냈습니다.
사인 곡선을 이용한 풀이 예제. [0, π] 구간에서 y = sin(x)의 경우 M8 = 3.8201978627 단위, M16 = 3.8201977890 단위입니다. 리처드슨 추정치는 LR = (4 × 3.8201977890 - 3.8201978627) / 3 = 3.8201977645 단위이며 기준값 3.8201977890 단위와 비교한 오차는 겨우 0.0000000245 단위입니다.
삼차 곡선을 이용한 풀이 예제. [0, 1] 구간에서 y = x3의 경우 M4 = 1.5330289642 단위, M8 = 1.5441590533 단위입니다. 리처드슨 추정치는 LR = (4 × 1.5441590533 - 1.5330289642) / 3 = 1.5478690830 단위이며 기준값 1.5478656547 단위와 비교한 오차는 0.0000034283 단위입니다. 원래 M4 오차는 0.0148366905 단위였으므로 외삽으로 오차가 약 4327.7배 줄었습니다.
리처드슨 외삽이 아닌 것. 외삽 값은 정교해진 추정치이지 중점법 결과가 아니며 보장된 정확한 답도 아닙니다. 오차가 정말로 C / n2처럼 거동한다고 가정하는데, 이는 매끄러운 피적분함수에서는 성립하지만 거친 함수에서는 성립하지 않습니다. 피적분함수에 모서리나 특이점이 있으면 외삽이 원래 근삿값보다 나빠질 수 있으므로 계산기는 항상 원래 중점 결과를 먼저 보여 주고 외삽 값을 따로 표시합니다. 리처드슨 외삽은 롬베르크 적분의 바탕이기도 하며, 같은 방법을 여러 단계에서 반복해 아주 높은 정확도에 이릅니다.
중점법을 이용한 매개변수 호의 길이
어떤 곡선은 y = f(x) 형태로 쓸 수 없습니다. 원은 대부분의 x 값에 대해 y 값을 두 개 주므로 하나의 함수로는 나타낼 수 없습니다. 매개변수 곡선은 두 좌표를 모두 매개변수 t의 함수로 나타내 해결합니다. x = x(t), y = y(t)이며 t가 t1에서 t2까지 변하면 점 (x(t), y(t))이 곡선을 그립니다.
매개변수 곡선에서는 두 좌표의 움직임에서 작은 길이 요소가 나옵니다. ds = √(dx2 + dy2)입니다. dx = x'(t) dt, dy = y'(t) dt로 쓰면 매개변수 호의 길이 적분이 됩니다.
제곱근 안의 양은 속력 v(t) = √([x'(t)]2 + [y'(t)]2)이며, t가 변할 때 점이 곡선을 따라 움직이는 비율입니다. 중점법은 매개변수 구간에 x 구간과 똑같이 적용됩니다. [t1, t2]를 너비가 Δt = (t2 - t1) / n인 n개의 같은 구간으로 나누고, 중점 매개변수 ti* = t1 + (i + ½)Δt에서 속력을 표본 추출한 뒤 기여도를 더합니다.
풀이 예제: 사분원. [0, π/2] 구간에서 x(t) = 5 cos(t), y(t) = 5 sin(t), n = 4인 경우를 보세요. 도함수는 x'(t) = -5 sin(t), y'(t) = 5 cos(t)입니다. 속력은 v(t) = √(25 sin2(t) + 25 cos2(t)) = √(25) = 5로 상수입니다. sin2(t) + cos2(t) = 1이기 때문입니다. 매개변수 너비는 Δt = (π/2 - 0) / 4 = π/8 = 0.3926990817이며 중점 매개변수는 π/16, 3π/16, 5π/16, 7π/16입니다. 모든 속력 값은 5이므로 모든 기여도는 0.3926990817 × 5 = 1.9634954085이며 합계는 4 × 1.9634954085 = 7.8539816340 단위로 정확히 5π/2입니다. 속력이 상수이므로 중점법은 어떤 n에서도 여기서 정확합니다.
매개변수 형태가 중요한 이유. 많은 실제 곡선은 자연스럽게 매개변수로 나타납니다. 원, 타원, 나선, 디자인 소프트웨어의 베지에 곡선, 물리학과 로봇공학에서 움직이는 물체의 경로가 그렇습니다. 명시적 형태 y = f(x)는 되돌아가는 곡선을 나타낼 수 없지만 매개변수 형태는 가능합니다. 계산기는 두 형태를 같은 중점 엔진, 같은 표, 같은 수렴 분석으로 다룹니다. 매개변수 곡선에 대해 더 알아보려면 매개변수 호 길이 계산기를 참고하세요.
매개변수에 대한 주의. 속력이 1이 아닌 한 매개변수 t는 호의 길이와 같지 않습니다. t에서 같은 간격으로 나아간다고 곡선을 따라 같은 거리만큼 나아가는 것은 속력이 일정할 때만 성립합니다. 일반적인 매개변수 곡선에서는 중점법이 여전히 올바르게 작동합니다. 속력을 적분하기 때문이며 직사각형은 곡선을 따른 거리가 아니라 t에서 같습니다. 그래도 괜찮습니다. 공식이 v(t)를 통해 이를 반영하기 때문입니다.
중점법이 유용한 경우
중점법은 적분을 수치로 추정해야 하는 곳이라면 어디서든 유용하며, 호의 길이는 그 일 중 하나일 뿐입니다. 단순함, 2차 정확도, 끝점 문제에 대한 관용성이 합쳐져 많은 분야에서 일꾼 역할을 합니다.
수치 미적분과 교육. 중점법은 학생들이 처음 만나는 수치적분 방법인 경우가 많습니다. 직사각형은 그리기 쉽고 중점 아이디어도 이해하기 쉽기 때문입니다. 리만 합, 수렴, 오차 분석을 한 번에 가르쳐 줍니다. 이 계산기의 표와 도표는 바로 그 목적을 위해 만들어졌습니다. 답의 모든 숫자를 직사각형 하나로 거슬러 올라가 확인할 수 있습니다.
공학. 엔지니어는 수학적 모형으로부터 곡선 부품, 케이블, 파이프, 도로 굽음의 길이를 추정합니다. 곡선이 다항식이나 삼각함수이면 호의 길이 적분에 닫힌 형태가 없는 경우가 많아 수치 방법이 유일한 선택입니다. 중점법은 명확한 오차 추정치와 함께 빠른 답을 주며, n을 올리면 설계가 요구하는 만큼 정교해집니다.
물리학. 물리학자는 경로를 따라 적분해 일, 이동 거리, 장의 양을 계산합니다. 곡선 경로를 따라 움직이는 입자가 이동한 거리는 그 궤적의 호의 길이와 같으며, 중점법은 속도 자료로부터 그 거리를 추정합니다. 같은 방법은 열역학, 광학, 양자역학에서도 해석적 원시함수가 닿지 않는 적분을 추정합니다.
컴퓨터 그래픽스와 CAD. 화면의 곡선은 많은 짧은 직선 선분으로 그려지며, 곡선의 전체 길이는 그 선분들을 더해 추정하는데 이는 수치적분의 한 형태입니다. 글꼴 외곽선, 애니메이션 경로, CAD 도구 경로는 모두 정확한 곡선 길이 측정에 의존합니다. 중점법은 그림에서 추측하는 대신 원리에 맞는 방법으로 그 길이를 잽니다.
곡선 측정과 로봇공학. 원호를 따라 그리퍼를 움직이는 로봇 팔, 곡선 모서리를 자르는 CNC 기계, 곡선 경계를 재는 측량사는 모두 방정식이나 표본 점으로만 알려진 곡선의 길이가 필요합니다. 중점법은 그 표본을 길이로 바꾸고, 답을 어디까지 믿을 수 있는지 말해 주는 오차 추정치를 함께 줍니다.
과학 모형과 계산 기하학. 생물학, 금융, 기후 과학의 모형은 이산 점에서만 알려진 함수를 적분합니다. 중점법은 자료가 구간 중심에서 취한 표본일 때 자연스러운 선택이며, 이는 센서 측정값과 시뮬레이션 출력에서 흔합니다. 계산 기하학에서는 곡선 도형의 둘레와 스플라인 곡선의 길이를 잽니다.
사용하지 말아야 할 경우. 피적분함수가 구간 안에 특이점을 가지거나, 함수가 불연속이거나, 적은 계산으로 아주 높은 정확도가 필요할 때는 중점법이 좋지 않은 선택입니다. 심프슨 법칙이나 적응형 방법이 더 잘합니다. 적분 자체가 문제가 아닐 때도 잘못된 도구입니다. 반지름 5인 원의 사분원 호는 정확히 5π/2 = 7.8539816340 단위이며 어떤 수치 방법도 그보다 나을 수 없습니다.
중점법을 사용할 때 흔한 실수
틀린 중점 답의 대부분은 짧은 실수 목록에서 나옵니다. 각 항목을 확인하는 데는 몇 초면 되지만 대부분의 실수를 막아 줍니다.
- 중점 대신 끝점 사용하기. 각 부분구간의 왼쪽이나 오른쪽 끝에서 표본을 취하면 중점법이 아니라 왼쪽이나 오른쪽 리만 합을 계산하게 됩니다. [0, 2] 구간에서 포물선 y = x2, n = 4인 경우 왼쪽 합은 3.75 단위, 오른쪽 합은 5.75 단위인 반면 중점법은 4.6267234873 단위를 줍니다. 중점 값만이 중점법 답입니다.
- 함수 미분 잊기. 피적분함수는 g(x) = √(1 + [f'(x)]2)이지 √(1 + [f(x)]2)이 아닙니다. y = x2에서 f(x) 대신 f'(x)를 쓰면 √(1 + x4)의 적분이 되며 전혀 다른 숫자가 나옵니다. 항상 먼저 미분하세요.
- 잘못된 호의 길이 피적분함수 사용하기. 피적분함수는 반드시 √(1 + [f'(x)]2)이어야 합니다. 1을 빼먹거나, 제곱을 잊거나, 잘못된 양에 제곱근을 취하면 모두 틀린 답이 나옵니다. 기울기가 3인 직선에서는 피적분함수가 상수 √(10) = 3.1622776602이며 3도 아니고 √(1 + 3)도 아닙니다.
- 구간을 잘못 나누기. 너비는 Δx = (b - a) / n이며 분자에는 전체 구간 길이가 들어갑니다. n + 1로 나누거나 (b - a) / n 대신 b / n을 쓰면 모든 중점이 어긋나고 답이 망가집니다. [0, 2] 구간, n = 4에서는 너비가 0.5이지 0.4도 아니고 0.6666666667도 아닙니다.
- 중점 개수 틀리기. 중점은 부분구간마다 하나씩 정확히 n개이며 n + 1개가 아닙니다. 끝점은 중점이 아닙니다. 표본점을 n + 1개 세었다는 것은 부분구간 하나를 두 번 세었거나 끝점을 실수로 표본 추출했다는 뜻입니다.
- 원래 곡선과 피적분함수 그래프 혼동하기. 중점 직사각형은 원래 곡선 f(x) 아래가 아니라 피적분함수 g(x) 아래에 있습니다. f(x) 아래에 그려 넓이를 더하면 f(x) 아래 넓이가 되며 이는 호의 길이가 아닙니다. 두 그래프는 다른 곡선이며 따로 보여야 합니다.
- 중간값 반올림하기. 중점, 도함수 값, 피적분함수 값을 더하기 전에 반올림하면 작은 오차가 많은 직사각형에 걸쳐 누적됩니다. 계산 내내 전체 정밀도를 유지하고 마지막에 표시되는 결과만 반올림하세요. 계산기는 이를 자동으로 수행합니다.
- 모든 근삿값을 정확한 값으로 여기기. 중점법은 직선이나 일정한 속력의 매개변수 곡선 같은 특수한 경우를 제외하고는 근삿값을 주며 참값이 아닙니다. 포물선에서는 L4 = 4.6267234873 단위가 참값 4.6467837624 단위에 가깝지만 같지는 않습니다. 결과는 항상 근삿값으로 보고하고 오차 추정치를 함께 제시하세요.
- 추정 오차와 보장된 오차 상한 혼동하기. 세분화 차이 |M2n - Mn|은 답이 아직 얼마나 움직이는지 보여 주는 지표이지 참 오차가 그 차이보다 작다는 보장이 아닙니다. 이론적 상한 ((b - a)3 / (24n2)) × max|g''(x)|은 보장이지만 2차 도함수 최댓값을 알고 피적분함수가 매끄러울 때만 성립합니다.
- 함수 정의역 제한 무시하기. √(x) 같은 함수는 음의 x에서 정의되지 않고 ln(x)는 x ≤ 0에서 정의되지 않습니다. 중점이 정의역 밖에 떨어지면 피적분함수 값이 존재하지 않고 근삿값은 무의미해집니다. 계산기는 그럴 때 값을 지어내지 않고 오류를 보고합니다.
- 잘못된 매개변수 도함수 사용하기. 매개변수 곡선에서는 도함수 x'(t)와 y'(t)가 둘 다 필요하며 속력은 √([x'(t)]2 + [y'(t)]2)입니다. 하나만 쓰거나 잘못된 변수로 미분하면 속력과 길이가 틀립니다. 사분원에서는 x'(t) = -5 sin(t), y'(t) = 5 cos(t)이며 상수 속력 5를 얻으려면 둘 다 필요합니다.
- 매끄럽지 않거나 특이한 함수를 표준 오차 가정이 자동으로 적용되는 것처럼 다루기. 1 / n2 오차 거동과 이론적 상한은 매끄러운 피적분함수를 가정합니다. 구간 안에 모서리, 점프, 특이점이 있는 함수는 훨씬 느리게 수렴할 수 있으며 리처드슨 외삽이 실패할 수 있습니다. 수렴 표를 확인하세요. n을 두 배로 해도 변화가 대략 4분의 1로 줄지 않는다면 그 함수에는 표준 가정이 성립하지 않습니다.
대부분을 잡아내는 마지막 검사. 현의 길이와 기준값으로 결과를 검증하세요. 근삿값은 최소한 현만큼 길어야 하고, n이 커질수록 기준값에 다가가야 하며, 표 행의 합이 주요 결과와 같아야 하고, 직선이나 일정한 속력의 곡선에서는 정확한 값과 같아야 합니다. 이 중 어느 하나라도 실패하면 위 열두 가지 실수 중 하나가 원인입니다.
풀이 예제
이 여섯 예제는 계산기의 주요 모드와 함수 유형을 다룹니다. 각 예제는 도구를 움직이는 같은 중점 엔진으로 계산되었으며 각 결과는 고정밀 적응형 심프슨 기준값과 독립적으로 검증되었습니다.
예제 1: 포물선, [0, 2] 구간에서 y = x2, n = 4. 도함수는 f'(x) = 2x, 너비는 Δx = 0.5, 중점은 0.25, 0.75, 1.25, 1.75입니다. 피적분함수 값은 1.1180339887, 1.8027756377, 2.6925824036, 3.6400549446이며 합은 9.2534469747이고 L4 = 0.5 × 9.2534469747 = 4.6267234873 단위입니다. 기준값은 4.6467837624 단위이므로 절대 오차는 0.0200602751 단위, 상대 오차는 0.4317%입니다. n = 8로 두 배가 되면 4.6417306581 단위가 되며 두 값에서 구한 리처드슨 추정치는 4.6467330483 단위입니다.
예제 2: 직선, [0, 4] 구간에서 y = 3x + 1, n = 4. 도함수는 f'(x) = 3이므로 피적분함수는 상수 g(x) = √(10) = 3.1622776602입니다. 너비는 Δx = 1, 중점은 0.5, 1.5, 2.5, 3.5이며 모든 피적분함수 값은 3.1622776602입니다. 합은 4 × 3.1622776602 = 12.6491106407이며 L4 = 1 × 12.6491106407 = 12.6491106407 단위로 정확히 4√(10)입니다. 피적분함수가 상수이고 모든 직사각형의 높이가 올바르므로 중점법은 여기서 어떤 n에서도 정확합니다.
예제 3: 수평선, [1, 5] 구간에서 y = 2, n = 4. 도함수는 f'(x) = 0이므로 피적분함수는 상수 g(x) = √(1 + 0) = 1입니다. 너비는 Δx = 1, 중점은 1.5, 2.5, 3.5, 4.5이며 모든 기여도는 1 × 1 = 1입니다. 합계는 L4 = 4.0000000000 단위이며 정확히 가로 거리 5 - 1 = 4입니다. 수평선은 세로 변화가 없으므로 호의 길이는 곧 구간 길이입니다.
예제 4: 매개변수 사분원, [0, π/2] 구간에서 x(t) = 5 cos(t), y(t) = 5 sin(t), n = 4. 도함수는 x'(t) = -5 sin(t), y'(t) = 5 cos(t)이며 속력은 상수 v(t) = 5입니다. 매개변수 너비는 Δt = π/8 = 0.3926990817, 중점 매개변수는 π/16, 3π/16, 5π/16, 7π/16이며 모든 기여도는 0.3926990817 × 5 = 1.9634954085입니다. 합계는 L4 = 7.8539816340 단위로 정확히 5π/2입니다. 전체 원은 10π = 31.4159265359 단위, 반원은 5π = 15.7079632679 단위가 됩니다.
예제 5: 삼차 곡선, [0, 1] 구간에서 y = x3, n = 4. 도함수는 f'(x) = 3x2, 너비는 Δx = 0.25, 중점은 0.125, 0.375, 0.625, 0.875입니다. 피적분함수 값은 1.0010980300, 1.0853471867, 1.5405489332, 2.5051217067이며 합은 6.1321158566이고 L4 = 0.25 × 6.1321158566 = 1.5330289642 단위입니다. 기준값은 1.5478656547 단위이므로 절대 오차는 0.0148366905 단위, 상대 오차는 0.9585%입니다. n = 8로 두 배가 되면 1.5441590533 단위가 되며 리처드슨 추정치는 1.5478690830 단위입니다.
예제 6: 삼각함수, [0, π] 구간에서 y = sin(x), n = 8. 도함수는 f'(x) = cos(x), 너비는 Δx = π/8 = 0.3926990817이며 여덟 중점은 π/16, 3π/16, 5π/16, 7π/16, 9π/16, 11π/16, 13π/16, 15π/16입니다. 피적분함수 값은 1.4006926023, 1.3005159423, 1.1439660326, 1.0188524102, 1.0188524102, 1.1439660326, 1.3005159423, 1.4006926023입니다. 합은 9.7280539749이며 L8 = 0.3926990817 × 9.7280539749 = 3.8201978627 단위입니다. 기준값은 3.8201977890 단위이므로 절대 오차는 겨우 0.0000000736 단위, 상대 오차는 0.00000193%입니다. 이 적분은 초등 원시함수가 없으므로 중점법과 기준값이 답을 얻는 실용적인 방법입니다.
계산기에서 사전 설정 버튼을 클릭하면 이 예제 중 하나를 불러와 전체 단계별 풀이, 실시간 도표, 계산 표, 해당 입력에 대한 수렴 비교를 볼 수 있습니다.
실용적인 응용
중점법을 이용한 호의 길이는 줄자로 잴 수 없어 공식으로 곡선 거리를 재야 하는 곳이라면 어디서든 나타납니다. 같은 계산이 학생, 엔지니어, 디자이너 모두에게 도움이 됩니다.
도로, 선로, 케이블. 곡선 도로, 육상 트랙의 굽음, 두 지지대 사이에 늘어진 케이블은 모두 곡선을 따라 길이가 정해집니다. 곡선을 함수로 모형화하면 중점법이 모형으로부터 길이를 추정하고 오차 추정치가 답을 어디까지 믿을 수 있는지 알려 줍니다. y = x2로 모형화한 케이블은 [0, 2] 구간에서 직선 간격 4.4721359550 단위가 아니라 4.6467837624 단위의 케이블이 필요합니다.
제조와 판금. 곡선 패널, 굽은 파이프, 말린 모서리는 알려진 길이의 평평한 재료에서 시작합니다. 중점법은 곡선 설계를 자를 평평한 길이로 바꾸고 수렴 표가 작업장에서 필요한 정밀도까지 길이를 확인해 줍니다. 반지름 5인 사분원 굽음은 곡선을 따라 7.8539816340 단위의 재료가 필요합니다.
건축. 아치, 돔, 곡선 계단은 호로 치수가 정해집니다. 반지름 5인 반원 아치는 곡선을 따라 5π = 15.7079632679 단위의 마감이 필요합니다. 포물선이나 사인 곡선으로 모형화한 비원형 아치에서는 중점법이 설계 방정식으로부터 바로 마감 길이를 줍니다.
물리학과 운동. 입자가 곡선 경로를 따라 이동한 거리는 그 궤적의 호의 길이입니다. 진자 추, 발사체, 타원 궤도의 위성은 모두 길이가 에너지, 시간, 연료 계산에 중요한 곡선을 따라 움직입니다. 중점법은 운동 방정식으로부터 그 거리를 추정합니다.
컴퓨터 그래픽스, 애니메이션, 게임. 곡선 경로를 따라 움직이는 물체, 카메라 이동, 애니메이션 캐릭터는 모두 스플라인과 매개변수 곡선을 따릅니다. 경로를 따른 거리가 속도, 시간, 프레임 간격을 결정합니다. 중점법은 곡선 방정식으로부터 그 경로 길이를 재며 매개변수 모드는 되돌아가는 곡선도 다룹니다.
의학과 생물학. 혈관, 척추, 장기 곡면은 스캔과 모형으로부터 측정됩니다. 혈관 중심선을 따른 호의 길이는 스텐트와 카테터 계획을 돕고, 중점법은 모형화된 중심선을 오차 추정치와 함께 길이로 바꿉니다.
이 사이트의 관련 계산기. 이름 있는 곡선의 정확한 호의 길이는 포물선 호 길이 계산기, 타원 호 길이 계산기, 반원 호 길이 계산기, 원호 길이 계산기, 부채꼴 호 길이 계산기를 사용해 보세요. 단계별 정확한 적분은 단계별 호 길이 계산기, 매개변수 호 길이 계산기, 극좌표 호 길이 계산기, 3D 호 길이 계산기를 사용해 보세요. 다른 수치 방법으로는 사다리꼴 법칙 계산기와 심프슨 법칙 계산기를 사용해 보세요.
중점법 호 길이 참고 표
이 표는 두 주요 풀이 예제의 수렴 거동을 한곳에 모아 중점법이 얼마나 빨리 안정되는지, 리처드슨 외삽이 답을 얼마나 개선하는지 보여 줍니다. 모든 값은 중점 엔진으로 계산되었으며 기준값은 적응형 심프슨 적분에서 가져왔습니다.
포물선 y = x2, [0, 2] 구간, 기준값 4.6467837624 단위.
| 부분구간 n | 중점 근삿값 | 절대 오차 | 이전 값과의 변화 |
|---|---|---|---|
| 1 | 4.4721359550 | 0.1746478074 | 첫 번째 값 |
| 2 | 4.5764912225 | 0.0702925399 | 0.1043552675 |
| 4 | 4.6267234873 | 0.0200602751 | 0.0502322648 |
| 8 | 4.6417306581 | 0.0050531044 | 0.0150071707 |
| 16 | 4.6455205322 | 0.0012632302 | 0.0037898741 |
| 32 | 4.6464679593 | 0.0003158031 | 0.0009474272 |
| Richardson (4, 8) | 4.6467330483 | 0.0000507141 | 정교해진 추정치 |
사인 곡선 y = sin(x), [0, π] 구간, 기준값 3.8201977890 단위.
| 부분구간 n | 중점 근삿값 | 절대 오차 | 이전 값과의 변화 |
|---|---|---|---|
| 1 | 3.1415926536 | 0.6786051354 | 첫 번째 값 |
| 2 | 3.8476494905 | 0.0274517015 | 0.7060568369 |
| 4 | 3.8204517876 | 0.0002539986 | -0.0271977029 |
| 8 | 3.8201978627 | 0.0000000736 | -0.0002539249 |
| 16 | 3.8201977890 | 0.0000000000 | -0.0000000736 |
| Richardson (8, 16) | 3.8201977645 | 0.0000000245 | 정교해진 추정치 |
표 읽는 방법. 포물선 오차는 두 배가 될 때마다 약 4배씩 떨어집니다. n = 4에서 0.0200602751, n = 8에서 0.0050531044, n = 16에서 0.0012632302로, 예상되는 1 / n2 거동입니다. 사인 곡선은 구간 가운데 근처에서 피적분함수가 거의 평평하므로 더 빠르게 수렴합니다. n = 8이면 오차가 이미 0.0000000736 단위이고 n = 16이면 근삿값이 표시되는 소수점 이하 열 자리까지 기준값과 일치합니다. 리처드슨 행은 같은 아이디어를 한 단계로 보여 줍니다. 두 근삿값을 합치면 어느 하나보다 낫고, 포물선에서는 오차가 0.0000507141 단위, 사인 곡선에서는 0.0000000245 단위입니다. 이 표를 기준으로 삼으세요. 이 예제 중 하나에 대한 직접 계산이 표와 맞지 않으면 답을 믿기 전에 도함수, 중점, 피적분함수를 확인하세요.
중점법 호 길이 자주 묻는 질문
미적분학에서 중점법이란 무엇인가요? +
중점법은 구간을 n개의 같은 부분구간으로 나누고 각 부분구간의 중심에서 함수를 표본 추출해 정적분을 추정하는 수치적분 방법입니다. 각 표본 값은 너비가 Δx = (b - a) / n인 직사각형의 높이가 되며, 직사각형 넓이의 합이 근삿값입니다. M<sub>n</sub> = Δx × Σ g(x<sub>i</sub>*). 이는 리만 합의 한 종류이며, 중심 표본이 각 부분구간에서 주요 오차를 상쇄하므로 같은 개수의 직사각형을 쓰는 왼쪽이나 오른쪽 끝점 규칙보다 정확합니다.
중점법은 호의 길이를 어떻게 계산하나요? +
호의 길이 적분을 직사각형 넓이의 합으로 바꿉니다. 먼저 도함수 f'(x)를 구하고 피적분함수 g(x) = √(1 + [f'(x)]<sup>2</sup>)를 만듭니다. 그런 다음 [a, b]를 너비가 Δx인 n개 부분구간으로 나누고, 각 중점에서 g(x)를 계산하며, 각 값에 Δx를 곱하고 결과를 더합니다. [0, 2] 구간에서 y = x<sup>2</sup>, n = 4인 경우 중점은 0.25, 0.75, 1.25, 1.75, 피적분함수 값은 1.1180339887, 1.8027756377, 2.6925824036, 3.6400549446이며 합계는 L<sub>4</sub> = 4.6267234873 단위입니다.
중점법 공식은 무엇인가요? +
호의 길이에 대한 공식은 L<sub>n</sub> = Δx × Σ √(1 + [f'(x<sub>i</sub>*)]<sup>2</sup>)입니다. 여기서 Δx = (b - a) / n은 부분구간 너비, x<sub>i</sub>* = a + (i + ½)Δx는 i번째 부분구간의 중점, f'(x)는 함수의 도함수이며 합은 n개 부분구간 전체에 걸쳐 이루어집니다. 매개변수 곡선에서는 공식이 L<sub>n</sub> = Δt × Σ √([x'(t<sub>i</sub>*)]<sup>2</sup> + [y'(t<sub>i</sub>*)]<sup>2</sup>)이며 속력이 명시적 피적분함수를 대신합니다.
부분구간 너비는 어떻게 계산하나요? +
구간 길이를 부분구간 개수로 나눕니다. Δx = (b - a) / n. [0, 2] 구간, n = 4이면 Δx = (2 - 0) / 4 = 0.5입니다. [0, 1] 구간, n = 4이면 Δx = (1 - 0) / 4 = 0.25입니다. [0, π] 구간, n = 8이면 Δx = π / 8 = 0.3926990817입니다. 모든 부분구간의 너비가 같다는 점이 이 규칙을 단순하게 만듭니다. 하나의 너비가 모든 피적분함수 값에 곱해집니다.
각 구간의 중점은 어떻게 구하나요? +
부분구간의 왼쪽 경계에 부분구간 너비의 절반을 더합니다. x<sub>i</sub>* = a + (i + ½)Δx이며 i는 0부터 셉니다. [0, 2] 구간, n = 4, Δx = 0.5이면 중점은 0 + 0.5 × 0.5 = 0.25, 0 + 1.5 × 0.5 = 0.75, 0 + 2.5 × 0.5 = 1.25, 0 + 3.5 × 0.5 = 1.75입니다. 각 중점은 부분구간 경계의 정확히 가운데에 있습니다. [0, 1] 구간, n = 4이면 중점은 0.125, 0.375, 0.625, 0.875입니다.
호의 길이 계산에서 도함수를 사용하는 이유는 무엇인가요? +
곡선의 길이는 시작점과 끝점 위치뿐 아니라 얼마나 가파르게 오르는지에 달려 있기 때문입니다. 곡선의 작은 조각이 가로로 dx만큼 움직이면 세로로 dy = f'(x) dx만큼 움직이므로 그 길이는 √(dx<sup>2</sup> + dy<sup>2</sup>) = √(1 + [f'(x)]<sup>2</sup>) dx입니다. 도함수가 없으면 기울기가 길이를 얼마나 더하는지 알 수 없습니다. y = x<sup>2</sup>의 경우 [0, 2] 구간에서 기울기가 0에서 4로 커지므로 피적분함수는 1에서 √(17) = 4.1231056256으로 커지고, 호의 길이 4.6467837624 단위는 가로 거리 2보다 훨씬 깁니다.
부분구간 개수를 늘리면 정확도가 좋아지나요? +
매끄러운 함수에서는 보통 그렇습니다. 중점법 오차는 1 / n<sup>2</sup>에 비례하므로 n을 두 배로 하면 오차가 대략 4분의 1로 줄어듭니다. [0, 2] 구간에서 포물선 y = x<sup>2</sup>의 경우 오차는 n = 4에서 0.0200602751 단위, n = 8에서 0.0050531044 단위, n = 16에서 0.0012632302 단위로 떨어집니다. 개선이 모든 함수에서 단조롭다고 보장되지는 않으며 모서리나 특이점이 있는 함수에서는 느릴 수 있으므로, n이 크면 더 낫다고 가정하지 말고 항상 수렴 표를 확인하세요.
중점법과 사다리꼴 법칙의 차이는 무엇인가요? +
중점법은 각 부분구간의 중심에서 피적분함수를 표본 추출해 직사각형을 만들고, 사다리꼴 법칙은 양쪽 끝점에서 표본 추출해 사다리꼴을 만듭니다. 두 방법 모두 오차가 O(1 / n<sup>2</sup>)이지만 중점법은 같은 n에서 보통 약 두 배 정확하고 오차 부호가 보통 반대입니다. [0, 2] 구간에서 포물선 y = x<sup>2</sup>, n = 4인 경우 중점법은 4.6267234873 단위, 사다리꼴 법칙은 4.6870560064 단위이며 기준값은 4.6467837624 단위입니다. 중점법은 n + 1번이 아니라 n번만 계산하면 되며 끝점을 계산하지 않으므로 함수가 끝점에서 정의되지 않을 때 도움이 됩니다.
중점법과 심프슨 법칙의 차이는 무엇인가요? +
심프슨 법칙은 부분구간 쌍마다 끝점과 중점을 지나는 포물선을 맞추는 반면, 중점법은 중점 값만 이용해 평평한 직사각형을 만듭니다. 심프슨 법칙의 오차는 O(1 / n<sup>4</sup>)이므로 매끄러운 함수에서는 훨씬 빠르게 수렴하지만 부분구간 개수가 짝수여야 하고 계산 횟수가 더 많습니다. [0, 2] 구간에서 포물선 y = x<sup>2</sup>, n = 4인 경우 중점법은 4.6267234873 단위이며 오차는 0.0200602751 단위인 반면, 심프슨 법칙은 4.6502010785 단위이며 오차는 겨우 0.0034173160 단위입니다. 단순함과 리만 합 교육에는 중점법을, 적은 부분구간으로 높은 정확도가 필요할 때는 심프슨 법칙을 사용하세요.
중점법의 오차는 어떻게 계산하나요? +
고정밀 기준값이 있으면 절대 오차는 |L<sub>기준값</sub> - M<sub>n</sub>|, 상대 오차는 그 값을 |L<sub>기준값</sub>|으로 나눈 뒤 100을 곱한 값입니다. n = 4인 포물선에서는 절대 오차가 0.0200602751 단위, 상대 오차가 0.4317%입니다. 기준값이 없을 때는 세분화 차이 |M<sub>2n</sub> - M<sub>n</sub>|을 실용적인 지표로 사용하세요. 포물선에서는 |M<sub>8</sub> - M<sub>4</sub>| = 0.0150071707 단위입니다. 이론적 상한 ((b - a)<sup>3</sup> / (24n<sup>2</sup>)) × max|g''(x)|은 2차 도함수 최댓값을 알고 피적분함수가 매끄러울 때만 보장됩니다.
리처드슨 외삽이란 무엇인가요? +
리처드슨 외삽은 두 중점 근삿값을 합쳐 주요 O(1 / n<sup>2</sup>) 오차 항을 상쇄함으로써 정교해진 추정치를 만드는 방법입니다. 공식은 L<sub>R</sub> = (4M<sub>2n</sub> - M<sub>n</sub>) / 3입니다. [0, 2] 구간에서 포물선 y = x<sup>2</sup>의 경우 M<sub>4</sub> = 4.6267234873 단위, M<sub>8</sub> = 4.6417306581 단위에서 L<sub>R</sub> = 4.6467330483 단위가 되며 기준값 4.6467837624 단위와 비교한 오차는 겨우 0.0000507141 단위입니다. 외삽 값은 정교해진 추정치이지 중점법 결과도 아니고 보장된 정확한 답도 아니며 피적분함수가 매끄럽다고 가정합니다.
중점법으로 매개변수 곡선의 길이를 계산할 수 있나요? +
네. [t<sub>1</sub>, t<sub>2</sub>] 구간에서 곡선 x = x(t), y = y(t)에 대해 매개변수 구간을 너비가 Δt인 n개 구간으로 나누고, 중점 매개변수에서 속력 v(t) = √([x'(t)]<sup>2</sup> + [y'(t)]<sup>2</sup>)를 표본 추출한 뒤 기여도를 더합니다. L<sub>n</sub> = Δt × Σ v(t<sub>i</sub>*). [0, π/2] 구간에서 사분원 x(t) = 5 cos(t), y(t) = 5 sin(t), n = 4인 경우 속력은 상수 5이므로 L<sub>4</sub> = 5π/2 = 7.8539816340 단위이며 어떤 n에서도 정확합니다.
중점법으로 정확한 답을 얻을 수 있나요? +
네, 하지만 특수한 경우에만 가능합니다. 피적분함수가 상수이면 모든 직사각형의 높이가 올바르고 합이 정확합니다. 이는 도함수 f'(x)가 상수인 직선과, 원처럼 속력이 일정한 매개변수 곡선에서 일어납니다. [0, 4] 구간에서 y = 3x + 1인 경우 중점법은 어떤 n에서도 정확히 4√(10) = 12.6491106407 단위를 줍니다. [1, 5] 구간에서 y = 2인 경우 정확히 4.0000000000 단위를 줍니다. y = x<sup>2</sup> 같은 일반적인 곡선에서는 중점법이 n이 커질수록 참값에 다가가는 근삿값을 주지만 유한한 n에서는 참값과 정확히 같아지지 않습니다.
부분구간 개수가 1이면 어떻게 되나요? +
n = 1이면 구간 전체가 직사각형 하나가 됩니다. 너비는 Δx = b - a이며 높이는 구간 중점에서의 피적분함수입니다. [0, 2] 구간에서 포물선 y = x<sup>2</sup>의 경우 n = 1이면 2 × √(5) = 4.4721359550 단위가 되며 참값 4.6467837624 단위와 비교됩니다. [0, π] 구간에서 사인 곡선 y = sin(x)의 경우 n = 1이면 π × 1 = 3.1415926536 단위가 됩니다. 중점이 π/2이며 cos(x) = 0이고 피적분함수가 1이기 때문입니다. 직사각형 하나는 거친 추정치로 첫 추측으로는 유용하지만 최종 답이 되어서는 안 됩니다.
중점법이 근사법인 이유는 무엇인가요? +
피적분함수 아래의 참 곡선 넓이를 평평한 위쪽의 직사각형으로 바꾸기 때문입니다. 각 부분구간에서 직사각형 높이는 중점 한 점에서의 피적분함수 값인 반면, 참 피적분함수는 부분구간 안에서 변합니다. 평평한 위쪽은 한쪽에서는 넓이를 조금 잘라내고 다른 쪽에서는 조금 더하며 두 오차가 거의 상쇄되지만 정확하지는 않습니다. 피적분함수가 상수일 때만 직사각형이 곡선과 정확히 일치합니다. n이 커지고 직사각형이 좁아지면 어긋남이 줄어들고 합이 참 적분에 다가갑니다. 하지만 유한한 n에서는 작은 오차가 남습니다.
호의 길이와 곡선 아래 넓이의 차이는 무엇인가요? +
호의 길이는 곡선을 따른 거리를 재는 반면, 곡선 아래 넓이는 곡선과 x축 사이의 영역을 잽니다. 두 적분은 다릅니다. 호의 길이는 ∫ √(1 + [f'(x)]<sup>2</sup>) dx이고 넓이는 ∫ f(x) dx입니다. [0, 2] 구간에서 y = x<sup>2</sup>의 경우 호의 길이는 4.6467837624 단위인 반면 곡선 아래 넓이는 8 / 3 = 2.6666666667 제곱단위입니다. 호의 길이에 대한 중점 직사각형은 원래 곡선이 아니라 피적분함수 √(1 + 4x<sup>2</sup>) 아래에 그려지며 그 전체 넓이가 호의 길이 근삿값이지 f(x) 아래 넓이가 아닙니다.
중점법은 직선에서 어떻게 작동하나요? +
직선에서는 도함수가 상수이므로 피적분함수도 상수이고 모든 중점 직사각형의 높이가 정확히 맞아 규칙이 정확해집니다. [0, 4] 구간에서 y = 3x + 1인 경우 f'(x) = 3, 피적분함수는 어디서나 √(10) = 3.1622776602이며 중점법은 n = 1에서도 어떤 n에서도 4 × 3.1622776602 = 12.6491106407 단위를 줍니다. 수평선도 마찬가지입니다. [1, 5] 구간에서 y = 2는 정확히 4.0000000000 단위를 줍니다. 직선은 근삿값이 곧 답인 유일한 경우입니다.
부분구간 개수를 더 높여야 할 때는 언제인가요? +
필요한 정밀도에서 답이 아직 변하고 있거나, 피적분함수가 구간 안에서 빠르게 변하거나, 함수에 날카로운 굽음이 있을 때 더 높은 n을 사용하세요. 실용적인 규칙은 신경 쓰는 자릿수에서 답이 더 이상 변하지 않을 때까지 n을 두 배로 늘리는 것입니다. n = 100과 n = 200이 소수점 이하 여섯 자리까지 일치한다면 n = 100으로 충분합니다. 포물선에서는 n = 4일 때 오차가 0.0200602751 단위인 반면 n = 32일 때는 오차가 겨우 0.0003158031 단위입니다. 숙제에는 n = 4나 n = 8을 쓰면 표가 손으로 확인할 만큼 짧게 유지되고, n = 50이나 n = 100을 쓰면 대부분의 매끄러운 함수에서 소수점 이하 네 자리나 다섯 자리가 정확한 답을 얻을 수 있습니다.