아르키메데스의 π 계산: 내접·외접 96각형으로 증명한 원주율 범위

원의 둘레를 자로 곧게 펴서 정확히 재기 어려웠던 시대에 아르키메데스는 원을 두 다각형 사이에 가두었습니다. 원 안에 정다각형을 그리면 그 둘레는 원둘레보다 짧고, 원 바깥에 접하도록 정다각형을 그리면 그 둘레는 원둘레보다 깁니다. 다각형의 변을 계속 늘리면 두 둘레가 원둘레에 가까워지므로 원주율 π의 아래쪽과 위쪽 경계를 동시에 계산할 수 있습니다.

아르키메데스는 정6각형에서 출발해 변의 수를 12, 24, 48, 96으로 두 배씩 늘렸습니다. 그의 저술 《원의 측정》 제3명제에 전하는 결론은 다음과 같습니다.

3과 10/71 < π < 3과 1/7

223/71 < π < 22/7

소수로 바꾸면 `3.140845… < π < 3.142857…`입니다. 실제 π≈3.14159265는 이 범위 안에 들어갑니다. 널리 알려진 22/7은 아르키메데스가 π와 정확히 같다고 선언한 값이 아니라 π보다 큰 상한입니다. 아래쪽 경계는 223/71입니다.

원주율 π는 무엇인가요?

원주율은 원의 둘레 C를 지름 d로 나눈 비율입니다. 원의 크기가 달라도 C/d는 일정하며 오늘날 이 상수를 π로 씁니다.

π = 원둘레 ÷ 지름 = C/d

π 기호는 아르키메데스 시대에 쓰이지 않았습니다. 그는 원둘레와 지름의 비를 문장과 기하학적 비례로 다뤘습니다. 이 글에서는 현대 독자가 계산을 쉽게 따라갈 수 있도록 그 비율을 π로 표기합니다.

원의 안과 밖에 다각형을 그리는 이유

내접 정다각형의 각 변은 원 위의 두 점을 곧게 잇는 현입니다. 같은 두 점 사이에서 곡선인 원호가 현보다 길기 때문에 모든 변을 더한 내접 다각형 둘레 P내는 원둘레 C보다 작습니다.

외접 정다각형의 각 변은 원에 접하는 선분들로 이루어집니다. 원은 외접 다각형 안에 놓이고, 각 접점 사이의 외접 경로는 해당 원호보다 깁니다. 따라서 원둘레는 외접 다각형 둘레 P외보다 작습니다.

P내 < C < P외

세 값을 같은 원의 지름 d로 나누면 `P내/d < π < P외/d`가 됩니다. 이 불등식 덕분에 원둘레를 직접 재지 않고도 직선으로 이루어진 다각형의 변 길이만 계산해 π의 범위를 증명할 수 있습니다.

정6각형에서 시작하면 계산이 쉬운 이유

반지름이 R인 원에 내접하는 정6각형을 생각해 보겠습니다. 중심각은 360°÷6=60°입니다. 중심과 인접한 두 꼭짓점을 이으면 세 변이 모두 R인 정삼각형이 되므로 정6각형의 한 변 길이도 R입니다. 둘레는 6R이고 지름은 2R이므로 둘레와 지름의 비는 3입니다.

내접 정6각형 둘레 ÷ 지름 = 6R÷2R = 3

내접 정6각형은 원 안쪽에 있으므로 이 계산만으로 π>3임을 알 수 있습니다. 하지만 3은 실제 π와 약 0.1416 차이가 납니다. 변의 수를 늘리면 각 변이 더 짧은 원호를 대신하게 되어 빈틈이 줄어듭니다.

6에서 96까지 변의 수를 두 배로 늘린다

정다각형 한 변이 만드는 중심각을 반으로 나누면 변의 수는 두 배가 됩니다. 정6각형의 중심각 60°를 이등분하면 정12각형의 30°, 다시 이등분하면 정24각형의 15°가 됩니다. 같은 과정을 네 번 적용하면 6×2⁴=96입니다.

변을 두 배씩 늘리는 구조는 종이를 접을 때 겹수가 2의 거듭제곱으로 늘어나는 계산과 숫자 형태가 같습니다. 다만 종이 접기는 양 자체가 두 배로 커지는 지수 증가이고, 정다각형 계산은 같은 원을 더 많은 짧은 선분으로 근사해 오차를 줄이는 과정입니다.

