01 · 기원전 약 300년
알렉산드리아 · 저술평행선은 아직 ‘정확히 하나’가 아니었다 — 유클리드의 원문
《원론》의 다섯째 공준은 한 직선이 두 직선을 가로지를 때 같은 쪽 안각의 합이 두 직각보다 작으면 그 두 직선이 그쪽에서 만난다는 긴 문장이다. 오늘 교과서의 ‘직선 밖 한 점을 지나는 평행선은 정확히 하나’는 Playfair 공리라는 동치 표현이지 유클리드의 원문이 아니다. 다른 공준보다 복잡해 보인다는 불편이 이후 수많은 증명 시도를 낳았지만, 유클리드가 비유클리드 기하를 숨겨 두었다고 소급할 수는 없다.
잠깐 멈춰 묻기
유클리드가 실제로 쓴 다섯째 공준은 왜 다른 공준보다 길고 복잡해 보였을까요?
생각은 어떻게 달라졌나
‘평행선은 하나’라는 익숙한 요약을 잠시 내려놓고, 교차선과 각의 조건에서 만남을 보장하는 원문 명제를 봅니다.
이 장소가 가능 조건이 된 이유
알렉산드리아의 수학 문헌·교육 환경은 정의·공준·명제를 긴 의존 순서로 묶어 후대가 특정 가정을 찾아 논쟁할 수 있게 했습니다.
실제 이동 방식
그리스어 《원론》의 공준 배열 → 주석·필사·번역 → Playfair를 포함한 동치 명제 → 무엇이 가정이고 무엇이 정리인지에 대한 장기 논쟁
여기까지는 과장하지 않기
‘한 점을 지나는 평행선은 정확히 하나’는 동치인 Playfair 공리이지 유클리드의 원문이 아닙니다. 기원전 약 300년과 정확한 집필실도 확정값이 아닙니다.
근거 자료
- Stanford Encyclopedia of Philosophy — Omar Khayyam
확인 범위: 유클리드 다섯째 공준의 원래 형태와 동치 명제의 구분