맨위로가기

유클리드 기하학

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요

유클리드 기하학은 유클리드의 《원론》을 기반으로 하는 기하학으로, 평면 기하학에 대한 다섯 개의 공준(공리)을 제시한다. 이 공준들은 점, 선, 원과 같은 기본적인 기하학적 대상들의 관계를 정의하며, 이를 통해 다양한 기하학적 정리들을 증명한다. 유클리드 기하학은 자와 컴퍼스만을 사용하여 도형을 작도하는 구성적 증명 방법을 사용하며, 넓이와 부피를 측정하는 데 각도와 거리를 활용한다. 응력 해석, 기어 설계, 광학 렌즈 설계, 항공기 날개 설계, CAD 시스템 등 다양한 공학 분야에 활용되며, 측량, 건축, 종이 접기 디자인에도 적용된다. 19세기 비유클리드 기하학의 등장과 20세기 상대성 이론의 발전은 유클리드 기하학의 한계를 보여주었지만, 여전히 3차원 공간을 이해하는 데 중요한 역할을 한다.

더 읽어볼만한 페이지

  • 그리스의 발명품 - 민주주의
    민주주의는 국민이 주권을 가지고 국민의 의사에 따라 정치 권력이 행사되는 정치 체제이며, 기본권 존중, 권력 분립, 다수결 원칙을 특징으로 하고 다양한 형태로 나타나며 최근 위협받는다는 우려가 제기된다.
  • 그리스의 발명품 - 피타고라스 정리
    피타고라스 정리는 직각삼각형에서 직각변의 제곱의 합이 빗변의 제곱과 같다는 정리로, a² + b² = c²으로 표현되며, 한 변의 길이를 계산하는 데 사용되고, 여러 지역에서 알려졌으나 피타고라스 학파에 의해 체계화되었다고 전해진다.
  • 유클리드 기하학 - 결정계
    결정계는 결정 구조의 대칭성에 따라 7가지(삼사, 단사, 사방, 정방, 삼방, 육방, 입방)로 분류되며, 각 결정계는 고유한 대칭 요소와 점군의 대칭성을 갖는다.
  • 유클리드 기하학 - 퐁슬레-슈타이너 정리
    퐁슬레-슈타이너 정리는 자와 주어진 원(중심 포함)만 사용하여 자와 컴퍼스로 작도 가능한 모든 것을 작도할 수 있다는 기하학적 정리이다.
  • 초등 기하학 - 대원
    구면기하학에서 대원은 구의 중심을 지나는 평면과 구의 교선으로, 유클리드 공간의 직선에 대응하며, 서로 대극점이 아닌 두 점을 잇는 최단 거리인 대원 거리를 정의하고, 자오선이나 적도처럼 항해, 천문학 등 다양한 분야에서 응용된다.
  • 초등 기하학 - 현 (기하학)
    현은 원 둘레를 두 호로 나누는 선분으로, 원에 내접하는 정다각형의 변이 될 수 있으며, 원의 중심을 지나는 가장 긴 현은 지름이라고 한다.
유클리드 기하학
개요
유형기하학의 한 분야
연구 대상점, , 면, 각, 거리, 도형의 성질
공리유클리드 원론의 5개의 공준
특징직관적인 공간 개념에 기반
역사
기원고대 그리스
발전유클리드에 의해 체계화, 이후 수 세기 동안 표준 기하학으로 인정
비유클리드 기하학 등장19세기, 비유클리드 기하학의 등장으로 새로운 발전
기본 요소
기본 요소점, , 면
도형삼각형, 사각형, , 다면체,
관계평행, 수직, 합동, 닮음
유클리드 공간
정의유클리드 기하학의 기본 배경이 되는 공간
특징3차원 공간, 데카르트 좌표계로 표현 가능
주요 정리
주요 정리피타고라스 정리
탈레스 정리
삼각형의 합동 조건
삼각형의 닮음 조건
응용
응용 분야건축
공학
천문학
측량
컴퓨터 그래픽스
관련 분야
관련 분야해석기하학
미분기하학
위상수학
사영기하학
비유클리드 기하학
참고 문헌
참고 문헌Howard Eves, An Introduction to the History of Mathematics, Revised Edition, Holt, Rinehart and Winston, 1963, ISBN 0-03-002918-6.
외부 링크
외부 링크MathWorld: Euclidean Geometry
고리로 자르기: 유클리드 기하학

2. 유클리드 기하학의 공준

유클리드 기하학은 모든 정리("참된 명제")가 소수의 간단한 공리로부터 유도되는 공리계이다. 비유클리드 기하학이 등장하기 전까지, 이 공리들은 물리 세계에서 명백히 참으로 여겨졌으며, 따라서 모든 정리 또한 마찬가지로 참일 것으로 생각되었다. 그러나 유클리드의 추론 방식 자체는 물리적 현실과 별개로 논리적으로 유효하다.[4]

유클리드는 그의 저서 《원론》 제1권의 시작 부분에서 평면 기하학에 대한 다섯 개의 공준 (공리)과 다섯 개의 "공통 관념"을 제시했다.[5] 이 공준들은 점, 선, 원의 작도와 관련된 기본적인 가정들을 포함하며, 특히 다섯 번째 공준인 평행선 공준은 이후 기하학의 역사에서 중요한 논쟁점이 되었다. 공통 관념들은 덧셈, 뺄셈 등 기본적인 논리적 원리들을 다룬다.

고대 이집트고대 그리스 등에서 활발히 연구되던 기하학의 성과를 유클리드는 《원론》의 1~4권에서 체계적으로 정리했다. 그는 먼저 이나 과 같은 기본 개념정의하고, 공리를 제시하여 공리계를 확립한 뒤, 이를 바탕으로 500개가 넘는 정리를 증명하는 방식을 사용했다. 이러한 체계적인 접근 방식은 현대 수학과 유사하며, 그 완성도가 높아 이후 오랫동안 기하학 연구의 기초가 되었고, 유럽에서는 중요한 교양으로 여겨졌다.

이처럼 유클리드에 의해 기초가 다져지고 발전한 기하학 체계를 유클리드 기하학이라고 부른다. 유클리드 기하학은 우리가 직관적으로 이해하는 공간의 모습, 즉 직선은 무한히 뻗어 나가고 평면은 끝없이 펼쳐지며 평행선은 영원히 만나지 않는다는 생각에 기반한다. 이는 오랫동안 현실 세계의 당연한 모습으로 받아들여졌다.

하지만 현대적인 관점에서 보면 유클리드의 공리계에는 논리적으로 완전하지 못한 부분이 있다는 지적이 있다.[6] 특히 평행선 공준에 대한 의문은 19세기비유클리드 기하학의 탄생으로 이어졌다. 현대의 기하학 기초 연구에서는 더 포괄적이고 완전한 공리 집합을 사용한다.

2. 1. 유클리드의 다섯 공준

유클리드는 《원론》 제1권의 시작 부분에서 평면 기하학에 대한 다섯 개의 공준 (공리)을 제시한다. 이는 작도와 관련하여 다음과 같이 설명될 수 있다.[5]

다음과 같은 것을 가정한다.

# 어떤 에서 다른 점까지 직선을 긋는 것.

# 선분을 직선으로 계속 연장하는 것.

# 어떤 중심과 거리(반지름)로 을 그리는 것.

# 모든 직각은 서로 같은 것.

# 평행선 공준: 한 직선이 두 직선과 만나서 같은 쪽에 있는 내각의 합이 두 직각(180˚)보다 작으면, 두 직선은 무한히 연장될 때 그 쪽에서 두 각의 합이 두 직각보다 작은 쪽에서 만난다.

평행선 공준 (공준 5): 두 직선이 한 직선과 만나서 같은 쪽에 있는 내각의 합이 두 직각보다 작으면, 두 직선은 무한히 연장될 때 그 쪽에서 서로 만난다.


유클리드는 명시적으로 작도된 대상의 존재만을 주장했지만, 그의 추론 과정에서는 암묵적으로 그 대상들이 유일하다고 가정하기도 했다.

《원론》에는 또한 다음과 같은 다섯 가지 "공통 관념"이 포함되어 있다.

# 같은 것에 같은 것들은 서로 같다(유클리드 관계의 추이적 성질).