현대 삼각함수로 쓰는 내접 다각형 공식

반지름이 R인 원에 내접한 정n각형의 한 변을 중심에서 반으로 나누면 빗변 R, 중심각의 절반 π/n인 직각삼각형이 생깁니다. 반쪽 변 길이는 `R sin(π/n)`이므로 한 변은 `2R sin(π/n)`입니다.

P내(n) = 2nR sin(π/n)

이를 지름 2R로 나누면 내접 정n각형이 주는 π의 하한은 `n sin(π/n)`입니다. 여기서 삼각함수 안의 π는 각도를 라디안으로 나타내기 위한 현대 표기입니다. 이 식은 계산 구조를 설명하는 현대식 표현이며, 아르키메데스가 삼각함수 기호와 소수 계산을 사용했다는 뜻은 아닙니다.

n sin(π/n) < π

현대 삼각함수로 쓰는 외접 다각형 공식

외접 정n각형에서는 원의 반지름이 다각형 한 변의 중점에 수직으로 닿습니다. 한 변의 절반과 반지름이 만드는 직각삼각형에서 반쪽 변은 `R tan(π/n)`이므로 전체 둘레는 다음과 같습니다.

P외(n) = 2nR tan(π/n)

지름 2R로 나누면 외접 정n각형이 주는 π의 상한은 `n tan(π/n)`입니다. 내접과 외접 결과를 합치면 현대식 경계는 다음과 같습니다.

n sin(π/n) < π < n tan(π/n)

변이 늘어날수록 두 경계가 가까워지는 계산

내접값은 아래에서 점점 커지고 외접값은 위에서 점점 작아집니다. 6각형에서 두 경계의 폭은 약 0.4641이지만 96각형에서는 약 0.001683으로 줄어듭니다. 원은 항상 두 다각형 사이에 있으므로 실제 π도 모든 단계에서 두 값 사이에 놓입니다.

왜 현대 96각형 값과 아르키메데스의 분수 경계가 다를까

정확한 현대 삼각함수로 96각형 둘레를 계산하면 `3.141031951<π<3.142714600`입니다. 아르키메데스의 최종 범위 `3.140845070<π<3.142857143`은 이보다 조금 넓습니다. 두 결과가 모순되는 것은 아닙니다.

아르키메데스는 계산기, 삼각함수표와 소수 표기 없이 기하학과 분수로 계산했습니다. 각을 이등분할 때 나타나는 제곱근에 안전한 상한과 하한을 적용했습니다. 중간값을 실제보다 크게 또는 작게 잡더라도 불등호 방향이 유지되도록 계산했기 때문에 최종 분수 경계는 정확한 96각형 둘레가 주는 경계보다 약간 느슨합니다.

3과 10/71은 왜 223/71인가요?

대분수 3과 10/71을 가분수로 바꾸면 정수 부분 3에 분모 71을 곱하고 분자 10을 더합니다. `3×71+10=223`이므로 223/71입니다.

3과 10/71 = (3×71+10)/71 = 223/71 ≈ 3.140845070

마찬가지로 3과 1/7은 `(3×7+1)/7=22/7`입니다. 이 두 분수 사이에 실제 π가 들어갑니다.

3과 1/7 = 22/7 ≈ 3.142857143

22/7은 π와 정확히 같은가요?

22/7은 π와 같지 않습니다. 22/7≈3.142857143이고 π≈3.141592654이므로 22/7이 약 0.001264489 큽니다. 비율로는 약 0.0402% 큰 값입니다. 간단한 분수라 실용적인 근삿값으로 쓰이지만 정확한 원주율로 계산하면 안 됩니다.

아르키메데스의 명제도 π<22/7이라고 분명히 상한으로 제시합니다. 원의 지름이 7 cm일 때 22/7을 쓰면 둘레를 22 cm로 계산하지만 실제 둘레는 약 21.9911 cm입니다. 차이는 약 0.0089 cm로 작지만 지름이 커지면 절대 오차도 같은 비율로 커집니다.

