조무위키
조무위키
둘러보기
대문
최근 바뀜
임의의 문서로
미디어위키 도움말
도구
여기를 가리키는 문서
가리키는 글의 최근 바뀜
특수 문서 목록
문서 정보
행위
문서
토론
편집
역사 보기
페르마의 소정리
편집하기
경고:
로그인하지 않았습니다. 편집을 하면 IP 주소가 공개되게 됩니다.
로그인
하거나
계정을 생성하면
편집자가 사용자 이름으로 기록되고, 다른 장점도 있습니다.
스팸 방지 검사입니다. 이것을 입력하지
마세요
!
{{사유화2}} {{노잼}} {{존재감없음}} {{진실}} {{진지}} {{고건몰랏내}} {{정신병}} {{갓이과}} {{문과 노이해}} {{클라스}} {{착한문서}} {{논문}} {{괜찮은데?}} ==개요== 페르마의 소정리는 페르마가 만들어낸 정리이다. 정수론에서 굉장히 애용되는 정리이다. 무슨 정리냐면, 소수 p와, 그 p로 나누어떨어지지 않는 자연수 a에 대하여 다음이 성립한다는 것. <pre> a^(p-1) ≡ 1 (mod p) </pre> 저게 뭔 개소리냐 의문이 든다면 [[합동식]] 문서로 가라. 그니깐, 쉽게 말해서 a의 p-1제곱은 p로 나눈 나머지가 1이라는 것이다. ==증명== 증명은 의외로 간단하다. 오일러 정리를 쓰면 쉽게 구할 수 있는데, (기하의 그 오일러 정리(d²=R²-2Rr)하곤 다른 거다) 오일러 정리가 뭐냐 하면 또 오일러 ∮함수를 알아야 한다. 이건 [[오일러 ∮함수]] 문서로 가고. 귀찮은 놈들을 위해 설명하자면 ∮(n)은 n 이하의 자연수 중 n과 [[서로소]]인 자연수의 개수를 뜻한다. 예시로 ∮(10) = 4 이다. 그래서 오일러 정리가 뭐냐? 자연수 n과, 이 n하고 서로소인 자연수 a에 대하여 다음이 성립한다는 것이다. <pre> a^∮(n) ≡ 1 (mod n) </pre> 저걸 또 증명하려면 완전잉여계, 기약잉여계 등의 설명이 들어가야 하므로 오일러 정리 증명은 패쓰하도록 하겠다. 근데 [[오일러 ∮함수]] 문서에서 알 수 있듯이, p가 소수이면 ∮(p) = p-1 이다. 근데 당연한 거 아닌가? p 자체가 p라는 소인수로 나누어떨어지는 첫 번째 수이므로. 쨌든, 그래서 n = p를 대입하면 저딴 꼬라지가 나온다는 것이다. 그렇게 해서 증명 완료. ===근데 신기한 사실=== 페르마의 소정리가 오일러 정리보다 더 먼저 발견되었다. 그니깐 페르마는 이딴 방법으로 증명하지 않았을 거라는 것. 무슨 방법으로 증명했는지는 나도 존나 궁금하다. 갓페르마니뮤ㅠㅠㅠ ==쓰임== 여기까지는 니들도 설렁설렁 읽어왔을 가능성이 크다. 그니깐, 존나 쓸모없는 것처럼 보일 가능성이 있다는 것이다. 물론 3^100을 4로 나눈 나머지를 구하라는 문제처럼 이거 안쓰고도 존나 쉬운 것도 있을 수 있겠지만, 45^160을 53으로 나눈 나머지를 구하려고 하면 페르마 소정리를 안 쓰고는 이항전개 등 머리를 아프게 하는 방법밖에 없다. 이럴 때 페르마 소정리가 등판해주면, 답은 바로 45가 나온다는 것을 알 수 있다. 페르마 소정리와 이항전개, 중국인의 나머지 정리 등을 적당히 섞어뿌리면 2003^2002^2001의 마지막 세 자리수는? 같은 좆같은 문제도 풀 수 있다. ==관련 문서== [[페르마의 대정리]] [[페르마]] [[수학]] [[합동식]] [[오일러 ∮함수]] [[서로소]]
요약:
조무위키에서의 모든 기여는 CC BY-SA 4.0 라이선스로 배포된다는 점을 유의해 주세요(자세한 내용에 대해서는
조무위키:저작권
문서를 읽어주세요). 만약 여기에 동의하지 않는다면 문서를 저장하지 말아 주세요.
또한, 직접 작성했거나 퍼블릭 도메인과 같은 자유 문서에서 가져왔다는 것을 보증해야 합니다.
저작권이 있는 내용을 허가 없이 저장하지 마세요!
취소
편집 도움말
(새 창에서 열림)
이 문서에서 사용한 틀:
틀:갓이과
(
편집
)
틀:고건몰랏내
(
편집
)
틀:고지 상자
(
편집
)
틀:괜찮은데?
(
편집
)
틀:기울기
(
편집
)
틀:노잼
(
편집
)
틀:논문
(
편집
)
틀:문과 노이해
(
편집
)
틀:사유화2
(
편집
)
틀:색
(
편집
)
틀:알림 상자
(
편집
)
틀:정신병
(
편집
)
틀:존재감없음
(
편집
)
틀:진실
(
편집
)
틀:진지
(
편집
)
틀:진지주의
(
편집
)
틀:착한문서
(
편집
)
틀:크기
(
편집
)
틀:클라스
(
편집
)