# 같은 것에 같은 것을 더하면 전체는 같다 (등식의 덧셈 성질).

# 같은 것에서 같은 것을 빼면 차이는 같다 (등식의 뺄셈 성질).

# 서로 일치하는 것들은 서로 같다 (반사적 성질).

# 전체는 부분보다 크다.

고대인들에게 평행선 공준은 다른 공리들보다 덜 자명하게 보였다. 그들은 절대적으로 확실한 명제 체계를 만들기를 원했으며, 평행선 공준이 더 간단한 명제들로부터 증명될 필요가 있다고 생각했다. 그러나 오늘날 이러한 증명은 불가능하다는 것이 알려져 있다. 이는 평행선 공준이 참인 기하학적 체계(다른 공리들을 따르는)와 거짓인 기하학적 체계를 모두 구성할 수 있기 때문이다.[7] 유클리드 자신도 《원론》의 구성을 보면 평행선 공준을 다른 공리들과는 질적으로 다른 것으로 여겼던 것으로 보인다. 그의 첫 28개 명제는 평행선 공준 없이 증명할 수 있는 것들이다.

평행선 공준과 논리적 동치인 여러 대안적 공리들이 (다른 공리들의 맥락 속에서) 제시될 수 있다. 예를 들어, 플레이페어 공리는 다음과 같이 말한다.

:어떤 평면에서 주어진 직선 위에 있지 않은 점을 지나는 직선 중, 주어진 직선과 만나지 않는 직선은 최대 하나만 존재한다.

여기서 "최대"라는 조건만 필요한 이유는, 나머지 공리들로부터 적어도 하나의 평행선이 존재한다는 것을 증명할 수 있기 때문이다.

현대 학자들은 유클리드의 공준들이 그가 제시하고자 했던 완전한 논리적 기반을 제공하지는 못한다는 데 동의한다.[6] 현대의 기하학 기초 연구에서는 더 포괄적이고 완전한 공리 집합을 사용한다.

2. 2. 공통 관념

《원론》에는 공준 외에도 다음과 같은 다섯 가지 "공통 관념"이 포함되어 있다.

# 같은 것에 같은 것들은 서로 같다(유클리드 관계의 추이적 성질).

# 같은 것에 같은 것을 더하면 전체는 같다 (등식의 덧셈 성질).

# 같은 것에서 같은 것을 빼면 차이는 같다 (등식의 뺄셈 성질).

# 서로 일치하는 것들은 서로 같다 (반사적 성질).

# 전체는 부분보다 크다.

2. 3. 현대적 관점

현대 학자들은 유클리드의 공준이 그가 제시하려 했던 기하학 체계의 완전한 논리적 기반을 제공하지 못한다고 본다.[6] 유클리드의 공리계에는 몇 가지 미비점이 있었기에, 현대의 기하학 기초 연구에서는 더 넓고 완전한 공리 집합을 사용한다. 특히 "현대 수학의 아버지"로 불리는 다비트 힐베르트는 유클리드 기하학을 더욱 엄밀하게 체계화하여 힐베르트 공리계를 제시했다.

3. 《원론》

《원론》(The ''Elements'')은 유클리드가 저술한 수학 및 기하학 교과서로, 이전 시대의 관련 지식을 체계적으로 집대성한 기념비적인 저작이다. 《원론》은 내용과 구성의 완결성이 매우 뛰어나, 출간 이후 기하학 분야의 표준적인 교재로 자리 잡았으며, 이로 인해 이전의 기하학 관련 저술들은 그 중요성을 잃고 대부분 소실되었다.

《원론》은 점이나 과 같은 기초적인 개념을 먼저 정의하고, 이를 바탕으로 공리 체계를 세운 뒤, 500개가 넘는 정리를 논리적으로 증명해 나가는 방식을 사용하였다. 이러한 체계적인 접근 방식은 현대 수학의 형식과 매우 유사하며, 그 완성도 덕분에 《원론》은 이후 수많은 기하학자들의 연구 토대가 되었고, 유럽에서는 오랫동안 중요한 교양 서적으로 여겨졌다.

《원론》을 통해 정립된 기하학 체계는 저자인 유클리드의 이름을 따 유클리드 기하학이라고 불리게 되었다. 유클리드 기하학은 우리가 직관적으로 인식하는 평평한 공간의 성질을 다루는 학문으로, 직선평면이 무한히 뻗어나가고 평행선은 영원히 만나지 않는다는 것을 전제로 한다. 이는 당시 현실 세계의 모습에 대한 당연한 전제로 받아들여졌다.

오랜 시간 동안 유클리드 기하학은 유일한 기하학으로 받아들여졌으나, 《원론》의 제5공준(평행선 공준)에 대한 지속적인 탐구는 19세기에 이르러 비유클리드 기하학이라는 새로운 기하학의 탄생을 이끌었다. 유클리드 기하학과 비유클리드 기하학은 서로 대립하는 것이 아니라, 각각 평면이나 왜곡 없는 공간(유클리드 기하학), 곡면이나 왜곡된 공간(비유클리드 기하학)의 성질을 탐구하는 독립적인 학문 분야이다.

한편, 현대 수학의 관점에서 보면 《원론》의 공리 체계에는 일부 미비한 점이 존재했으며, 이는 훗날 "현대 수학의 아버지"라 불리는 다비트 힐베르트에 의해 보다 엄밀하게 체계화되었다.

3. 1. 구성

유클리드의 대표 저서인 《원론》(The ''Elements'')은 이전까지의 기하학 지식을 체계적으로 정리한 책이다. 《원론》은 내용과 구성 면에서 이전의 기하학 서적들보다 뛰어났기 때문에, 이후 기하학의 표준 교재처럼 사용되었고 이전 서적들은 대부분 소실되었다.

《원론》은 총 13권으로 구성되어 있다.

  • 1권부터 4권, 그리고 6권은 평면 기하학을 다룬다. 여기서는 삼각형 내각의 합에 대한 명제("어떤 삼각형에서든 두 각의 합은 두 직각보다 작다.", 1권 명제 17)나 유명한 피타고라스 정리("직각 삼각형에서 직각을 마주보는 변의 제곱은 직각을 포함하는 변들의 제곱의 합과 같다.", 1권, 명제 47)와 같이 평면 도형에 대한 여러 성질을 증명한다.
  • 5권과 7권부터 10권까지는 정수론을 다룬다. 수는 선분의 길이나 도형의 넓이 등 기하학적인 방식으로 표현된다. 소수, 유리수, 무리수와 같은 수의 개념을 소개하고, 소수가 무한히 많다는 사실을 증명하기도 한다.
  • 마지막 11권부터 13권까지는 입체 기하학을 다룬다. 예를 들어, 높이와 밑면이 같은 원뿔과 원기둥의 부피 비율이 1:3이라는 점 등을 다루고, 플라톤 다면체를 작도하는 방법을 설명한다.

4. 증명 방법

유클리드 기하학은 구성적 증명 방법을 사용한다. 공준 1, 2, 3, 5는 특정 기하학적 도형의 존재와 유일성을 주장하는데, 이는 단순히 존재를 알리는 것을 넘어 컴퍼스와 눈금이 없는 자만으로 해당 도형을 만드는 방법까지 제시하는 구성적 성격을 지닌다.[8] 이런 점에서 유클리드 기하학은, 구성 방법을 명확히 제시하지 않거나 이론 내에서 구성할 수 없는 대상의 존재를 주장하기도 하는 집합론과 같은 현대의 여러 공리 체계보다 더 구체적이라고 할 수 있다.[9] 엄밀히 말해, 종이 위에 그려진 선은 형식적 시스템에서 정의된 객체의 모델일 뿐, 그 자체는 아니다. 예를 들어 유클리드의 직선은 폭이 없지만, 실제로 그리는 선에는 폭이 있다.

현대의 많은 수학자들은 비구성적 증명 역시 구성적 증명만큼 타당하다고 인정하지만, 구성적 증명이 종종 더 우아하고 직관적이며 실용적이라고 여기기도 한다. 실제로 유클리드의 구성적 증명은 모든 수가 유리수라고 가정하는 등 오류를 포함했던 일부 피타고라스 학파의 비구성적 증명을 대체하기도 했다.[10]

