
스위스의 수학자 레온하르트 오일러가 제기한 추론. 오일러는 위 방정식을 만족시키는 정수해가 존재하지 않는다고 주장했다.
k ≥ 3인 정수에 대해,
임의의 정수 a^k 을 k개 미만의 양의 정수의 k제곱들의 합으로 나타내는 것은 불가능하다..
예를 들어 k=5일 때,
"어떤 수의 다섯 제곱은 네 개 이하의 다섯 제곱 수를 더해서 만들 수 없을 것이다."
즉, 최소 k개의 k제곱은 있어야 다른 하나의 k제곱을 만들 수 있다는 추측.
...
페르마의 마지막 정리의 일반화 버전으로, 페르마의 마지막 정리는 여기에서 k≥3,n=2일 때이다.
...

CDC 6600 컴퓨터를 사용하여 반례를 찾았습니다. QED
세상에서 제일 짧은 수학 논문이라는군요.
어쩌면 최소 1개 이상의 반례를 보이면 그대로 증명이 끝나기 때문일수도 있습니다.
근데 저러면, 연달아서 이렇게 전개되는 경우가 있더군요.
"만족시키는 해의 개수는 유한한가? 무한한가?"
"유한하다면, 제시된 해 이외의 해가 더 있는가? 총 몇 개인가?"
거의 꼬리표처럼 따라나오는 걸 봤습니다.
논문 리뷰어는 거들뿐 ㅋㅋㅋ
뭔가 치트키 쓴 거 같은 느낌적 느낌이 남습니다. ㅋㅎ
반대로 명제의 옳음을 증명하기 위해 가능한 모든 경우의 수를 다 계산하니 맞다 라는 방향으로 증명한 4색문제라는것도 있지요.
하지만 어디에 쓰일지 잘 모르겠는 추론이군요.
오일러 선생님 추론이 이제사 컴퓨터에 의해 깨지는 동시대에 살고 있으니 뿌듯합니다!!
/Vollago
최초의 슈퍼컴퓨터였군요... 성능은 486급...