| 정수론 Number Theory | |||
| {{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" | 공리 | ||
| 페아노 공리계 · 정렬 원리 · 수학적 귀납법 · 아르키메데스 성질 | |||
| 산술 | |||
| 나눗셈 | 약수·배수 | 배수 · 약수(소인수) · 소인수분해(목록 · 알고리즘) · 공배수 · 공약수 · 최소공배수 · 최대공약수 | |
| 약수들의 합에 따른 수의 분류 | 완전수 · 부족수 · 과잉수 · 친화수 · 사교수 · 혼약수 · 반완전수 · 불가촉 수 · 괴짜수 | ||
| 정리 | 베주 항등식 · 산술의 기본정리 · 나눗셈 정리 | ||
| 기타 | 유클리드 호제법 · 서로소 | ||
| 디오판토스 방정식 | 페르마의 마지막 정리 · 피타고라스 세 쌍 · 버치-스위너턴다이어 추측(미해결) | ||
| 모듈러 연산 | |||
| 잉여역수 · 2차 잉여 · 기약잉여계 · 완전잉여계 · 중국인의 나머지 정리 · 합동식 · 페르마의 소정리 · 오일러 정리 · 윌슨의 정리 | |||
| 소수론 | |||
| 수의 분류 | 소수 · 합성수 · 메르센 소수 · 쌍둥이 소수(사촌 소수 · 섹시 소수) · 페르마 소수 · 레퓨닛 수 | ||
| 분야 | 대수적 정수론(대수적 정수론/심화) · 해석적 정수론 | ||
| 산술함수 | 뫼비우스 함수 · 소수 계량 함수 · 소인수 계량 함수 · 약수 함수 · 오일러 파이 함수 · 폰 망골트 함수 · 체비쇼프 함수 · 소수생성다항식 | ||
| 정리 | 그린 타오 정리 · 페르마의 두 제곱수 정리 · 디리클레 정리 · 소피 제르맹의 정리 · 리만 가설(미해결) · 골드바흐 추측(미해결)(천의 정리) · 폴리냑 추측(미해결) · 소수 정리 | ||
| 기타 | 에라토스테네스의 체 · 윌런스의 공식 | ||
1. 개요
피타고라스 정리는 직각삼각형의 빗변의 제곱이 밑변의 제곱과 높이의 제곱의 합과 같다는 것이다. 즉 밑변을 [math(a)], 높이를 [math(b)], 빗변을 [math(c)]라고 놓으면 [math(a^2+b^2=c^2)]이라는 부정방정식[1]이 된다. 여기서 [math(a, b, c)]의 해를 자연수로 한정한다.[2] 이제 가능한 해들을 나열해 보면[math(\{3,4,5\})]
[math(\{6,8,10\})]
[math(\{5,12,13\})]
[math(\{8,15,17\})]
[math(\{7,24,25\})]
[math(\{9,40,41\})]
[math(\{9,12,15\})]
[math(\{20,21,29\})]
등이 있다. 이러한 목록들을 피타고라스 세 쌍(Pythagorean triple)이라고 부른다. 여기서 [math(\{6,8,10\})]같은 경우 해들이 2를 공약수로 가지는데 공약수를 1만 가지는 경우만 생각하자. 이런 경우를 만족하는 해를 원시 피타고라스 세 쌍(primitive Pythagorean triple)이라고 부른다.
흔히 '피타고라스 수'라고 곧잘 불리는데, 사실 이것은 '수'도 아니고 수 1개만으로는 의미를 갖지도 않는다.[3][4]
원시 피타고라스 세 쌍 [math(a,b, c)]에서 [math(\displaystyle (a, b, c)= \left (st, \dfrac{s^2-t^2}{2}, \dfrac{s^2+t^2}{2} \right) )]의 형태로 나타낼 수 있음이 알려져 있다. (단, [math(s)], [math(t)]는 서로소인 홀수이며, [math(s>t)])
한편 원시 피타고라스 세 쌍에서 가장 큰 값인 [math(c)]는, 두 제곱수의 합 정리와 연관지어 생각할 수 있다.
2. 구성
피타고라스 세 쌍을 나타내는 공식적인 기호가 정의돼 있지 않으므로, 편의상 집합의 기호를 피타고라스의 이름 앞글자에서 따온 [math(\pi)]의 변형자인 [math(\varpi)]로 한다. 정자인 [math(\pi)]를 쓰지 않는 이유는 원주율, 삼투압, 소수 계량 함수 등 다른 용례가 많기 때문.피타고라스 세 쌍은 무한집합이며 여기서는 앞 10항까지의 원소 집합을 나열한다. 이 10항 중 [math(\varpi_3, \varpi_6, \varpi_8, \varpi_{10})]을 제외한 원소는 원시 피타고라스 세 쌍이다.
- [math(\varpi_1 = \{3,4,5\})]
- [math(\varpi_2 = \{5,12,13\})]
- [math(\varpi_3 = \{6, 8, 10\})]
- [math(\varpi_4 = \{7, 24, 25\})]
- [math(\varpi_5 = \{8, 15, 17\})]
- [math(\varpi_6 = \{9, 12, 15\})]
- [math(\varpi_7 = \{9, 40, 41\})]
- [math(\varpi_8 = \{10, 24, 26\})]
- [math(\varpi_9 = \{11, 60, 61\})]
- [math(\varpi_{10} = \{12, 16, 20\})]
한편 피타고라스 세 쌍은 환이 되지 못한다. 가령, 원소 집합 두 개만 취해서[5] 곱집합을 만들면 피타고라스 세 쌍이 되지 못한다.
| [math(\{3,4,5\} \times \{5,12,13\} = \{\{3,5\}, \{3,12\}, \{3,13\}, \{4,5\}, \{4,12\}, \{4,13\}, \{5,5\}, \{5,12\}, \{5,13\}\}\, \cancel{\subset} \,\varpi)] |
3. 찾는 방법
- 실수 부분과 허수부분이 모두 정수인 [math(a+ bi)]를 정한다.
- 복소수 [math(z=x + yi=(a+ bi)^2)]에 대해서 [math(|z|)]를 구한다. (단, [math(x)], [math(y)]는 실수)
- [math(\{|x|,|y|,|z|\})]는 피타고라스 세 쌍이다.
예를 들면 다음과 같다. [math(2+5i)]에 대해서 [math(z=-21 +20i)], [math(|z|^2=841)]이므로 [math(|z|=29)]이다. 따라서 [math(\{20,21,29\})]는 피타고라스 세 쌍이다.
위 경우에는 원시 피타고라스 세 쌍을 찾았지만, 항상 그런 것은 아니다. 예를 들어, [math(3+i)]로 [math(\{6, 8,10\})]을 찾을 수 있다.
4. 기타
'자연수 집합을 둘로 분할해서 각 분할이 피타고라스 세 쌍을 부분집합으로 가지지 못하게 만들 수 있을까?'라는 100달러짜리 문제가 있었는데, 7825부터 안 된다[6]는 것이 밝혀졌다. 4색정리마냥 컴퓨터를 동원해 푼 결과였고 그 결과 나온 증명은 무려 200TB에 달한다.피타고라스 세 쌍으로 만든 모든 삼각형은 특수각이 나오지 않는다. 특수각의 정의에 무리수가 들어가기 때문이다. 이 경우 각도기로 직접 측정해서 어림값을 구하든가, 혹은 역삼각함수에다 넣고 계산 노가다를 해야 한다.[7]
세 자연수가 연속하는 피타고라스 세 쌍은 [math(\{3,4,5\})]가 유일하다. 세 연속하는 자연수 중 큰 수의 제곱값이 다른 두 수의 제곱값의 합이 될 조건을 만족하는 세 연속하는 자연수는 3, 4, 5밖에 없기 때문이다.
전기기사 공부를 하다 보면 처음 3~4개의 피타고라스 순서쌍까지는 임피던스 계산 등에서 많이 보므로 필히 암기해야 한다.[8]
5. 관련 문서
[1] 디오판토스 방정식의 한 종류이다.[2] 자연수로 한정하지 않는 경우는 따로 삼각함수라고 칭한다.[3] 이런 '집합을 원소로 갖는 집합'을 집합족(family of sets)이라고 한다.[4] 이렇게 된 것은 학생들이 집합에 대한 개념도 아직 제대로 서지 못한 상태에서 '집합의 집합'을 이야기하기에는 학습적 부담이 크기 때문으로 보인다(엉성하게 가르쳤다간 '집합족의 원소'와 '부분집합'을 헷갈리는 사태가 생긴다...).[5] 같은 원소여도 마찬가지이다.[6] 즉, 어떻게 집합을 분할하든 적어도 한 분할은 피타고라스 세 쌍을 반드시 포함한다.[7] 실제로 모든 피타고라스 세 쌍으로 구성한 유리수를 취한 역삼각함수의 함숫값은 환원 불능(casus irreducibilis)이다.[8] 특히 {6,8,10}쌍은 역률을 이용해서 값을 계산할 때 징그럽게 많이 본다. 계산의 편의를 위해 0.6 또는 0.8로 주어지는 경우가 대부분이기 때문이다.