유클리드 기하학

 



1. 개요
2. 5개의 공준
3. 1권. 정의
4. 같이 보기


1. 개요

Euclidean geometry · Eculid 幾何學
그리스 수학자인 유클리드에 의해 체계화된 수학의 한 분야이다. 유클리드의 저서 원론의 제일 처음에 등장한다. 이 원론은 수학의 논리적 근원이라 할 수 있는 '공리 체계'를 도입하는 것으로부터 시작했는데, 이 유클리드의 기하학은 오랜 세월동안 아리스토텔레스의 연역적 논리 체계에 대한 모범이자, 수학의 증명법 및 형식적 이론의 모범이 되었다. 유클리드 이전에도 많은 수학자들이 유클리드가 증명해낸 성과들을 알고 있었지만, 유클리드는 이러한 명제가 포괄적이고 연역적이며 논리적인 시스템에 어떻게 들어갈 수 있는지를 처음으로 보여 주었다.
유클리드 기하학은 좌표를 사용하지 않고 공리에서 명제로 논리적으로 진행된다는 점에서 좌표를 사용하는 해석기하학과는 대조적인 합성 기하학의 예이다. 요즘은 분야 불문하고 후술할 유클리드 공간에서의 공리를 뜻하는 것으로 의미가 바뀌었으며, 본래의 의미는 따로 논증 기하학이라는 이름으로 불린다.
유클리드 기하학이 적용되는 위상 공간을 유클리드 공간(Euclidean space)이라고 한다.[1]

2. 5개의 공준

'''원론'''에는 5개의 공준(=공리[2])가 등장하는데 다음과 같다.

1. 서로 다른 두 점이 주어졌을 때, 그 두 점을 잇는 직선[3]을 그을 수 있다.
1. 임의의 선분은 더 연장할 수 있다.
1. 서로 다른 두 점 A, B에 대해, 점 A를 중심으로 하고 선분 AB를 한 반지름으로 하는 원을 그릴 수 있다.[4]
1. 모든 직각은 서로 같다.
1. 임의의 직선이 두 직선과 교차할 때, 교차되는 각의 내각의 합이 두 직각(180도)보다 작을 때, 두 직선을 계속 연장하면 두 각의 합이 두 직각보다 작은 쪽에서 교차한다. (평행선의 공리, 제5공준) [5][6]
이 다섯 가지의 공준을 가지고 이루어진 기하학을 유클리드 기하학이라고 부른다.
한 가지 재밌는 내용을 덧붙이자면, 유클리드 본인도 기하학 공리 중 앞의 4개는 명백해 보였으나 평행선 공리는 이것이 정말 공리가 맞는지, 즉 혹시 앞의 4개로부터 연역적으로 추론할 수 있는 것은 아닌지 확실하지 않았다고 한다.[7] 그래서 유클리드를 포함한 후세의 수학자들은 기하학의 문제를 증명할 때 가급적 평행선 공리를 쓰지 않고 증명하고자 하는 경향이 있었다. 평행선 공리가 공리인지 아닌지 밝히고자 하는 노력이 잘 되지 않자 19세기 수학자들은 전략을 바꿔, 평행선 공리가 거짓이라고 가정하면 모순이 발생함을 보이고자 했다. 그런데 원래 의도와는 달리, 평행선 공리를 거짓으로 하는 새로운 공리계를 만들었더니 아무런 모순이 발견되지 않았다![8] 그리하여 19세기에 이르러 로바체프스키와 야노스 볼리아이 등에 의해 제5공준을 부정하는 기하학이론 체계가 완성[9]되면서 비유클리드 기하학이라는 이름이 붙고, 제5공준을 받아들이는 기하학을 유클리드 기하학이라고 부르게 된다. 간단한 예로 공 위의 세 점을 잇는 삼각형을 그리면 각각의 선분은 직선이 아니라 곡선이며 삼각형의 세 내각의 합은 180도보다 크다(구면기하학 or 리만기하학[10]). 또한 말 안장 위의 세 점을 잇는 삼각형을 그리면 세 내각의 합은 180도 보다 작게 된다. [11]

3. 1권. 정의


