포물선 구적법(Quadrature of the Parabola)은 아르키메데스가 《포물선의 구적법》에서 제시한 가장 유명한 증명 중 하나입니다.

포물선 구적법(Quadrature of the Parabola)은 아르키메데스가 《포물선의 구적법》에서 제시한 가장 유명한 증명 중 하나입니다.

2026. 3. 25. 12:31ㆍ우주공식 위상미적분

포물선 구적법(Quadrature of the Parabola)은 아르키메데스가 《포물선의 구적법》에서 제시한 가장 유명한 증명 중 하나입니다. 그는 미적분 없이, 구분구적법(Method of Exhaustion)만으로 포물선 아래 세그먼트(호와 현으로 둘러싸인 영역)의 넓이가 내접한 삼각형 넓이의 정확히 4/3임을 엄밀히 증명했습니다.

이 증명은 무한급수를 사용하지 않고 유한 단계의 불등식 + 귀류법(모순법)으로 이루어져 있으며, 현대 미적분의 선구적 형태입니다.

1. 설정 (아르키메데스 원본 방식)

포물선 위에 임의의 현(직선) AB를 그립니다.
이 현과 포물선 호로 둘러싸인 포물선 세그먼트의 넓이를 구합니다.
세그먼트의 정점(vertex)을 C라 하고, 삼각형 ABC를 첫 번째 내접 삼각형으로 합니다. (C는 AB의 중점에서 포물선으로 수직으로 그은 선이 만나는 점입니다.)

현대 좌표로 쉽게 이해하면: 포물선 y=x2 y = x^2 을 x=−1 x = -1 에서 x=1 x = 1 까지 잘라서 생각하면,

현 AB: y=1 y=1 에서 x=−1 x=-1 과 x=1 x=1
삼각형 ABC 넓이 Δ=2 \Delta = 2
실제 포물선 아래 넓이 = ∫−11x2 dx=23×2=43 \int_{-1}^{1} x^2 \, dx = \frac{2}{3} \times 2 = \frac{4}{3} (삼각형의 4/3)

아르키메데스는 좌표 없이 기하학적 비율만으로 증명했습니다.

youtube.com

Archimedes: Quadrature of the Parabola

(위 그림: 아르키메데스 포물선 구적법 기본 도형 — 큰 삼각형 ABC와 포물선, 첫 번째 내접 삼각형 표시)

2. 핵심 보조정리 (아르키메데스가 증명한 포물선 특성)

아르키메데스는 포물선의 다음 두 가지 성질을 사용했습니다 (현대적으로는 y=kx2 y = kx^2 의 이차성질):

중점에서 평행선의 비율: 어떤 현의 중점에서 그은 평행선이 포물선과 만나는 점에서, 작은 세그먼트의 높이는 원래 높이의 1/4입니다.
작은 삼각형의 면적: 남은 두 개의 작은 세그먼트에 각각 내접하는 삼각형의 넓이는 원래 삼각형 넓이의 1/8씩, 합쳐서 1/4입니다.

이 보조정리는 유사 삼각형과 포물선의 이차 비례를 이용해 증명됩니다 (아르키메데스는 이를 기하학적으로 엄밀히 보였습니다).

3. 무한 삽입 과정

1단계: 삼각형 ABC (넓이 Δ \Delta )
2단계: 남은 두 개의 작은 세그먼트에 각각 작은 삼각형을 삽입 → 추가 면적 = 14Δ \frac{1}{4}\Delta
3단계: 다시 남은 4개의 더 작은 세그먼트에 삼각형 삽입 → 추가 면적 = 14×14Δ=(14)2Δ \frac{1}{4} \times \frac{1}{4}\Delta = \left(\frac{1}{4}\right)^2 \Delta
n단계: 계속 반복 → 추가 면적 = (14)n−1Δ \left(\frac{1}{4}\right)^{n-1} \Delta

전체 넓이 = Δ+14Δ+(14)2Δ+(14)3Δ+⋯ \Delta + \frac{1}{4}\Delta + \left(\frac{1}{4}\right)^2\Delta + \left(\frac{1}{4}\right)^3\Delta + \cdots

