페르마의 마지막 정리 (Fermat’s Last Theorem) 는 다음과 같습니다.
3 이상의 모든 자연수 n에 대하여 an+bn=cn 인 양의 정수 a, b, c가 존재하지 않는다.n=4일 때는 무한 강하법을 이용하여 증명할 수 있고, 이에 따라서 4의 배수인 모든 n에 대해서도 자동으로 양의 정수 a, b, c가 존재하지 않음을 보일 수 있습니다.
귀류법으로
우선 a4+b4=c2인 세 정수 a, b, c가 있다고 치기
그 a, b, c로 더 작은 쌍 d, e, f를 만들 수 있음