두 분수는 π를 얼마나 단단히 가두었을까

두 경계의 차이는 `22/7−223/71=1/497≈0.002012072`입니다. 따라서 아르키메데스는 π가 폭 약 0.002인 구간 안에 있다는 사실을 증명했습니다. 단순히 한 개의 근삿값을 제시한 것이 아니라 참값이 벗어날 수 없는 아래쪽과 위쪽 경계를 함께 세웠다는 점이 중요합니다.

√3의 상한과 하한이 필요했던 이유

정6각형에서 외접 다각형의 길이를 계산하면 30°와 60°가 들어 있는 직각삼각형이 나타나고 변의 비에 √3이 포함됩니다. 이후 각을 계속 이등분하면 피타고라스 정리에 따라 새로운 제곱근이 반복해서 생깁니다. 정확한 기호값만 남겨 두면 최종 분수 둘레를 얻기 어려우므로 각 제곱근을 분수 사이에 끼워 계산해야 합니다.

265/153 < √3 < 1351/780

왼쪽은 약 1.732026, 오른쪽은 약 1.732051입니다. 실제 √3≈1.732050808은 그 사이에 있습니다. 《원의 측정》에는 이런 정밀한 경계가 사용되지만, 현존 문헌에는 아르키메데스가 이 분수들을 처음 찾아낸 과정이 설명되어 있지 않습니다. 계산을 재구성하는 여러 수학사 연구가 있으나 특정 방법을 확정된 사실로 단정할 수는 없습니다.

삼각함수 없이 변의 수를 두 배로 만드는 원리

정n각형의 한 변과 반지름으로 만든 이등변삼각형에서 꼭짓각을 이등분하면 정2n각형에 해당하는 더 작은 직각삼각형이 생깁니다. 기존 변과 반지름의 관계를 알고 있으면 피타고라스 정리와 닮음으로 새 반쪽 변을 계산할 수 있습니다. 아르키메데스는 이런 기하 관계를 내접과 외접 양쪽에 반복 적용했습니다.

오늘날에는 반각 공식이나 사인·탄젠트로 같은 과정을 짧게 표현할 수 있습니다. 그러나 역사적 계산을 설명할 때 현대 공식을 아르키메데스가 그대로 사용했다고 말하면 시대착오가 됩니다. 결과를 확인하는 현대식과 원전의 기하학적 절차를 구분해야 합니다.

변을 더 늘리면 오차는 계속 줄어든다

96각형에서 멈출 수학적 이유가 있는 것은 아닙니다. 192각형, 384각형처럼 변을 더 늘리면 내접 둘레와 외접 둘레가 원둘레에 더 가까워집니다. 현대 극한 표현으로는 n이 무한히 커질 때 `n sin(π/n)`과 `n tan(π/n)`이 모두 π로 수렴합니다.

lim n→∞ n·sin(π/n) = π = lim n→∞ n·tan(π/n)

아르키메데스는 현대의 극한 기호를 쓰지 않았지만, 안쪽과 바깥쪽 도형으로 목표값을 끼우고 더 정교한 다각형으로 간격을 줄였습니다. 이 방식은 훗날 말하는 소진법과 상하 경계 계산의 대표 사례입니다.

원의 넓이와도 연결되는 《원의 측정》

《원의 측정》 제1명제는 원의 넓이가 밑변을 원둘레, 높이를 반지름으로 하는 직각삼각형의 넓이와 같다고 말합니다. 현대식으로 쓰면 `A=(1/2)Cr`이고 C=2πr이므로 A=πr²가 됩니다. 원둘레의 비를 좁히면 원의 넓이 계산도 함께 정밀해집니다.

원과 원기둥의 크기를 다루는 문제는 케플러의 와인 배럴에서 부피를 극대화하는 기하학으로 이어집니다. 아르키메데스는 다각형으로 곡선을 끼웠고, 케플러의 문제는 주어진 치수에서 원기둥과 배럴의 부피가 어떻게 달라지는지를 분석합니다.

√2 종이 비율과 비교하면 무엇이 다를까

