| 평면기하학 Plane Geometry | |||
| {{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" | <colbgcolor=#765432> 공통 | 도형 · 직선 (반직선 · 선분 · 평행) · 각 (맞꼭지각 · 동위각 · 엇각 · 삼각비) · 길이 · 넓이 · 다각형 (정다각형 · 대각선) · 작도 · 합동 · 닮음 · 등적변형 · 삼각함수 (덧셈정리) · 접선 · 벡터 | |
| 삼각형 | 종류 | 정삼각형 · 이등변삼각형 · 부등변삼각형 · 예각삼각형 · 직각삼각형 · 둔각삼각형 | |
| 성질 | 오심 (관련 정리 · 구점원) · 피타고라스 정리 · 사인 법칙 · 코사인 법칙 · 헤론의 공식 · 신발끈 공식 · 스튜어트 정리 · 우산 정리 · 오일러 삼각형 정리 · 데자르그 정리 · 메넬라오스 정리 · 나폴레옹의 정리 · 체바 정리 · 사영 정리 · 판아우벌 정리 | ||
| 기타 | 세모 모양 · 평범한 삼각형 · 젤곤 삼각형 · 랭글리 삼각형 · 페르마 점 | ||
| 사각형 | 정사각형 · 직사각형 · 마름모 · 평행사변형 · 사다리꼴 · 등변 사다리꼴 · 연꼴 · 네모 모양 | ||
| 그 외 다각형 | 오각형 · 육각형 · 칠각형 · 팔각형 (정팔각형) · 구각형 · 십각형 · 십일각형 · 십이각형 · 백각형 | ||
| 원 | 단위원 · 원주율 · 호 · 부채꼴 · 할선 · 활꼴 · 방정식 · 원주각 · 방멱 정리 · 톨레미 정리 | ||
| 원뿔곡선 | 포물선 · 타원 · 쌍곡선 · 파스칼 정리 | ||
| 기타 | 유클리드 · 보조선 · 테셀레이션(펜로즈 타일) · 제곱근의 앵무조개 · 픽의 정리 · 논증 기하학 · 해석 기하학 · 3대 작도 불능 문제 | }}}}}}}}} | |
| 다포체 Polytopes | ||||||
| {{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px);" {{{#!folding 차원에 따른 분류 [ 펼치기 · 접기 ] {{{#!wiki style="margin:-5px -1px -11px" | 차원 | 0 | 1 | 2 | 3 | |
| 명칭 | 점 | 선분 | 다각형 | 다면체 | 다포체 |
| {{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px);" {{{#!folding 대칭성에 따른 분류 [ 펼치기 · 접기 ] {{{#!wiki style="margin:-5px -1px -11px" | 정다포체 | 고른 다포체 | ||
| [math(A_n)] 단체 | [math(BC_n)] 초입방체/정축체 | [math(D_n)] 반초입방체 | ||
| [math(I_2\left(p\right))] 정다각형 | [math(H_n)] 오각다포체 별 정다포체 | [math(F_4)] 정이십사포체 | [math(E_n)] En 다면체 | |
| {{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px);" {{{#!folding 기타 (넓은 의미의 다포체) [ 펼치기 · 접기 ] {{{#!wiki style="margin:-5px -1px -11px" | 테셀레이션 허니컴 | 유클리드 | 비유클리드 | ||
| 구면 | 쌍곡 | ||||
| 유클리드 테셀레이션/허니컴 | 구면 테셀레이션 구면 허니컴 | 쌍곡 테셀레이션 쌍곡 허니컴 | |||
| 기타 정의에 따라 | 페트리-콕서터 다포체, 페트리 쌍대, 섞인 무한다면체, 그륀바움-드레스 다포체 | ||||
1. 개요
정다각형(正多角形)은 선분으로 이루어진 모든 변의 길이와 모든 내각의 크기가 같은 다각형을 의미한다.[1]2. 성질
정다각형의 대표적인 성질 두가지는 모든 변의 길이와 모든 내각의 크기가 같다는 것이다. 정다각형의 성질은 다각형의 성질을 모두 갖는다. 대각선의 길이도 모두 같다고 잘못 알려지는 경우가 있는데, 정사각형과 정오각형은 대각선의 길이도 같지만 정육각형부터는 2종류 이상의 길이가 나온다. 정삼각형은 대각선 자체가 없다.아래는 정다각형들의 성질이다.
- 모든 내각의 크기가 같다.
- 모든 변의 길이가 같다.
- 두 다각형이 서로 같은 종류의 다각형이라면(정사각형과 정사각형, 정오각형과 정오각형 등의 관계) 둘은 항상 닮음이다.
- 쌍대(dual)[2]는 닮음 관계의 자기 자신이다. 즉 정삼각형의 쌍대는 정삼각형, 정사각형의 쌍대는 정사각형, 정오각형의 쌍대는 정오각형. 이런 식이며, 심지어 오목한 정{m/n}각형도 모두 자기쌍대이다.
반지름이 1인 원에 내접하는(= 외접원의 반지름이 1인) 정n각형은 아래 성질을 만족한다.
- [math(변의길이 = 2 \sin \frac{π}{n})]
- [math(둘레 = 2n \sin \frac{π}{n})]
- [math(반경_{내접원} = \cos \frac{π}{n})]
- [math(내각 = π(1 - \frac{2}{n}))]
2.1. 슐레플리 기호
정다각형은 {n} 기호를 사용해서 그 정다각형을 나타내는 기호를 나타낼 수 있다. 이것을 슐레플리 기호라고 하며, 정다각형의 표기는 슐레플리 기호 체계의 기초가 된다.[3] 여기서 n은 변의 개수를 의미한다. 오목 정다각형은 n과 m이 서로소이고, n이 m의 두 배 초과인 자연수일때 {n/m} 유리수각형 꼴로 표현하는데, 여기서 m은 이 다각형에서 꼭지점을 이을 때 m-1개의 꼭지점을 건너뛰어 연결한다는 뜻이다. 약분이 가능한 경우에는 기약분수로 만들었을 때의 서로 합동인 정다각형 여러개를 겹쳐놓은 꼴이 된다.| |
| 정오각별 |
볼록하든 오목하든 모든 정다각형은 내각의 크기가 유리수이다. 볼록 정다각형은 값이 2 이상인 정수각형, 오목 정다각형은 볼록 정다각형의 교차하는 유리수 각형으로 정의하여, 외각의 크기가 360°에서 꼭짓점의 수를 나눈 값과 같기 때문이다. 3차원 이상의 정다면체부터는 무리수 크기의 이면각을 가진 것이 존재하며 쌍곡도 3차원부터 존재한다. 또한 2차원은 내각이 180°이고, 꼭짓점과 선분이 무한개인 정무한대각형이 정규 벌집이다. 3차원에서는 정육각형, 정사각형, 정삼각형이 2차원의 공간을 채운다. 또한 4차원과 6차원 이상의 n차원은 오로지 입방체만 n차원을 채울 수 있으며, 5차원에서는 정이십사포체, 정십육포체, 정팔포체가 4차원의 공간을 가득 채운다. 쌍곡은 크게 세 가지 콤팩트, 파라콤팩트, 논콤팩트로 나눌 수 있는데, 이들 중 논콤팩트는 다시 세 가지로 나뉘어질 수 있다. 그리고 입방체와 정축체의 n각형 버전도 존재하고 단체와 비슷하게 4 이상의 자연수 n이 연속으로 이어지는 꼴이나 그 옆에 어떤 숫자를 하나씩 붙인 형태의 계열도 있는데, 자세한 내용은 정다포체 문서의 문단을 참고하면 된다. 허수각형까지 고려한다면 2차원에서도 쌍곡도형이 존재할 수도 있으며, 3차원에서도 논콤팩트가 생겨날 수도 있다. 또한 1차원 이하에서의 단체, 초입방체, 정축체는 이포각 계산을 해보면 아예 다른 결과가 나와버린다. 물론 1차원 이하는 단체, 입방체, 정축체의 개녕 자체가 없긴 하지만. 또한 입방체 및 정축체의 n각형 버전 계열이 유클리드 벌집이 되는 차원이나 n각 입방체의 왼쪽에 3을 붙인 {3,n,3,...,3,3}, n각 정축체의 오른쪽에 3을 붙인 {3,3,...,3,n,3} 형태의 계열이나 4 이상의 자연수 n이 연속으로 늘어선 형태[4] 또는 그 옆에 3을 붙인 형태의 계열[5] 유클리드 벌집이 되는 차원도 생각해볼 수 있다.
3차원 이상의 정다포체와 달리 모든 정다각형은 자기쌍대다 보니 무한조각까지 자를 수 있다. 정삼각형의 경우 정육각형, 이렇게 자른 정육각형의 경우 정십이각형,... 이렇게 무한 반복 가능하다.
2.2. 유클리드 작도로 작도할 수 있는 다각형들
[math(2^{2^n}+1)]각형[6]과 이들 수의 [math(2^n)]배수각형은 유클리드 작도할 수 있다. 3,5,17,257,65537,...각형 등이 이러하다. 이러한 꼴로 나타내지지 않는다고 무조건 유클리드 작도가 불가능한 것은 아니다. 대표적인 예시가 4각형.2.3. 뉴시스 작도로 작도할 수 있는 정다각형들
뉴시스 작도로는 7,9,13각형 등도 작도할 수 있으며 영문판 위키에서는 11각형도 뉴시스 작도로 작도 가능한게 증명되었다. 뉴시스 작도로 작도가 불가능한 도형은 23각형이 최초의 도형이다.현재까지로는 페르마 소수 각형이거나 [math(2^a3^b+1)][7] 각형의 경우 뉴시스 작도가 가능하다. [math(2^a3^b5^c+1)][8] 각형의 경우 뉴시스 작도가 가능한지 아직 확실하게 밝혀지지 않았다. 한마디로 말하면 밀레니엄 난제인 셈. 이외의 도형은 뉴시스 작도가 확실하게 불가능하다.
뉴시스 작도(neusis construction)로 가능한 다각형: 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 26, 27, 28, 30, 32, 33, 34, 35, 36, 37, 38, 39, 40, 42, 44, 45, 48, 51, 52, 54, 55, 56, 57, 60, 63, 64,...
뉴시스 작도가 판명나지 않은 다각형: 25, 31, 41, 50, 61, 62,...
뉴시스 작도가 불가능한 다각형: 23, 29, 43, 46, 47, 49, 53, 58, 59,...
한 내각이 180°인 무한대각형{∞}도 있다. 영어로는 아페이로곤 (apeirogon)으로 불린다. 이 무한각형은 몇 가지로 나뉘는데 기본적으로 먼저 원을 무한대로 자른 것이 있고, 여기에 더해 유클리드 기하학에는 1차원 직선 모양으로 발산하는 형태[9], 쌍곡기하학에서는 180° 미만인 내각을 가진 무한각형이 추가적으로 존재한다.
모든 다각형은 변의 개수와 각의 개수가 항상 같으므로 정다각형은 모두 자기쌍대이다.
3. 교육과정에서
초등학교에서는 3학년 1학기 때(2015 개정 교육과정에서는 4학년 2학기 때) 정다각형에 대해 배우게 되며,중학교에서는 1학년 2학기 2단원부터인 도형 단원에서 평면도형에 대한 공식, 성질, 정의를 배우게 된다.
고등학교에서는 수1 도형의 방정식에서 많이 써먹게 된다.
학부 이상 과정에서는 대수학에서 이면군(dihedral group)이라는 이름으로 추상화시켜서 다룬다.
4. 관련 문서
[1] 다만 정삼각형은 보통 세 변의 길이가 같은 삼각형으로 정의하는 편이다. 물론 세 각의 크기가 같은 삼각형으로 정의해도 되며, 두 조건 중 하나만 성립하면 나머지 하나도 반드시 성립하는 유일한 정다각형이다.[2] 경계의 중심을 꼭짓점으로 삼은 짝도형. 여기서는 선분의 정가운데를 꼭짓점 삼아 그린 도형을 말한다.[3] 물론 정다각형에서 끝낼 거면 이 기호 체계는 만들지도 않았다. 이 기호는 정다면체, 나아가 모든 차원의 정다포체에도 쓸 수 있으며, 정다포체를 다양하게 변형한 여러 도형에도 적용 가능하다.[4] 쉽게 설명하면 {4,4,...,4,4}, {5,5,...,5,5}, {6,6,...6,6} 등등과 같은 {n,n,...,n,n}의 계열을 의미한다.[5] 이건 {4,4,...,4,4,3}, {3,4,4,...,4,4}, {3,4,...,4,3}, {5,5,...,5,5,3}, {3,5,5,...,5,5}, {3,5,5,...,5,5,3}, {3,6,...,6,3}, {3,6,6,...,6,6}, {6,6,...,6,6,3} 등등과 같은 형식의 계열을 말하는 것이다.[6] 단, [math(2^{2^n}+1)]은 소수여야 한다.[7] 2와 3 이외의 소인수가 있거나 a, b 둘 중 하나 이상의 값이 0인 경우는 제외[8] 2, 3, 5 이외의 소인수가 더 있거나 a, b, c 셋 중 하나 이상의 값이 0인 경우는 제외[9] 앞서 말한 원을 무한대로 확대한거라 보면 된다. 구면기하학은 옹골이라 이게 존재할 수 없고, 쌍곡기하학에서는 정다각형에 대한 정의를 만족시킬 수가 없는 그냥 직선이 된다.