정의
평행선 공준은 유클리드 기하학의 다섯 번째 공준으로, 다음과 같이 서술된다.
한 직선 위에 있지 않은 한 점이 주어질 때, 그 점을 지나면서 주어진 직선과 한 점에서만 만나는, 즉 한 점에서만 교차하는 직선이 정확히 하나 존재한다.
이 공준은 "직선과 평행선"에 관한 성질을 명시하며, 평행선(parallel line)이라는 개념을 형식화한다.
역사적 배경
- 유클리드(기원전 300년경): 《Elements》(원론)의 제5공준으로 제시하였다.
- 중세·근대: 다른 공리와 달리 직관적으로 증명하기 어려워 수많은 학자들이 대체 공리를 찾거나 공준 자체를 증명하려 시도하였다.
- 19세기: 니콜라이 로바チェ프스키, 볼루이 지히네스키, 베르트라 하이페르보스 등은 평행선 공준을 부정하거나 변형한 비유클리드 기하학을 창시하였다. 이는 평행선 공준이 유클리드 기하학을 특수화하는 역할을 함을 보여준다.
주요 내용 및 변형
- 플레이페어 공준 (Playfair's axiom)
- “한 직선 위에 있지 않은 한 점을 지나면서 그 직선에 평행한 직선은 오직 하나뿐이다.” 라고 표현되며, 평행선 공준과 동등한 논리적 힘을 가진 형태로 널리 사용된다.
- 비유클리드 기하학
- 쌍곡선 기하학: 주어진 직선과 점을 지나면 두 개 이상의 평행선이 존재한다.
- 타원형 기하학: 주어진 직선과 점을 지나면 평행선이 전혀 존재하지 않는다.
어원 및 사용 맥락
- 평행선(平行線): ‘평(平, 평평할 평)’과 ‘행(行, 나아갈 행)’이 합쳐져 ‘같은 방향으로 나아가는 선’을 의미한다.
- 공준(公理, 公準): ‘공(公, 공통할 공)’과 ‘준(準, 기준·표준)’이 결합된 말로, 수학 체계에서 가정되는 기본 전제를 뜻한다.
이러한 어휘 조합은 한국어 수학 교육·학술 서적에서 유클리드 기하학을 논할 때 일반적으로 사용된다.
관련 개념
- 유클리드 기하학: 평행선 공준을 포함하는 5개의 공리 체계에 기반한 전통적 평면 기하학.
- 비유클리드 기하학: 평행선 공준을 부정하거나 변형한 기하학으로, 리만 기하학, 하이퍼볼릭 기하학 등이 포함된다.
- 기하학의 독립성 증명: 19세기 말, 평행선 공준이 다른 공리들로부터 독립적임이 증명되어, 공준 자체가 다른 공리들로부터 논리적으로 도출될 수 없음을 확인하였다.
참고 문헌(대표)
- Euclid, Elements, Book I.
- J. Stillwell, Geometry of Surfaces, Springer, 1992.
- R. Hartshorne, Geometry: Euclid and Beyond, Springer, 2000.
(위 내용은 기존 학술 자료와 공인된 교과서에 기반한 객관적인 서술이며, 확인되지 않은 새로운 해석은 포함되지 않았다.)