또한, 유클리드는 증명 과정에서 귀류법을 자주 활용했다.[11] 그는 고대 이집트그리스 등에서 발전한 기하학 연구 성과를 바탕으로 『원론』의 1~4권에서 기하학을 체계화했는데, 이는 먼저 점, 등 기본 개념정의하고, 일련의 공리를 제시하여 공리계를 세운 뒤, 이를 바탕으로 500개가 넘는 정리를 증명하는 방식이었다. 이는 현대 수학의 형식과 유사하며 완성도가 높아 후대 기하학 발전에 큰 영향을 미쳤다. 현대적 관점에서는 이 공리계에 일부 미비점이 지적되어 다비트 힐베르트힐베르트 공리계를 통해 더욱 엄밀하게 체계화하기도 했다.

5. 표기법 및 용어

은 일반적으로 알파벳 대문자를 사용하여 나타낸다. 예를 들어, 점 A, 점 B 와 같이 표기한다. 선, 선분, 삼각형, 과 같은 기하학적 도형들은 그 도형을 구성하는 주요 점들을 나열하여 명명한다. 예를 들어, 점 A, B, C를 꼭짓점으로 하는 삼각형은 삼각형 ABC (또는 △ABC) 와 같이 나타낸다.

5. 1. 각

합이 직각인 각을 보각이라고 한다. 보각은 한 광선이 동일한 꼭짓점을 공유하고 직각을 이루는 두 개의 원래 광선 사이에 있는 방향을 가리킬 때 형성된다. 두 개의 원래 광선 사이의 광선 수는 무한하다.

합이 평각인 각을 보충각이라고 한다. 보충각은 한 광선이 동일한 꼭짓점을 공유하고 평각(180도 각)을 이루는 두 개의 원래 광선 사이에 있는 방향을 가리킬 때 형성된다. 두 개의 원래 광선 사이의 광선 수는 무한하다.

5. 2. 선

현대 학교 교과서에서는 선(무한히 긴 것), 반직선(한쪽으로만 무한히 긴 것), 그리고 선분(유한한 길이의 것)을 서로 다른 도형으로 구분하여 정의한다.

하지만 유클리드는 오늘날의 반직선과 같은 개념을 설명할 때, 별도의 용어를 사용하기보다는 "선을 충분한 길이까지 연장한다면"과 같은 표현을 주로 사용했다. 때로는 "무한선"이라는 말을 언급하기도 했다. 유클리드에게 '선'이라는 용어는 직선뿐만 아니라 곡선까지도 포함하는 넓은 의미였으며, 필요에 따라 더 구체적으로 '직선'이라는 용어를 사용했다.

6. 주요 정리

《원론》(The Elements영어)은 초기 기하학 지식을 체계적으로 정리한 저작이다. 《원론》의 등장 이후 이전의 기하학 저술들은 점차 유실되었다. 총 13권으로 구성되어 있으며, 주요 내용은 다음과 같다.


  • 1권–4권, 6권: 평면 기하학을 다룬다. "어떤 삼각형에서든 두 각의 합은 두 직각보다 작다" (1권 명제 17, 삼각형 내각의 합 정리와 관련) 와 피타고라스 정리("직각 삼각형에서 직각을 마주보는 변의 제곱은 직각을 포함하는 변들의 제곱의 합과 같다", 1권 명제 47) 등 평면 도형에 대한 여러 증명이 포함되어 있다. 이 외에도 우둔교 정리 등이 유명하다.
  • 5권, 7권–10권: 정수론을 다룬다. 수는 선분의 길이나 면적으로 표현되며, 소수, 유리수, 무리수 개념이 도입되고 소수가 무한히 많다는 사실이 증명된다.
  • 11권–13권: 입체 기하학을 다룬다. 같은 높이와 밑면을 가진 원뿔과 원기둥의 부피 비율이 1:3이라는 것과 같은 결과가 제시되며, 넓이와 부피의 관계에 대한 기초를 다룬다. 플라톤 다면체의 구성 방법도 설명한다. 또한, 탈레스의 정리와 같이 원과 관련된 중요한 정리도 포함하고 있다.


삼각형의 합동 조건: 두 변과 그 사이의 각(SAS), 두 각과 그 사이의 변(ASA), 또는 두 각과 대응하는 인접한 변(AAS)이 같으면 합동이다. 그러나 두 변과 인접한 각(SSA)이 같은 경우는 주의가 필요하다.


《원론》에서는 삼각형의 합동 조건에 대해서도 다룬다. 두 삼각형은 세 변의 길이가 모두 같거나(SSS), 두 변의 길이와 그 사이의 각의 크기가 같거나(SAS), 또는 두 각의 크기와 그 사이 또는 대응하는 변의 길이가 같으면(ASA 또는 AAS) 합동이다 (제1권, 명제 4, 8, 26). 하지만 세 각의 크기가 같은 삼각형(AAA)은 닮음일 뿐 반드시 합동인 것은 아니며, 두 변의 길이와 인접한 각 중 하나(끼인각이 아닌 각)의 크기가 같은 경우(SSA)에도 반드시 합동이라고 할 수 없다.

6. 1. 우둔교 정리 (Pons asinorum)



우둔교(pons asinorum|폰스 아시노룸la)는 "이등변 삼각형에서 밑각의 크기는 서로 같으며, 같은 길이의 선분을 연장하면 밑각 아래의 각도 서로 같다"는 명제이다.[12] 이 명칭은 종종 《유클리드 기하학 원론》에서 독자의 지적 능력을 시험하는 첫 번째 관문으로 등장하며, 이후 더 어려운 명제들을 이해하기 위한 다리 역할을 한다는 데서 유래했을 수 있다. 또한 기하학적 도형이 가파른 다리와 닮아, 발굽이 튼튼한 당나귀만이 건널 수 있다는 데서 유래했을 수도 있다.[13]

6. 2. 삼각형 내각의 합

''삼각형의 내각의 합 정리''는 삼각형의 세 각, 이 경우 각 α, β, γ의 합은 항상 180도가 됨을 나타낸다.


삼각형의 내각의 합은 평각(180도)과 같다.[14] 이로 인해 정삼각형은 세 개의 60도 내각을 갖게 된다. 또한, 모든 삼각형은 적어도 두 개의 예각과 최대 하나의 둔각 또는 직각을 갖게 된다.

6. 3. 피타고라스 정리

《원론》 제1권 명제 47은 피타고라스 정리를 다룬다.[1][2] 이 명제는 "직각 삼각형에서 직각을 마주보는 변의 제곱은 직각을 포함하는 변들의 제곱의 합과 같다"고 설명한다.[1] 즉, 직각삼각형에서 빗변(직각의 대변)을 한 변으로 하는 정사각형의 넓이는, 직각을 끼고 있는 다른 두 변을 각각 한 변으로 하는 두 정사각형의 넓이의 합과 동일하다는 것을 의미한다.[3]

''피타고라스 정리''는 직각삼각형의 두 변(''a''와 ''b'')에 있는 두 정사각형의 넓이의 합은 빗변(''c'')에 있는 정사각형의 넓이와 같다는 것을 나타낸다.

6. 4. 탈레스 정리

탈레스의 정리는 고대 그리스의 수학자 밀레투스의 탈레스의 이름을 따서 명명되었다. 이 정리는 점 A, B, C가 원 위에 있고 선분 AC가 그 원의 지름일 때, 각 ABC는 직각이라는 내용이다. 수학사학자 칸토어(Cantor)는 탈레스가 유클리드의 원론 제1권 명제 32를 이용하여 유클리드 제3권 명제 31의 방식으로 자신의 정리를 증명했을 것이라고 추정했다.[15][16]

6. 5. 넓이와 부피의 관계

현대적인 용어로 표현하면, 평면 도형의 넓이(A)는 어떤 선형 치수(L)의 제곱에 비례하고(A \propto L^2), 입체부피(V)는 선형 치수(L)의 세제곱에 비례한다(V \propto L^3). 유클리드는 의 넓이[17]나 평행육면체 입체의 부피[18]와 같은 몇몇 특수한 경우에 대해 이 관계를 증명했다. 하지만 유클리드는 관련된 모든 비례 상수를 알아내지는 못했다. 예를 들어, 의 부피가 그 구에 외접하는 원기둥 부피의 3분의 2라는 사실은 유클리드의 뒤를 이은 아르키메데스가 증명했다.[19]

