| 평면기하학 Plane Geometry | |||
| {{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" | <colbgcolor=#765432> 공통 | 도형 · 직선 (반직선 · 선분 · 평행) · 각 (맞꼭지각 · 동위각 · 엇각 · 삼각비) · 길이 · 넓이 · 다각형 (정다각형 · 대각선) · 작도 · 합동 · 닮음 · 등적변형 · 삼각함수 (덧셈정리) · 접선 · 벡터 | |
| 삼각형 | 종류 | 정삼각형 · 이등변삼각형 · 부등변삼각형 · 예각삼각형 · 직각삼각형 · 둔각삼각형 | |
| 성질 | 오심 (관련 정리 · 구점원) · 피타고라스 정리 · 사인 법칙 · 코사인 법칙 · 헤론의 공식 · 신발끈 공식 · 스튜어트 정리 · 우산 정리 · 오일러 삼각형 정리 · 데자르그 정리 · 메넬라오스 정리 · 나폴레옹의 정리 · 체바 정리 · 사영 정리 · 판아우벌 정리 | ||
| 기타 | 세모 모양 · 평범한 삼각형 · 젤곤 삼각형 · 랭글리 삼각형 · 페르마 점 | ||
| 사각형 | 정사각형 · 직사각형 · 마름모 · 평행사변형 · 사다리꼴 · 등변 사다리꼴 · 연꼴 · 네모 모양 | ||
| 그 외 다각형 | 오각형 · 육각형 · 칠각형 · 팔각형 (정팔각형) · 구각형 · 십각형 · 십일각형 · 십이각형 · 백각형 | ||
| 원 | 단위원 · 원주율 · 호 · 부채꼴 · 할선 · 활꼴 · 방정식 · 원주각 · 방멱 정리 · 톨레미 정리 | ||
| 원뿔곡선 | 포물선 · 타원 · 쌍곡선 · 파스칼 정리 | ||
| 기타 | 유클리드 · 보조선 · 테셀레이션(펜로즈 타일) · 제곱근의 앵무조개 · 픽의 정리 · 논증 기하학 · 해석 기하학 · 3대 작도 불능 문제 | }}}}}}}}} | |
1. 개요
| |
| 평행사변형. 선분 [math(\rm \overline{AC})], [math(\rm \overline{BD})]가 대각선이다. |
수학적 정의는 어떠한 다각형에서 이웃하지 않은 두 점을 이은 선분을 뜻한다. 다면체에서는 같은 면 위에 있지 않는 두 꼭짓점을 잇는 선분을 의미한다. 따라서 다면체 내의 한 면에서의 대각선은 다면체에서의 대각선이 아니다! 순우리말로는 '맞모금', 우리말과 한자의 합성어로는 '맞모선'이라고 한다.
2. 일상적인 의미
| ＼ ／ |
MS 워드, 아래아 한글 등 워드프로세서 프로그램에서 직사각형으로 된 표를 만들 때 대각선은 이 의미에 해당하기도 하지만, 수학적 의미로 볼 때도 그 선분이 포함된 직사각형의 대각선이기도 하다.
3. 평면에서의 대각선
평면도형의 대각선의 개수는 [math(n)]각형일 때 [math(\displaystyle \frac{n(n-3)}{2})]개 이다. 또한 위 식에서 [math(n=3)]을 대입하면 0이 나오므로 삼각형의 대각선은 존재하지 않는다는 것을 알 수 있다. 이각형은 유클리드 기하학에서 정상적인 도형으로 인정되지 않지만 위 식에 [math(n=2)]을 대입하면 이각형의 대각선은 -1개가 나온다.[1] 또, 일각형의 대각선의 개수도 -1개이며 영각형은 0개이며 -1각형은 2개, -2각형은 5개,... 이런 식으로 나온다. 최소값은 [math(\displaystyle \frac{3}{2})]의 [math(\displaystyle -\frac{9}{8})]개가 나온다.[math(n)]각형의 각 [math(n)]개의 꼭짓점에서 자신과 이웃한 2개의 꼭짓점을 제외한 나머지 [math((n-3))]개의 꼭짓점에 도달하도록 선분을 그릴 때, 이 선분이 대각선이 되며, 그 개수는 경우의 수의 곱의 법칙을 이용하면 [math(n(n-3))]개가 되는데, 대각선으로 연결된 두 꼭짓점에서 서로의 꼭짓점에 도달하는 두 선분은 서로 같기 때문에[2] 중복을 제외하여 [math(\displaystyle \frac{n(n-3)}{2})]개가 되는 것이다.
또 대각선의 개수는 [math(n)]개의 점에서 2개를 뽑아 선분을 그리는 경우의 수에서 변을 형성하는 선분의 경우의 수를 빼주면 되므로 대각선의 개수는 [math( \displaystyle _n C _2 -n = \frac{n(n-3)}{2} )] 가 됨을 확인할 수 있다.
3.1. 대각선의 길이
- 직사각형에서 2개의 대각선의 길이는 같기 때문에, 직각을 낀 두 변의 길이를 [math(a,~b)]라 하면 그 대각선의 길이는 피타고라스 정리에 의하여 [math( \sqrt{a^2+b^2})]이 된다.
- 정사각형의 경우는 여기에서 [math(a=b)]라고 하면 되므로 대각선의 길이는 [math( \sqrt {2}a)]가 된다.
- 한 변의 길이가 [math(a)]인 정오각형의 대각선의 길이는 모두 서로 같은데, 이것의 길이는 [math(\dfrac{1+ \sqrt {5}}{2}a)]이다. [math(\cos 108\degree)]의 값이 [math(\dfrac{1- \sqrt {5}}{4})]라는 것을 이용하여 제2코사인 법칙을 활용하여 대각선의 길이([math(x)])를 구하면 [math(x^2 = a^2 + a^2 - 2a^2 \cos(108\degree) = 2a^2(1 - \dfrac{1- \sqrt {5}}{4}) = \dfrac{a^2(3+ \sqrt {5})}{2})]이므로 [math(x = \dfrac{1+ \sqrt {5}}{2}a)]가 된다.
- 정육각형의 경우 2가지 경우가 있다. 한 변의 길이를 a라고 하면,
- 정육각형을 삼각형과 오각형으로 나누는 대각선: 삼각형의 짧은 변의 길이가 [math(a)]이고 그 사이각의 크기는 [math(120\degree)]이므로 대각선의 길이를 [math(x)]라 하면 제2 코사인 법칙에 의하여 [math(x^2 = a^2 + a^2 - 2a^2 \cos(120\degree) = 3a^2)] 이므로 [math(x=\sqrt3a)]가 된다.
- 정육각형을 서로 합동인 사다리꼴 2개로 나누는 대각선: 그 대각선에 평행한 한 변의 끝에 해당하는 각각의 꼭짓점에서 수직으로 대각선에 내린 수선의 발(총 2개)을 이용하면, 대각선과 이와 이웃한 변 사이의 각은 [math(60\degree)]가 되므로 대각선의 길이는 [math(a\cos(60\degree) + a + a \cos(60\degree) = 2a)]가 된다. 더 간단히 생각해서 정육각형을 한 변의 길이가 [math(a)]인 정삼각형 6개로 나눌 수 있다는 점을 이용하면 이 대각선은 정삼각형 2개의 변을 합친 것에 해당하므로 길이가 [math(2a)]임을 쉽게 알 수 있다.
- 정팔각형의 경우 3가지 경우가 있다. 위 그림 참고. 한 변의 길이를 [math(a)]라고 하면,
- 정팔각형을 삼각형과 칠각형으로 나누는 대각선(파랑): 삼각형의 짧은 변의 길이가 [math(a)]이고 그 사이각의 크기는 [math(135\degree)]이므로 대각선의 길이가 [math(b)]이면 마찬가지로 제이코사인법칙에 의하여 [math(b^2 = a^2 + a^2 - 2a^2 \cos(135\degree) = 2a^2 + \sqrt{2}a^2)] 이므로 [math(b = \sqrt{2 + \sqrt{2}}a)]이다.
- 정팔각형을 마름모꼴과 육각형으로 나누는 대각선(빨강): 삼각비를 이용하면 위 그림에서 [math(a + a \cos(45\degree) + a \cos(45\degree) = (1 + \sqrt{2})a)]이다.
- 정팔각형을 합동인 두 오각형으로 나누는 대각선(녹색): 빨간색 대각선과 그 대각선과 한 점을 공유하는 변이 서로 수직이므로 피타고라스의 정리를 이용하면 [math( \sqrt{((1 + \sqrt{2})a)^2 + a^2})] = [math( \sqrt{4 + 2 \sqrt{2}}a)] 이다. 또는 위 그림에서 서로 한 점을 공유하는 2개의 파란색 대각선이 서로 수직이라는 것을 이용할 수 있다. 이 2개의 파란색 대각선의 끝점의 합집합에 해당하는 3개의 점으로 직각이등변삼각형을 만들면 녹색 대각선이 빗변에 해당하므로 파란색 대각선의 길이의 [math( \sqrt{2})]배라는 점을 이용하면 같은 식을 도출할 수 있다.
- 정십각형의 경우 4가지 경우가 있다. 한 변의 길이를 [math(a)]라고 하면 [math(\left(\dfrac{\sqrt{10+2\sqrt{5}}}{2}\right)a)], [math(\left(\dfrac{3+\sqrt{5}}{2}\right)a)], [math(\left(\sqrt{5+2\sqrt{5}}\right)a)], [math(\left(1+\sqrt{5}\right)a)] 이렇게 4가지가 존재한다.
- 정십이각형의 경우 5가지 경우가 있다. 한 변의 길이를 [math(a)]라고 하면 [math(\left(\dfrac{\sqrt{2}+\sqrt{6}}{2}\right)a)], [math(\left(1+\sqrt{3}\right)a)], [math(\left(\dfrac{3\sqrt{2}+\sqrt{6}}{2}\right)a)], [math(\left(2+\sqrt{3}\right)a)], [math(\left(\sqrt{2}+\sqrt{6}\right)a)] 이렇게 5가지가 존재한다.
3.2. 정다각형의 대각선 길이의 가짓수
정[math(n)]각형의 대각선 길이의 가짓수[3]는 다음 규칙을 따른다.- [math(n)]이 홀수일 때: [math(\dfrac{n-3}{2})]가지
- [math(n)]이 짝수일 때: [math(\dfrac{n-2}{2})]가지
이 식은 정다각형에서 어떤 한 꼭짓점을 선택할 경우 이웃한 꼭짓점과 연결하면 대각선이 만들어지지 않고, 변을 따라갈 때 최소 '[math(2)]칸' 떨어진 경우에만 만들어지는 것에 착안한 것이다. 이렇게 몇[4] 칸 떨어져 있는지의 가능한 경우의 수가 대각선의 가짓수라고 생각하면 된다.
- [math(n)]이 홀수일 때: 선택한 꼭짓점부터 시계 방향으로 이동하면서 각 꼭짓점이 선택한 꼭짓점으로부터 '몇 칸' 떨어져 있는지 세어 보면 각각 [math(0,~1,~2,~3,~...,~\dfrac{n-1}{2},~\dfrac{n-1}{2},~...,~3,~2,~1)]칸 떨어져 있게 된다. 이때 [math(2,~3,~...,~\dfrac{n-1}{2})]에서 가능한 경우의 개수는 [math(\dfrac{n-1}{2} - 1 = \dfrac{n-3}{2})]이다.
- n이 짝수일 때: 같은 방법으로 세어 보면 각각 [math(0,~1,~2,~3,~...,~\dfrac{n-2}{2},~\dfrac{n}{2},~\dfrac{n-2}{2},~...,~3,~2,~1)]칸 떨어져 있게 된다. 이때 [math(2,~3,~...,~\dfrac{n}{2})]에서 가능한 경우의 개수는 [math(\dfrac{n}{2} - 1 = \dfrac{n-2}{2})]이다.
3.3. 특정한 도형에서의 대각선의 성질
- 직사각형에서 두 대각선을 합쳐 만든 X자 형태는 직사각형의 각 변을 가로, 세로와 일치시켰을 때 좌우, 상하 대칭성을 가지며, 정사각형이 아닌 경우 [math(180\degree)] 회전시킬 때마다 같은 모양이 나온다. 각 대각선의 길이는 앞에서 서술한 것처럼 서로 같다.
- 마름모에서 두 대각선은 서로 수직이며, 두 대각선을 가로, 세로와 일치시킬 경우 좌우, 상하 대칭성을 가진다. 또한 정사각형이 아닌 경우 [math(180\degree)] 회전시킬 때마다 같은 모양이 나온다.
- 정사각형은 마름모이면서 직사각형이므로 두 대각선이 서로 수직이며, 길이가 서로 같다. 또한 이 두 대각선을 합친 X자 모양은 [math(90\degree)] 회전할 때마다 그 모양이 같아진다.
- 평행사변형의 두 대각선은 두 쌍의 맞꼭지각을 만든다. 직사각형, 마름모, 정사각형은 모두 평행사변형이므로 대각선에 의해 두 쌍의 맞꼭지각이 만들어진다.
| | |
| 평행사변형의 대각선 | |
| | |
| 마름모의 대각선 | 직사각형의 대각선 |
| | |
| 정사각형의 대각선 | |
| 이미지 출처 | |
- 정[math(2n)]각형([math(n \ge 2)])에서 서로 마주보는 두 꼭짓점을 연결한 대각선은 해당 도형의 중심을 지나기 때문에, 서로 마주보는 두 꼭짓점을 모두 연결하면 그 대각선들은 중심에서 모두 만나면서 * 모양을 만든다. 이때 이 * 모양에서 나타나는 가장 작은 각은 [math(\dfrac{180\degree}{n})]이다. 예를 들어 정사각형의 경우 [math(n=2)]이므로 [math(90\degree)], 정육각형의 경우 [math(n=3)]이므로 [math(60\degree)]이다.
- 반면 정[math(2n+1)]각형([math(n \ge 2)])의 대각선 중에는 해당 도형의 중심을 지나는 것이 존재하지 않는다. 단 n이 클수록 중심과의 거리가 가장 가까운 대각선과 중심과의 거리는 짧아진다.
- 정[math(2n+1)]각형에서 해당 도형의 둘레 선분을 따라 갈 때 같은 개수의 선분만큼 떨어진 꼭짓점들을 모두 연결하여 만든 대각선들은 해당 도형의 중심부에 작은 정[math(2n+1)]각형을 만든다. 예를 들어 정오각형의 5개 대각선을 연결하면 별 모양이 만들어지는데, 이 별 모양의 중심부에 작은 정오각형이 존재한다. 이때 그 개수가 클수록 대각선과 도형의 중심 사이의 거리는 가까워지기 때문에 더 작은 도형이 된다.
- 정사각형을 제외한 정[math(n)]각형에서 2개의 선분만큼 떨어진 꼭짓점들을 모두 연결하여 대각선을 그리면 그 대각선들은 별 모양을 이룬다.[5] 이 때, 별 모양의 중심부에 있는 정[math(n)]각형의 크기는 [math(n)]이 클수록 커지며, 그 모양은 원에 가까워진다. 특히 정육각형에서의 이 별 모양은 중심인 정육각형의 넓이가 가장자리 부분인 정삼각형 6개의 넓이의 합과 같다.
- 일반적인 사다리꼴은 대각선에 아무런 특징이 없으나 등변사다리꼴의 경우에는 사다리꼴의 밑변을 가로와 일치시키면 두 대각선을 합친 X자 모양은 좌우 대칭이 된다. 따라서 두 쌍의 맞꼭지각을 만든다. 하지만 일반적인 등변사다리꼴의 경우 이 두 대각선을 합친 모양을 [math(360\degree)] 미만의 각으로 회전시켰을 때 같은 모양이 되지는 않는다.
- [math(n)]각형이라 할때 [math(n)]의 약수각형은 이을 수 있다.
4. 입체에서의 대각선
다면체에서도 대각선이 존재하는데, 이를 공간대각선이라고 한다. 사면체일 경우에는 대각선이 존재하지 않는다. 사면체의 경우 반드시 삼각뿔과 위상적으로 같은 모양이 되므로 아래 각뿔의 꼭짓점이 없는 이유를 통해 그 이유를 알 수 있다.각뿔의 경우 밑면의 한 꼭짓점을 선택할 경우 나머지 꼭짓점 중 밑면의 꼭짓점과는 밑면을 공유하며, 밑면에 포함되지 않는 꼭짓점과는 2개의 면을 공유하므로 밑면의 꼭짓점을 포함하는 대각선을 만들 수 없다. 또한 각뿔의 모든 꼭짓점 중 밑면에 포함되지 않는 것은 단 1개이므로, 꼭짓점을 연결하여 선분을 만들 때는 밑면에 포함되는 꼭짓점을 적어도 1개 선택해야 하므로 각뿔에는 대각선이 없다.
각기둥의 경우 2개의 서로 다른 밑면이 존재하며 서로 같은 밑면의 꼭짓점을 선택하는 경우 해당 밑면을 공유하므로 대각선이 만들어지지 않는다. 그렇다면 서로 다른 밑면에서 각각 1개씩 선택해야 하는데, 서로 다른 밑면을 각각 A, B라 하자. [math(n)]각기둥의 경우 A에서 1개의 꼭짓점을 선택하면 대각선을 만들기 위하여 B에서는 [math(n-3)]개를 선택할 수 있다.[6] 따라서 [math(n(n-3))]개의 꼭짓점이 존재한다. 예를 들어 후술할 직육면체는 사각기둥으로 볼 수 있으므로 [math(4\times (4 - 3) = 4)]개의 꼭짓점을 갖는다.
쌍각뿔의 경우 각기둥의 쌍대다면체이며 [math(n)]각쌍각뿔이 [math(\dfrac{n(n-3)}{2}+1)]개의 대각선 수를 갖는다.
엇각기둥의 경우 [math(n)]각엇각기둥이 [math(n(n-2))]개의 대각선 수를 갖는다.
엇쌍각뿔의 경우 엇각기둥의 쌍대다면체이며 [math(n)]각엇쌍각뿔이 [math(n(2n-5)+1)]개의 대각선 수를 갖는다.
정육면체를 포함한 직육면체에서는 한 꼭짓점을 선택할 경우 나머지 7개의 꼭짓점 중 그 꼭짓점과 같은 면에 있는 것이 6개이기 때문에, 나머지 단 1개의 꼭짓점을 선택하여 그 꼭짓점까지 잇는 선분이 대각선이 된다. 이렇게 연결하면 전체 꼭짓점 8개의 절반이 총 4쌍의 선분이 만들어지므로, 직육면체의 대각선의 개수는 4개이다. 이때 직육면체의 각 변의 길이를 [math(x,~y,~z)]라 하면 대각선의 길이는 [math( \sqrt{x^2+y^2+z^2})]로 모두 서로 같다.[7] 만약 한 변의 길이가 [math(x)]인 정육면체라면 [math( \sqrt{3}x)]가 된다.
정팔면체에서는 한 꼭짓점을 선택할 경우 나머지 5개의 꼭짓점 중 4개와는 면을 공유하기 때문에 나머지 하나를 선택하여 연결하면 대각선이 된다. 정팔면체에는 총 6개의 꼭짓점이 있기 때문에 2개의 꼭짓점을 각각 쌍을 지어 대각선을 만든다고 생각하면 대각선의 개수는 3개가 된다. 이때 정팔면체의 한 변의 길이를 a라 하면 정팔면체의 각 꼭짓점은 정팔면체의 중심에서 각각 동서남북, 위 아래 수직 방향으로 [math(\displaystyle \frac{\sqrt{2}}{2}a)]만큼 떨어져 있고,[8] 대각선의 길이는 정팔면체의 서로 마주보는 두 꼭짓점 사이의 거리와 같으므로 여기에 2배를 하면 된다. 즉 [math( \sqrt{2}a)]가 된다.
마찬가지로 십이면체와 이십면체도 대각선이 존재하는데 정십이면체에선 100개, 정이십면체에선 36개의 대각선이 나온다.
한 변의 길이가 1이라 할 때,
정십이면체의 한 점의 거리는 5가지 타입이 존재하는데 [math(\left(0\right))]자기점, [math(\left(1\right))]30개, [math(\left(\dfrac{1+\sqrt{5}}{2}\right))]60개, 이들 중 대각선으로 인정되는 것은 3가지 타입이 있으며 [math(\left(\dfrac{\sqrt{2}+\sqrt{10}}{2}\right))]60개, [math(\left(\dfrac{3+\sqrt{5}}{2}\right))]30개, [math(\left(\dfrac{\sqrt{3}+\sqrt{15}}{2}\right))]10개가 있다. [math(\left(\dfrac{1+\sqrt{5}}{2}\right))]의 [math(\left(1\right))], [math(\left(\sqrt{2}\right))], [math(\left(\sqrt{3}\right))]배 길이의 거리값이 존재하며 이들 점을 이으면 정육면체나 정사면체를 만들 수 있다.
정이십면체의 한 점의 거리는 3가지 타입이 존재하는데 [math(\left(0\right))]자기점, [math(\left(1\right))]30개, 이들 중 대각선으로 인정되는 것은 2가지 타입이 있으며 [math(\left(\dfrac{1+\sqrt{5}}{2}\right))]30개, [math(\left(\dfrac{\sqrt{10+2\sqrt{5}}}{2}\right))]6개가 있다. 정팔면체와 마찬가지로 점을 이어서 다른 정다면체를 만들 수 없다.
각 정다면체의 꼭지점으로 만들 수 있는 정다면체는 다음과 같다. (오목정다면체 포함)
- 정사면체: [math(\left\{ 3,3 \right\})]
- 정육면체: [math(\left\{ 4,3 \right\})], [math(\left\{ 3,3 \right\})]
- 정팔면체: [math(\left\{ 3,4 \right\})]
- 정십이면체: [math(\left\{ 5,3 \right\})], [math(\left\{ 5/2,3 \right\})], [math(\left\{ 4,3 \right\})], [math(\left\{ 3,3 \right\})]
- 정이십면체: [math(\left\{ 3,5 \right\})], [math(\left\{ 3,5/2 \right\})], [math(\left\{ 5/2,5 \right\})], [math(\left\{ 5,5/2 \right\})]
정다면체가 아닌 도형의 대각선, 전개도, 한 꼭짓 점에서로부 터의 거리타입 가짓수의 개수는 예시로 육팔면체가 30개, 십이이십면체가 315개가 존재한다. 다만 정다각형 타일링과 쌍곡 타일링의 경우 대각선을 그릴 수는 있어도, 꼭짓점의 수, 모서리의 수, 면의 수가 무수히 많기에 [9] 전개도 및 대각선의 개수를 셀 수 없어 한 꼭짓점서의 거리타입 경우의 가짓수도 당연히 세어볼 수가 없기 때문에 예외에 속한다. 그리고 유클리드 벌집과 쌍곡 벌집은 꼭짓점을 어떻게 연결하더라도 절대로 정다면체가 만들어지지 않아서 정다면체의 대각선으로도 당연히 벌집들을 만들 수가 없다. 그 외에도 존슨의 다면체에 해당하는 n각지붕, n각둥근지붕, (비틀어) 늘린 n각(쌍)뿔, 맞/비틀어 붙인 n각(둥근)지붕, (비틀어) 늘린 맞/비틀어 붙인 n각(둥근)지붕, 뿔이 불은 각기둥과 정다면체, 지붕이 붙은 깎은 정다면체, 자른 정이십면체, 자른 마름모십이이십면체, 그리고 아르키메데스 다면체나 그의 쌍대인 카탈랑 다면체의 대각선이나 전개도의 개수는 모두 몇 개인지 써보도록 하자.
5. 초입체(4차원) 이상 도형에서의 대각선
4차원 정다포체로는 정5포체는 대각선이 없으며 정8포체는 8개, 정16포체는 4개, 정24포체는 108개, 정120포체는 162900개, 정600포체는 6420개 의 대각선이 존재한다.정이십사포체의 한 점의 거리는 4가지 타입이 존재하며 [math(\left(0\right))]자기점, [math(\left(1\right))]96개, [math(\left(\sqrt{2}\right))]72개, 이들 중 대각선으로 인정되는 것은 2가지 타입이 있으며 [math(\left(\sqrt{3}\right))]96개, [math(\left(2\right))]12개가 있다. 이들 점으로 정십육포체나 정팔포체도 만들 수 있다.
정백이십포체의 한 점의 거리는 44가지 타입이 존재하며 대각선으로 인정되는 것은 39가지 타입인데 너무 길어져서 밑에다 썼다.[10]
정육백포체의 한 점의 거리는 8가지 타입이 존재하는데 [math(\left(0\right))]자기점, [math(\left(1\right))]720개, 이들 중 대각선으로 인정되는 것은 7가지 타입이 있으며 [math(\left(\dfrac{1+\sqrt{5}}{2}\right))]1200개, [math(\left(\dfrac{\sqrt{10+2\sqrt{5}}}{2}\right))]720개, [math(\left(\dfrac{\sqrt{2}+\sqrt{10}}{2}\right))]1800개, [math(\left(\dfrac{3+\sqrt{5}}{2}\right))]720개, [math(\left(\dfrac{\sqrt{3}+\sqrt{15}}{2}\right))]1200개, [math(\left(\sqrt{5+2\sqrt{5}}\right))]720개, [math(\left(1+\sqrt{5}\right))]60개가 있다. [math(\left(\dfrac{1+\sqrt{5}}{2}\right))]의 [math(\left(1\right))], [math(\left(\sqrt{2}\right))], [math(\left(\sqrt{3}\right))], [math(\left(2\right))]배 길이의 거리값이 존재하며 이들 점을 이으면 정이십사포체나 정십육포체나 정팔포체를 만들 수 있다.
각 정다포체들의 꼭지점으로 만들 수 있는 정다포체는 다음과 같다.(오목정다포체 포함)
- 정오포체: [math(\left\{ 3,3,3 \right\})]
- 정팔포체: [math(\left\{ 4,3,3 \right\})], [math(\left\{ 3,3,4 \right\})]
- 정십육포체: [math(\left\{ 3,3,4 \right\})]
- 정이십사포체: [math(\left\{ 3,4,3 \right\})], [math(\left\{ 4,3,3 \right\})], [math(\left\{ 3,3,4 \right\})]
- 정백이십포체: [math(\left\{ 5,3,3 \right\})], [math(\left\{ 3,3,5 \right\})], [math(\left\{ 3,3,5/2 \right\})], [math(\left\{ 5/2,3,3 \right\})], [math(\left\{ 3,5/2,5 \right\})], [math(\left\{ 5,5/2,3 \right\})], [math(\left\{ 5/2,5,5/2 \right\})], [math(\left\{ 5,3,5/2 \right\})], [math(\left\{ 5/2,3,5 \right\})], [math(\left\{ 5,5/2,5 \right\})], [math(\left\{ 5/2,5,3 \right\})], [math(\left\{ 3,5,5/2 \right\})], [math(\left\{ 3,4,3 \right\})], [math(\left\{ 4,3,3 \right\})], [math(\left\{ 3,3,4 \right\})], [math(\left\{ 3,3,3 \right\})]
- 정육백포체: [math(\left\{ 3,3,5 \right\})], [math(\left\{ 3,3,5/2 \right\})], [math(\left\{ 3,5/2,5 \right\})], [math(\left\{ 5,5/2,3 \right\})], [math(\left\{ 5/2,5,5/2 \right\})], [math(\left\{ 5,3,5/2 \right\})], [math(\left\{ 5/2,3,5 \right\})], [math(\left\{ 5,5/2,5 \right\})], [math(\left\{ 5/2,5,3 \right\})], [math(\left\{ 3,5,5/2 \right\})], [math(\left\{ 3,4,3 \right\})], [math(\left\{ 4,3,3 \right\})], [math(\left\{ 3,3,4 \right\})]
5차원 이상 정다포체의 대각선은 [math(n)]-단체는 대각선이 없으며 [math(n)]-입방체는 [math(\dfrac{2^n}{2}=2^{n-1})]개, [math(n)]-정축체는 [math(n)]개가 있다.
꼭짓점에서부터 거리 타입은 [math(n)]-단체는 1가지 뿐이며, 모두 꼭짓점이 이웃해 있으므로 대각선이 없고, [math(n)]-초입방체는 [math(n)]가지, [math(n)]-정축체는 2가지가 있는데, 이들 중 대각선이 될 수 있는 것은 오직 서로 마주보는 꼭짓점을 잇는 경우 뿐이다.
반면 5차원에서는 5-입방체, 5-단체와 대각선 길이의 비를 공유하지만 5-입방체의 꼭지점으로는 5-단체를 만들 수 없다.[11] 8-입방체의 꼭지점으로 8-정축체를 만들 수 있으며 [math(2^n)]([math(n)]은 자연수) 차원에서 해당한다.
6. 유클리드 , 쌍곡에서 이어서 만들어지는 도형들
대각선은 아니지만 유클리드 벌집은 [math(\left\{ 3,6 \right\})]의 꼭지점으로 [math(\left\{ 6,3 \right\})]을 이을 수 있으며 [math(\left\{ 3,3,4,3 \right\})]의 꼭지점으로 [math(\left\{ 3,4,3,3 \right\})], [math(\left\{ 4,3,3,4 \right\})]를 이을 수 있다. 쌍곡에선 [math(\left\{ 4,n\right\})]의 꼭지점으로 [math(\left\{ n,n \right\})]을 이을 수 있으며 [math(\left\{ 3,n \right\})]의 꼭지점으로 [math(\left\{ n/2,n \right\})], [math(\left\{ n,n/2 \right\})]도 이을 수 있다.[12] [math(\left\{ 3,3,3,5 \right\})]의 꼭지점으로는 [math(\left\{ 5/2,5,3,3 \right\})], [math(\left\{ 3,3,5,5/2 \right\})], [math(\left\{ 3,5,5/2,5 \right\})], [math(\left\{ 5,5/2,5,3 \right\})]을 이을 수 있다.7. 일반화
초입방체 기반 도형의 대각선의 길이는 유클리드 노름(Euclidean Norm)으로 나타낼 수 있다.5차원 이상의 정다포체로는 [math(n)]차원이라 할때 simplex 종류는 대각선이 없으며 cube 종류는 [math(2^{n-1})]개의 대각선이 존재하며 orthoplex 종류는 n개의 대각선이 존재한다.
그러나 [math(n)]차원 정규 벌집은 정다각형 테셀레이션과 마찬가지로 꼭짓점(0차원), 모서리(1차원), 다각형 면(2차원), 포체(3차원), 4차원 도형 등 [math(n-1)]차원 이하의 모든 도형의 개수가 무수히 많으므로 개수를 셀 수 없다. 따라서 정규 벌집 역시 정다각형 테셀레이션과 마찬가지로 대각선을 그릴 수는 있지만, 꼭짓점, 모서리, 다각형 면, 3차원 도형의 개수가 무수히 많아 대각선도 무수히 많아 그 개수를 셀 수가 없으므로, 정다각형 테셀레이션과 정규 벌집의 대각선의 개수는 구할 수가 없다.
8. 벡터와 대각선
- 원점 O에서 각각 A, B로 향하는 두 벡터의 합을 구할 때 평행사변형을 이용하기도 하는데, 이 평행사변형에서 벡터의 합은 O를 포함하는 대각선에 해당한다. 즉 이 대각선에서 O에서 출발하여 다른 꼭짓점에 도달하는 벡터이다.
- 마찬가지로, 공간상의 원점 O에서 서로 수직인 세 벡터의 합은 그 세 벡터의 길이를 각각의 변의 길이로 하는 직육면체의 원점 O를 포함하는 대각선에 해당한다. 역시 O에서 출발한다.
- 위의 유클리드 노름과 연관지어 본다면, 내적의 제곱근([math(\sqrt{\left< {\bold a},\,{\bold b} \right>})])이 벡터의 대각선의 크기가 된다.
9. 관련 사례
9.1. 현실에서
이미지 출처
- 요즘 주차장에는 직선 주차장이 없어지고 대각선 주차장이 많아지고 있는 상황이다. 운전자 중심의 대각선 주차는 주차가 편리하고 안전 거리 확보도 잘 되기 때문이다. 그러나 예산이 없어 안 되는 곳도 있다고 한다. 또 대각선 형태는 필연적으로 직사각형 형태인 자동차를 배치할 때 공간 효율이 떨어지게 되는 문제가 있어, 주어진 면적에 주차공간을 최대한 확보해야 하는 아파트 주차장 등에는 잘 사용하지 않는다.
| 원 안에 대각선이 있는 모양 | 대각선을 교차한 가위표 모양 |
- 금지, 정지, 틀림과 기타 부정을 나타내는 기호로 원 안에 대각선이 있는 모양이나 대각선을 교차한 가위표가 많이 쓰인다.
- 갤럭시 노트7을 홍보하는 그림 중에는 스마트폰 화면의 검은색의 7자 모양 왼쪽 아래에 노트7의 상징이라고 할수있는 S펜 형태의 대각선이 여러 개 그려져 있는 것이 있다. 보기
- 차량용 신호등의 신호 중에는 직진, 좌회전뿐만 아니라 대각선 방향 신호도 있다. 주로 오거리나 육거리 등의 교차로에서 볼 수 있으며, 가끔씩 삼거리나 사거리에도 설치된 경우가 있다.
- 일부 교차로에는 직선 횡단보도뿐만 아니라 대각선 횡단보도가 있다.
- 핸드폰 등 전자제품의 크기는 대각선으로 잰다. 4인치 5인치 하는 게 바로 이거다. 가로와 세로 길이로 나타내려면 두 개의 수치가 필요하므로 하나만 있어도 되는 대각선을 사용하는 것이다. 그래서 4.8인치가 5인치보다 클 수 있다.
9.2. 게임 및 창작물에서
- 장기 계열의 보드게임 중에 대각선으로 움직이는 말이 존재하는 것들이 많이 있다.
- 한국의 장기에는 대각선으로만 이동하는 말은 없으나, 마(馬)와 상(象)같은 경우는 직선과 대각선 이동을 병행한다. 마는 직선으로 1칸, 대각선으로 1칸 이동하며, 상은 직선으로 1칸, 대각선으로 2칸 이동한다. 둘 다 직선 이동 후의 대각선 이동은 이동경로의 반대방향으로는 갈 수 없다. 또, 장기판의 양쪽 끝에는 교차된 대각선이 그어진 곳이 있고 이를 궁성이라고 하는데, 그 안에 있으면 직선 이동하는 말들이 대각선으로 이동할 수 있다.
- 체스의 비숍은 장애물이 없을 때 대각선으로 몇 칸이든 이동할 수 있으며, 폰은 상대방의 기물을 잡을 때 대각선으로 한 칸 이동한다. 비숍과 룩의 기능을 합친 퀸도 대각선 이동이 가능하다. 다만 한국 장기에서도 궁성(장기말 양쪽 끝의 교차된 대각선이 그어진 곳) 안에 있으면 직선 이동하는 말들이 대각선으로 이동할 수 있다.
- 체커 말은 대각선 전방으로 움직이며, 판 끝에 다다라 킹으로 승급하면 대각선 후반으로도 움직일 수 있다.
- 태국의 전통 보드게임인 막룩에서도 대각선으로 움직일 수 있는 말들이 있으나, 체스의 비숍처럼 여러 칸씩 이동할 수 있는 건 없고 모두 한 칸씩만 이동한다. 체스의 폰에 대응되는 비아(เบี้ย)는 상대의 기물을 잡을 때만 대각선으로 진행하고, 콘(โคน)은 대각선 네 방향과 전진 방향으로 한 칸씩만 진행하며, 멧(เม็ด)은 대각선 방향으로만 한 칸씩 전진하고, 체스의 킹과 대응되는 쿤(ขุน)은 전후좌우와 대각선으로 한 칸씩 움직인다.
- 중국의 샹치에서는 한국 장기와 달리 사(士)를 제외한 다른 말들은 궁성에서도 대각선 이동을 할 수가 없다. 그리고 사는 대각선 방향으로 1칸씩만 움직인다. 샹치의 상(象)은 대각선으로 2칸 움직인다.
- 일본의 쇼기에서는 왕장(전후좌우 + 대각선 1칸씩), 각행(체스의 비숍과 동일, 승급을 하면 전후좌우 한칸 씩이 추가됨), 금장(전후좌우 + 앞쪽 대각선 1칸씩), 은장(막룩의 콘과 동일)이 대각선 이동을 할 수 있다. 또한 승격을 한 말 중에서도 비차(장기의 차(車)와 동일)가 승격한 용왕(비차의 움직임에서 대각선 네 방향 1칸씩 이동이 추가됨)과, 은장, 계마, 향차, 보병이 승격한 성은, 성계, 성향, 토금(모두 금장과 움직임이 동일해져 앞쪽 대각선으로 1칸씩 이동이 가능해짐)은 대각선 이동을 할 수 있다.
- 소설, 게임, 만화 등에서 마법진을 표현할 때도 정다각형에 대각선이 있는 형태가 많이 등장한다. 예를 들어 오망성의 겉부분에 정오각형을 그려서 그 오각형의 대각선 5개로 이루어진 것으로 만들거나, 육망성의 겉부분에 정육각형을 그려서 마찬가지로 만드는 것이 있다.
- 보통 3차원 게임(fps 등) 에서는 앞, 뒤나 오른쪽, 왼쪽이 아닌 서로 다른 두 키를 누르면 대각선으로 이동한다.
- 틱택토, 오목에서는 가로, 세로, 대각선으로 각각 3개, 5개의 같은 색 말을 놓으면 승리하는데, 일반적으로 가로, 세로보다 대각선으로 놓을 수 있는 경우를 찾기가 어렵다.
- 사진 등 미술 작품의 구도 중에는 '대각선 구도' 가 있다.
10. 여담
- 2013년 여름 '강력한 티켓 파워를 가진 고3 수험생들이' 라는 대각선 착시 현상이 이슈가 된 적이 있었다. 한 줄의 길이가 반복되는 부분 2개의 길이보다 약간 짧고, 여기에다가 '강력한' 부분으로 인해 내용 전체를 볼 경우 대각선이 있는 듯한 착각을 불러일으키기 때문. 관련기사
- 우리민족끼리 테러 사건에서 어떤 용자가 북한 김부자 찬양글을 가장한 아 시발 김정일이란 희대의 명문을 대각선으로 써서 올린 적이 있다.
10.1. 대각선의 법칙
- AOS게임 리그 오브 레전드에서는 위쪽 공격로가 잘 풀리면 아래쪽 공격로가 망하고, 아래쪽 공격로가 잘 풀리면 위쪽 공격로가 망하는 식으로 양 팀의 균형이 맞게 되는 경우가 자주 있는데 이런 상황을 롤 유저들이 반 장난식으로 대각선의 법칙 이라 부르곤 한다. 상세하게 분석을 하자면, 탑라이너와 바텀라이너들의 각 전투력이 같은 상황에서 한 쪽이 무너지려면 정글러 내지 미드라이너의 개입이 필수인데, 이러한 개입으로 한 라인이 무너지면 다른 한 라인 쪽에 정글러가 있을 확률이 높기에 이 곳으로 다른 정글러의 개입이 있거나, 정글러가 오지 않더라도 한 쪽이 정글러의 위치를 완전히 알기 때문에 위협적으로 공격할 수 있기에 양 쪽 라인이 균형을 이룰 수 있다. 그러므로 정글러들의 소규모 한타에서는 어느 쪽에서 일어나도 크게 영향을 받지 않는 법칙이다. 물론 각자의 전투력이 같을 때의 가능하므로 항상 적용되는 법칙도 아니다.
11. 관련 문서
- 대각선 논법: 자연수의 집합과 실수의 집합의 원소의 개수가 서로 다르다는 것을 증명할때 사용했던 논법.
- 대각선 화살표: 특수 기호 중 하나다.
- 슬래시 · 백슬래시: 대각선 화살표와 마찬가지로 특수 기호 중 하나이다.
- 비숍(체스): 체스에서 대각선으로만 이동할 수 있다.
- 최단거리
[1] 유클리드 기하학에서 선분이 1개로 겹쳐지는 것과 연관이 있어 보인다.[2] [math(\overline{\mathrm {AB}})] = [math(\overline{\mathrm {BA}})][3] 선분은 방향을 고려하지 않으면 길이로만 구분 가능하기 때문에 대각선의 길이로 구분해야 한다. 따라서 서로 같은 길이의 대각선들은 묶어서 1가지로 본다.[4] 2 이상[5] 중심부는 정[math(n)]각형이고, 가장자리 부분은 모두 이등변삼각형이다.[6] A의 해당 꼭짓점에 대응되는 꼭짓점 또는 그 점의 이웃한 2개의 꼭짓점과는 면을 공유한다.[7] 공간좌표에서 [math(x,~y,~z)] 좌표축이 각각 직육면체의 한 변을 포함하고 한 꼭짓점의 좌표를 [math((0,~0,~0))], 즉 원점이라고 하면 대각선으로 연결된 다른 꼭짓점의 좌표는 [math((x,~y,~z))]라고 할 수 있다. 기하와 벡터에 나오는 좌표공간에서의 거리 공식을 이용하여 길이를 구하면 이와 같이 나온다.[8] 정팔면체의 중심과 한 변을 이루는 두 꼭짓점을 꼭짓점으로 하는 삼각형은 그 변이 빗변에 해당하는 직각이등변삼각형이므로 피타고라스의 정리를 이용하여 알 수 있다.[9] 단, 3차원의 쌍곡은 일단 음수개로 나오는 걸 보아 다각형 면, 모서리, 꼭짓점의 수가 유한개인 것 같다. 물론 이포각 크기이나 전개도, 대각선의 수는 알 수 없다.[10] 일단 한 점의 거리 44개를 적어놓았으며 중복도 있어서 실질적으로는 30개이다. 여기서 괄호의 덧셈은 중복 거리값이다.[math(\left(0\right))]자기점, [math(\left(1\right))]1200개, [math(\left(\dfrac{1+\sqrt{5}}{2}\right))]3600개, [math(\left(\dfrac{\sqrt{2}+\sqrt{10}}{2}\right))]7200개, [math(\left(\dfrac{3+\sqrt{5}}{2}\right))]3600개, [math(\left(\dfrac{\sqrt{3}+\sqrt{15}}{2}\right))]1200개, 이들 중 대각선으로 인정되는 것은 [math(\left(\sqrt{5+2\sqrt{5}}\right))]7200개, [math(\left(\dfrac{\sqrt{26+10\sqrt{5}}}{2}\right))](3600개+3600개), [math(\left(\dfrac{3\sqrt{2}+\sqrt{10}}{2}\right))](1200개+1200개+7200개), [math(\left(\dfrac{\sqrt{34+14\sqrt{5}}}{2}\right))](3600개+3600개), [math(\left(2+\sqrt{5}\right))]3600개, [math(\left(\sqrt{10+4\sqrt{5}}\right))]7200개, [math(\left(\dfrac{3\sqrt{3}+\sqrt{15}}{2}\right))](1200개+7200개), [math(\left(\sqrt{12+5\sqrt{5}}\right))](3600개+3600개), [math(\left(\dfrac{\sqrt{50+22\sqrt{5}}}{2}\right))]7200개, [math(\left(3+\sqrt{5}\right))](7200개+1800개+7200개), [math(\left(\dfrac{\sqrt{62+26\sqrt{5}}}{2}\right))]7200개, [math(\left(\sqrt{16+7\sqrt{5}}\right))](3600개+3600개), [math(\left(\dfrac{5+3\sqrt{5}}{2}\right))](1200개+7200개), [math(\left(2\sqrt{2}+\sqrt{10}\right))]7200개, [math(\left(\sqrt{19+8\sqrt{5}}\right))]3600개, [math(\left(\dfrac{\sqrt{78+34\sqrt{5}}}{2}\right))](3600개+3600개), [math(\left(\dfrac{3\sqrt{6}+\sqrt{30}}{2}\right))](1200개+1200개+7200개), [math(\left(\dfrac{\sqrt{86+38\sqrt{5}}}{2}\right))](3600개+3600개), [math(\left(\sqrt{23+10\sqrt{5}}\right))]7200개, [math(\left(\dfrac{7+3\sqrt{5}}{2}\right))]1200개, [math(\left(\dfrac{3\sqrt{7}+\sqrt{35}}{2}\right))]3600개, [math(\left(\sqrt{25+11\sqrt{5}}\right))]7200개, [math(\left(\dfrac{\sqrt{106+46\sqrt{5}}}{2}\right))]3600개, [math(\left(2\sqrt{3}+\sqrt{15}\right))]1200개, [math(\left(3\sqrt{2}+\sqrt{10}\right))]300개 가 있다. [math(\left(\dfrac{3\sqrt{2}+\sqrt{10}}{2}\right))]의 [math(\left(1\right))], [math(\left(\sqrt{2}\right))], [math(\left(\sqrt{3}\right))], [math(\left(2\right))]배 길이의 거리값이 존재하며 이들 점을 이으면 정이십사포체나 정십육포체나 정팔포체를 만들 수 있다. 또한 [math(\left(\dfrac{\sqrt{2}+\sqrt{10}}{2}\right))]의 [math(\left(1\right))], [math(\left(\dfrac{1+\sqrt{5}}{2}\right))], [math(\left(\dfrac{\sqrt{10+2\sqrt{5}}}{2}\right))], [math(\left(\dfrac{\sqrt{2}+\sqrt{10}}{2}\right))], [math(\left(\dfrac{3+\sqrt{5}}{2}\right))], [math(\left(\dfrac{\sqrt{3}+\sqrt{15}}{2}\right))], [math(\left(\sqrt{5+2\sqrt{5}}\right))], [math(\left(1+\sqrt{5}\right))]배 길이의 거리값이 존재하며 이들 점을 이으면 정육백포체도 만들 수 있다. 심지어 정오포체도 만들 수 있는데 0, [math(\left(\dfrac{5+3\sqrt{5}}{2}\right))]의 점을 이으면 만들 수 있다. 정오포체의 초구의 지름과 한 변의 길이의 비인 [math(\dfrac{2\sqrt{10}}{5}:1)]가 정백이십포체의 꼭지점에도 성립해서 그렇다.[11] 4차원까지의 정다포체는 우연인지는 모르겠지만 거리의 비가 같으면 동시에 다른 정다포체를 이으는게 성립한다. 반면 5-단체의 초구의 지름과 한 변의 길이의 비인 [math(\dfrac{\sqrt{15}}{3}:1)]를 5-입방체도 공유하지만 5-단체의 경우 해당 꼭지점이 5개이며 일반 5-cell을 이루지만 5-입방체의 경우 해당 꼭지점이 10개이며 rectified 5-cell를 이루어서 5-입방체의 꼭지점으로 5-단체를 만드는게 불가능하다.[12] 예외로 [math(\left\{ 3,8 \right\})]의 꼭지점으로는 [math(\left\{ 4,8 \right\})], [math(\left\{ 8,4 \right\})], [math(\left\{ 8,8 \right\})]도 이을 수 있다.