최근 수정 시각 : 2022-01-14 19:33:09

소피 제르맹의 정리

정수론
Number Theory
{{{#!wiki style="margin:0 -10px -5px"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin:-6px -1px -11px"
공리
페아노 공리계 · 정렬 원리 · 수학적 귀납법
산술
나눗셈 약수·배수 배수 · 약수( 소인수) · 소인수분해( 목록) · 공배수 · 공약수 · 최소공배수 · 최대공약수
약수들의 합에 따른 수의 분류 완전수 · 부족수 · 과잉수 · 친화수 · 사교수 · 부부수 · 반완전수 · 불가촉 수 · 괴짜수
정리 베주 항등식 · 산술의 기본정리 · 나눗셈 정리
기타 유클리드 호제법 · 서로소
디오판토스 방정식 페르마의 마지막 정리 · 피타고라스 세 쌍 · 버츠와 스위너톤-다이어 추측(미해결)
모듈러 연산
잉여역수 · 2차 잉여 · 기약잉여계 · 완전잉여계 · 중국인의 나머지 정리 · 합동식 · 페르마의 소정리 · 오일러 정리 · 윌슨의 정리
소수론
수의 분류 소수 · 합성수 · 메르센 소수 · 쌍둥이 소수( 사촌 소수 · 섹시 소수) · 페르마 소수 · 레퓨닛 수
분야 대수적 정수론 · 해석적 정수론
함수 뫼비우스 함수 · 소수 계량 함수 · 소인수 계량 함수 · 약수 함수 · 오일러 파이 함수 · 폰 망골트 함수· 체비쇼프 함수 · 소수생성다항식
정리 그린 타오 정리 · 페르마의 두 제곱수 정리 · 디리클레 정리 · 소피 제르맹의 정리 · 리만 가설(미해결) · 골드바흐 추측(미해결)( 천의 정리) · 폴리냑 추측(미해결) · 소수 정리
기타 에라토스테네스의 체 · 윌런스의 공식
}}}}}}}}} ||


1. 개요2. 소피 제르맹 소수3. 관련 문서

[clearfix]

1. 개요

Sophie Germain's theorem

정수론에서 가장 오래된 떡밥인 페르마의 마지막 정리를 증명하는데 큰 도움을 준 정리이다. 이름 그대로 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)]는 소수.)
[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)]일 때[1], [math(x,y,z)]중 적어도 하나는 [math(p^2)]의 배수이다.

이를 일반화한 게 100 미만의 소피 제르맹 소수 전반으로 확장된 바로 위의 문장. 그 후, 이를 분석한 수학자들에 의해 100의 상한은 197로, 그 이후 1700까지 증가했다. 참고로 소피 제르맹은 저 아이디어를 바탕으로 [math(n=5)]일 때를 증명해냈다.

2. 소피 제르맹 소수

어떤 수 p 와 2p+1이 동시에 소수일 때, p 를 소피 제르맹 소수라고 부른다.

예를 들어 p = 5일 때, 2p+1 = 11은 소수이므로, 5는 소피 제르맹 소수가 된다. 100보다 작은 소피 제르맹 소수는 2, 3, 5, 11, 23, 29, 41, 53, 83, 89이다.

소피 제르맹 소수는 무한히 많을 것으로 추측하지만, 증명되지는 않았다.

암호학에서 2p+1이 소수인 경우, 이 2p+1은 안전 소수(safe prime)라고 부르는데, 이런 소수를 이용하여 암호화할 경우 해독이 더 어려워진다고 한다.

3. 관련 문서


[1] [math(p)]가 3 이상의 소수이기 때문에 [math(x^p+y^p=(-z)^p)]와 동치다.

분류