0. 들어가며: 초등학교에서 배운 그 '1/3'의 정체

초등학교 6학년 교과서, 혹은 중학교 1학년 도형 단원.
선생님이 투명한 플라스틱 원기둥과 원뿔을 꺼냅니다.
밑면 크기가 똑같고, 높이도 똑같은 한 쌍이죠.

원뿔에 모래를 가득 채우고 원기둥에 붓습니다. 한 번. 두 번. 세 번.
정확히 세 번 만에 원기둥이 찹니다.
아이들은 "와!" 하고 감탄하고, 선생님은 칠판에 이렇게 씁니다.

그런데 여기서 아무도 대답해주지 않는 질문이 하나 남습니다.

왜 하필 1/3일까?
왜 1/2도 아니고, 1/4도 아니고, 0.318 같은 이상한 수도 아닌
깔끔하게 3분의 1일까요?

모래 실험은 "그렇더라"를 보여줄 뿐, "왜 그런가"를 설명하지 않습니다.
오늘 우리는 이 질문을 끝까지 파고들어 갑니다.
기원전 5세기 데모크리토스의 직관에서 출발해,
아르키메데스의 천재적 논증, 카발리에리의 불가분량,
그리고 현대 미적분의 정확한 증명까지.

그리고 마지막에는 힐베르트의 세 번째 문제라는,
"1/3을 가위질만으로는 절대 증명할 수 없다"는 충격적인 사실까지 만나게 됩니다.

1. 먼저 공식부터 정확히 정리하자

1-1. 원기둥과 원뿔의 부피

밑면 반지름 r, 높이 h인 직원기둥(right circular cylinder)의 부피는

같은 밑면, 같은 높이를 가진 직원뿔(right circular cone)의 부피는

1-2. 사실 '원'뿔만의 이야기가 아니다

여기서 첫 번째 중요한 포인트.
1/3은 '원'과는 아무 상관이 없습니다.

밑면이 삼각형이든, 사각형이든, 별 모양이든, 아메바 모양이든
꼭짓점 하나로 모이는 뿔(cone/pyramid)이라면 언제나

사각뿔도 1/3, 삼각뿔(사면체)도 1/3, 밑면이 하트 모양인 뿔도 1/3입니다.
π는 원의 넓이를 계산할 때만 등장하는 '부속품'일 뿐,
1/3이라는 계수는 훨씬 더 깊고 보편적인 기하학적 사실입니다.

1-3. 왜 차원이 분모로 나오는가 (예고편)

직관적으로 말하면 이렇습니다.
뿔을 꼭짓점 쪽에서부터 바라보면, 높이 방향으로 t만큼 내려갈 때
단면은 선형적으로 t배 확대됩니다.

그런데 넓이는 길이의 제곱에 비례하므로 단면적은 t²에 비례합니다.
그리고 t²을 0부터 1까지 적분하면? 1/3이 나옵니다.

2차원이었다면 단면(선분)의 길이가 t에 비례하고,
t를 적분하면 1/2. 그래서 삼각형은 1/2.

n차원이라면 tⁿ⁻¹을 적분해서 1/n.
전부 같은 원리입니다.

이제 이 이야기를 역사 순서대로, 그리고 엄밀하게 따라가 봅시다.

2. 기원전 450년, 데모크리토스의 첫 직관

2-1. 원자론자가 도형을 자르다

"만물은 원자로 이루어져 있다"고 말한 그리스 철학자 데모크리토스(Democritus, 기원전 460~370경).
그는 물질뿐 아니라 도형도 무한히 얇은 조각들의 집합이라고 생각했습니다.

아르키메데스가 남긴 기록에 따르면,
원뿔이 원기둥의 1/3임을 처음 발견한 사람은 데모크리토스입니다.
다만 그는 엄밀한 증명은 하지 못했고, 직관과 실험적 관찰에 의존했습니다.

