유클리드 원론 (Euclid's Elements)

유클리드 원론(Euclid's Elements)은 기원전 300년경 고대 그리스의 수학자 유클리드(Euclid)가 저술한 수학 저작으로, 인류 역사상 가장 영향력 있는 수학 교재입니다. 총 13권으로 구성되어 있으며, 기하학과 정수론의 기초를 정의(Definition), 공리(Common Notion), 공준(Postulate)으로부터 체계적으로 전개합니다. 원론은 성경 다음으로 많이 인쇄된 책으로 알려져 있으며, 2300년이 넘는 세월 동안 수학 교육의 근간이 되어 왔습니다.

이런 곳에 쓰여요

유클리드 원론이란

유클리드는 누구인가

유클리드(Euclid, 기원전 약 325–265년)는 이집트 알렉산드리아(Alexandria)에서 활동한 그리스 수학자입니다. 그의 생애에 대해서는 알려진 바가 매우 적으며, 프톨레마이오스 1세(Ptolemy I) 치하의 알렉산드리아에서 수학을 가르쳤다는 것이 거의 유일한 기록입니다. 전해지는 일화에 따르면, 프톨레마이오스 왕이 기하학을 배우는 쉬운 방법이 없는지 물었을 때 유클리드는 "기하학에는 왕도(王道)가 없습니다"라고 답했다고 합니다.

원론의 구성

원론은 총 13권(Book)으로 구성되어 있으며, 각 권은 서로 다른 주제를 다룹니다. 전체적으로 465개의 명제(Proposition)를 포함하고 있습니다.

원론의 역사적 의의

원론이 위대한 이유는 단순히 기하학 정리를 모았기 때문이 아닙니다. 원론 이전에도 피타고라스 정리나 삼각형의 성질 등은 이미 알려져 있었습니다. 유클리드의 업적은 이러한 지식들을 소수의 자명한 전제(공리와 공준)로부터 논리적 추론만으로 도출하는 연역적 체계(deductive system)를 구축한 데 있습니다.

이 방법론은 이후 뉴턴의 프린키피아(Principia), 스피노자의 에티카(Ethica), 힐베르트의 기하학의 기초(Grundlagen der Geometrie) 등 수많은 저작에 영향을 주었습니다.

공리적 방법의 탄생

원론 이전의 수학

유클리드 이전의 수학은 주로 경험적이었습니다. 고대 이집트와 바빌로니아에서는 토지 측량, 건축, 천문 관측을 위해 수학을 사용했지만, "왜 그렇게 되는가"를 엄밀하게 증명하지는 않았습니다. 예를 들어, 바빌로니아인들은 피타고라스 정리를 알고 있었지만(플림프턴 322 점토판, 기원전 1800년경), 이것을 증명하지는 않았습니다.

그리스 수학자들, 특히 탈레스(Thales, 기원전 624–546년)부터 증명의 개념이 시작되었습니다. 그러나 탈레스의 증명조차 명시적인 전제 없이 직관에 의존하는 부분이 있었습니다.

공리적 방법이란

유클리드가 확립한 공리적 방법(Axiomatic Method)은 다음과 같은 단계로 구성됩니다.

1. 정의(Definition, 정의): 사용할 용어의 뜻을 명확히 정합니다. 예: "점이란 부분이 없는 것이다."
2. 공리(Common Notion, 공통 관념): 모든 학문에 통용되는 자명한 진리를 제시합니다. 예: "같은 것에 같은 것은 서로 같다."
3. 공준(Postulate, 요청): 기하학 고유의 전제를 제시합니다. 예: "임의의 두 점을 잇는 직선을 그을 수 있다."
4. 명제(Proposition): 정의, 공리, 공준, 그리고 이미 증명된 명제들만을 사용하여 새로운 사실을 증명합니다.

이 체계의 핵심은 순환 논증(circular reasoning)을 배제한다는 것입니다. 모든 명제는 그보다 앞서 증명된 명제와 기본 전제(공리·공준)에만 의존합니다.

여기서 초심자가 특히 주의해야 할 점은 정의와 정리는 서로 다른 역할을 가진다는 사실입니다. 정의는 "무엇을 그렇게 부를 것인가"를 정하는 약속이고, 공리와 공준은 출발점이며, 명제는 그 출발점으로부터 실제로 증명해야 하는 주장입니다. 따라서 "직선이란 무엇인가"와 "삼각형의 내각의 합은 얼마인가"는 같은 종류의 문장이 아닙니다.

예를 들어 피타고라스 정리는 책의 앞부분을 거의 건너뛰고 갑자기 등장하는 결과가 아닙니다. 먼저 작도와 합동, 평행선, 넓이 비교 같은 기본 명제들이 쌓이고, 그 위에 삼각형과 사각형의 성질이 얹히며, 마지막에 제47명제가 나옵니다. 이것이 바로 공리적 수학의 힘입니다.

현대 공리적 수학과의 비교

유클리드의 체계는 혁명적이었지만, 현대의 기준에서 보면 몇 가지 논리적 결함이 있습니다. 1899년 다비트 힐베르트(David Hilbert)는 기하학의 기초에서 이러한 결함을 보완하여 유클리드 기하학을 완전히 재구축했습니다.

제1권의 정의 23가지

유클리드는 원론 제1권의 시작에서 23가지 정의(Definition, 정의)를 제시합니다. 이 정의들은 기하학의 기본 대상을 규정하며, 이후 모든 논의의 출발점이 됩니다. 아래에 전문을 한국어로 번역하고 현대적 해설을 덧붙입니다.

다만 정의는 아직 어떤 사실을 "증명"한 것이 아닙니다. 예를 들어 "점은 부분이 없는 것이다"라는 문장은 점의 뜻을 정한 것이지, 점에 관한 성질을 증명한 문장이 아닙니다. 원론은 이렇게 용어를 먼저 정리한 뒤, 그 용어를 사용하여 명제를 증명하는 순서로 전개됩니다.

5개 공준 (Postulates)

공준(Postulate, 요청)이란 기하학 고유의 전제로서, 증명 없이 참으로 받아들이는 명제입니다. 유클리드는 5개의 공준을 제시했으며, 처음 네 개는 단순하고 직관적이지만 다섯 번째는 유독 복잡합니다.

제1공준

임의의 점에서 임의의 다른 점으로 직선(Straight Line)을 그을 수 있다.

두 점이 주어지면, 그 두 점을 잇는 직선이 존재한다는 뜻입니다. 이것은 자(straightedge)의 존재를 보장합니다. 주의할 점은, 유클리드의 "자"에는 눈금이 없습니다. 길이를 재는 것이 아니라 두 점을 잇는 용도로만 사용합니다.

제2공준

유한한 직선(선분)을 연속적으로 직선 위에 연장할 수 있다.

선분을 양쪽으로 무한히 늘릴 수 있다는 뜻입니다. 이 공준은 공간이 유한하지 않음을 암묵적으로 가정합니다.

제3공준

임의의 중심과 임의의 거리(반지름)로 원(Circle)을 그릴 수 있다.

이것은 컴퍼스(compass)의 존재를 보장합니다. 유클리드의 컴퍼스는 "흐물거리는 컴퍼스(collapsing compass)"로, 원을 그린 후 들어 올리면 벌어진 폭이 유지되지 않는다고 해석합니다. 그러나 명제 2에서 고정된 컴퍼스와 동등함을 증명합니다.

제4공준

모든 직각(Right Angle)은 서로 같다.

장소나 방향에 관계없이 직각의 크기는 항상 같습니다. 이 공준은 공간의 균질성(homogeneity)과 등방성(isotropy)을 보장합니다. 즉, 기하학의 법칙이 어디서나 동일하게 적용됨을 의미합니다.

제5공준 — 평행선 공준

한 직선이 두 직선과 만날 때, 같은 쪽의 내각(Interior Angle)의 합이 두 직각(즉 $180°$)보다 작으면, 그 두 직선은 내각의 합이 작은 쪽에서 만난다.

제5공준은 다른 네 공준에 비해 현저히 복잡합니다. 이 공준은 다음과 동치인 여러 형태로 표현할 수 있습니다.

• 플레이페어 공리(Playfair's Axiom): 직선 밖의 한 점을 지나면서 그 직선에 평행한 직선은 정확히 하나 존재한다.
• 삼각형의 내각의 합은 $180°$이다.
• 닮음이지만 합동이 아닌 삼각형이 존재한다.
• 피타고라스 정리가 성립한다.

5개 공리 (Common Notions)

공리(Common Notion, 공통 관념)는 기하학에만 국한되지 않는, 모든 학문에 공통으로 적용되는 자명한 원리입니다.

제1공리

같은 것에 같은 것은 서로 같다.

$A = C$이고 $B = C$이면 $A = B$입니다. 이것은 현대 논리학에서 동치 관계의 추이성(transitivity)에 해당합니다.

제2공리

같은 것에 같은 것을 더하면 그 결과도 같다.

$A = B$이면 $A + C = B + C$입니다. 등식의 양변에 같은 양을 더해도 등식이 유지됩니다.

제3공리

같은 것에서 같은 것을 빼면 그 나머지도 같다.

$A = B$이면 $A - C = B - C$입니다. 등식의 양변에서 같은 양을 빼도 등식이 유지됩니다.

제4공리

서로 겹치는(포개지는) 것은 같다.

두 도형이 완전히 포개지면 합동(congruent)이라는 뜻입니다. 유클리드는 명제 4(SAS 합동)의 증명에서 이 공리를 사용합니다. 이 "포개기(superposition)" 방법은 현대 수학자들에게 비판을 받았는데, 도형을 "움직인다"는 것이 공리적으로 정당화되지 않았기 때문입니다.

제5공리

전체는 부분보다 크다.

$A$가 $B$의 일부이면 $B > A$입니다. 현대 집합론에서는 무한집합의 경우 이 원리가 성립하지 않을 수 있습니다(자연수 전체와 짝수 전체는 같은 크기).

제1권: 평면기하의 기초

제1권은 48개의 명제로 구성되어 있으며, 삼각형의 합동, 평행선의 성질, 그리고 피타고라스 정리를 다룹니다. 이 중 가장 중요한 명제들을 상세히 살펴보겠습니다.

명제 1: 정삼각형의 작도

주어진 것: 선분 $AB$

구하는 것: $AB$ 위에 정삼각형 $\triangle ABC$를 작도하시오.

작도 과정:

1. 점 $A$를 중심으로 반지름 $AB$인 원을 그립니다. (제3공준)
2. 점 $B$를 중심으로 반지름 $BA$인 원을 그립니다. (제3공준)
3. 두 원의 교점을 $C$라 합니다.
4. 선분 $AC$와 $BC$를 긋습니다. (제1공준)

증명:

$A$가 중심인 원 위에 $C$가 있으므로 $AC = AB$입니다. (원의 정의)
$B$가 중심인 원 위에 $C$가 있으므로 $BC = BA$입니다. (원의 정의)
따라서 $AC = AB = BC$이므로 (제1공리: 같은 것에 같은 것은 서로 같다)
$\triangle ABC$는 정삼각형입니다. $\blacksquare$

명제 4: SAS 합동 (두 변과 끼인각)

정리: 두 삼각형에서, 두 변의 길이와 그 끼인각이 각각 같으면, 두 삼각형은 합동이다.

증명 (포개기 방법):

삼각형 $\triangle ABC$와 $\triangle DEF$에서 $AB = DE$, $AC = DF$, $\angle BAC = \angle EDF$라 하자.

$\triangle ABC$를 들어 $\triangle DEF$ 위에 놓되, 점 $A$가 점 $D$ 위에, 직선 $AB$가 직선 $DE$ 위에 오도록 놓는다.

$AB = DE$이므로 점 $B$는 점 $E$ 위에 온다. $\angle BAC = \angle EDF$이므로 직선 $AC$는 직선 $DF$ 위에 온다. $AC = DF$이므로 점 $C$는 점 $F$ 위에 온다. 따라서 $BC = EF$이고, $\angle ABC = \angle DEF$, $\angle ACB = \angle DFE$이다. (제4공리: 서로 겹치는 것은 같다) $\blacksquare$

명제 5: 이등변삼각형의 밑각 (Pons Asinorum)

정리: 이등변삼각형에서 두 밑각은 같다.

이 명제의 라틴어 별명 Pons Asinorum(당나귀의 다리)은, 이 증명이 수학 입문자에게 첫 번째 난관이 되기 때문에 붙여진 것입니다. 이 다리를 건너지 못하면 "당나귀(어리석은 사람)"라는 뜻입니다.

증명:

$\triangle ABC$에서 $AB = AC$라 하자. 변 $AB$ 위에 $BD$를, 변 $AC$ 위에 $CE$를 잡되 $BD = CE$가 되도록 한다.

$\triangle ABE$와 $\triangle ACD$에서:

• $AB = AC$ (가정)
• $AE = AD$ ($AC - CE = AB - BD$, 제3공리)
• $\angle A$는 공통

SAS 합동(명제 4)에 의해 $\triangle ABE \cong \triangle ACD$이므로 $BE = CD$, $\angle ABE = \angle ACD$.

따라서 $\angle ABC = \angle ACB$이다. $\blacksquare$

명제 32: 삼각형 내각의 합

정리: 삼각형의 한 변을 연장하여 만든 외각은 이웃하지 않는 두 내각의 합과 같다. 따라서 삼각형의 세 내각의 합은 두 직각($180°$)이다.

증명:

$\triangle ABC$에서 변 $BC$를 $D$까지 연장한다. 점 $C$를 지나 $BA$에 평행한 직선 $CE$를 긋는다. (이 작도는 명제 31에서 이미 증명되었다.)

$BA \parallel CE$이고 $AC$가 횡단선이므로:

• $\angle BAC = \angle ACE$ (엇각, 명제 29)

$BA \parallel CE$이고 $BD$가 횡단선이므로:

• $\angle ABC = \angle ECD$ (동위각, 명제 29)

따라서 외각 $\angle ACD = \angle ACE + \angle ECD = \angle BAC + \angle ABC$.

그런데 $\angle BCA + \angle ACD = 180°$ (평각)이므로:

$\blacksquare$

명제 47: 피타고라스 정리

정리: 직각삼각형에서 빗변 위의 정사각형의 넓이는 다른 두 변 위의 정사각형의 넓이의 합과 같다.

유클리드의 증명은 대수가 아닌 넓이 비교로 이루어집니다. 이 증명은 "풍차 증명(Windmill Proof)"이라고도 불립니다.

증명 개요:

직각삼각형 $\triangle ABC$에서 $\angle C = 90°$라 하자. 세 변 위에 각각 정사각형을 그린다.

1. 점 $C$에서 빗변 $AB$ 위의 정사각형의 변 $AB$에 수선을 내려, 정사각형을 두 직사각형으로 나눈다.
2. $\triangle ABF$와 $\triangle ACD$의 합동을 보인다 (SAS, 명제 4).
3. $\triangle ABF$의 넓이는 변 $AC$ 위의 정사각형 넓이의 $\frac{1}{2}$이다. (같은 밑변, 같은 높이)
4. $\triangle ACD$의 넓이는 왼쪽 직사각형 넓이의 $\frac{1}{2}$이다.
5. 따라서 변 $AC$ 위의 정사각형의 넓이 = 왼쪽 직사각형의 넓이.
6. 마찬가지로 변 $BC$ 위의 정사각형의 넓이 = 오른쪽 직사각형의 넓이.
7. 따라서 두 작은 정사각형의 넓이의 합 = 큰 정사각형의 넓이. $\blacksquare$

명제 48: 피타고라스 역

정리: 삼각형에서 한 변 위의 정사각형의 넓이가 나머지 두 변 위의 정사각형의 넓이의 합과 같으면, 그 두 변이 이루는 각은 직각이다.

증명:

$\triangle ABC$에서 $AB^2 = AC^2 + BC^2$라 하자. 점 $C$에서 $BC$에 수직인 직선을 긋고, $CD = AC$가 되도록 점 $D$를 잡는다.

$\angle BCD = 90°$이므로 명제 47(피타고라스 정리)에 의해:

따라서 $BD = AB$이다. SSS 합동(명제 8)에 의해 $\triangle ABC \cong \triangle DBC$이므로 $\angle ACB = \angle DCB = 90°$이다. $\blacksquare$

자와 컴퍼스 작도

기본 작도

유클리드 원론에서 허용되는 도구는 자(straightedge)와 컴퍼스(compass) 두 가지뿐입니다. 자에는 눈금이 없으며, 컴퍼스는 원을 그리는 데만 사용합니다. 이 두 도구만으로 다양한 기하학적 작도가 가능합니다.

수직이등분선 작도

선분 $AB$의 수직이등분선을 작도하는 방법입니다.

1. 점 $A$를 중심으로, $AB$의 절반보다 큰 반지름의 원을 그립니다.
2. 점 $B$를 중심으로, 같은 반지름의 원을 그립니다.
3. 두 원의 교점 $C$, $D$를 잇는 직선이 수직이등분선입니다.

각의 이등분선 작도

$\angle AOB$의 이등분선을 작도하는 방법입니다.

1. 점 $O$를 중심으로 임의의 반지름으로 원을 그려, 반직선 $OA$, $OB$와 만나는 점을 각각 $P$, $Q$라 합니다.
2. 점 $P$와 $Q$를 중심으로 같은 반지름의 원을 그립니다.
3. 두 원의 교점 $R$과 점 $O$를 잇는 반직선이 각의 이등분선입니다.

정오각형 작도

정오각형의 작도는 원론 제4권 명제 11에 나옵니다. 이것은 황금비(Golden Ratio) $\varphi = \dfrac{1+\sqrt{5}}{2}$와 밀접한 관련이 있습니다. 정오각형의 대각선과 변의 비가 바로 황금비이기 때문입니다.

3대 불가능 문제

고대 그리스인들은 자와 컴퍼스만으로 해결하고자 했으나 실패한 세 가지 유명한 문제가 있습니다. 2000년 이상이 지난 후에야, 이 문제들이 원리적으로 불가능함이 증명되었습니다.

1. 각의 3등분 문제 (Angle Trisection)

임의의 각을 자와 컴퍼스만으로 3등분할 수 있는가?

불가능합니다. 예를 들어, $60°$를 3등분하여 $20°$를 작도하려면 $\cos 20°$를 작도할 수 있어야 합니다. 그런데 $\cos 20°$는 방정식 $8x^3 - 6x - 1 = 0$의 근이며, 이 3차 방정식은 유리수 위에서 기약(irreducible)입니다.

자와 컴퍼스로 작도 가능한 수는 유리수에서 출발하여 사칙연산과 제곱근만을 유한 번 적용하여 얻을 수 있는 수입니다. 이러한 수의 유리수 위에서의 확대 차수(degree of extension)는 반드시 $2$의 거듭제곱입니다. 그런데 $\cos 20°$의 최소다항식의 차수는 $3$이므로, 확대 차수가 $3$이 되어 $2$의 거듭제곱이 아닙니다. 따라서 작도가 불가능합니다.

2. 원적 문제 (Squaring the Circle)

주어진 원과 같은 넓이의 정사각형을 자와 컴퍼스만으로 작도할 수 있는가?

불가능합니다. 반지름 $r$인 원의 넓이는 $\pi r^2$이므로, 같은 넓이의 정사각형의 변의 길이는 $r\sqrt{\pi}$입니다. 이를 작도하려면 $\sqrt{\pi}$, 따라서 $\pi$가 작도 가능해야 합니다. 그런데 1882년 린데만(Lindemann)이 $\pi$는 초월수(transcendental number)임을 증명했습니다. 초월수는 유리수 계수 다항식의 근이 될 수 없으므로, 작도 가능한 수가 될 수 없습니다.

3. 정육면체 배적 문제 (Doubling the Cube)

주어진 정육면체의 부피의 두 배인 정육면체를 작도할 수 있는가? 이 문제는 델로스 문제(Delian Problem)라고도 합니다.

불가능합니다. 한 변이 $a$인 정육면체의 부피는 $a^3$이므로, 부피가 $2a^3$인 정육면체의 한 변은 $a\sqrt[3]{2}$입니다. $\sqrt[3]{2}$는 방정식 $x^3 - 2 = 0$의 근이며, 이 다항식은 유리수 위에서 기약입니다. 확대 차수가 $3$이므로 $2$의 거듭제곱이 아니며, 따라서 작도가 불가능합니다.

제2–4권: 기하학적 대수와 원

제2권: 기하학적 대수

제2권(14개 명제)은 현대 대수학의 항등식을 넓이로 표현합니다. 고대 그리스인들은 "수의 곱"이 아닌 "직사각형의 넓이"로 곱셈을 이해했습니다.

명제 4 (완전제곱식):

선분을 두 부분으로 나누면, 전체 위의 정사각형은 각 부분 위의 정사각형과 두 부분으로 이루어진 직사각형 두 개의 합과 같다.

명제 5 (합차의 곱):

선분을 같게 나누고 또 같지 않게 나누면, 같지 않은 부분들로 이루어진 직사각형과 나눈 점 사이의 정사각형의 합은 절반 위의 정사각형과 같다.

이것을 변형하면:

명제 14 (정사각형화):

주어진 직선 도형(다각형)과 같은 넓이의 정사각형을 작도할 수 있다.

이것은 임의의 다각형의 넓이를 정사각형으로 변환할 수 있다는 강력한 결과입니다.

제3권: 원의 성질

제3권(37개 명제)은 원의 다양한 성질을 다룹니다. 핵심 내용을 소개합니다.

• 명제 1: 원의 중심을 찾는 방법.
• 명제 3: 지름이 중심을 지나지 않는 현을 이등분하면, 그 현에 수직이다.
• 명제 18: 접선은 접점에서의 반지름에 수직이다.
• 명제 20: 원의 중심각은 같은 호에 대한 원주각의 두 배이다. (원주각 정리)
• 명제 31: 반원에 내접하는 각은 직각이다. (탈레스 정리)
• 명제 35: 원 내부에서 두 현이 만날 때, 한 현의 두 부분의 곱은 다른 현의 두 부분의 곱과 같다. (거듭제곱의 정리)

원주각 정리를 수식으로 표현하면:

여기서 $O$는 원의 중심이고, $A$, $B$는 원 위의 점이며, $C$는 호 $AB$ 위의 점입니다.

제4권: 정다각형 작도

제4권(16개 명제)은 원에 내접하거나 외접하는 정다각형의 작도를 다룹니다.

• 명제 2: 주어진 원에 주어진 삼각형과 같은 삼각형을 내접시키는 방법.
• 명제 6: 원에 정사각형을 내접시키기.
• 명제 11: 원에 정오각형을 내접시키기.
• 명제 15: 원에 정육각형을 내접시키기.
• 명제 16: 원에 정십오각형을 내접시키기.

제5–6권: 에우독소스의 비례론

비례론의 배경

피타고라스 학파는 "모든 것은 수(정수의 비)이다"라고 믿었습니다. 그러나 $\sqrt{2}$의 발견—정사각형의 대각선과 변의 비가 정수의 비로 표현될 수 없다는 사실—은 이 세계관을 뒤흔들었습니다. 이 위기를 해결한 것이 에우독소스(Eudoxus, 기원전 약 408–355년)의 비례론입니다.

에우독소스의 비례 정의 (제5권 정의 5)

네 양 $a$, $b$, $c$, $d$에 대해 $a : b = c : d$라 함은, 임의의 자연수 $m$, $n$에 대해:

• $ma > nb$이면 $mc > nd$
• $ma = nb$이면 $mc = nd$
• $ma < nb$이면 $mc < nd$

가 성립하는 것을 뜻한다.

이 정의의 중요성은 무리수 비에도 적용된다는 점입니다. 현대 수학에서 데데킨트 절단(Dedekind Cut)으로 실수를 정의하는 방법은 본질적으로 에우독소스의 정의와 같은 아이디어입니다.

제6권: 닮음

제6권(33개 명제)은 제5권의 비례론을 기하학에 적용합니다.

명제 2 (탈레스 정리, 비례 정리):

삼각형의 한 변에 평행한 직선이 나머지 두 변을 만나면, 두 변을 같은 비로 나눈다.

명제 4 (AA 닮음):

두 삼각형의 대응하는 두 각이 같으면 닮음이다.

닮음의 직관: 닮음(Similarity)은 "모양은 같고 크기만 다른 것"입니다. 그래서 닮음인 두 도형에서는 길이 자체는 달라도, 대응하는 변의 비율은 같습니다. 유클리드가 제6권에서 한 일은 바로 이 생각을 엄밀한 비례론 위에 올려놓는 것이었습니다.

명제 31 (피타고라스 정리의 일반화):

직각삼각형의 빗변 위에 그린 임의의 도형의 넓이는, 다른 두 변 위에 같은 형태로 그린 도형의 넓이의 합과 같다. 이것은 정사각형뿐 아니라 반원, 정삼각형 등 임의의 닮음 도형에 대해서도 성립합니다.

이 그림에서 $DE$가 $BC$와 평행이면, 작은 삼각형 $\triangle ADE$와 큰 삼각형 $\triangle ABC$는 각이 서로 같으므로 닮음입니다. 따라서 대응하는 변의 길이는 모두 같은 비를 가집니다. 이것이 탈레스 정리와 닮음 정리의 핵심입니다. 고대에는 이런 정리가 단순한 도형 놀이가 아니라, 높이를 직접 재기 어려운 건물과 탑의 높이를 그림자와 비례로 구하는 실용적 도구이기도 했습니다.

제7–9권: 정수론

원론 제7–9권은 기하학이 아닌 정수론(Number Theory)을 다룹니다. 유클리드는 수를 선분의 길이로 표현하며, 곱셈은 직사각형의 넓이로 해석합니다.

유클리드 호제법 (제7권 명제 2)

유클리드 호제법(Euclidean Algorithm)은 두 자연수의 최대공약수(Greatest Common Divisor, GCD)를 구하는 알고리즘입니다. 이것은 알려진 가장 오래된 알고리즘 중 하나입니다.

방법: 두 수 $a > b > 0$에 대해:

1. $a$를 $b$로 나눈 나머지를 $r$이라 한다: $a = bq + r$, $0 \le r < b$
2. $r = 0$이면 $\gcd(a, b) = b$이다.
3. $r \ne 0$이면 $\gcd(a, b) = \gcd(b, r)$이므로, $a$를 $b$로, $b$를 $r$로 바꾸어 반복한다.

예시: $\gcd(252, 105)$를 구해 봅시다.

나머지가 $0$이 되었으므로 $\gcd(252, 105) = 21$입니다.

정당화: $a = bq + r$이면 $a$와 $b$의 공약수는 모두 $r$의 약수이기도 하며, 역으로 $b$와 $r$의 공약수는 모두 $a$의 약수이기도 합니다. 따라서 $\gcd(a, b) = \gcd(b, r)$입니다.

소수의 무한성 (제9권 명제 20)

이 명제는 수학사에서 가장 유명한 증명 중 하나입니다.

정리: 소수(Prime Number)는 무한히 많다.

유클리드의 증명 (원문에 가까운 형태):

소수가 유한하다고 가정하자. 그것들을 $p_1, p_2, \ldots, p_n$이라 하자.

다음 수를 생각한다:

$N$은 $1$보다 크므로, 소수이거나 소수의 곱으로 나타낼 수 있다(제7권 명제 31). 따라서 어떤 소수 $p$가 $N$을 나눈다.

그런데 $N$을 $p_1, p_2, \ldots, p_n$ 중 어느 것으로 나누어도 나머지가 $1$이다. (왜냐하면 $N = p_1 p_2 \cdots p_n + 1$이므로.)

따라서 $p$는 $p_1, p_2, \ldots, p_n$ 중 어느 것과도 같지 않다.

이것은 $p_1, p_2, \ldots, p_n$이 "모든 소수"라는 가정에 모순이다.

따라서 소수는 유한하지 않다. 즉, 소수는 무한히 많다. $\blacksquare$

완전수 (제9권 명제 36)

완전수(Perfect Number)란 자기 자신을 제외한 약수의 합이 자기 자신과 같은 수입니다.

예: $6 = 1 + 2 + 3$, $28 = 1 + 2 + 4 + 7 + 14$

유클리드의 정리 (명제 IX.36):

$2^n - 1$이 소수이면, $2^{n-1}(2^n - 1)$은 완전수이다.

증명:

$p = 2^n - 1$이 소수라 하자. $N = 2^{n-1} \cdot p$라 놓자.

$N$의 약수는 $1, 2, 4, \ldots, 2^{n-1}$과 $p, 2p, 4p, \ldots, 2^{n-2}p$이다.

$N$ 자신을 제외한 약수의 합은:

따라서 $N$은 완전수이다. $\blacksquare$

$2^n - 1$ 형태의 소수를 메르센 소수(Mersenne Prime)라 합니다. 처음 몇 개의 완전수는 다음과 같습니다.

제10권: 무리수의 분류

제10권은 원론에서 가장 긴 권(115개 명제)으로, 통약불가능량(Incommensurable Magnitudes)—현대적으로 말하면 무리수(Irrational Number)—를 분류합니다.

통약가능과 통약불가능

두 양 $a$와 $b$가 통약가능(commensurable)하다 함은, 어떤 양 $u$가 존재하여 $a = mu$, $b = nu$ ($m$, $n$은 자연수)로 나타낼 수 있다는 뜻입니다. 즉 $\frac{a}{b} = \frac{m}{n}$이 유리수라는 것입니다.

통약불가능하다 함은 그러한 공통 단위 $u$가 존재하지 않는다는 뜻입니다. 예를 들어, 정사각형의 변과 대각선은 통약불가능합니다.

$\sqrt{2}$의 무리수성 증명

이 증명은 원론 제10권 명제 117(부록)에 해당하며, 귀류법(Proof by Contradiction)을 사용합니다.

정리: $\sqrt{2}$는 무리수이다.

증명:

$\sqrt{2}$가 유리수라 가정하자. 그러면 서로소인 자연수 $p$, $q$가 존재하여 $\sqrt{2} = \frac{p}{q}$로 쓸 수 있다.

양변을 제곱하면 $2 = \frac{p^2}{q^2}$, 즉 $p^2 = 2q^2$이다.

따라서 $p^2$은 짝수이고, $p$도 짝수이다. ($p$가 홀수이면 $p^2$도 홀수이므로.)

$p = 2k$로 놓으면 $(2k)^2 = 2q^2$, 즉 $4k^2 = 2q^2$, $q^2 = 2k^2$이다.

따라서 $q^2$도 짝수이고, $q$도 짝수이다.

$p$와 $q$가 모두 짝수이므로 서로소라는 가정에 모순이다.

따라서 $\sqrt{2}$는 유리수가 아니다. $\blacksquare$

13가지 무리수 분류

유클리드는 통약불가능한 양을 13가지 유형으로 분류합니다. 현대적 용어로 대략 번역하면:

1. 중항(Medial): $\sqrt{ab}$ 형태 ($a$, $b$는 통약불가능)
2. 이항(Binomial): $\sqrt{a} + \sqrt{b}$ 형태
3. 제1이항(First Binomial)
4. 제2이항(Second Binomial)
5. 제3이항(Third Binomial)
6. 제4이항(Fourth Binomial)
7. 제5이항(Fifth Binomial)
8. 제6이항(Sixth Binomial)
9. 배항(Apotome): $\sqrt{a} - \sqrt{b}$ 형태
10. 제1배항(First Apotome)
11. 제2배항(Second Apotome)
12. 제3배항(Third Apotome)
13. 소항(Minor)

이 분류는 매우 정교하지만, 후세에는 별로 사용되지 않았습니다. 현대 대수학에서는 체의 확대 이론으로 무리수를 훨씬 체계적으로 다룹니다.

제11–13권: 입체기하와 정다면체

제11권: 입체의 기본 성질

제11권(39개 명제)은 3차원 공간에서의 직선, 평면, 입체의 성질을 다룹니다. 28개의 새로운 정의로 시작합니다.

• 두 평면이 만나면 교선은 직선이다.
• 직선이 평면 위의 모든 직선에 수직이면, 그 직선은 평면에 수직이다.
• 평행한 두 평면 사이의 거리는 일정하다.

제12권: 넓이와 부피의 비교

제12권(18개 명제)은 실진법(Method of Exhaustion)을 사용하여 곡선 도형의 넓이와 부피를 다룹니다. 이 방법은 에우독소스가 개발한 것으로, 적분의 선구입니다.

• 명제 2: 원의 넓이는 지름의 제곱에 비례한다. ($S \propto d^2$)
• 명제 10: 원뿔의 부피는 같은 밑면과 높이를 가진 원기둥의 $\frac{1}{3}$이다.
• 명제 18: 구의 부피는 반지름의 세제곱에 비례한다. ($V \propto r^3$)

실진법의 생각: 곡선을 한 번에 다루기 어렵다면, 먼저 안쪽에 들어가는 다각형이나 기둥을 그리고 점점 더 잘게 쪼갭니다. 그러면 남는 틈이 점점 작아져서, 결국 원하는 넓이와 부피에 얼마든지 가까이 갈 수 있습니다. 현대의 적분은 이 생각을 극한의 언어로 다시 쓴 것이라고 볼 수 있습니다.

유클리드와 아르키메데스는 이런 방식으로 "무한히 많이 더한다"는 말을 직접 쓰지 않고도 넓이와 부피를 엄밀하게 다루려 했습니다. 그래서 실진법은 적분의 정확한 공식이 없던 시대의 가장 강력한 도구였습니다.

제13권: 정다면체

제13권(18개 명제)은 원론의 대미를 장식하며, 정다면체(Regular Polyhedron), 즉 플라톤 입체(Platonic Solid)의 구성과 분류를 다룹니다.

정다면체(Regular Polyhedron)란 모든 면이 합동인 정다각형이고, 모든 꼭짓점에서 만나는 면의 수가 같은 볼록 다면체를 말합니다.

정다면체가 정확히 5종뿐인 이유

정리: 정다면체는 위의 5종류뿐이다.

증명:

정다면체의 각 면이 정 $n$각형이고, 각 꼭짓점에서 $m$개의 면이 만난다고 하자.

조건 1: 면이 정다각형이려면 $n \ge 3$이어야 한다.

조건 2: 한 꼭짓점에서 최소 3개의 면이 만나야 하므로 $m \ge 3$이어야 한다.

조건 3 (각도 조건): 한 꼭짓점 주위의 면의 내각의 합이 $360°$보다 작아야 한다. (같거나 크면 평면이 되거나 접히지 않는다.)

정 $n$각형의 한 내각은 $\frac{(n-2) \times 180°}{n}$이다. 한 꼭짓점에서 $m$개의 면이 만나므로:

$m \ge 3$, $n \ge 3$이므로 $(m-2) \ge 1$, $(n-2) \ge 1$이다. $(m-2)(n-2) < 4$를 만족하는 $(m, n)$의 조합은:

이 5가지가 전부이다. (예: $(2, 2)$는 $(m-2)(n-2)=4$이므로 조건을 만족하지 않는다.) $\blacksquare$

제5공준과 비유클리드 기하학

2000년간의 시도

제5공준은 처음 네 공준에 비해 복잡하고, 많은 수학자들이 이것을 나머지 네 공준으로부터 증명하려 시도했습니다.

프톨레마이오스 (Ptolemy, 2세기)

천문학자 프톨레마이오스는 제5공준을 증명하려 했지만, 결과적으로 제5공준과 동치인 다른 명제를 암묵적으로 가정하고 있었습니다.

프로클로스 (Proclus, 5세기)

프로클로스는 유클리드 원론에 대한 주석서를 남겼으며, 제5공준의 증명을 시도했습니다. 그러나 그의 증명에도 "평행선 사이의 거리가 유한하다"라는 암묵적 가정이 들어 있었는데, 이 가정 자체가 제5공준과 동치입니다.

사케리 (Saccheri, 1733)

조반니 사케리(Giovanni Saccheri)는 귀류법으로 제5공준을 증명하려 했습니다. 제5공준을 부정한 후 모순을 도출하려 한 것입니다. 그는 사케리 사각형—밑변 위의 두 직각과 같은 길이의 두 옆변을 가진 사각형—을 고안하여, 윗변의 각이 직각·둔각·예각인 세 가지 경우를 분석했습니다.

• 직각 가설: 제5공준과 동치 (유클리드 기하학)
• 둔각 가설: 모순을 도출했다고 주장 (실은 제2공준을 추가 가정)
• 예각 가설: 모순을 찾지 못했지만, "직관에 반하므로" 거짓이라고 결론 내렸다.

아이러니하게도, 사케리가 거짓이라 판단한 "예각 가설"이 바로 쌍곡기하학(Hyperbolic Geometry)의 토대입니다. 사케리는 비유클리드 기하학의 발견에 가장 가까이 다가갔지만, 그 의미를 깨닫지 못했습니다.

르장드르 (Legendre, 18세기)

아드리앵마리 르장드르(Adrien-Marie Legendre)도 여러 차례 제5공준의 증명을 시도했지만, 모두 실패했습니다. 그는 삼각형 내각의 합이 $180°$를 초과하지 않음을 증명했으나, 정확히 $180°$임은 증명하지 못했습니다.

비유클리드 기하학의 탄생

보여이와 로바체프스키: 쌍곡기하학

1820년대에 야노시 보여이(János Bolyai, 1802–1860)와 니콜라이 로바체프스키(Nikolai Lobachevsky, 1792–1856)가 독립적으로 제5공준을 부정해도 무모순(consistent)인 기하학이 존재함을 보였습니다.

쌍곡기하학(Hyperbolic Geometry)에서는:

• 직선 밖의 한 점을 지나는 평행선이 무한히 많습니다.
• 삼각형의 내각의 합은 $180°$보다 작습니다.
• 넓이가 커질수록 내각의 합은 $180°$에서 점점 멀어집니다.
• 닮음이지만 합동이 아닌 삼각형은 존재하지 않습니다.

리만: 구면기하학

베른하르트 리만(Bernhard Riemann, 1826–1866)은 1854년의 취임 강연에서 또 다른 비유클리드 기하학을 제시했습니다.

구면기하학(Spherical Geometry) (또는 타원기하학)에서는:

• 직선 밖의 한 점을 지나는 평행선이 하나도 없습니다. (모든 "직선"(대원)은 만남.)
• 삼각형의 내각의 합은 $180°$보다 큽니다.
• 제2공준(직선의 무한 연장)도 수정됩니다: 직선은 유한하지만 끝이 없습니다(대원).

벨트라미의 모형 (1868)

에우제니오 벨트라미(Eugenio Beltrami)는 쌍곡기하학의 모형(model)을 유클리드 공간 안에서 구성했습니다. 이로써 쌍곡기하학이 유클리드 기하학만큼이나 무모순임을 증명한 것입니다. 유클리드 기하학이 모순이 아니면, 쌍곡기하학도 모순이 아닙니다.

유명한 모형들:

• 푸앵카레 원판 모형(Poincaré Disk Model): 원 내부를 전체 쌍곡 평면으로 삼고, "직선"은 원의 경계에 직교하는 원호입니다.
• 클라인 모형(Klein Model): 원 내부를 전체 쌍곡 평면으로 삼되, "직선"은 유클리드적 직선(현)입니다. 각도가 왜곡됩니다.
• 상반평면 모형(Upper Half-plane Model): $y > 0$인 반평면을 쌍곡 평면으로 삼고, "직선"은 $x$축에 수직인 직선 또는 $x$축에 접하는 반원입니다.

원론의 역사적 영향

아랍 전승

로마 제국의 쇠퇴 이후, 원론은 유럽에서 거의 잊혀졌습니다. 그러나 아랍 세계에서 원론은 꾸준히 연구되었습니다. 9세기 바그다드(Baghdad)의 지혜의 집(Bayt al-Hikma)에서 알 하지(al-Hajjāj)가 아랍어로 처음 번역했으며, 이후 여러 주석서가 쓰였습니다.

유럽 재발견

12세기에 아델라드(Adelard of Bath)가 아랍어 번역본을 라틴어로 번역하면서 원론이 유럽에 다시 소개되었습니다. 이후 원론은 유럽 대학 교육의 핵심 교재가 되었습니다.

최초 인쇄 (1482)

1482년, 베네치아에서 에르하르트 라트돌트(Erhard Ratdolt)가 원론의 라틴어 판을 처음으로 인쇄했습니다. 이 판본은 캄파누스(Campanus)의 번역을 기반으로 하며, 기하학 도해가 포함된 최초의 인쇄본입니다.

교육 역사

원론은 2000년 이상 수학 교육의 표준 교재로 사용되었습니다. 옥스퍼드(Oxford)와 케임브리지(Cambridge) 대학에서는 19세기 말까지도 유클리드 원론이 기하학 교과서로 사용되었습니다. 원론에 기반한 교육은 단순히 기하학적 사실을 가르치는 것이 아니라, 논리적 추론 능력을 기르는 데 목적이 있었습니다.

에이브러햄 링컨과 원론

미국 제16대 대통령 에이브러햄 링컨(Abraham Lincoln)은 변호사 시절 논리적 추론 능력을 기르기 위해 유클리드 원론의 처음 여섯 권을 독학했다고 합니다. 그는 안장가방에 원론을 넣고 다니며 공부했으며, 이 경험이 법정 변론과 정치 연설에서의 논리적 명료함에 큰 도움이 되었다고 술회했습니다.

"수학에서 증명(demonstrate)이란 무엇인지 이해하기 전까지, 나는 진정한 의미의 증명이 무엇인지 몰랐습니다. 나는 유클리드의 원론 여섯 권의 모든 명제를 증명할 수 있을 때까지 공부를 멈추지 않았습니다."
— 에이브러햄 링컨

현대 공리적 수학: 힐베르트의 기초

1899년, 다비트 힐베르트(David Hilbert)는 기하학의 기초(Grundlagen der Geometrie)를 출판하여 유클리드 기하학을 현대적 공리 체계로 재구축했습니다. 힐베르트는 유클리드의 23가지 정의 대신 무정의 용어를 도입하고, 10개 공리 대신 20개의 공리를 5개 그룹으로 나누어 제시했습니다.

1. 결합(Incidence) 공리 (8개): 점, 선, 면의 관계
2. 순서(Order) 공리 (4개): "사이에 있다"의 의미
3. 합동(Congruence) 공리 (5개): SAS 합동 등
4. 평행(Parallel) 공리 (1개): 플레이페어 공리
5. 연속성(Continuity) 공리 (2개): 아르키메데스 공리, 완비성 공리

힐베르트의 유명한 말:

"점, 선, 면 대신 탁자, 의자, 맥주잔이라고 불러도 공리만 만족하면 정리는 모두 성립해야 합니다."

이 발언은 공리적 방법의 본질을 잘 보여줍니다. 공리 체계에서 중요한 것은 대상의 물리적 의미가 아니라, 공리들 사이의 논리적 관계입니다.

원론의 현대적 의의

유클리드 원론은 오늘날에도 여러 면에서 중요합니다.

• 공리적 사고의 원형: 소수의 전제에서 출발하여 체계적으로 결론을 도출하는 방법론은 현대 수학, 컴퓨터 과학, 철학의 기초입니다.
• 연역적 추론의 훈련: 원론의 증명을 따라가면서 논리적 추론 능력을 기를 수 있습니다.
• 수학사 이해: 원론은 수학이 어떻게 발전해 왔는지, 공리적 방법이 어떻게 탄생했는지를 이해하는 핵심 텍스트입니다.
• 비유클리드 기하의 맥락: 유클리드 기하학을 이해하지 않으면, 비유클리드 기하학과 일반상대성이론의 의미를 제대로 파악할 수 없습니다.

원론의 주요 사본과 판본

유클리드의 원본은 전해지지 않으며, 현존하는 텍스트는 후세의 사본과 편집본에 기반합니다.

주요 그리스어 사본

테온의 편집과 하이버그 판

4세기 알렉산드리아의 테온(Theon)이 원론을 편집하면서 일부 수정을 가했습니다. 현존 대부분의 사본은 테온 편집본 계열입니다. 1808년 프랑수아 페이라르(François Peyrard)가 바티칸 사본에서 테온 이전 판본의 흔적을 발견했으며, 1883–1916년 덴마크의 요한 하이버그(Johan Ludvig Heiberg)가 그리스어 비판교정본(critical edition)을 출판했습니다. 이 하이버그 판이 현재 학술적 표준입니다.

중요 번역 및 인쇄본의 연대기

• 약 800년: 알 하지의 아랍어 번역 (바그다드)
• 약 1120년: 아델라드의 라틴어 번역 (아랍어에서)
• 약 1260년: 캄파누스의 라틴어 판 (유럽 대학의 표준)
• 1482년: 라트돌트의 최초 인쇄본 (베네치아)
• 1505년: 잠베르티의 그리스어-라틴어 대역 (그리스어 원전 기반 최초)
• 1533년: 그리너의 그리스어 원전 최초 인쇄 (바젤)
• 1570년: 빌링슬리의 최초 영어 번역 (런던)
• 1607년: 마테오 리치와 서광계의 한문 번역 (중국, 처음 6권)
• 1908년: 토머스 히스의 영어 번역 + 주석 (현재까지 가장 널리 읽히는 판)

연습 문제

기본 문제

1. 유클리드 호제법 연습: $\gcd(462, 1071)$을 유클리드 호제법으로 구하십시오.

   풀이 보기

   $1071 = 462 \times 2 + 147$

   $462 = 147 \times 3 + 21$

   $147 = 21 \times 7 + 0$

   따라서 $\gcd(462, 1071) = 21$입니다.

2. 완전수 확인: $496$이 완전수임을 약수의 합으로 확인하십시오.

   풀이 보기

   $496$의 약수: $1, 2, 4, 8, 16, 31, 62, 124, 248$

   합: $1+2+4+8+16+31+62+124+248 = 496$

   자기 자신을 제외한 약수의 합이 $496$이므로 완전수입니다.

   또한 $496 = 2^4 \times 31 = 2^4(2^5 - 1)$이고, $31$은 소수(메르센 소수)이므로 유클리드의 공식에 부합합니다.

3. 정다면체: 한 꼭짓점에서 정육각형 3개가 만나는 정다면체는 왜 존재하지 않습니까?

   풀이 보기

   정육각형의 내각은 $120°$입니다. 한 꼭짓점에서 3개가 만나면 내각의 합은 $120° \times 3 = 360°$입니다. 이 합이 $360°$이면 평면이 되어 접을 수 없으므로 볼록 다면체를 이룰 수 없습니다. 따라서 정육각형으로는 정다면체를 만들 수 없습니다.

   같은 이유로, 정칠각형 이상의 정다각형으로도 정다면체를 만들 수 없습니다. (내각이 더 크므로 3개만 모아도 $360°$를 초과합니다.)

심화 문제

4. 소수의 무한성 응용: $2 \times 3 \times 5 \times 7 + 1 = 211$이 소수인지 확인하십시오. 만약 $2 \times 3 \times 5 \times 7 \times 11 \times 13 + 1$은 어떻습니까?

   풀이 보기

   $2 \times 3 \times 5 \times 7 + 1 = 211$: $211$을 $\sqrt{211} \approx 14.5$ 이하의 소수로 나누어 보면, $2, 3, 5, 7, 11, 13$ 어느 것으로도 나누어지지 않습니다. 따라서 $211$은 소수입니다.

   $2 \times 3 \times 5 \times 7 \times 11 \times 13 + 1 = 30031 = 59 \times 509$: 이 수는 합성수입니다. 이는 유클리드 증명에서 $N$이 반드시 소수가 아닐 수 있음을 보여주는 좋은 예입니다.

5. 작도 불가능성: 정7각형($n=7$)이 자와 컴퍼스로 작도 불가능한 이유를 설명하십시오.

   풀이 보기

   가우스의 정리에 의하면, 정 $n$각형이 자와 컴퍼스로 작도 가능할 필요충분조건은 $n = 2^k \cdot p_1 \cdot p_2 \cdots p_m$이며, 여기서 $p_i$는 서로 다른 페르마 소수입니다.

   $7$은 소수이지만 페르마 소수가 아닙니다. 페르마 소수는 $2^{2^k}+1$ 형태여야 하는데, $7 = 2^3 - 1$은 이 형태가 아닙니다. ($2^{2^0}+1=3$, $2^{2^1}+1=5$, $2^{2^2}+1=17$ 등)

   따라서 정7각형은 자와 컴퍼스만으로는 작도할 수 없습니다.

6. 비유클리드 기하: 지구 표면(구면)에서 적도 위의 두 점 $A$, $B$와 북극점 $N$으로 이루어진 삼각형을 생각합시다. $A$와 $B$ 사이의 적도 위 호가 $90°$이면, $\triangle NAB$의 내각의 합은 얼마입니까?

   풀이 보기

   북극에서 적도로 내려가는 경선(자오선)은 적도와 직각으로 만납니다. 따라서:

   • $\angle A = 90°$ (경선과 적도의 각)
   • $\angle B = 90°$ (경선과 적도의 각)
   • $\angle N = 90°$ (두 경선 사이의 각, 문제 조건에 의해)

   내각의 합 = $90° + 90° + 90° = 270°$입니다. 이는 $180°$보다 $90°$ 큽니다. 구면기하학에서 삼각형 내각의 합이 $180°$보다 클 수 있음을 보여주는 대표적 예입니다.

핵심 공식 요약