| 정수론 Number Theory | |||
| {{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" | 공리 | ||
| 페아노 공리계 · 정렬 원리 · 수학적 귀납법 · 아르키메데스 성질 | |||
| 산술 | |||
| 나눗셈 | 약수·배수 | 배수 · 약수(소인수) · 소인수분해(목록 · 알고리즘) · 공배수 · 공약수 · 최소공배수 · 최대공약수 | |
| 약수들의 합에 따른 수의 분류 | 완전수 · 부족수 · 과잉수 · 친화수 · 사교수 · 혼약수 · 반완전수 · 불가촉 수 · 괴짜수 | ||
| 정리 | 베주 항등식 · 산술의 기본정리 · 나눗셈 정리 | ||
| 기타 | 유클리드 호제법 · 서로소 | ||
| 디오판토스 방정식 | 페르마의 마지막 정리 · 피타고라스 세 쌍 · 버치-스위너턴다이어 추측(미해결) | ||
| 모듈러 연산 | |||
| 잉여역수 · 2차 잉여 · 기약잉여계 · 완전잉여계 · 중국인의 나머지 정리 · 합동식 · 페르마의 소정리 · 오일러 정리 · 윌슨의 정리 | |||
| 소수론 | |||
| 수의 분류 | 소수 · 합성수 · 메르센 소수 · 쌍둥이 소수(사촌 소수 · 섹시 소수) · 페르마 소수 · 레퓨닛 수 | ||
| 분야 | 대수적 정수론(국소체) · 해석적 정수론 | ||
| 산술함수 | 뫼비우스 함수 · 소수 계량 함수 · 소인수 계량 함수 · 약수 함수 · 오일러 파이 함수 · 폰 망골트 함수 · 체비쇼프 함수 · 소수생성다항식 | ||
| 정리 | 그린 타오 정리 · 페르마의 두 제곱수 정리 · 디리클레 정리 · 소피 제르맹의 정리 · 리만 가설(미해결) · 골드바흐 추측(미해결)(천의 정리) · 폴리냑 추측(미해결) · 소수 정리 | ||
| 기타 | 에라토스테네스의 체 · 윌런스의 공식 | ||
[clearfix]
1. 개요
Théorème de Sophie Germain / Sophie Germain 定理정수론에서 가장 오래된 떡밥인 페르마의 마지막 정리를 증명하는데 큰 도움을 준 정리이다. 이름 그대로 19세기 프랑스의 수학자인 소피 제르맹이 증명했다.
p가 소피 제르맹 소수. 즉 p와 2p+1이 둘 다 소수일 때, 이때, 서로소인 정수 [math(x, y, z)]가 [math(x^p + y^p + z^p = 0)]을 만족시킨다고 가정하면 이하의 성질을 만족시킨다.
[math(xyz\equiv 0 \pmod{\theta} \Leftrightarrow x^p + y^p + z^p \equiv 0 \pmod{\theta})].(단, [math(\theta)]는 소수.)[1]
[math(\forall x, \nexists x^p \equiv p \pmod{\theta})]
[math(xyz\equiv 0 \pmod{\theta} \Leftrightarrow x^p + y^p + z^p \equiv 0 \pmod{\theta})].(단, [math(\theta)]는 소수.)[1]
[math(\forall x, \nexists x^p \equiv p \pmod{\theta})]
소피 제르맹은 이 정리를 이용하여 100 이하의 모든 소피 제르맹 소수에 대해 페르마의 마지막 정리가 성립한다는 것을 보였다. 정확히는 소피 제르맹이 제시한 정리는 다음과 같다.
임의의 보조 소수 [math(\theta)]를 가정하자.
1. 0이 아닌 [math(p)]의 서로 다른 두 거듭제곱이 법 [math(\theta)]에 대하여 합동이다.
1. [math(p)]는 어떠한 수의 [math(p)] 거듭제곱과도 법 [math(\theta)]에 대하여 합동이 아니다.
이 두 조건을 만족하는 보조 소수 [math(\theta)]가 존재할 경우, [math(x^p+y^p+z^p=0)]일 때[2], [math(x,y,z)]중 적어도 하나는 [math(p^2)]의 배수이다.
1. 0이 아닌 [math(p)]의 서로 다른 두 거듭제곱이 법 [math(\theta)]에 대하여 합동이다.
1. [math(p)]는 어떠한 수의 [math(p)] 거듭제곱과도 법 [math(\theta)]에 대하여 합동이 아니다.
이 두 조건을 만족하는 보조 소수 [math(\theta)]가 존재할 경우, [math(x^p+y^p+z^p=0)]일 때[2], [math(x,y,z)]중 적어도 하나는 [math(p^2)]의 배수이다.
이를 일반화한 게 100 미만의 소피 제르맹 소수 전반으로 확장된 바로 위의 문장. 그 후, 이를 분석한 수학자들에 의해 100의 상한은 197로, 그 이후 1700까지 증가했다. 참고로 소피 제르맹은 저 아이디어를 바탕으로 [math(n=5)]일 때를 증명해냈다.
2. 소피 제르맹 소수 / 안전 소수
어떤 수 p 와 2p+1이 동시에 소수일 때, p 를 소피 제르맹 소수, 2p+1을 안전 소수(safe prime)라고 부른다. 안전 소수라는 이름이 붙은 이유는 이런 소수를 이용하여 암호 알고리즘을 만들 경우 해독이 더 어려워지기 때문이라고 한다.예를 들어 p = 5일 때, 2p+1 = 11로 소수이므로, 5는 소피 제르맹 소수, 11은 안전 소수가 된다.
소피 제르맹 소수는 무한히 많을 것으로 추측되지만, 증명되지는 않았다.
2.1. 1000보다 작은 소피 제르맹 소수 목록
| 소피 제르맹 소수 | 안전 소수 |
| 2 | 5 |
| 3 | 7 |
| 5 | 11 |
| 11 | 23 |
| 23 | 47 |
| 29 | 59 |
| 41 | 83 |
| 53 | 107 |
| 83 | 167 |
| 89 | 179 |
| 113 | 227 |
| 131 | 263 |
| 173 | 347 |
| 179 | 359 |
| 191 | 383 |
| 233 | 467 |
| 239 | 479 |
| 251 | 503 |
| 281 | 563 |
| 293 | 587 |
| 359 | 719 |
3. 관련 문서
[1] [math(xyz\equiv 0 \pmod{\theta})]는 이 방정식을 만족하는 정수쌍은 자명한 해 밖에 없다라는 의미다. [math(p, \theta)]가 소수이므로 [math(xyz\equiv 0 \pmod{\theta})]인 시점에서 [math(x, y, z)] 셋 중 하나는 [math(\theta)]의 배수여야 하며, 여기에 이 세 쌍이 반드시 가져야만 하는 성질(예를 들어서 세 수를 곱하면 반드시 [math(p)]의 배수여야 한다.)을 총 동원할 경우 [math(xyz=0)](즉 [math(x^p+0=z^p)]이거나 [math(x^p+(-x)^p=0)])일 수밖에 없기 때문.[2] [math(p)]가 3 이상의 소수이기 때문에 [math(x^p+y^p=(-z)^p)]와 동치다.