A4 용지가 반으로 접혀도 같은 모양을 유지하는 1:√2 비율은 하나의 방정식에서 정확한 무리수 √2가 나오는 문제입니다. π도 무리수지만 아르키메데스 시대에는 그 사실이 증명되지 않았습니다. 그의 목표는 π를 하나의 분수와 같다고 정하는 것이 아니라 계산 가능한 두 유리수 사이에 넣는 것이었습니다.

96각형 π 계산에서 자주 생기는 오류

• `3과 10/71`을 `310/71`로 읽습니다. 올바른 가분수는 223/71입니다.
• 22/7을 π와 정확히 같은 값으로 표시합니다. 아르키메데스의 결론은 π<22/7입니다.
• 내접 다각형을 상한, 외접 다각형을 하한으로 뒤바꿉니다.
• 96각형의 정확한 현대 삼각함수 경계와 아르키메데스의 유리수 경계를 같은 수치라고 설명합니다.
• 아르키메데스가 오늘날의 sin, tan, 소수 표기를 사용했다고 말합니다.
• 다각형 넓이로 원둘레를 구한 것으로 혼동합니다. 제3명제의 π 경계에는 둘레 비교가 핵심입니다.
• 변의 수를 늘린 다각형 둘레가 유한 단계에서 원둘레와 완전히 같아진다고 가정합니다.

아르키메데스 π 계산 FAQ

아르키메데스는 π를 22/7로 계산했나요?

정확히는 π가 22/7보다 작다고 증명했습니다. 동시에 π가 223/71보다 크다는 하한도 제시했습니다. 따라서 결론은 `223/71<π<22/7`입니다.

왜 96각형을 사용했나요?

계산하기 쉬운 정6각형에서 시작해 중심각을 네 번 이등분하면 6×2⁴=96이 됩니다. 변이 많아질수록 내접과 외접 둘레가 원둘레에 가까워집니다. 현존 저술에는 왜 정확히 96에서 멈췄는지에 관한 별도의 설명이 없습니다.

내접 96각형만으로도 π를 구할 수 있나요?

내접 96각형만 사용하면 π보다 작은 하한은 구할 수 있지만 참값이 얼마나 더 클 수 있는지 확정할 수 없습니다. 외접 96각형을 함께 계산해야 위쪽 경계도 얻어 π를 유한한 구간에 가둘 수 있습니다.

96각형을 계산하면 소수점 몇 자리까지 알 수 있나요?

아르키메데스의 분수 경계는 두 값 모두 3.14로 시작하므로 π가 3.14와 3.15 사이임을 확실히 보여 줍니다. 세 번째 소수 자리까지 하나로 확정하지는 못합니다. 정확한 현대 96각형 둘레 경계도 약 3.141032에서 3.142715 사이입니다.

다각형의 변을 계속 늘리면 π와 정확히 같아지나요?

어떤 유한한 정다각형의 둘레도 원둘레와 정확히 같지는 않습니다. 다만 변의 수가 무한히 증가하는 극한에서 내접과 외접 둘레의 비가 모두 π로 수렴합니다.

아르키메데스 원주율 계산 핵심 정리

아르키메데스는 원 안의 정다각형 둘레가 원둘레보다 짧고, 원 밖의 정다각형 둘레가 원둘레보다 길다는 사실을 이용했습니다. 정6각형에서 시작해 12각형, 24각형, 48각형과 96각형으로 변을 늘리고, 피타고라스 정리와 닮음·각의 이등분을 이용해 각 둘레를 계산했습니다.

그 결과 원둘레와 지름의 비는 `3과 10/71`보다 크고 `3과 1/7`보다 작다는 경계를 얻었습니다. 현대 분수로는 `223/71<π<22/7`, 소수로는 `3.140845…<π<3.142857…`입니다. 22/7은 π의 정확한 값이 아니라 상한입니다. 현대 삼각함수로 구한 96각형의 더 좁은 수치와 역사적 분수 경계가 다른 까닭은 아르키메데스가 제곱근을 유리수 상하한으로 안전하게 계산했기 때문입니다.

참고 자료

• Archimedes, Measurement of a Circle 원문·영문 번역
• Thomas L. Heath, The Works of Archimedes 영문 번역
• Oxford Academic, Archimedes’ Determination of Pi
• Cambridge Mathematical Gazette, Archimedes playing with a computer
• PBS NOVA, Approximating Pi