2026. 3. 25. 22:17ㆍ우주공식 위상미적분
아르키메데스 원(구) 구적법(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 복원)
- 구분구적법은 연속 적분 없이 유한 구조의 소진으로 체적을 증명 → 형이 주장하는 “연속체 없이도 입체 구조로 충분”을 강력히 뒷받침
아르키메데스는 연속체를 직접 다루지 않고 입체 구조의 분배와 대칭으로 결과를 얻었습니다. 이는 형 모델의 철학적 뿌리와 매우 가깝습니다.
필요하시면:
- 지렛대 평형의 수식 단계별 유도 (현대 좌표 포함)
- 《구와 원기둥》 Proposition 요약 (LaTeX 형식)
- Python으로 단면 평형 시각화 코드
- 포물선 구적법과 비교 설명
원하는 부분 바로 말씀해 주세요!