1. '점'은 넓이가 없는 위치이다
2. '선'은 폭이 없는 길이이다
3. 선의 양 끝은 점으로 이루어져 있다
4. '직선'은 고르게 놓여있는 점 위에 있는 선이다
5. '면'은 길이와 폭을 갖고 있다
6. '면'의 끝은 선으로 이루어져 있다
7. '평면'은 고르게 놓여있는 선 위에 있는 면이다
8. '평면각'은 면이 있는 두 선의 기울기로 두 선은 만나지만 같은 직선 위에 놓여있지는 않다
9. 여러 직선이 각을 만들었을 때의 각은 곧은각이라고 불린다
10. 한 직선 위에 다른 직선이 놓이고, 두 직선 사이에 만들어진 두 각이 서로 같을 시에 두 각은 직각으로 불리며 두 선은 서로 수직이다
11. 둔각은 직각보다 큰 각이다
12. 예각은 직각보다 작은 각이다
13. 경계는 모든 것의 끝이다
14. 도형은 경계를 갖고 있는 것이다
15. 원은 한 점으로부터 길이가 같은 직선이 뻗어 나갔을 때 만나는 점들로 둘러싸여 만들어진 평면 도형이다
16. 처음 기준이 된 점은 원의 중심으로 부른다
17. 지름이란 원의 둘레에서 원의 중심으로 거쳐 원의 둘레로 이어진 직선을 말하며 또한 원을 반으로 나누는 선이다
18. 반원이란 원의 지름과 지름이 자른 조각 하나로 이루어진 것이다 반원의 중심은 원의 중심과 같다
19. 다각형이란 직선으로 이루어진 것이며 삼각형은 세개의 직선, 사각형은 네개의 직선으로 이루어진 것을 말하며 그 이상은 다각도형이라고 부른다
20. 삼각형 중 정삼각형은 세 개의 변이 같은 것이고 이등변 삼각형은 두 개의 변이 같은 것이며 부등변 삼각형은 모든 변이 다른 삼각형이다
21. 또한 직각삼각형은 직각을 갖고 있는 삼각형이며 둔각삼각형은 둔각을 갖고 있는 삼각형이고 예각삼각형은 예각만을 갖고 있는 삼각형이다
22. 사각형 중 정사각형은 네 변이 모두 같으며 직각으로만 이루어져 있는 것이며 직사각형은 직각으로만 이루어져 있지만 네 개의 변이 모두 같지는 않다 마름모는 네 개의 변이 모두 같지만 직각으로 이루어져 있지 않고 평행사변형은 마주보는 각과 변은 서로 같지만 네 개의 변과 각이 모두 같지는 않다
23. 평행은 두 선이 같은 방향으로 계속해서 연장되어도 서로 만나지 않는 것이다

4. 같이 보기

[1] 데카르트 공간(Cartesian space)이라고도 하는데, 좌표계를 발명한 르네 데카르트의 이름을 땄다. 유클리드 공간에 비해 잘 쓰이지 않으며, 용례도 유클리드 공간+직교좌표계라는 것을 강조하는 정도이다.[2] 엄연히 따지자면 다르다. 하지만 대부분 같이 쓴다.[3] 여기서 직선이란, 현대적 의미의 선분을 의미한다.[4] 이미 알고 있는 점 B에 대한 것이라는 점을 유의해야 한다. 즉, 이 공리 자체는 점 A에서 임의의 양수값 반지름의 원을 그릴 수 있다는 진술보다 약한 것이다.[5] 제5공준과 동치인 명제는 '직선 밖의 한 점을 지나 그 직선에 평행한 직선은 단 하나 존재한다.'이며 현대에는 이 표현을 더 많이 사용한다.[6] '삼각형의 세 내각의 합은 두 직각이다.' 같은 표현도 동치임은 증명되어 있지만, 삼각형을 별도로 정의해야 할 필요가 있다.[7] 공리는 개수가 적을수록 좋다.[8] 여기서 착각하지 말아야 할 것이 제5공준을 부정했을때 모순이 없다고 해서 절대로 유클리드 기하학이 틀렸다는 말이 아니다. 제5공준을 부정한 새로운 공리계를 모순이 없게 만들 수 있다는 뜻이다.[9] 사실 이전에도 리만이나 가우스가 비유클리드 기하학의 논의를 시작하기도 했다. 또 보이어가 비유클리드 기하학의 개념을 제시하기도 했으나 묻혔다...[10] 구면기하학을 리만기하학으로 부르던 시기도 있었으나, 현대에 들어서 리만기하학은 이보다 훨씬 더 일반적인 미분기하의 형식을 이르는 용어가 되었다.[11] 구면과 쌍곡면 등 2차원 다양체에세는 두 선이 이루는 각을 교점을 만드는 두 곡선이 교점에서 뻗어나가는 벡터가 형성하는 각으로 정의하였기 때문이다.

분류