페르마의 소정리

대정리에 기가 눌려서 그렇지 이쪽도 나름 유명한 정리이다. 1640년에 처음으로 발표되었다. 근데 증명을 안 해 놓은 건 똑같다. 아니 이 사람의 성격상 정리 해 놓고 공개 안 한 걸지도 모른다 카더라. 원고 형식의 증명은 1683년경 빌헬름 라이프니츠에 의해서, 출판 형식의 증명은 1736년 레온하르트 오일러에 의해서 증명되었다.

정리의 내용은 다음과 같다.

소수 [math]\displaystyle{ p }[/math]와 양의 정수 [math]\displaystyle{ a }[/math]에 대해 [math]\displaystyle{ (a, p)=1 }[/math] 이면 [math]\displaystyle{ a^{p-1}\equiv 1( \operatorname{mod } p) }[/math]