2-2. 데모크리토스의 역설

재미있는 건, 그가 자신의 방법 때문에 스스로 역설에 빠졌다는 점입니다.

이 역설은 "무한히 얇은 조각"이라는 개념이 얼마나 위험한지를 보여줍니다.
2천 년 뒤 미적분학이 극한(limit)이라는 도구를 발명하고 나서야
이 문제가 깔끔하게 해결됩니다.

3. 유클리드와 아르키메데스: 고대의 엄밀한 증명

3-1. 『원론』 제12권 명제 10

유클리드(Euclid)의 『원론(Elements)』 제12권 명제 10은 이렇게 말합니다.

유클리드가 사용한 도구는 착출법(method of exhaustion, 소진법)입니다.
에우독소스(Eudoxus)가 개발한 이 방법은 극한 개념 없이도 엄밀함을 확보한
그리스 수학의 정점이었습니다.

3-2. 착출법의 논리 구조

착출법은 귀류법(모순에 의한 증명)의 일종입니다.

증명하고 싶은 것: V_cone = (1/3)V_cyl

그렇다면 가능한 경우는 셋뿐입니다.

① V_cone > (1/3)V_cyl
② V_cone < (1/3)V_cyl
③ V_cone = (1/3)V_cyl

유클리드는 ①과 ②가 모두 모순을 낳는다는 것을 보였습니다.
따라서 ③만 남습니다.

구체적으로는 원뿔에 내접·외접하는 각뿔을 만들고,
각뿔의 변의 개수를 계속 늘려가면서
그 차이를 "어떤 주어진 양보다도 작게" 만들 수 있음을 보입니다.

3-3. 아르키메데스의 자기 고백

아르키메데스는 『방법론(The Method)』이라는 저작에서
놀라운 고백을 남깁니다. 이 문서는 1906년에야 팔림프세스트(양피지 재활용본) 형태로 재발견되었죠.

즉, 고대 최고의 수학자조차
"직관으로 먼저 발견하고, 논리로 나중에 검증"했다는 겁니다.
모래 실험은 부끄러운 게 아니라 정통 수학의 출발점입니다.

4. 가장 아름다운 증명: 정육면체를 3등분하기

이제 계산 하나 없이, 오직 퍼즐 조립만으로 1/3을 보여주는 증명을 봅시다.
개인적으로 가장 감동적인 증명이라고 생각합니다.

4-1. 정육면체를 세 개의 각뿔로

한 변의 길이가 a인 정육면체를 상상하세요. 부피는 a³입니다.

정육면체의 한 꼭짓점 P를 고릅니다.
그리고 P에서 가장 먼 꼭짓점을 제외한 채,
P를 꼭짓점으로 하고 P에 닿지 않는 세 면을 각각 밑면으로 하는
사각뿔 3개를 만듭니다.

놀랍게도 이 세 개의 사각뿔이 정육면체를 빈틈없이, 겹침없이 정확히 채웁니다.

4-2. 좌표로 확인하기

말보다 좌표가 확실합니다. 정육면체를 [0,a]³으로 두고, P = (0,0,0)이라 합시다.

정육면체 안의 임의의 점 (x, y, z)를 생각하면,
반드시 다음 셋 중 하나에 속합니다.

영역 ①: x가 최댓값 → x ≥ y, x ≥ z
영역 ②: y가 최댓값 → y ≥ x, y ≥ z
영역 ③: z가 최댓값 → z ≥ x, z ≥ y

세 영역은 경계(측도 0)를 제외하면 서로 겹치지 않고,
합치면 정육면체 전체입니다.

그리고 영역 ①은 정확히
"꼭짓점 (0,0,0)에서 출발해, x = a 면을 밑면으로 하는 사각뿔"입니다.
확인해 볼까요? x = t 평면으로 자르면 단면은 0 ≤ y ≤ t, 0 ≤ z ≤ t인 정사각형,
즉 넓이 t². 이게 바로 뿔의 특징이죠.

