입방 배적 문제
1. 개요
입방 배적 문제는 주어진 정육면체의 부피를 두 배로 늘리는 문제를 의미한다. 고대 그리스 시대부터 연구되었으며, 델로스 시민들이 아폴론 신전의 크기를 두 배로 늘리라는 신탁을 받고 이 문제를 플라톤에게 자문한 것이 시초이다. 플라톤은 기계적인 방법을 사용하려는 시도를 비판했고, 키오스 히포크라테스는 이 문제 해결의 핵심이 평균 비례를 찾는 것임을 발견했다. 그러나 19세기에 피에르 방첼은 자와 컴퍼스만으로는 입방 배적이 불가능함을 증명했다. 부피가 두 배인 정육면체의 한 변의 길이는 세제곱근으로 표현되며, 이 수는 자와 컴퍼스로 작도할 수 없기 때문이다. 하지만 눈금이 있는 자를 사용하거나 종이접기 작도를 이용하면 세제곱근을 작도할 수 있어 입방 배적 문제를 해결할 수 있다.
-
기하학사 -
피타고라스 정리
피타고라스 정리는 직각삼각형에서 직각변의 제곱의 합이 빗변의 제곱과 같다는 정리로, a² + b² = c²으로 표현되며, 한 변의 길이를 계산하는 데 사용되고, 여러 지역에서 알려졌으나 피타고라스 학파에 의해 체계화되었다고 전해진다. -
기하학사 -
에우클레이데스의 원론
에우클레이데스의 원론은 기원전 300년경 에우클레이데스가 집필한 13권의 수학 및 기하학 책으로, 이전 그리스 수학자들의 업적을 집대성하고 기하학, 비례론, 수론, 무리량론을 다루며 공리적 방법과 구성적 방법으로 수학적 지식을 논리적으로 제시하여 후대에 큰 영향을 미쳤다. -
델로스섬 -
델로스 동맹
델로스 동맹은 기원전 478년에서 477년 사이 그리스-페르시아 전쟁 이후 아테네를 중심으로 결성된 군사 동맹으로, 페르시아의 재침공 대비와 복수, 전리품 분배를 목표로 했으나 아테네의 패권 강화로 아테네 제국으로 변모 후 펠로폰네소스 전쟁에서 아테네가 패배하며 해체되었다. -
델로스섬 -
레토
레토는 제우스의 연인이자 아폴론과 아르테미스의 어머니이며, 헤라의 질투를 받아 고통받았으나 자식들의 보호를 받았고, 리키아 지역에서 숭배받았으며 델로스 섬에서 아폴론을 낳은 신화로 유명하다. -
컴퍼스와 자 작도 -
각의 3등분
각의 3등분은 컴퍼스와 눈금 없는 자만으로 임의의 각을 3등분하는 작도가 불가능한 고전 문제이지만, 특정 각이나 다른 도구를 사용하면 가능하다. -
컴퍼스와 자 작도 -
모르-마스케로니 정리
모르-마스케로니 정리는 자 없이 컴퍼스만으로 유클리드 기하학적 작도가 가능하다는 것을 증명하는 정리이다.
2. 역사
델로스섬 시민들이 델포이의 오라클에 아폴론이 보낸 전염병을 물리칠 방법을 묻자, 신탁은 아폴론 신전 제단의 크기를 두 배로 늘리라고 답했다. 플루타르코스에 따르면, 델로스 시민들은 전염병 퇴치뿐만 아니라 시민들 간의 관계를 강화하는 내부 정치 문제 해결도 함께 모색했다. 신탁의 대답은 델로스 사람들에게는 이해하기 어려웠고, 그들은 플라톤에게 이 수학적 문제를 해석해 달라고 요청했다. 델로스 시민들은 플라톤이 신탁의 조언, 즉 아폴론 제단의 크기를 두 배로 늘리는 것이 가능한지에 대한 궁금증을 기하학과 수학으로 설명해주기를 기대했다. 이 문제는 주어진 정육면체의 부피를 두 배로 하는 정육면체를 찾는 문제였고, 이후 '입방 배적 문제'라는 이름으로 알려지게 되었다.
2.1. 고대 그리스의 해법 시도
플루타르코스에 따르면, 플라톤은 에우독소스, 아르키타스, 메나이크모스에게 기계적인 수단을 사용하여 문제를 해결하려 한다고 비판했다. 이는 순수 기하학을 사용하지 않은 것에 대한 책망이었다. 에라토스테네스는 세 가지 해법을 모두 찾았지만, 너무 추상적이어서 실용적인 가치가 없다고 평가했다.
키오스 히포크라테스는 주어진 선분의 두 배 길이 선분과 그 두 선분 사이의 평균 비례를 찾는 것이 입방배적 문제 해결의 핵심임을 발견했다. 현대 표기법으로, 길이 와 의 주어진 선분이 있을 때, 입방 배적 문제는 다음을 만족하는 길이 과 의 선분을 찾는 것과 같다.
:
이것은 다음과 같다.
:
:
그러나 피에르 방첼은 컴퍼스와 자만으로는 입방 배적이 불가능함을 증명했다.
3. 계산
입방 배적 문제는 3차 방정식으로 표현될 수 있다. 주어진 정육면체의 한 변의 길이를 a라고 할 때, 부피가 두 배인 정육면체의 한 변의 길이는 이다. 는 무리수이며, 자와 컴퍼스로 작도할 수 없는 수이다.