7. 측정 및 산술 시스템

유클리드 기하학은 두 가지 기본적인 측정 유형인 각도와 거리를 다룬다. 각도 측정은 직각을 기본 단위로 하는 절대적인 척도를 사용하며, 거리 측정은 임의의 선분을 단위 길이로 삼는 상대적인 척도를 사용한다. 거리의 덧셈과 뺄셈은 선분을 이어 붙이거나 잘라내는 방식으로 표현된다.

넓이부피는 거리를 기반으로 측정된다. 예를 들어, 직사각형의 넓이는 가로와 세로 길이의 곱으로 계산된다. 유클리드는 길이, 넓이, 부피가 같은 도형을 '같다'고 표현했으며, 크기와 모양이 모두 같은 도형은 '합동', 크기는 다르지만 모양이 같은 도형은 '닮음'이라고 정의했다. 합동인 도형은 서로 포갤 수 있으며, 닮은 도형은 대응하는 각이 같고 대응하는 변의 길이의 비가 일정하다.

7. 1. 각도 측정

유클리드 기하학에서 각도 측정은 기본적인 요소 중 하나이다. 각도 척도는 절대적이며, 유클리드는 직각을 기본 단위로 사용했다. 예를 들어, 45 각도는 직각의 절반으로 표현되었다.

7. 2. 거리 측정

유클리드 기하학에서 거리는 각도와 함께 기본적인 측정 대상 중 하나이다. 각도 척도가 직각을 기준으로 하는 절대적인 것과 달리, 거리 척도는 상대적이다. 이는 0이 아닌 특정 길이를 가진 선분을 임의로 '단위 길이'로 선택하고, 다른 모든 거리를 이 단위 길이를 기준으로 나타내는 방식이다.

거리의 덧셈은 한 선분을 다른 선분의 끝에 이어 붙여 길이를 늘리는 방식으로 표현되며, 뺄셈도 마찬가지 방식으로 이루어진다.

7. 3. 넓이와 부피 측정

넓이부피의 측정은 거리로부터 파생된다. 예를 들어, 너비가 3이고 길이가 4인 직사각형은 그 넓이가 3과 4의 곱인 12가 된다. 이러한 곱셈의 기하학적 해석은 3차원까지만 가능했기 때문에, 유클리드는 네 개 이상의 수를 곱하는 것을 직접 다루지는 않았다. 다만, 그의 저서 《원론》 제9권 명제 20의 증명 등에서 간접적으로 나타난다.

유클리드는 두 선분, 두 평면 도형, 또는 두 입체 도형의 길이, 넓이, 또는 부피가 각각 같을 경우 '같다'( ἴσος|이소스grc )고 표현했다. 각도가 같은 경우에도 마찬가지이다. 이보다 더 강력한 개념인 '합동'은 어떤 도형이 다른 도형과 크기와 모양이 완전히 같다는 것을 의미한다. 즉, 한 도형을 이동하거나 뒤집어서 다른 도형과 정확히 포갤 수 있을 때 두 도형은 합동이다. 예를 들어, 가로와 세로가 각각 2와 6인 직사각형과 3과 4인 직사각형은 넓이가 12로 같지만, 합동은 아니다. 또한 알파벳 R 모양은 그 거울상과 합동이다. 크기만 다르고 모양이 같은 도형은 닮음이라고 한다. 닮은 도형끼리는 대응각의 크기가 같고, 대응변의 길이의 비가 일정하다.

8. 공학에서의 활용

유클리드 기하학은 현대 공학의 다양한 분야에서 핵심적인 역할을 수행하며 문제 해결과 설계의 기초를 제공한다. 기계 공학에서는 부품의 응력 해석, 기어열교환기 설계 등에 활용되며, 광학에서는 렌즈 설계, 항공우주공학에서는 항공기 날개 설계 및 위성 궤도 계산 등에 필수적으로 적용된다.

특히 CADCAM 시스템은 유클리드 기하학을 기반으로 작동하며, 이를 통해 자동차, 항공기, 스마트폰 등 다양한 제품의 정밀한 3D 모델링과 제조가 가능하다. 전자공학 분야에서도 PCB의 효율적인 레이아웃 설계나 안테나 성능 최적화에 기하학적 원리가 중요하게 사용된다. 이 외에도 유체 역학의 포텐셜 흐름 분석, 제어 시스템의 안정성 분석 등 여러 공학 분야에서 유클리드 기하학은 기본적인 도구이자 이론적 토대로 기능한다.

8. 1. 설계 및 해석


  • '''응력 해석''': 응력 해석에서 유클리드 기하학은 기계 부품의 응력 분포를 결정하는 데 중요하게 활용된다. 이는 부품의 구조적 무결성과 내구성을 보장하는 데 필수적이다.

  • '''기어 설계''': 많은 기계 시스템의 중요 부품인 기어를 설계할 때 유클리드 기하학이 중요하게 사용된다. 효율적인 동력 전달을 위해서는 기어 잇몸의 모양과 맞물림이 정확해야 하는데, 이를 위해 유클리드 기하학 원리가 적용된다.

베벨 기어

  • '''열교환기 설계''': 열공학 분야에서 열교환기를 설계할 때 유클리드 기하학이 사용된다. 열교환기의 기하학적 구조는 열효율에 직접적인 영향을 미치기 때문이다. 대표적인 예로 쉘 앤 튜브 열교환기와 플레이트 열교환기가 있다.

U-튜브형 쉘 앤 튜브 열교환기

  • '''렌즈 설계''': 광학 공학에서 렌즈를 설계하는 데 유클리드 기하학은 필수적이다. 렌즈의 정확한 기하학적 모양이 을 모으는 초점 특성을 결정하기 때문이다. 기하 광학 분야에서는 유클리드 기하학을 이용하여 렌즈거울에 의한 빛의 경로와 초점을 분석한다.

렌즈의 종류
다양한 종류의 렌즈

8. 2. 동역학


  • '''진동 분석''': 진동 - 유클리드 기하학은 기계 시스템의 진동을 분석하고 이해하는 데 필수적이며, 이러한 진동을 효과적으로 견디거나 활용할 수 있는 시스템 설계를 돕는다.

진동 - 진동

  • '''날개 설계''': 항공기 날개 설계 - 유클리드 기하학의 항공역학 적용은 기하학적 형태가 양력 및 항력 특성에 직접적인 영향을 미치는 항공기 날개 설계, 에어포일 및 수중익에서 분명하게 나타난다.

에어포일 명칭

이심률에 따른 궤도 애니메이션

8. 3. CAD 시스템


  • '''3D 모델링''': CAD 시스템에서 유클리드 기하학은 기계 부품의 정확한 3D 모델을 만드는 데 기본이 된다. 이러한 모델은 제조 전에 설계를 시각화하고 테스트하는 데 매우 중요하다.

3D CAD 모델

  • '''설계 및 제조''': 대부분의 CAM은 유클리드 기하학에 의존한다. CAD/CAM의 설계 기하학은 일반적으로 평면, 원통, 원뿔, 토러스 및 기타 유사한 유클리드 형태로 경계가 지정된 모양으로 구성된다. 오늘날 CAD/CAM은 자동차, 항공기에서 선박, 스마트폰에 이르기까지 광범위한 제품의 설계에 필수적이다.
  • '''제도 관행의 진화''': 역사적으로, 파스칼의 정리 및 브리앙숑의 정리와 같은 정리를 포함한 고급 유클리드 기하학은 제도 관행에 필수적이었다. 그러나 현대 CAD 시스템의 출현으로 이러한 정리에 대한 심층적인 지식은 현대적인 설계 및 제조 프로세스에서 덜 필요하게 되었다.

8. 4. 회로 설계

인쇄 회로 기판(PCB) 설계는 유클리드 기하학을 사용하여 구성 요소를 효율적으로 배치하고 배선한다. 이는 기능을 보장하면서 공간을 최적화하는 데 도움을 준다. PCB에 전자 부품을 효율적으로 배치하는 것은 신호 간섭을 최소화하고 회로 성능을 최적화하는 데 매우 중요하다.

DVD 플레이어의 PCB