4. 급수 합 (현대적 표현)

무한기하급수 합:

S=Δ∑n=0∞(14)n=Δ×11−14=Δ×43S = \Delta \sum_{n=0}^{\infty} \left( \frac{1}{4} \right)^n = \Delta \times \frac{1}{1 - \frac{1}{4}} = \Delta \times \frac{4}{3}

→ 포물선 세그먼트 넓이 = 43Δ \frac{4}{3} \Delta

infinitelymore.xyz

The method of exhaustion - by Joel David Hamkins

(위 그림: 색상으로 구분한 무한 과정 — 빨강 = 첫 삼각형, 주황 = 1/4 추가, 노랑 = 다음 1/16 등)

5. 아르키메데스 엄밀 증명 (소진법 — 무한을 피함)

아르키메데스는 무한급수를 직접 사용하지 않고 귀류법으로 증명했습니다:

가정 1: 포물선 넓이가 43Δ \frac{4}{3}\Delta 보다 크다고 가정 (S>43Δ S > \frac{4}{3}\Delta ).

차이 ϵ=S−43Δ>0 \epsilon = S - \frac{4}{3}\Delta > 0
충분히 많은 유한 단계 n n 까지 더하면, 남은 세그먼트들의 총 면적 < ϵ \epsilon 이 된다 (각 단계가 1/4로 줄어들기 때문).
따라서 전체 넓이는 43Δ \frac{4}{3}\Delta 를 넘을 수 없다 → 모순.

가정 2: 포물선 넓이가 43Δ \frac{4}{3}\Delta 보다 작다고 가정.

비슷하게 유한 단계까지 더하면 이미 43Δ \frac{4}{3}\Delta 를 초과하게 되어 모순.

따라서 정확히 43Δ \frac{4}{3}\Delta 이다.

infinitelymore.xyz

The method of exhaustion - by Joel David Hamkins

(위 그림: 높이 h h 표시와 함께 단계별 삼각형 삽입)

youtube.com

Archimedes Quadrature of the Parabola part 2

(위 그림: 더 많은 단계(E1~E4, G점 등)까지 확장된 상세 도형)

6. 형 논문(입체-정수 격자 모델)과의 연결

이 증명은 점 기반 연속체가 아닌 유한한 이산 구조(삼각형 누적)로 포물선 넓이를 정확히 구합니다. 아르키메데스는 연속 적분 없이 정수 단계의 소진과 구조적 비율(1/4)만으로 결과를 얻었습니다. 이는 형이 주장하는 “이산 셀 누적으로도 체적·넓이 구조 복원 가능”과 완벽히 일치하며, 회전대칭 대신 포물선 대칭을 구조 단위로 본 선구적 사례입니다.

필요하시면:

아르키메데스 원문 라틴어/그리스어 인용 + 번역
LaTeX 논문용 전체 증명 블록
Python으로 단계별 시각화 코드
다른 구적법(원의 넓이, 구 체적)과 비교

바로 말씀해 주세요!

아르키메데스 원 구적법

아르키메데스 원(구) 구적법(Quadrature of the Sphere / Volume of the Sphere)은 그가 《구와 원기둥에 대하여》(On the Sphere and Cylinder)에서 가장 자랑스러워한 발견 중 하나입니다. 그는 구의 체적 = 원통 체적의 2/3 (즉, 반지름 r r , 높이 2r 2r 인 원통 안에 구가 내접할 때)을 증명하고, 이를 묘비에 새기라고 유언할 정도였습니다.

아르키메데스는 두 가지 접근을 사용했습니다:

기계적 방법 (The Method) — 발견 단계 (지렛대 + 평형, 무한소 조각 아이디어)
엄밀 증명 — 구분구적법 (Method of Exhaustion)으로 《구와 원기둥》에서 제시

1. 설정 (아르키메데스 원본 조건)