세 영역은 좌표축을 순환치환(x→y→z→x)하면 서로 옮겨가므로 합동.
따라서 각각의 부피는 a³/3.

5. 카발리에리의 원리: 단면만 같으면 부피도 같다

5-1. 17세기의 다리 놓기

이탈리아 수학자 보나벤투라 카발리에리(Bonaventura Cavalieri, 1598~1647).
갈릴레오의 제자였던 그는 1635년 『불가분량의 기하학』에서
지금도 교과서에 실리는 원리를 발표합니다.

5-2. 동전 쌓기 비유

500원짜리 동전 100개를 똑바로 쌓으면 원기둥.
그걸 손으로 슥 밀어서 비스듬히 기울이면 기울어진 기둥.

모양은 달라졌지만 동전 개수도, 각 동전의 넓이도 그대로죠.
그래서 부피도 똑같습니다.

이것이 카발리에리 원리의 물리적 직관입니다.
현대 수학에서는 푸비니 정리(Fubini's theorem)로 엄밀하게 정당화됩니다.

5-3. 각뿔에서 원뿔로 건너가기

이제 결정적인 단계입니다.

4장에서 우리는 특정 사각뿔의 부피가 (1/3)Sh임을 증명했습니다.
이제 임의의 원뿔에 적용해 봅시다.

준비: 밑면 반지름 r, 높이 h인 원뿔 C.
그리고 밑넓이가 똑같이 πr²이고 높이가 h인 사각뿔 P를 만듭니다.
(한 변의 길이가 √(πr²) = r√π인 정사각형을 밑면으로 하면 됩니다.)

단면 비교: 꼭짓점에서 높이 방향으로 거리 t만큼 떨어진 곳에서 자릅니다.
(t는 0부터 h까지)

원뿔의 단면: 반지름이 r·(t/h)인 원 → 넓이 = π r² (t/h)² = πr² · t²/h²
사각뿔의 단면: 한 변이 r√π·(t/h)인 정사각형 → 넓이 = πr² · t²/h²

모든 t에서 단면 넓이가 완벽히 같습니다!

따라서 카발리에리 원리에 의해 V_C = V_P = (1/3)πr²h.

6. 적분으로 하는 정공법 증명

이제 현대 미적분의 시간입니다. 가장 짧고, 가장 명확합니다.

6-1. 원판법(disk method)

좌표계를 잡습니다. 원뿔의 꼭짓점을 원점에, 축을 x축 위에 두고
밑면이 x = h에 오도록 합니다.

x 위치에서의 단면 반지름을 R(x)라 하면,
닮음에 의해

두께 dx인 얇은 원판의 부피는 π R(x)² dx.
이걸 0부터 h까지 더하면(적분하면):

V = ∫₀ʰ π R(x)² dx
  = ∫₀ʰ π (r/h)² x² dx
  = π (r²/h²) ∫₀ʰ x² dx
  = π (r²/h²) · [ x³/3 ]₀ʰ
  = π (r²/h²) · (h³/3)
  = (1/3) π r² h      ∎

끝났습니다. 다섯 줄.

1/3의 정체가 드러났나요?
바로 ∫x² dx = x³/3 의 그 3입니다.

x²을 적분해서 x³/3이 되는 순간, 1/3이 태어납니다.
그리고 x²이 등장한 이유는? 넓이가 길이의 제곱이기 때문.
즉, 우리가 3차원에 살기 때문입니다.

6-2. 일반 뿔에 대한 적분 증명

밑넓이가 S인 임의의 뿔도 똑같이 처리됩니다.

꼭짓점에서 거리 x인 곳의 단면은 밑면과 닮은꼴이고, 닮음비는 x/h.
넓이는 닮음비의 제곱에 비례하므로 S(x) = S·(x/h)².

V = ∫₀ʰ S(x) dx
  = ∫₀ʰ S (x/h)² dx
  = (S/h²) · (h³/3)
  = (1/3) S h      ∎

밑면이 원이든, 오각형이든, 고양이 실루엣이든 상관없습니다.
닮음 확대라는 성질 하나면 충분합니다.

6-3. 차원 일반화: 1/n의 법칙

n차원 공간에서, 밑면이 (n−1)차원 도형이고 부피(초부피)가 S인 초뿔을 생각합시다.

단면의 (n−1)차원 부피는 S·(x/h)ⁿ⁻¹.

V = ∫₀ʰ S (x/h)^(n-1) dx
  = (S/h^(n-1)) · (h^n / n)
  = (1/n) S h

아름답지 않나요?
"왜 1/3인가"의 최종 답은 "우리가 3차원에 살기 때문"입니다.

7. 적분 없이: 스케일링 + 자기유사성 논증

적분을 배우지 않은 사람도 이해할 수 있는, 아주 우아한 증명이 있습니다.
차원 해석(dimensional analysis)과 자기 닮음을 쓰는 방법입니다.

7-1. 1단계 — 계수 k가 존재함을 보이기

뿔의 부피는 밑넓이 S와 높이 h에 의해 결정됩니다.
카발리에리 원리에 의해 같은 S, 같은 h를 가진 뿔은 모두 같은 부피죠.

그리고 도형 전체를 λ배 확대하면 부피는 λ³배가 됩니다.
S는 λ²배, h는 λ배가 되므로, S·h도 λ³배.

따라서 V = k · S · h 꼴이 되어야 하고, k는 상수입니다.

7-2. 2단계 — k = 1/3임을 정육면체로 확정

4장의 정육면체 3분할을 사용합니다.
a³ = 3 × (k · a² · a) = 3k a³ ⟹ k = 1/3.

증명 끝. 적분 기호 하나 없이 완결됩니다.

8. 충격적 반전: 힐베르트의 세 번째 문제

8-1. 삼각형은 되는데 삼각뿔은 안 된다?

2차원에서 "삼각형 = 직사각형의 1/2"을 증명하는 가장 쉬운 방법은
가위로 자르고 붙이기입니다. 삼각형을 두 조각 내서 재배열하면 직사각형이 되죠.

실제로 보여이–게르빈 정리(Bolyai–Gerwien theorem)는 이렇게 말합니다.

그렇다면 3차원에서도 똑같이 되지 않을까요?
정육면체와 같은 부피를 가진 삼각뿔은, 잘라서 정육면체로 만들 수 있을까요?

8-2. 1900년, 힐베르트의 질문

1900년 파리 국제수학자대회에서 다비드 힐베르트는 23개의 미해결 문제를 제시합니다.
그중 세 번째 문제가 바로 이것이었습니다.

답은 같은 해에 나왔습니다. 그리고 그 답은 "아니오"였습니다.

8-3. 덴 불변량(Dehn invariant)

힐베르트의 제자 막스 덴(Max Dehn)이 1900~1902년에 증명했습니다.

덴은 다면체에 대해 덴 불변량이라는 새로운 양을 정의했습니다.
대략적으로 말하면, 모든 모서리에 대해

을 특별한 텐서곱 공간(ℝ ⊗_ℚ ℝ/ℚπ) 안에서 더한 값입니다.

이 값은 도형을 자르고 붙여도 변하지 않습니다.

그런데 계산해 보면:

• 정육면체의 덴 불변량 = 0 (이면각이 전부 90° = π/2 이므로)
• 정사면체의 덴 불변량 ≠ 0 (이면각 arccos(1/3) ≈ 70.53°가 π의 유리수배가 아님)

따라서 부피가 같아도 정사면체를 잘라 정육면체로 만드는 것은 영원히 불가능합니다.

9. 모래 실험을 제대로 해보기: 오차의 과학

다시 교실로 돌아와 봅시다.
모래 실험은 "정확히" 3번일까요? 현실은 조금 다릅니다.

9-1. 실제 실험에서 생기는 오차

그래서 실제로는 "2.9번" 또는 "3.1번쯤"이 나오는 게 정상입니다.
이 오차를 인정하는 것이 오히려 과학적 태도입니다.

9-2. 물로 하면 더 정확하다

모래 대신 물을 쓰면 공극률 문제가 사라집니다.
여기에 전자저울까지 동원하면 정밀도가 크게 올라갑니다.

이렇게 하면 보통 0.32 ~ 0.34 범위에 들어옵니다.
이론값 0.3333…과 비교하며 오차율을 계산해 보는 것도 좋은 탐구 활동이죠.

9-3. 시뮬레이션으로 검증하기

요즘은 코드 몇 줄로 몬테카를로 검증이 가능합니다.

import random

r, h, N = 1.0, 1.0, 2_000_000
inside = 0

for _ in range(N):
    x = random.uniform(-r, r)
    y = random.uniform(-r, r)
    z = random.uniform(0, h)
    # 꼭짓점이 z=h, 밑면이 z=0인 원뿔
    R_at_z = r * (1 - z / h)
    if x*x + y*y <= R_at_z**2:
        inside += 1

box_volume = (2*r) * (2*r) * h
cone_est = box_volume * inside / N
cylinder = 3.141592653589793 * r*r * h

print("추정 원뿔 부피 :", cone_est)
print("이론값          :", cylinder/3)
print("비율 (원뿔/원기둥):", cone_est/cylinder)
# 출력 예: 비율 ≈ 0.3333

200만 번의 난수 실험으로도 0.333에 수렴합니다.
수학은 정직합니다.

이런 식의 '개념 → 시각화 → 코드 검증' 흐름은
재능넷의 '지식인의 숲'에서 다루는 수학 콘텐츠가 지향하는 학습 방식이기도 합니다.
공식을 외우는 대신, 왜 그런지를 직접 확인해 보는 것이죠.

10. 확장편: 1/3에서 파생되는 공식들

10-1. 원뿔대(절두원뿔)의 부피

원뿔의 윗부분을 잘라낸 원뿔대(frustum).
아래 반지름 R, 위 반지름 r, 높이 h일 때

이 공식은 큰 원뿔에서 작은 원뿔을 빼서 유도합니다.
놀랍게도 이집트의 모스크바 파피루스(기원전 1850년경)에
사각뿔대의 정확한 부피 공식이 이미 적혀 있습니다.
고대 이집트인들이 이미 1/3 계수를 알고 있었다는 증거죠.

10-2. 구의 부피와의 연결

아르키메데스가 자신의 묘비에 새기게 한 그 결과를 봅시다.

반지름 r인 구에 딱 맞는 원기둥(반지름 r, 높이 2r)을 씌우면:

정확히는 원뿔 : 구 : 원기둥 = 1 : 2 : 3.
(여기서 원뿔은 반지름 r, 높이 2r로 부피 (2/3)πr³이고,
구는 (4/3)πr³, 원기둥은 2πr³ — 비율 1:2:3 성립)

이 간결한 정수비에 아르키메데스는 감동했고,
자신의 묘비에 구와 원기둥 그림을 새겨달라고 유언했습니다.
실제로 기원전 75년, 키케로가 시라쿠사에서 잡초에 묻힌 그 묘를 발견했다고 기록했습니다.

10-3. 기울어진 원뿔(사원뿔)도 1/3

꼭짓점이 밑면 중심 바로 위에 있지 않은 빗원뿔(oblique cone)도
부피는 여전히 (1/3)πr²h입니다. (h는 수직 높이)

이유는? 카발리에리 원리.
꼭짓점을 옆으로 밀어도 각 층의 단면 넓이는 바뀌지 않으니까요.

11. 실생활 속의 1/3

11-1. 아이스크림 콘의 경제학

콘 아이스크림을 생각해 봅시다.
콘 부분(원뿔)과 그 위에 얹힌 반구를 비교하면?

일반적인 콘: 반지름 3cm, 높이 12cm
→ 콘 내부 부피 = (1/3)π(9)(12) ≈ 113 cm³

위에 얹힌 반구(반지름 3cm)
→ (2/3)π(27) ≈ 57 cm³

즉 보이는 것보다 콘 안쪽에 두 배나 많이 들어갑니다.
"위에 많이 얹어주세요"보다 "깊게 눌러주세요"가 이득이라는 뜻이죠.

11-2. 곡물 저장고와 안식각

모래나 곡물을 한 점에서 계속 쏟으면 원뿔 모양 더미가 생깁니다.
이때 옆면이 이루는 각도를 안식각(angle of repose)이라 합니다.

안식각 θ와 더미 밑면 반지름 r을 알면 높이 h = r·tanθ,
따라서 부피 = (1/3)πr³tanθ.

광산, 곡물창고, 건설현장에서 드론으로 더미 사진을 찍고 부피를 추정하는
'스톡파일 측량'이 바로 이 원리를 씁니다.

11-3. 화산과 지질학

성층화산(stratovolcano)은 대체로 원뿔 형태를 띱니다.
분출된 물질의 총량을 추정할 때도 원뿔 부피 공식이 기본값으로 쓰입니다.

예를 들어 후지산은 밑면 반지름 약 20km, 높이 약 3.5km(해수면 기준 산체).
단순 원뿔 근사로 계산하면 (1/3)π(400)(3.5) ≈ 1,466 km³.
실제 추정치와 자릿수가 맞습니다.

11-4. 교통 콘, 깔때기, 그리고 3D 프린팅

제조업에서는 원뿔 부피 계산이 재료비 직결 문제입니다.
3D 프린팅 슬라이서는 원뿔형 구조물의 서포트 재료를 계산할 때
층별 단면적(t²에 비례)을 그대로 누적합니다.

즉, 프린터가 실제로 하는 일이 리만 합(Riemann sum)인 셈이죠.

12. 자주 하는 오해 정리

13. 증명 방법 총정리 비교표

같은 결론에 이르는 길이 이렇게 많다는 것.
그리고 그 길들이 2,500년에 걸쳐 놓여 있다는 것.
이것이 수학이 주는 감동입니다.

14. 직접 해보는 확장 문제

15. 마치며: 공식 뒤에 숨은 세계관

다시 처음으로 돌아갑니다.

왜 1/3일까?

이제 우리는 여러 층위의 답을 갖게 되었습니다.

실험적 답: 모래를 부어보니 세 번이더라.
기하학적 답: 정육면체를 합동인 세 각뿔로 쪼갤 수 있으니까.
해석학적 답: ∫₀¹ t² dt = 1/3 이니까.
차원적 답: 우리가 3차원 공간에 살고 있으니까.
메타수학적 답: 그런데 그 1/3은 가위질만으로는 증명할 수 없다.

마지막 답이 특히 중요합니다.
수학은 "무한"이라는 개념 없이는 3차원조차 온전히 다룰 수 없습니다.
극한, 적분, 연속성 — 이 개념들이 없었다면
우리는 아직도 원뿔 하나 제대로 재지 못했을 겁니다.

초등학교 교과서 한 줄에 적힌 (1/3)πr²h.
그 안에는 데모크리토스의 고민, 유클리드의 논리,
아르키메데스의 묘비, 카발리에리의 동전 더미,
뉴턴의 적분, 그리고 덴의 반증이 전부 압축되어 있습니다.

공식을 외우는 것과, 공식을 아는 것은 다릅니다.
오늘 여러분은 후자에 한 걸음 더 다가갔습니다.

— 지식인의 숲, 수학 · 방정식·정리·공식 편 —