8. 5. 전자기장 및 유체 흐름장


  • 안테나 설계: 안테나 설계에서 유클리드 기하학은 중요한 역할을 한다. 안테나의 공간 배치와 치수는 전자기파를 송수신하는 성능에 직접적인 영향을 미치기 때문이다. 이는 개별 안테나뿐만 아니라 여러 안테나를 배열하는 안테나 배열의 성능에도 해당된다.

NASA 카세그레인 안테나, 매우 높은 이득 ~70 dBi.

  • 장 이론: 복소수 포텐셜 흐름 연구, 즉 비점성 흐름 장과 전자기장 연구에서, 유클리드 기하학은 포텐셜 흐름 문제를 시각화하고 해결하는 데 도움을 준다. 이는 3차원 공간에서 유체 속도장과 전자기장의 상호 작용을 이해하는 데 필수적이다. 이러한 관계는 비회전 솔레노이드 장 또는 보존적 벡터장으로 특징지어진다.

순환이 없는 소스 주변의 포텐셜 흐름

8. 6. 제어 시스템

기본 피드백 루프.


유클리드 기하학은 제어 이론에서 제어 시스템의 분석 및 설계에 적용된다. 특히 시스템의 안정성, 최적화, 응답을 이해하고 최적화하는 데 도움을 준다.

또한 유클리드 기하학은 기계 공학 및 전기 공학 분야에서 변환 및 제어 시스템에 대한 야코비 행렬을 사용하는 데 필수적이며, 시스템의 동작과 특성에 대한 통찰력을 제공한다. 야코비 행렬은 통계적 회귀 분석 및 곡선 맞춤에서 선형화된 설계 행렬 역할을 하기도 한다. (비선형 최소 자승법 참조) 이외에도 랜덤 행렬, 모멘트, 통계, 진단 등 다양한 분야에서 활용된다.

9. 기타 응용

유클리드 기하학은 수학에서 기본적인 위치를 차지하고 있어, 모든 응용 분야를 상세히 소개하기는 어렵다. 여기서는 대표적인 몇 가지 응용 분야를 간략히 살펴본다.

기하학(Geometry)이라는 단어의 어원(geo- '땅', -metry '측정')에서도 알 수 있듯이, 기하학에 대한 초기 관심 중 하나이자 현재까지도 가장 흔한 사용 분야는 측량이다.[20] 유클리드 기하학에서 기본적인 측정 대상은 거리와 각도이며, 이들은 측량사가 직접 측정할 수 있는 값이다. 역사적으로 거리는 건터 체인과 같은 사슬로 측정되었고, 각도는 눈금 원이나 이후 개발된 측량기를 사용하여 측정되었다. 또한 유클리드 기하학은 고전 역학과 사물의 시각 지각에 대한 인지 및 계산적 접근 방식 연구에도 활용되었다. 3-4-5 삼각형의 직각 속성과 같은 유클리드 기하학의 특정 실용적인 결과들은 공식적으로 증명되기 훨씬 이전부터 사용되어 왔다.[21]

유클리드 입체 기하학은 다양한 포장 문제 해결에 응용된다. 예를 들어, 주어진 공간에 가장 많은 구를 효율적으로 쌓는 방법을 찾는 n차원 구 쌓기 문제가 있으며, 이는 오류 감지 및 수정 기술에도 적용된다.

기하학은 건축 분야에서도 광범위하게 활용된다. 건물의 구조 설계나 공간 구성 등에 기하학적 원리가 적용된다.

또한, 기하학은 종이 접기 디자인에도 사용될 수 있다. 흥미롭게도, 컴퍼스와 자만으로는 해결할 수 없는 몇몇 고전적인 기하학 작도 문제들이 종이 접기를 이용하면 해결 가능하다는 사실이 알려져 있다.[22]

10. 유클리드 기하학의 역사

고대 이집트고대 그리스 등에서는 기하학이 활발하게 연구되었다. 유클리드는 이러한 성과를 『원론』의 1~4권에서 체계적으로 정리했다. 그는 먼저 점이나 과 같은 기본적인 개념에 대한 정의를 제시하고, 다음으로 일련의 공리를 설명하여 공리계를 확립했다. 그리고 이를 바탕으로 500개가 넘는 정리를 증명하는 방식을 사용했다. 이는 현대 수학과 유사한 형식으로, 완성도가 매우 높아 이후 많은 기하학자들이 이 체계 위에서 연구를 진행했다. 유럽에서는 오랫동안 중요한 교양 과목 중 하나로 여겨졌다.

이렇게 기초가 다져지고 발전한 기하학 체계는 유클리드의 이름을 따서 유클리드 기하학이라고 불리게 되었다.

현대적인 관점에서 보면 유클리드의 공리계에는 약간의 부족한 점이 있었기에, "현대 수학의 아버지"라 불리는 다비트 힐베르트가 이를 더욱 엄밀하게 체계화했다. (힐베르트의 공리)

유클리드 기하학은 우리가 직관적으로 이해하는 공간의 모습에 기초한 기하학이다. 직선은 어디까지나 뻗어 나갈 수 있고, 평면은 끝없이 펼쳐진 평평한 면으로 상상되었다. 또한, 평행선은 영원히 만나지 않고 평행하게 뻗어 나가는 것으로 여겨졌다. 이는 현실 세계의 모습과 일치한다고 당연하게 받아들여졌다.

유클리드 기하학은 오랫동안 "유일한 기하학"으로 간주되었지만, 『원론』의 제5공준(평행선 공준)에 대한 의문에서 시작된 연구 흐름은 19세기에 이르러 마침내 비유클리드 기하학이라는 새로운 기하학의 탄생으로 이어졌다.

유클리드 기하학과 비유클리드 기하학은 어느 한쪽이 옳고 다른 쪽이 틀린 관계가 아니라, 서로 다른 가정을 바탕으로 하는 독립적인 기하학 체계이다. 유클리드 기하학이 "평면이나 왜곡이 없는 공간의 도형의 성질을 탐구하는" 것이라면, 비유클리드 기하학은 "곡면이나 왜곡된 공간의 도형을 탐구하는" 것이라고 할 수 있다.

10. 1. 아르키메데스와 아폴로니우스

구는 외접하는 원기둥 부피와 표면적의 2/3을 차지한다. 아르키메데스의 묘에는 그의 요청에 따라 구와 원기둥이 놓였다.


아르키메데스(기원전 약 287년–기원전 약 212년)는 많은 역사적 일화가 기록된 다채로운 인물로, 유클리드와 함께 고대 최고의 수학자 중 한 명으로 기억된다. 그의 작업의 기초는 유클리드에 의해 마련되었지만, 유클리드와 달리 그의 작업은 전적으로 독창적이었던 것으로 여겨진다.[23] 그는 2차원 및 3차원의 다양한 도형의 부피와 면적에 대한 방정식을 증명했으며, 유한수의 아르키메데스 성질을 명시했다.

페르가의 아폴로니우스(기원전 약 240년–기원전 약 190년)는 주로 원뿔 곡선 연구로 알려져 있다.

10. 2. 17세기: 데카르트

르네 데카르트(1596–1650)는 기하학 문제를 대수학 문제로 바꾸어 푸는 새로운 방법인 해석 기하학을 개발했다.[24] 이 방식에서는 평면 위의 점을 데카르트 좌표 (''x'', ''y'')로 나타내고, 선은 방정식으로 표현한다.

유클리드의 원래 방식에서는 피타고라스 정리가 유클리드의 공리로부터 증명되는 정리였다. 하지만 데카르트 방식에서는 대수학의 공리가 기본이며, 피타고라스 정리를 나타내는 방정식은 이제 유클리드의 공리 중 하나를 대수적으로 정의하는 것으로 볼 수 있다.

두 점 ''P'' = (''px'', ''py'')와 ''Q'' = (''qx'', ''qy'') 사이의 거리를 구하는 다음 방정식은 '유클리드 메트릭'이라고 불린다.

:|PQ|=\sqrt{(p_x-q_x)^2+(p_y-q_y)^2} \,

이와 다른 거리 정의(메트릭)를 사용하면 비유클리드 기하학이 정의된다.