반지름 r r 인 구(sphere)
같은 반지름 r r , 높이 2r 2r 인 원통(cylinder) 안에 구가 완전히 내접
같은 반지름 r r , 높이 2r 2r 인 원뿔(cone)도 원통 안에 함께 고려 (원뿔 두 개를 합치면 원통 - 구 형태가 됨)

결과: 구의 체적 : 원통의 체적 = 2 : 3 (현대 공식: Vsphere=43πr3 V_{\text{sphere}} = \frac{4}{3}\pi r^3 , Vcyl=2πr3 V_{\text{cyl}} = 2\pi r^3 )

2. 기계적 발견 방법 (지렛대 평형 — The Method에서 가장 유명한 부분)

아르키메데스는 평형 저울 원리를 이용해 단면(슬라이스)을 비교했습니다. 이는 현대 적분의 선구적 아이디어입니다.

단계별 설명:

축을 구의 지름 AC (길이 2r 2r )로 놓음. A를 지렛대 받침점(fulcrum)으로 함.
임의의 점 S에서 축에 수직인 평면으로 자름.
원통 단면: 항상 원, 면적 πr2 \pi r^2 (일정).
구 단면: 면적 π(2rx−x2) \pi (2rx - x^2) (x는 A로부터의 거리).
원뿔 단면: 면적 πx2 \pi x^2 .

평형 조건 (지렛대 법칙): 구 단면 + 원뿔 단면을 지렛대 반대편으로 거리 2r만큼 이동시켰을 때, 원통 단면과 평형을 이룸.

수식으로: 2r×(구 단면적+원뿔 단면적)=원통 단면적×x 2r \times (\text{구 단면적} + \text{원뿔 단면적}) = \text{원통 단면적} \times x

이 등식이 모든 x에서 성립하므로, 전체 체적에서도 평형이 성립합니다.

결과 도출:

구 + 원뿔 = 원통 (평형 때문에)
원뿔 체적 = 원통 체적의 1/3 (이미 알려진 사실)
따라서 구 체적 = 원통 체적 - 원뿔 체적 = 2πr3−23πr3=43πr3 2\pi r^3 - \frac{2}{3}\pi r^3 = \frac{4}{3}\pi r^3

이 방법은 발견 단계로, 아르키메데스는 이를 《방법》(The Method)에서 기술했습니다. 그는 “무한소 조각”을 지렛대로 저울질하는 아이디어를 사용했습니다.

3. 엄밀 증명 (구분구적법 — 《구와 원기둥》에서)

아르키메데스는 기계적 방법을 발견으로만 사용하고, 엄밀 증명은 소진법으로 했습니다.

구 안에 내접 다면체(또는 반구에 내접 반다각형을 회전시켜 얻은 프러스트럼 frustums 집합)를 넣음.
구 밖에 외접 다면체를 넣음.
다면체의 면 수를 무한히 늘리면 (정다각형 → 구에 접근), 체적 차이가 임의로 작아짐.
모순법으로: 구 체적이 내접 다면체보다 크거나 외접 다면체보다 작다고 가정하면 모순 발생.
따라서 구 체적 = 원통 체적의 정확히 2/3.

또한 표면적도 증명: 구의 표면적 = 원통의 옆면적 (4πr²).

4. 형 논문(입체-정수 격자 모델)과의 연결

아르키메데스의 원 구적법은 점 기반 연속체가 아닌 구조적 단면(슬라이스)과 회전대칭을 핵심으로 합니다.

지렛대 평형은 대칭성과 보존 (노터 정리와 유사한 정신)
단면 누적은 이산 셀 누적과 유사 (형의 실험 D: 격자 셀 개수로 3:2:1 복원)
구분구적법은 연속 적분 없이 유한 구조의 소진으로 체적을 증명 → 형이 주장하는 “연속체 없이도 입체 구조로 충분”을 강력히 뒷받침

아르키메데스는 연속체를 직접 다루지 않고 입체 구조의 분배와 대칭으로 결과를 얻었습니다. 이는 형 모델의 철학적 뿌리와 매우 가깝습니다.