1. 개요
초각기둥, 듀오프리즘 종류를 제외한 아르키메데스 다면체를 4차원으로 확장시킨 도형이다. 영어로는 uniform polychoron 혹은 uniform 4-polytope로 불린다. 이것의 쌍대로는 카탈랑 다포체가 있다. 총 41가지가 있다. 다각형으로 최고 십각형까지, 다면체로 최대 깎은 십이이십면체(큰 마름모십이이십면체)까지 사용 가능하다. 한편 5차원 이상에서는 팔각형, 깎은 육팔면체(큰 마름모육팔면체), omnitruncated 정팔포체(정십육포체)까지 사용 가능하다.2. 상세
다듬은 육팔면체와 다듬은 십이이십면체는 cw ccw 이렇게 미러링 된 2가지 모양이 존재하며 3차원에서만 가능한 조합이다. 4차원에서는 이 형태가 고르지 않게 돼버려서(non-uniform) 모든 포가 아르키메데스 다면체 혹은 정다면체여야 한다는 아르키메데스 다포체의 조건을 만족하지 못한다.4차원에도 다듬은 이십사포체(snub-24 cell)가 있지만 이름만 같으며 배열 방식이 전혀 다르다. 오히려 이쪽은 grand antiprism처럼 600포체의 특정 꼭짓점을 이어서 만든 도형이다. 자르는 게 아니라 특정 꼭짓점을 이어서 만든 도형이라 표현한 이유는 다듬은 이십사포체는 정600포체의 정이십면체 입체 부분을 자르면 만들어지지만 grand antiprism은 전혀 그렇지 않기 때문이다. 특히 grand antiprism은 무려 1965년에 최초로 발견되었다. 4차원 이상의 기하학 이론이 1850년대에 본격적으로 연구된 것을 보면 엄청 늦은 편이다. snub 24-cell은 정이십면체 24개, 정사면체 120개가 들어가며 grand antiprism은 엇정오각기둥 20개, 정사면체 300개가 들어간다. 정600포체의 꼭짓점을 적당히 이으면 정24포체를 만들 수 있는데 이 원리를 응용한 도형이다.[1]
아르키메데스 다포체 계열은 정다포체와는 달리 5차원 이상에서도 부피가 1 이상인 게 많다. 오히려 차원이 늘어날수록 기하급수적으로 커진다.
참고로 3, 4차원의 정다포체와 아르키메데스 다포체는 매우 복잡해지지만 사원수로 좌표를 나타낼 수 있다.
2차원의 정다각형을 아르키메데스 다포체식으로 확장할 시 정2n각형이 여기에 해당하며 복소수로 좌표를 나타낼 수 있다.
3. 종류
마땅한 한국어 이름이 없어서 영어로 썼다. 타 다포체와 중복되는 것은 괄호로 적었으며 쌍대다포체의 정가운데에 들어가서 십육팔포체나 백이십육백포체에 해당하는 것은 and로 적었다. 그리고 나중에는 정다포체가 아닌 서로 쌍대 관계의 정규 벌집[2]이나 쌍곡 벌집 쌍 끼리의 계열도 만들어볼 것이다. 단, 이 경우에도 콤팩트나 파라콤팩트 계열의 쌍끼리만 만들 수 있으며, 논콤팩트일 때에는 역시 꼭짓점이나 n-1차원 입체 마저 쌍곡이라 만들 수가 없으며, 8차원 이상에서의 이러한 조합의 계열들은 전부 논콤팩트인지라 이런 식으로 정다면체의 작업을 해서 얻어지는 도형을 알아내기가 매우 힘들고 어려워질 수밖에 없다.3.1. 정오포체 계열
- rectified 정오포체
- 깎은 정오포체
- cantellated 정오포체
- runcinated 정오포체
- bitruncated 정오포체
- cantitruncated 정오포체
- runcitruncated 정오포체
- omnitruncated 정오포체
3.2. 정팔포체, 정십육포체 계열
- rectified 정팔포체
- 깎은 정팔포체
- 깎은 정십육포체
- cantellated 정팔포체
- runcinated 정팔포체 and 정십육포체
- bitruncated 정팔포체 and 정십육포체
- cantitruncated 정팔포체
- runcitruncated 정팔포체
- runcitruncated 정십육포체
- omnitruncated 정팔포체 and 정십육포체
| 입체의 수 | 80개[4.6.8(깎은 육팔면체) 8개, 4.4.10(정팔각기둥) 24개, 4.4.6(정육각기둥) 32개, 4.6.6(깎은 정팔면체) 16개] |
| 면의 수 | 468개[4각형 288개, 6각형 128개, 8각형 48개] |
| 선의 수 | 768개 |
| 점의 수 | 384개 |
외접구의 반지름: [math(\sqrt{8+3\sqrt{2}}a)]
모서리접구의 반지름: [math(\dfrac{\sqrt{31+12\sqrt{2}}}{2}a)]
쌍대의 이포각: [math(\cos^{-1}\left(\dfrac{84+3\sqrt{2}}{92}\right))]≈163.56861º[3]
3.3. 정이십사포체 계열
- rectified 정이십사포체
- 깎은 정이십사포체
- cantellated 정이십사포체
- runcinated 정이십사포체
- bitruncated 정이십사포체
- cantitruncated 정이십사포체
- runcitruncated 정이십사포체
- omnitruncated 정이십사포체
| 입체의 수 | 240개[4.6.8(깎은 십이이십면체) 48개, 4.4.6(정육각기둥) 192개] |
| 면의 수 | 1392개[4각형 864개, 6각형 384개, 8각형 144개] |
| 선의 수 | 2304개 |
| 점의 수 | 1152개 |
외접구의 반지름: [math(\sqrt{14+9\sqrt{2}}a)]
모서리접구의 반지름: [math(\dfrac{\sqrt{55+36\sqrt{2}}}{2}a)]
쌍대의 이포각: [math(\cos^{-1}\left(\dfrac{54+9\sqrt{2}}{68}\right))]≈168.90009º[4]
3.4. 정백이십포체, 정육백포체 계열
- rectified 정백이십포체
- rectified 정육백포체
- 깎은 정백이십포체
- 깎은 정육백포체
- cantellated 정백이십포체
- cantellated 정육백포체
- runcitruncated 정백이십포체 and 정육백포체
- bitruncated 정백이십포체 and 정육백포체
- cantitruncated 정백이십포체
- cantitruncated 정육백포체
- runcitruncated 정백이십포체
- runcitruncated 정육백포체
- omnitruncated 정백이십포체 and 정육백포체
| 입체의 수 | 2640개[4.6.10(깎은 십이이십면체) 120개, 4.4.10(정십각기둥) 720개, 4.4.6(정육각기둥) 1200개, 4.6.6(깎은 정팔면체) 600개] |
| 면의 수 | 17280개[4각형 10800개, 6각형 4800개, 10각형 1440개] |
| 선의 수 | 28800개 |
| 점의 수 | 14400개[5] |
외접구의 반지름: [math(\sqrt{83+36\sqrt{5}}a)]
모서리접구의 반지름: [math(\dfrac{\sqrt{331+144\sqrt{5}}}{2}a)]
쌍대의 이포각: [math(\cos^{-1}\left(\dfrac{735+36\sqrt{5}}{818}\right))]≈175.51795º[6]
3.5. 기타 계열
이 2개는 600포체의 꼭짓점을 응용해서 만든 것이다.- 다듬은 이십사포체
외접구의 반지름 = [math(\dfrac{1+\sqrt{5}}{2}a)]
모서리접구의 반지름 = [math(\dfrac{\sqrt{5+2\sqrt{5}}}{2}a)]
쌍대의 이포각: 144º
- grand antiprism
외접구의 반지름 = [math(\dfrac{1+\sqrt{5}}{2}a)]
모서리접구의 반지름 = [math(\dfrac{\sqrt{5+2\sqrt{5}}}{2}a)]
쌍대의 이포각: 144º
이 두개는 정육백포체와 외접초구의 반지름, 모서리접구의 반지름이 같으며 이들의 쌍대는 정백이십포체와 이포각이 같다.
4. 5차원 이상의 아르키메데스 다포체
그리고 여러 가지 정다포체들을 조합해서 만든 다포체 계열과 그것들의 쌍대도 엄밀히 따지자면 아르키메데스 다포체이다. 단, 이때는 서로 해당 다포체를 이루고 있는 n-1차원 도형이 서로 같을 때에만 이어붙일 수 있으므로 다른 다포체와 조합한다 해도 같은 면으로 이루어진 같은 차원의 다포체나 유클리드 벌집끼리 조합해야 가능하다.[7]끼리 조합해야 가능하다. 이들의 쌍대의 꼭짓점 도형은 해당 도형의 모서리 도형이 서로 같은 2가지 종류 이상의 다포체들이다. 예를 들어 한 변에 정사면체와 정팔면체를 각각 두 개씩 배치하는 경우는 유클리드 벌집이므로 이의 쌍대는 꼭짓점이 정사면체와 정육면체 2가지인 마름모십이면체 벌집이며, 그 외에도 정사면체 3개의 정팔면체 하나를 붙인다거나 정사면체 하나와 정팔면체 2개, 3개와 정이십면체 하나, 정사면체 하나와 정이십면체 2개, 정팔면체 2개와 정이십면체 하나, 정오포체 3개와 정십육포체 하나, 정오포체 하나와 정십육포체 2개, n-단체 3개와 n-정축체 1개, n-단체 1개와 n-정축체 2개의 조합과 이들의 쌍대가 이러한 조합에 있다.[8] 이는 9차원에서 유클리드 벌집이 되고, 10차원에서 파라콤팩트, 11차원에서는 꼭짓점이나 (n-1)차원 도형이 파라콤팩트인 논콤팩트, 12차원 이상에서는 꼭짓점이나 (n-1)차원 도형 마저도 논콤팩트인 논콤팩트 그 자체가 된다. 이것들의 쌍대들은 꼭짓점 도형이 크게 두 가지 있으며, 꼭짓점 도형이 되는 두 가지 도형은 서로 꼭짓점이 같은 것 끼리이다. [9]그리고 정십이각형을 사용하는 경우는 3차원에서 유클리드 벌집이 되며, 정십각형까지 사용할 수 있는 4차원 이하까지와는 달리 5차원 이상에서는 정팔각형 까지만 사용 가능하다.
5. 관련 문서
[1] 정십이면체의 20개 꼭짓점 중 이웃하지 않는 8개의 꼭짓점을 이으면 정육면체가 되는 것과 원리는 비슷하다.[2] 자기쌍대가 아닌 4가지의 정규 벌집은 3차원에서의 정육각형, 정삼각형 타일링 계열과 5차원에서의 정이십사포체, 정십육포체 벌집의 계열은 자기쌍대가 아닌 유클리드 벌집으로, 3차원과 5차원에 각각 2개씩 해서 2쌍이며, 정무한각형과 모든 n-입방체 벌집(3차원에서 4가 두 번 연속으로 나오는 {4,4}정사각형 타일링 포함)은 자기 쌍대인 유클리드 벌집이다. 참고로, 깍은 정삼각형 타일링은 정육각형 타일링과 완전히 동일하며, 절반지점까지 깍아낸 정십육포체 벌집도 정이십사포체 벌집과 완전히 같다. 정사각형 타일링은 절반 깎으면 그대로 정사각형 타일링이라 무한반복하게 되며, 이는 이들을 이용해서 만든 쌍곡 벌집(콤팩트, 파라콤팩트, 논콤팩트 심지어는 오목 쌍곡이나 만들 수 없는 오목 벌집 모두 해당)에도 그대로 적용될 수 있다(예시로, {3,6,3}을 1/3지점까지 깍으면 {6,3,3}, {4,4,4}를 절반 지점까지 깍으면 {4,4,3}, {3,3,4,3,3}을 절반 지점까지 깎으면 {3,4,3,3,3}이 되는 경우 등이 있는 것).[3] 22각형의 한 내각과 맞먹는다.[4] 32각형의 한 내각과 맞먹으며 정백이십포체의 체적을 넘어선다.[5] 4차원에서는 14400포체의 균일한 사면체 입체를 가진 주사위를 만들 수 있다는 뜻이다.[6] 80각형의 한 내각 수준이며, 이런 주사위를 굴린다면 4차원 공간에서 거의 공처럼 굴러갈 것이다. 기하학적으로만 따질 때의 이야기이다. 다만 4차원 공간에서는 중력이나 전자기력 등 여러 물리 법칙이 많이 달라질 가능성이 높아서 장담하기는 어렵다.[7] 이에 해당하는 예시로는 볼록한 경우 3차원에서 만드는 4차원의 정사면체{3,3}와 정팔면체{3,4}, 정사면체와 정이십면체{3,5}, 정사면체와 정삼각형 타일링{3,6}, 정팔면체와 정이십면체, 정팔면체와 정삼각형 타일링, 정이십면체와 정삼각형 타일링, 정육면체{4,3}와 정사각형 테셀레이션{4,4}, 4차원에서 만드는 5차원의 정오포체{3,3,3}와 정십육포체{3,3,4}, 정오포체와 정육백포체{3,3,5}, 정십육포체와 정육백포체, 정팔포체{4,3,3}와 정육면체 벌집{4,3,4} 5차원 이상에서 만드는 6차원 이상의 n-단체{3,...,3}와 n-정축체{3,...,3,4}, n-입방체{4,3,...,3}와 (n-1)-입방체 벌집{4,3,...,3,4} 의 조합으로 k+1차원의 새로운 다포체 조합을 만드는 경우가 여기에 해당하며, 쌍곡 벌집에도 이루고 있으면 n-1차원 도형이 서로 같다면 서로 붙일 수는 있겠지만, 이때에는 해당 차원에서 면을 균일하게 만들 수 없어 각 면이 합동이 되지 않기 때문에 논외. 그래서 같은 면을 가진 쌍곡 벌집과 조합하는 경우는 연구를 좀 더 해봐야 되며, 확장시킨다 해도, 최대 유클리드 벌집까지만 결합할 수 있다. 물론 오목한 경우(만들 수 없는 오목 벌집 역시 이포각이 정다포체, 유클리드 벌집, 쌍곡 벌집인 경우 모두 해당)까지 고려하면 사용할 수 있는 조합이 훨씬 더 많아진다.[8] n-입방체 2개와 (n-1)-입방체 벌집의 조합은 항상 이포각의 합이 360°가 되며, 이포각이 180이며, (n-1)-입방체 벌집 2개와 n-입방체 하나로 조합하거나 n-입방체 3개와 (n-1)-입방체 벌집 하나가 조합 하는 계열 등이면 이들도 이포각이 각각 90°, 180°로 일정하다는 특성상 항상 쌍곡이 된다.[9] 3차원에서 정사면체와 정육면체, 정사면체와 정십이면체, 정사면체와 정육각형 타일링, 정육면체와 정십이면체, 정육면체와 정육각형 타일링, 정십이면체와 정육각형 타일링, 정팔면체와 정사각형 타일링, 4차원에서 정오포체와 정팔포체, 정오포체와 정백이십포체, 정팔포체와 정백이십포체, 정십육포체와 정육면체 벌집, 5차원 이상에서는 n-단체와 n-입방체, n-정축체와 (n-1)-입방체 벌집이 꼭짓점이 같은 조합이다. 이 경우도 위에서 각주로 설명한 같은 면을 가진 다포체끼리의 조합과 마찬가지로, 오목한 다포체와으 조합으로 확장시킬 수 있으며 이는 마찬가지로 만들 수 없는 오목 벌집으로도 확실히 가능하다는 것이며, 확장시킨 경우 종류가 더 많아진다. 물론 쌍곡에도 적용은 가능하다.