해석 기하학의 관점에서 보면, 고대 기하학에서 컴퍼스와 자만을 이용한 작도 문제는 1차 방정식(예: ''y'' = 2''x'' + 1, 직선)과 2차 방정식(예: ''x''2 + ''y''2 = 7, 원)만을 사용하는 문제로 해석될 수 있다.

원적문제: 주어진 원과 넓이가 같은 정사각형을 작도하는 문제. 1882년에 이 문제는 이상적인 컴퍼스와 자만으로는 유한한 단계 안에서 해결할 수 없음이 증명되었다.


또한 같은 17세기에 제라르 데자르그는 원근법 이론에서 영감을 받아 무한대에 있는 점, 선, 평면이라는 이상적인 개념을 도입했다. 이는 사영 기하학이라는 일반화된 기하학으로 이어졌으며, 특수한 경우를 줄여 유클리드 기하학의 증명을 더 단순하게 만드는 데 사용되기도 했다.[25]

10. 3. 18세기

18세기 기하학자들은 유클리드 기하학 체계의 경계를 명확히 정의하는 데 어려움을 겪었다. 많은 학자들이 처음 네 개의 공준으로부터 제5공준을 증명하려고 시도했지만 성공하지 못했다. 1763년까지 최소 28가지의 서로 다른 증명이 발표되었으나, 모두 오류가 있는 것으로 밝혀졌다.[26]

이 시기 기하학자들은 유클리드 기하학에서 어떤 작도가 가능한지를 규명하는 데에도 힘썼다. 예를 들어, 각의 삼등분 문제는 컴퍼스만을 사용하여 도형을 그리는 유클리드의 공리가 이러한 도구로 수행할 수 있는 작도 연산을 언급하기 때문에 자연스럽게 제기된 문제였다. 그러나 수 세기에 걸친 노력에도 불구하고 해법을 찾지 못했으며, 1837년 피에르 방첼이 이러한 작도가 불가능하다는 것을 증명했다. 정육면체 배가와 원의 제곱 문제 역시 컴퍼스와 자만으로는 작도가 불가능함이 증명되었다. 정육면체 배가의 경우, 컴퍼스와 자를 이용한 방법은 차수가 2의 정수 거듭제곱인 방정식을 포함하기 때문에 작도가 불가능하며,[27] 정육면체를 배가하려면 3차 방정식의 해를 구해야 한다.

한편, 오일러는 유클리드 기하학을 일반화한 아핀 기하학을 연구했다. 아핀 기하학은 제5공준은 그대로 유지하면서 각의 개념(따라서 직각삼각형은 의미가 없어짐)과 선분 길이의 동일성 개념(따라서 원은 의미가 없어짐)을 약화시키는 대신, 평행선의 동치 관계와 평행한 선분 길이의 동일성(따라서 선분은 여전히 중점을 가짐) 개념은 유지하는 방식으로 유클리드 기하학을 확장했다.

10. 4. 19세기

(초사면체){3, 3, 3}51010 (삼각형)5 (사면체)--16-세포
(초팔면체){3, 3, 4}82432 (삼각형)16 (사면체)--8-세포
(초정육면체, 테서랙트){4, 3, 3}163224 (정사각형)8 (정육면체)--24-세포{3, 4, 3}249696 (삼각형)24 (팔면체)--600-세포
(초이십면체){3, 3, 5}1207201200 (삼각형)600 (사면체)--120-세포
(초정십이면체){5, 3, 3}6001200720 (오각형)120 (정십이면체)--



1878년 윌리엄 킹던 클리포드는 해밀턴의 사원수와 헤르만 그라스만의 대수를 통합하여 기하 대수를 창안했다. 기하 대수는 반사, 회전, 이동과 같은 기하학적 변환을 대수적으로 다루는 효과적인 방법을 제시했으며, 특히 4차원에서의 기하학적 본질을 밝히는 데 기여했다.

