무한강하법(귀류법의 일종)먼저 명제의 반대라고 가정하고이 명제에서 자연수 해를 구한다고 하자. 어떤 해가 있을때 더 작은해를 만들 수 있고, 이 과정을 무한히 반복할 수 있다면자연수에서 무한히 작아질 수 없는데 무한히 작아지는 해가 존재한다는 뜻이므로 모순이 생긴다.(자연수 범위 내에서 1보다 작아질 수 없기 때문) 만약 자연수가 아니라 유리수 범위라면?1, 1/2, 1/4, 1/8, ... 처럼 유리수 범위 안에서 계속 작아질 수 있기 때문에모순이 발생하지 않으므로 무한강하법이 통하지 않는다. n=4일때 페르마의 마지막 정리X^4 + Y^4 = Z^4을 만족하는 자연수 해x, y, z는 없다.이걸 무한강하법을 이용해 증명해보자. 더 센 조건인 X^4 + Y^4 = Z^2 에 대해 증명할 것이..