이 외에도 19세기에는 비유클리드 기하학의 탄생과 유클리드 공리계에 대한 재검토가 이루어졌다.[29][30][31][32] (자세한 내용은 #비유클리드 기하학의 등장 참조)

10. 4. 1. 비유클리드 기하학의 등장

고대부터 유클리드 기하학은 기하학의 유일한 형태로 받아들여졌으나, 평행선 공준은 다른 공리들에 비해 덜 자명하게 여겨졌다. 많은 학자들이 이 공준을 더 기본적인 명제로부터 증명하려 시도했지만, 이는 불가능한 것으로 밝혀졌다. 평행선 공준이 참인 체계(유클리드 기하학)와 거짓인 체계(비유클리드 기하학) 모두가 모순 없이 성립 가능하기 때문이다.[7] 유클리드 자신도 『원론』에서 처음 28개의 명제를 평행선 공준 없이 증명하며 이 공준을 특별하게 다룬 것으로 보인다.

평행선 공준과 논리적 동치인 여러 대안적인 공리가 제시되었는데, 대표적인 예가 플레이페어 공리이다.

어떤 평면에서 주어진 직선 위에 있지 않은 점을 지나는 직선 중, 주어진 직선과 만나지 않는 직선은 최대 하나 존재한다.


여기서 '최대 하나'라는 조건만으로 충분한 이유는, 다른 공리들을 통해 적어도 하나의 평행선이 존재함을 증명할 수 있기 때문이다.

유클리드의 ''원론''에 나오는 증명으로, 선분이 주어지면 해당 선분을 한 변으로 하는 정삼각형을 만들 수 있다. 정삼각형 ΑΒΓ는 점 Α와 Β를 중심으로 원 Δ와 Ε를 그리고, 두 원의 교점을 삼각형의 세 번째 꼭짓점으로 하여 만들어진다.


유클리드 기하학, 구면 기하학, 쌍곡 기하학의 비교


19세기 초, 카르노뫼비우스는 부호가 있는 각과 선분을 도입하여 기하학적 결과를 단순화하고 통일하는 방법을 체계적으로 발전시켰다.[28]

1830년경, 야노시 볼리아이와 니콜라이 이바노비치 로바체프스키가 각각 독립적으로 평행선 공준이 성립하지 않는 비유클리드 기하학에 대한 연구를 발표했다. 이는 기하학 역사상 매우 중요한 발전으로 평가받는다.[29] 비유클리드 기하학이 유클리드 기하학과 모순되지 않고 성립 가능하다는 것이 증명되면서, 평행선 공준은 다른 공리들로부터 증명될 수 없는 독립적인 공리임이 최종적으로 확인되었다.

또한 19세기에는 유클리드의 공리 체계만으로는 『원론』의 모든 정리를 증명하기에 충분하지 않다는 점도 밝혀졌다. 예를 들어, 유클리드는 모든 직선 위에 최소 두 점이 존재한다고 암묵적으로 가정했지만, 이는 다른 공리로부터 증명되지 않아 별도의 공리로 추가되어야 했다. 『원론』의 첫 번째 증명(정삼각형 작도)에서 두 원의 교점이 반드시 존재한다는 보장이 없다는 문제도 제기되었는데, 이는 실수의 완비성 속성과 관련된 기하학적 연속성 가정이 누락되었기 때문이다. 이러한 문제들을 해결하기 위해 1882년 모리츠 파슈를 시작으로 다비트 힐베르트의 힐베르트의 공리[30], 조지 버코프[31], 알프레드 타르스키[32] 등에 의해 더욱 엄밀하고 개선된 공리 체계들이 제안되었다.

유클리드 기하학과 비유클리드 기하학은 서로 대립하는 관계가 아니라, 각각 다른 종류의 공간을 다루는 독립적인 기하학 체계이다. 유클리드 기하학이 직관적인 평면이나 왜곡 없는 공간의 도형을 다룬다면, 비유클리드 기하학은 구면이나 쌍곡면과 같은 휘어진 공간의 도형을 탐구한다.

10. 5. 20세기와 상대성 이론

유클리드 기하학이 물리적 공간을 설명하는 것으로서의 부정을 보여주는 사례. 1919년 일식 동안 촬영된 일반 상대성 이론 검증에서 별들(짧은 가로선으로 표시)이 관측되었다. 별빛의 광선은 지구로 오는 길에 태양의 중력에 의해 굴절되었다. 이는 중력이 유클리드 기하학에서 벗어나는 편향을 유발할 것이라는 아인슈타인의 예측을 뒷받침하는 증거로 해석된다.


아인슈타인의 특수 상대성 이론은 비유클리드 기하학의 일종인 4차원 시공간, 즉 민코프스키 공간 개념을 포함한다. 이는 과거 평행선 공준이 증명될 수 없음을 보이기 위해 도입되었던 비유클리드 기하학이 실제 물리적 세계를 설명하는 데에도 유용하다는 것을 보여주었다.

하지만 특수 상대성 이론에서 다루는 민코프스키 공간의 3차원 "공간 부분"은 여전히 유클리드 기하학의 공간으로 간주된다. 이는 일반 상대성 이론과 차이가 있는데, 일반 상대성 이론에서는 중력의 영향으로 시공간의 공간 부분 기하학이 유클리드 기하학을 따르지 않는다.[33] 예를 들어, 빛의 광선 세 개로 삼각형을 만들 경우, 중력장의 영향으로 인해 일반적으로 내각의 합이 180도가 되지 않는다. 지구 또는 태양과 같이 비교적 약한 중력장을 가진 공간은 유클리드 기하학에 매우 가깝지만, 정확히 일치하지는 않는 기하학적 구조(메트릭)로 표현된다. 20세기 이전까지는 기술적 한계로 유클리드 기하학에서 벗어나는 빛의 경로를 감지할 수 없었지만, 아인슈타인은 이러한 편향이 존재할 것이라고 예측했다.

이 예측은 1919년 일식 관측을 통해 확인되었다. 당시 태양 주변을 지나는 별빛이 태양의 중력에 의해 약간 휘어지는 현상이 관측되었는데, 이는 아인슈타인의 이론을 뒷받침하는 중요한 증거가 되었다. 이러한 시공간의 휘어짐을 고려하는 것은 현재 GPS 시스템을 정확하게 운영하는 데 필수적인 요소이다.[34]

11. 공간 구조로서의 유클리드 기하학

유클리드는 자신이 제시한 공리가 물리적 현실 세계를 설명하는 자명한 진리라고 생각했다. 하지만 그의 증명 과정에는 공리만으로는 명확하지 않은 가정이 포함되어 있었다.[35] 특히, 도형을 움직이거나(병진 이동), 뒤집거나(반사), 돌려도(회전) 그 도형의 변의 길이나 각도 같은 기하학적 속성은 변하지 않는다는 가정이 중요하게 사용되었는데, 이를 유클리드 운동이라고 부른다.[36]

유클리드의 공준들을 물리적 공간에 대한 설명으로 해석하면 다음과 같은 의미를 가진다.



그러나 이러한 유클리드적 공간 개념은 이후 알베르트 아인슈타인의 상대성 이론에 의해 크게 수정되었다.

유클리드가 처음 제시한 공리들은 다소 모호한 부분이 있어, 후대의 학자들은 공간이 무한한지[38] 또는 어떤 위상수학적 구조를 가지는지 등에 대해 서로 다른 해석을 내놓기도 했다. 현대에는 이러한 문제들을 더 명확하게 분리하여 다루려는 시도가 이루어지고 있다.[39] 현대적인 관점에서 유클리드의 공리들을 해석하면, 처음 네 개의 공리(공리 1–4)는 무한 공간 또는 타원 기하학과 같은 유한 공간과 일치하며, 다섯 개의 공리 모두 다양한 위상수학(예: 평면, 원통 또는 2차원 유클리드 기하학의 토러스)과 일치한다.

12. 무한의 처리

유클리드는 때때로 "유한 선"(예: 공준 2)과 "무한 선"(제1권, 명제 12)을 명확히 구분했지만, 필요하지 않은 경우에는 일반적으로 이러한 구분을 하지 않았다. 공준들은 무한선을 직접적으로 언급하지는 않지만, 예를 들어 일부 해설가들은 임의의 반지름을 가진 원의 존재를 명시하는 공준 3을 공간이 무한하다는 것을 암시한다고 해석하기도 한다.[38]

무한소 개념은 이전에 엘레아 학파에 의해 논의되었으나, 확실한 논리적 기반을 마련하지 못하여 제논의 역설과 같이 해결되지 않은 역설들이 발생했다. 유클리드는 무한소 대신 소진법을 사용하였다.[40]

후대의 고대 해설가들, 예를 들어 프로클로스(410–485 CE)는 무한대에 관한 여러 질문을 증명이 필요한 문제로 다루었다. 프로클로스는 선의 무한 분할 가능성을 증명하고자 시도했는데, 이는 선을 구성하는 점의 수가 짝수인지 홀수인지에 따라 경우를 나누어 귀류법을 적용하는 방식이었다.[41]

고대 기하학자들은 두 평행선이 결코 만나지 않는다는 평행선 공준이 공간의 무한히 먼 영역에 대한 진술이므로 물리적으로 검증할 수 없다는 점에서 다른 공준들보다 덜 확실하다고 여겼을 수 있다.[44]

수학적 귀납법의 현대적인 형태는 17세기에 개발되었지만, 일부 후대 학자들은 유클리드의 증명, 예를 들어 소수의 무한성에 대한 증명에서 그 초기 형태나 아이디어를 발견할 수 있다고 본다.[45]

제논의 역설과 같이 무한 급수를 포함하는 역설들은 유클리드 이전부터 존재했다. 유클리드는 이러한 논의를 피했으며, 예를 들어 원론 제9권 명제 35에서 등비 급수의 부분합에 대한 공식을 제시하면서도 항의 개수가 무한대로 확장될 가능성에 대해서는 언급하지 않았다.

20세기 초에는 오토 스톨츠, 파울 뒤 보아-레몽, 주세페 베로네세 등이 아르키메데스 성질을 따르지 않는 유클리드 기하학 모형에 대한 연구를 진행했다. 이들의 모형에서는 두 점 사이의 거리가 아이작 뉴턴–고트프리트 라이프니츠가 사용한 의미에서의 무한 또는 무한소일 수 있다는 가능성을 탐구했다.[42] 약 50년 후, 아브라함 로빈슨은 이러한 연구에 대해 엄밀한 논리적 기초를 제공했다.[43]

13. 논리적 기초

유클리드는 종종 귀류법을 사용했으며, 따라서 유클리드 기하학의 전통적인 표현은 모든 명제가 참 또는 거짓이라고 가정하는 고전 논리를 기반으로 한다. 즉, 어떤 명제 P에 대해 "P 또는 P가 아니다"라는 명제는 항상 참으로 간주된다.

고대 이집트고대 그리스 등에서 활발히 연구된 기하학의 성과를 유클리드는 『원론』 1~4권에서 체계화했다. 그는 먼저 점이나 과 같은 기초적인 개념정의하고, 일련의 공리를 제시하여 공리계를 세운 뒤, 이를 바탕으로 500개가 넘는 정리를 증명하는 방식을 사용했다. 이는 현대 수학과 유사한 형식을 갖추고 있어 완성도가 높았으며, 이후 많은 기하학자들이 이 체계 위에서 연구를 진행했고 유럽에서는 중요한 교양 중 하나로 여겨졌다. 이렇게 유클리드( Euclideng )에 의해 기초가 다져지고 발전한 기하학 체계를 유클리드 기하학이라고 부른다. 현대적 관점에서는 유클리드의 공리계에 약간의 미비점이 지적되기도 하여, "현대 수학의 아버지" 다비트 힐베르트가 이를 더욱 엄밀하게 체계화하기도 했다.

유클리드 기하학은 직관적으로 이해할 수 있는 공간의 모습에 기초한다. 직선은 무한히 뻗어 나갈 수 있고, 평면 역시 끝없이 펼쳐진 평평한 면으로 상상되었다. 또한, 평행선은 어디까지나 평행하게 뻗어 나가는 것으로 가정되었는데, 이는 현실 세계의 모습을 반영한 당연한 전제로 여겨졌다.

오랫동안 유클리드 기하학은 "유일한 기하학"으로 간주되었으나, 『원론』의 제5공준(평행선 공준)에 대한 의문에서 시작된 연구는 19세기에 이르러 마침내 비유클리드 기하학의 탄생으로 이어졌다.

유클리드 기하학과 비유클리드 기하학은 어느 한쪽이 옳고 다른 쪽이 틀린 관계가 아니라, 서로 독립적인 별개의 기하학 체계이다. 유클리드 기하학은 "평면이나 왜곡이 없는 공간의 도형의 성질을 탐구하는" 학문이며, 비유클리드 기하학은 "곡면이나 왜곡된 공간의 도형을 탐구하는" 학문이라고 할 수 있다.

13. 1. 현대적 엄밀성의 기준

유클리드 기하학을 견고한 공리적 기반 위에 세우려는 노력은 여러 수학자들의 오랜 관심사였다.[46] 무정의 개념의 중요성은 1900년 파리 회의에서 페아노 대표단의 알레산드로 파도아에 의해 명확하게 제시되었다.[1][47] 파도아는 다음과 같이 설명했다: "...우리가 이론을 공식화하기 시작할 때, 우리는 정의되지 않은 기호들이 ''전혀 의미가 없다''고 상상할 수 있으며 증명되지 않은 명제들은 단지 정의되지 않은 기호에 부과된 ''조건''일 뿐이라고 상상할 수 있다. 그러면, 우리가 처음에 선택한 ''아이디어 시스템''은 단순히 정의되지 않은 기호의 ''한 가지 해석''일 뿐이지만... 독자는 이러한 해석을 무시하고 그의 마음속에서 ''다른 해석''으로 대체할 수 있다... 조건들을 만족시키는... ''논리적인'' 문제는 따라서 ''경험적인'' 또는 ''심리적인'' 문제와 완전히 독립되게 된다... 정의되지 않은 기호의 시스템은...정의되지 않은 기호의 시스템이 각 해석으로 차례로 대체될 때...얻어진 ''특수 이론''으로부터 얻어진 ''추상화''로 간주될 수 있다..." (출처: ''Essai d'une théorie algébrique des nombre entiers, avec une Introduction logique à une théorie déductive quelconque'') 즉, 수학적 이론은 특정 해석에 얽매이지 않는 추상적인 구조이며, 다양한 해석이 가능해야 한다는 것이다.

버트런드 러셀 역시 비슷한 관점에서 수학을 정의했다.[48] 그는 "만약 우리의 가설이 ''어떤 것''에 관한 것이고, 하나 또는 그 이상의 특정한 것들에 관한 것이 아니라면, 우리의 연역은 수학을 구성한다. 따라서 수학은 우리가 무엇에 대해 말하고 있는지, 우리가 말하는 것이 참인지 알 수 없는 과목으로 정의될 수 있다." (출처: ''Mathematics and the metaphysicians'')라고 말했다. 이러한 기초에 대한 접근 방식은 기초주의와 형식주의 사이의 중요한 흐름을 형성했다.

고대 이집트고대 그리스 등에서 활발히 연구된 기하학의 성과를 유클리드는 『원론』의 1~4권에서 체계화했다. 그는 먼저 점, 과 같은 기본 개념을 정의하고, 일련의 공리를 제시하여 공리계를 확립했다. 이를 바탕으로 500개가 넘는 정리를 증명하는 방식은 현대 수학의 형식과 유사하여 높은 완성도를 보여주었다. 이 때문에 『원론』은 오랫동안 기하학 연구의 기초가 되었고, 유럽에서는 중요한 교양 과목으로 여겨졌다.

그러나 현대적인 관점에서 보면 유클리드의 공리계에는 몇 가지 미비한 점이 있었다. 이러한 점을 보완하고 유클리드 기하학을 더욱 엄밀하게 체계화한 인물은 "현대 수학의 아버지"라 불리는 다비트 힐베르트이다. 그는 힐베르트의 공리를 통해 유클리드 기하학의 기초를 더욱 견고하게 다졌다.

13. 2. 공리적 공식화

유클리드는 고대 그리스 시대부터 활발히 연구된 기하학의 성과를 『원론』에서 체계적으로 정리했다. 그는 먼저 점, 등 기본적인 개념에 대한 정의를 제시하고, 일련의 공리를 통해 공리계를 확립한 뒤, 이를 바탕으로 500개가 넘는 정리를 증명하는 방식을 사용했다. 이는 현대 수학의 형식과 유사하며 완성도가 높아 이후 기하학 연구의 기초가 되었다. 유럽에서는 오랫동안 중요한 교양 과목으로 여겨졌다. 이렇게 유클리드( Euclideng )에 의해 기초가 다져진 기하학 체계를 유클리드 기하학이라고 부른다.

그러나 현대적인 관점에서는 유클리드의 공리계에 일부 미비점이 지적되었고, "현대 수학의 아버지"로 불리는 다비트 힐베르트는 이를 더욱 엄밀하게 체계화했다. 유클리드 기하학을 공리적으로 공식화하려는 다양한 시도들이 있었으며, 주요한 접근 방식은 다음과 같다.

14. 고전 정리

유클리드 기하학에는 다음과 같은 다양한 고전 정리들이 있다.

참조

[1] 서적 null
[2] 서적 null
[3] 서적 null
[4] 서적 Introduction to Non-Euclidean Geometry https://books.google[...] Mill Press
[5] 서적 null
[6] 서적 Foundations of Geometry Prentice-Hall
[7] 간행물 History of the Parallel Postulate The American Mathematical Monthly, Vol. 27, No. 1 1920-01
[8] 서적 null
[9] 문서 null
[10] 서적 Solved and Unsolved Problems in Number Theory American Mathematical Society
[11] 학술지 On the Status of Proofs by Contradiction in the Seventeenth Century
[12] 서적 null
[13] 문서 null
[14] 서적 null
[15] 서적 null https://books.google[...]
[16] 서적 null
[17] 서적 null
[18] 서적 null
[19] 서적 null
[20] 서적 null
[21] 서적 null
[22] 웹사이트 Origami and Geometric Constructions https://web.archive.[...] 2013-12-29
[23] 서적 null
[24] 서적 null
[25] 서적 null
[26] 서적 null
[27] 서적 Elements of Abstract Algebra Dover
[28] 서적 null
[29] 서적 null
[30] 서적 Foundations and Fundamental Concepts of Mathematics Dover
[31] 간행물 A Set of Postulates for Plane Geometry (Based on Scale and Protractors)
[32] 서적 null
[33] 서적 null
[34] 웹사이트 GPS Satellite Signals http://www.gmat.unsw[...] 1999
[35] 서적 The Non-Euclidean Revolution Birkhäuser
[36] 서적 Shape analysis and classification: theory and practice https://books.google[...] CRC Press
[36] 서적 Computational Line Geometry https://books.google[...] Springer
[36] 서적 Elementary Mathematics from an Advanced Standpoint: Geometry https://books.google[...] Courier Dover
[37] 서적 The Road to Reality: A Complete Guide to the Laws of the Universe https://books.google[...] Vintage Books
[38] 문서 Heath, p. 200
[39] 문서 e.g., Tarski (1951)
[40] 문서 Ball, p. 31
[41] 문서 Heath, p. 268
[42] 문서 Giuseppe Veronese, On Non-Archimedean Geometry, 1908. English translation in Real Numbers, Generalizations of the Reals, and Theories of Continua, ed. Philip Ehrlich, Kluwer, 1994.
[43] 서적 Non-standard analysis
[44] 문서 Nagel and Newman, 1958, p. 9
[45] 문서 Cajori (1918), p. 197
[46] 서적 Methods of geometry Wiley
[47] 서적 Revue de métaphysique et de morale, Volume 8 https://books.google[...] Hachette
[48] 서적 The world of mathematics Courier Dover Publications
[49] 서적 An essay on the foundations of geometry https://books.google[...] Cambridge University Press
[50] 서적 Basic Geometry AMS Bookstore
[51] 서적 Cited work John Wiley & Sons 2000-01-10
[52] 서적 Elementary geometry from an advanced standpoint https://books.google[...] Addison–Wesley
[53] 서적 Geometry: ancient and modern Oxford University Press
[54] 서적 Studies in Logic and the Foundations of Mathematics – The Axiomatic Method with Special Reference to Geometry and Physics Brouwer Press
[55] 서적 Logic from Russell to Church Elsevier
[56] 서적 Gödel's Theorem: An Incomplete Guide to its Use and Abuse AK Peters
[57] 문서 Eves, vol. 1, p. 19
[58] 문서 Eves (1963), vol. 1, p. 10
[59] 문서 Eves, p. 19



본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com