| 정수론 Number Theory | |||
| {{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" | 공리 | ||
| 페아노 공리계 · 정렬 원리 · 수학적 귀납법 · 아르키메데스 성질 | |||
| 산술 | |||
| 나눗셈 | 약수·배수 | 배수 · 약수(소인수) · 소인수분해(목록 · 알고리즘) · 공배수 · 공약수 · 최소공배수 · 최대공약수 | |
| 약수들의 합에 따른 수의 분류 | 완전수 · 부족수 · 과잉수 · 친화수 · 사교수 · 혼약수 · 반완전수 · 불가촉 수 · 괴짜수 | ||
| 정리 | 베주 항등식 · 산술의 기본정리 · 나눗셈 정리 | ||
| 기타 | 유클리드 호제법 · 서로소 | ||
| 디오판토스 방정식 | 페르마의 마지막 정리 · 피타고라스 세 쌍 · 버치-스위너턴다이어 추측(미해결) | ||
| 모듈러 연산 | |||
| 잉여역수 · 2차 잉여 · 기약잉여계 · 완전잉여계 · 중국인의 나머지 정리 · 합동식 · 페르마의 소정리 · 오일러 정리 · 윌슨의 정리 | |||
| 소수론 | |||
| 수의 분류 | 소수 · 합성수 · 메르센 소수 · 쌍둥이 소수(사촌 소수 · 섹시 소수) · 페르마 소수 · 레퓨닛 수 | ||
| 분야 | 대수적 정수론(국소체) · 해석적 정수론 | ||
| 산술함수 | 뫼비우스 함수 · 소수 계량 함수 · 소인수 계량 함수 · 약수 함수 · 오일러 파이 함수 · 폰 망골트 함수 · 체비쇼프 함수 · 소수생성다항식 | ||
| 정리 | 그린 타오 정리 · 페르마의 두 제곱수 정리 · 디리클레 정리 · 소피 제르맹의 정리 · 리만 가설(미해결) · 골드바흐 추측(미해결)(천의 정리) · 폴리냑 추측(미해결) · 소수 정리 | ||
| 기타 | 에라토스테네스의 체 · 윌런스의 공식 | ||
1. 개요
Quaestio VIII.
Propositum quadratum dividere in duos quadratos.
Imperatum sit ut 16. dividatur in duos quadratos. Ponatur primus 1Q. Oportet igitur 16. - 1Q. aequales esse quadrato. Fingo quadratum a numeris quotquot libuerit, cum defectu tot unitatum quod continet latus ipsius 16. esto a 2N. - 4. ipse igitur quadratus erit 4Q. + 16. - 16N. haec aequabuntur unitatibus 16. - 1Q. Communis adiiciatur utrimque defectus, et a similibus auferantur similia, fient 5Q. aequales 16N. et fit 1N. 16/5. Erit igitur alter quadratorum 256/25. alter vero 144/25. et utriusque summa est 400/25. seu 16. et uterque quadratus est.
Observatio domini Petri de Fermat.
Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis fas est dividere cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.
문제 8.
제곱수를 두 제곱수로 나누기 위해.
문제가 16을 두 제곱수로 나누는 것이라고 하자. 먼저 x²을 둔다. 그러면 16-x²이 제곱수여야 한다. 원하는 만큼의 수에서 제곱해서 16이 되는 수[1]를 뺀 것으로 제곱수를 만든다. 2x-4라고 하자. 그러면 이것의 제곱은 4x²-16x+16인데, 이를 16-x²과 같다고 한다. 양쪽에서 공통으로 모자란 부분을 더하고 같은 양만큼 없애면, 즉 양변을 정리하면 5x²이 16x와 같고, x는 16/5가 된다. 따라서 하나를 256/25로 하고 다른 하나를 144/25로 두면 그 합은 400/25, 즉 16이 되고 둘은 각각 제곱수다.
피에르 드 페르마 경의 관찰.
하지만 세제곱수를 두 세제곱수로, 혹은 네제곱수를 두 네제곱수로, 또 일반적으로 제곱보다 큰 거듭제곱수를 동일한 지수의 두 거듭제곱수로 나눌 수 없는데, 나는 이에 대한 실로 놀라운 증명법을 발견했다. (하지만) 여백이 부족하여 이를 적지 않겠다.
페르마의 마지막 정리(Fermat's Last Theorem, FLT[2])는, '방정식 [math(x^n+y^n=z^n\ (n\ge3))][3]에는 자명하지 않은[4] 정수 해의 쌍 [math((x,y,z))] 값이 존재하지 않는다.'라는 수학정리를 일컫는 말이다. 여기서 '마지막(Last)'이란 것은 페르마가 마지막으로 내놓은 정리가 아니라, 페르마가 남겨놓은 정리들 중 후대 수학자들이 마지막까지 증명하지 못했던 정리라는 의미이다.Propositum quadratum dividere in duos quadratos.
Imperatum sit ut 16. dividatur in duos quadratos. Ponatur primus 1Q. Oportet igitur 16. - 1Q. aequales esse quadrato. Fingo quadratum a numeris quotquot libuerit, cum defectu tot unitatum quod continet latus ipsius 16. esto a 2N. - 4. ipse igitur quadratus erit 4Q. + 16. - 16N. haec aequabuntur unitatibus 16. - 1Q. Communis adiiciatur utrimque defectus, et a similibus auferantur similia, fient 5Q. aequales 16N. et fit 1N. 16/5. Erit igitur alter quadratorum 256/25. alter vero 144/25. et utriusque summa est 400/25. seu 16. et uterque quadratus est.
Observatio domini Petri de Fermat.
Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis fas est dividere cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.
문제 8.
제곱수를 두 제곱수로 나누기 위해.
문제가 16을 두 제곱수로 나누는 것이라고 하자. 먼저 x²을 둔다. 그러면 16-x²이 제곱수여야 한다. 원하는 만큼의 수에서 제곱해서 16이 되는 수[1]를 뺀 것으로 제곱수를 만든다. 2x-4라고 하자. 그러면 이것의 제곱은 4x²-16x+16인데, 이를 16-x²과 같다고 한다. 양쪽에서 공통으로 모자란 부분을 더하고 같은 양만큼 없애면, 즉 양변을 정리하면 5x²이 16x와 같고, x는 16/5가 된다. 따라서 하나를 256/25로 하고 다른 하나를 144/25로 두면 그 합은 400/25, 즉 16이 되고 둘은 각각 제곱수다.
피에르 드 페르마 경의 관찰.
하지만 세제곱수를 두 세제곱수로, 혹은 네제곱수를 두 네제곱수로, 또 일반적으로 제곱보다 큰 거듭제곱수를 동일한 지수의 두 거듭제곱수로 나눌 수 없는데, 나는 이에 대한 실로 놀라운 증명법을 발견했다. (하지만) 여백이 부족하여 이를 적지 않겠다.
| 수학 최대 난제! 페르마가 300년 넘게 수학자들을 괴롭힌 문제는 무엇일까? |
페르마(1607년 ~ 1665년 1월 12일)의 증명 방법은 거의 남아있지 않기 때문에 (가장 일반적으로 알려진 n=4인 경우는 당시 페르마의 마지막 정리의 무한강하법을 통한 증명방법이 남아있다) 엄밀히 말하면 '페르마의 추측'이라고 부르는 것이 옳다는 주장도 있으나 페르마가 자신이 증명해 냈다는 주장을 존중하여 일반적으로 페르마의 마지막 정리라고 부른다. 이 정리는 20세기를 넘기기 직전인 1994년, 영국 수학자 앤드루 존 와일스 경(Sir Andrew John Wiles)이 증명했다.
수학 역사에 존재했던 여러 난제 중 가장 대중적이고 유명하다. 고대 그리스 시절의 수학을 제외하면 '난제'라고 불리는 문제들은 일반 대중들은 이해하는 것부터 불가능할 정도로 고차원적이고 복잡한 질문인데, 페르마의 마지막 정리는 대한민국 기준으로 중학교 수학 수업만 제대로 들었다면 다 알아들을 수 있다.[5] 하지만 그 쉬워보이는 질문에 장장 400년에 가까운 세월 동안 전 세계의 내로라하는 모든 수학자들이 대답하지 못했다.
결국 해를 거듭하며 일반인은 이해할 수조차 없는 복잡한 난제들이 증명되는 와중에도 이 간단한 수식 하나가 모든 수학자가 덤벼도 해결이 안 되자 수학자들의 자존심은 끝없이 곤두박질쳤고, 결국 증명하는 데에는 페르마 이전의 수학부터 페르마 사망 이후 350여 년 동안 전 세계의 수많은 수학자들과 이 문제에 관심있는 일반인들이 이거 하나를 증명하기 위해 뛰어들어, 심지어 전혀 관계가 없을 것 같던 다른 연구를 위해 추가로 쌓아 올린 수학까지,[6] 수학이라는 학문의 정수가 총동원되어야만 했고, 결국 현대 수학의 최전선에서야 간신히 이 난제가 증명되었다.[7]
2. 증명의 과정
2.1. 기원
| |
| 원피스의 대해적시대와 원피스에 비유한 만화.[8] |
프랑스의 수학자 피에르 드 페르마는 원래 직업은 판사[9]로, 자신의 연구 결과를 출판하려는 시도를 하지 않았고, 수학은 취미상 스스로 알아낸 것만으로 만족했기 때문에, 그가 다른 수학자들과 주고 받은 편지에서 소개한 일부의 내용에 포함된 내용 이외에는 그의 연구 내용이 대부분 알려지지 않았다. 그의 사후 그의 장남인 클레망 사뮈엘(Clément-Samuel)은 페르마가 디오판토스의 정수론 책인 <아리스메티카>에 낙서처럼 달아놓은 주석을 정리해서 책으로 출판했고, 이를 통해서 페르마가 한 연구가 밝혀졌다.
수학사적의 의의론 정수론 서적인 아리스메티카에서 피타고라스의 정리인 임의의 제곱수를 서로 다른 두 제곱수의 합으로 표현한 문제를 더욱 확장하여 n을 세제곱수부터 무한 제곱수의 영역까지 정수해가 전혀 존재하지 않는 것을 명확히 확정해서 달아놓은 주석이 바로 페르마의 마지막 정리다.
이 문제는 피타고라스의 삼각수와 관련된 문제, 즉 방정식 [math(x^2+y^2=z^2)]을 만족하는 해 (x, y)를 z에 관하여 나타내는 문제다. 위 방정식을 만족하는 해는 어떤 정수 a, b 에 대해서 [math((x,y,z)=\left(a^2-b^2,2ab,a^2+b^2\right))] 혹은 그들의 [math(k)]배라는 것을 고등학교 수준에서 비교적 쉽게 풀어서 알 수 있다. 따라서 [math((x,y)=\left(\dfrac{a^2-b^2}{a^2+b^2}z,\dfrac{2ab}{a^2+b^2}z\right))]로 나타낼 수 있다. 아리스메티카에서 제시하는 해는 여기서 [math(b=1)]을 대입한 값인 [math((x,y)=\left(\dfrac{a^2-1}{a^2+1}z,\dfrac{2a}{a^2+1}z\right))]다.
[math(a)]와 [math(b)]는 임의의 정수이므로, 이 해는 무한히 많게 된다. 그런데 페르마는 이 문제 부분에 지수가 3 이상일 경우에는 유리수 해[10]가 없다고 주장하면서도 이것을 증명하는 대신 자세한 설명을 생략해버림으로써 장장 300년에 걸친 모든 천재 수학자들의 어마어마한 고통이 시작되었다. 물론 정수론, 대수학 계열이 아닌 수학자들은[11] 페르마의 대정리의 악명을 눈치 채고는 운 좋게 모두들 비껴갔을 것이다. 낚인 사람 중에는 자살한 사람, 정신이상이 생긴 사람, 심지어는 결투를 벌인 사람도 있었다.[12] 당대의 수학 전공자뿐만 아니라 근현대의 전공자들과 아마추어 수학 연구가들도 역시 헤아릴 수 없을 정도로 많이 실패했다.
2.2. 악명을 떨친 이유
페르마의 정리가 아니더라도 수학에는 수많은 난제가 많은데, 굳이 페르마의 정리가 300년간의 학계 내외의 꾸준한 어그로를 끌 수 있었던 이유를 요약해 보자면 다음과 같다.- 페르마는 어려운 문제를 증명하고는 동료들에게 증명에 대한 설명은 없이 '나 이거 증명했으니 풀어 봐라'는 식으로 말하는 것을 즐겼다. 그리고 이런 말을 한 증명은 전부 실제로 증명이 가능했다. 그래서 페르마와 동시대를 살았던 당대의 수학자들은 '뭐 페르마가 그렇다고 하니 그렇겠지.'하고 금방 증명 과정이 밝혀지리라 생각했는데, 죽어라 해도 안 풀리니 어그로가 끌린 것.
- 겉으로 보기에는 모든 사람들이 익히 아는 피타고라스 정리와 비슷한, 대단히 간단해 보이는 외형
FLT와 비슷한 취급을 받는 밀레니엄 문제 중 아무거나 직관적으로 이해하려고 해보자. 쉽게 검산할 수 있는 문제는 쉽게 풀수 있는 문제인지를 묻는 P-NP 문제 외의 6개는 어지간히 수학을 공부하지 않고선 무슨 소릴 하는지조차 이해를 할 수 없다.[13] 그 중 4개는 어찌어찌 일상 언어를 이용한 짧은 문장으로 정리하는 것 자체는 가능하나, 호지 추측과 버치-스위너턴다이어 추측은 순수 고차원적인 문제이기에 그것조차 불가능하다. 그러나 페르마의 마지막 정리는 일단은 간단한 자연수와 제곱수 계산으로 문제 설명이 끝나며, '피타고라스 정리에서 제곱수를 올려도 그 식이 성립할까?'라고 문제를 매우 직관적으로 설명할 수 있기에 오늘날의 중등 수학 과정만 거쳐도 식을 이해하는 데 문제가 없다. 따라서 '내용이 이렇게 쉬운 걸 보면 쉽게 증명하는 법도 있는데, 그냥 우리가 바보처럼 못 찾고 있는 것이 아닐까' 하는 착각이 들게 만든다.[14]
- 문제를 낸 페르마는 17세기의 변호사 겸직 수학자일 뿐이고, 이런 평범한(?) 사람이 푼 문제를 내가 못 풀 게 없다는 착각
일단 페르마에게 수학은 어디까지나 취미였기 때문에 엄밀히 말하면 아마추어가 맞긴 하지만, 이건 전문 수학자보다 못하다는 게 아니라 말 그대로 생업이 아니었다는 것에 불과하다. 페르마는 오를레앙 종합대학 졸업생으로 당시 최고 지식인 계층이었으며, 프랑스 대법원까지 진출해 대법관으로 일하는 등 대놓고 엘리트였다. 거기다 그 취미(?)랍시고 하던 수학으로 정수론, 해석기하학 등 수학 연구 논문도 많이 내놓는 등 법학과 수학 양대 학문의 대가였다. 덤으로 당시에는 전문 직업으로서의 수학자가 존재하지 않았다. 우리가 수학자라고 알고 있는 사람들도 다들 본업은 따로 있었고, 거기서 나오는 돈으로 생활하며 수학 연구를 겸했다. 차이점이 있다면 다른 사람들은 본직이 과학이나 철학 관련이었다는 거고, 페르마는 변호사였다는 것뿐이다. 게다가 페르마가 17세기 최고의 천재 수학자라고 해도, 수학이 널리 보급된 덕에 20세기의 아마추어 수학자들도 페르마가 알던 수학은 다 알고 있었다. 그러니 "페르마가 할 수 있다면 우리도 할 수 있다"고 착각하는 사람이 많을 수밖에 없다.
- 페르마 본인이 직접 증명한 n=4일 경우에 대한 해답
n=4일 때의 증명을 페르마 본인이 증명했음이 발견되었다. 과정의 일부만이 남아있었지만 후대의 수학자들이 증명 과정을 복원해 도출해낸 결과 이 증명은 모든 수학자들이 기대하던 대로 우아하고 명료했고, 오일러는 이 증명을 토대로 하여 n=3일 때의 증명까지 완성하여 페르마가 문제를 착각하지 않았다는 증거로 활용되었다. 또한 페르마 사후 100년까지 아무도 찾지 못했던 증명의 일부를 페르마가 이미 해버렸던 만큼, 그가 시대를 뛰어넘는 천재여서 실제 그 증명을 했었다는 생각을 가지게 했다.
- 명석한 마무리
페르마는 문제의 정리를 쓰고 나서, "이 문제에 대한 놀라운 증명을 알고 있으나, 여백이 부족해서 여기 적지 않는다"는 마무리를 했다. 이렇게 써놓으면 모두의 어그로를 끌 수밖에 없다. "답을 알면 알려줘야 할 거 아냐!"라는 원성이 폭발할 수밖에 없고, 분노한 사람들이 "답답해서 내가 푼다"고 나설 수밖에 없는 것.
- 학계에 널리 알려진 미완의 문제라는 타이틀 및 엄청난 영예와 궁금증
위에 쓰여 있는 이유로 당대 최고의 수학자들을 포함해서 수많은 사람들이 도전했지만, 모두 실패하면서 페르마의 마지막 정리는 점점 더 악명을 얻었다. 수학에 몸을 담는 사람이라면 누구나 알고 있는 페르마와 오일러가 엮였으니 그 인지도야 말할 것도 없었다. 풀기만 하면 '세계 최고의 수학 천재'라는 영예를 거머쥐는 것도 모자라 두 역사적인 위인에게 비비는 인물로 남을 수 있게 된 것이다. 이런 영예를 탐하는 사람들은 매우 많을 수밖에 없으니 자꾸만 이 문제가 어그로를 끌 수밖에 없었다. 또한 수학자들 자신의 궁금증들도 매우 컸다. 해답이 있긴 있는데 그게 뭔지 모르겠다는 사실만큼 완벽주의자 성향인 수학자들을 고통받게 하는 일은 없다. 이는 수학뿐만 아니라 학문 전체에도 적용되는 부분.
2.3. 초창기
문제가 알려진 후 한동안은 아무도 해법을 제시하지 못했다. 당대의 위대한 수학자로 평가받은 이들이 증명에 도전했으나, 누구도 진척을 보이지 못했다.페르마 사후 133년 뒤, 첫 단추의 단서를 발견한 수학자가 나타났다. 18세기에 명성을 떨친 수학자 레온하르트 오일러(1707~1783)였다.[15] 오일러는 본격적인 연구를 들어가기에 앞서 자료를 조사하기 시작했고, 곧 페르마 본인이 n=4일 때의 증명에 대한 풀이를 해 놓았다는 사실을 찾아냈다. 페르마의 마지막 정리가 수록된<아리스메티카>에 'n=4에 대한 증명은...'이라고 형식을 맞춰 풀이한 것은 아니었고, 지나가는 길에 심심하다는 듯이 페르마의 마지막 정리가 기록된 주석과는 완전히 다른 텍스트 옆에, 무한강하법을 이용한 중간 정리 과정을 간략히 휘갈겨 놨던 것이다. 이러니 FLT가 본격적으로 알려지고 널리 연구되기 전인 초창기엔 다들 그걸 못 보고 지나쳤던 것. 페르마가 직접 기록한 n=4에 대한 정리는 일정 수준의 수학자라면 누구나 증명을 이해할 수 있을 정도로 풀이가 되어있었다.
오일러는 이걸 토대로 n=3이 성립한다는 걸 복소수를 활용한 귀류법의 일종인 무한강하법으로 증명했다.[16] 이 방법은 n=4일 경우에 쓰인 증명법과 본질적으로 같다. 그러나 비슷한 방법으로 n=5일 때의 증명을 시도했으나 끝내 못 했고, 페르마의 옛 집을 동료들까지 동원해서 샅샅이 뒤졌지만 모든 n값에 대한 증명의 정리는 찾아내지 못했다. 결국 오일러는 n=4와 n=3의 경우에 대한 증명을 발표하는 데 그쳤다. 그러나 이 과정에서 오일러는 그동안 명확히 정립돼 있지 않던 복소수의 개념을 다듬었으며, 허수 단위 i를 창안하는 업적을 만들게 되었다.[17]
이후 또다시 많은 수학자들이 도전했지만 별다른 성과는 나오지 않았다. 이때 오일러 다음 세대에 소피 제르맹(Marie-Sophie Germain, 1776~1831)[18]이라는 수학자가 등장했고, 놀라운 성과물을 내놓았다. 오일러가 해결하지 못했던 n=5의 경우에 대한 해법을 제시한 것이다.소피 제르맹의 발상은 간단했다. 모든 자연수는 소수와 합성수의 합으로 이루어지고, 다시 합성수는 소수들의 곱으로 이루어진다. 즉 어떤 자연수 X(N*M) = (XN)M 으로 간단히 변환되는 것을[19] 페르마의 마지막 정리에 이용한 것이다. 따라서 FLT에서 n의 자리에 들어가는 소수값에 대한 증명을 밝혀낸다면, 합성수 부분에 대한 증명도 성립되고 자연수를 구성하는 '소수+합성수'의 두 항에 대해 밝혀내게 됐으니 모든 자연수에 대한 FLT의 증명도 손쉽게 이뤄질 것이라 생각했던 것이다. 이렇게 소수에 대해 주목했던 소피 제르맹은 카를 프리드리히 가우스에게[20] 자신의 소피 제르맹 소수 p[21]를 인용하며 안전소수(2p+1)가 FLT의 n일때 FLT가 참일 것이라고 주장했다.이후 디리클레와 르장드르가 소피 제르맹의 정리를 바탕으로 n=5일 때 FLT가 참이라고 증명해냈다.[22] 소피 제르맹도 100 이하의 소수들에 대해 FLT가 참임을 증명하는 데 성공한다. 소피 제르맹에 의해 n=소피 제르맹 소수인 경우의 상당부분이 증명되며 FLT에 대한 증명 과정이 급속도로 진척되었다.
그러나 결국 원론적인, '모든 n값이 성립한다'는 것은 증명되지 못했다. 만약 'n=소피 제르맹 소수가 아닌 소수'라면 답이 없다는 거다. 이런 예외가 유한했다면 수작업으로 밤을 새든, 몇 년간 붙잡든, 몇 대에 걸쳐 인해전술을 하든 어떻게 근성으로 증명할 수 있겠지만, 그런 소수가 무한하다는 문제가 있었다.[23] 이 불행한 진실은 에른스트 쿰머(Ernst Eduard Kummer, 1810~1893)가 증명했는데, 쿰머는 n이 정규소수일 경우의 증명을 완성했지만 동시에 n이 비정규소수일 경우 하나하나 수작업으로 풀어야 한다는 사실을 발표했다. 게다가 비정규소수는 무한하고 정규소수의 무한성은 아직도 밝혀지지 않았다.[24]
2.4. 침체기
쿰머가 불편한 진실을 발표한 뒤 점점 수학계에서 FLT에 대한 관심은 멀어져갔다. 일부 수학자들은 이에 대해서 아예 "페르마가 잘못 짚은 게 아닌가?" 라고 까지 생각하게 되었지만, 이미 위에서 말한 것처럼 n이 웬만한 소수들과 그 소수들로 이루어진 무한한 합성수들인 경우가 증명되었기 때문에, 파울 프리드리히 볼프스켈이라는 의사이자 아마추어 수학자가 나타나며 명맥을 이어가게 된다. 볼프스켈이 이 난제를 증명하는 사람에게 현상금 10만 마르크[25][26]를 주겠다고 공표하면서 재야의 아마추어 수학자들에게도 FLT가 알려지게 된 것이다. 볼프스켈은 연인에게 실연당한 후 자살할 생각이었는데, 자살할 시간을 정해놓고 책장을 뒤져보던 중 페르마의 정리를 발견하고, 페르마의 정리에 대해 전율을 느끼고 삶의 의미를 되찾았다고 한다. 이에 그는 경의를 담아 페르마의 마지막 정리를 증명하는 사람에게 10만 마르크를 주겠다고 결정했고, 이 상금은 괴팅겐의 왕립과학원에 기탁되어 '볼프스켈 상'이라고 정식 명명되었다. 수많은 이들이 상금을 위해서 해법을 투고하기 시작했지만 모든 증명이 오류를 내포하고 있었으며, 매우 설득력 떨어지는 논리를 적어서 보낸 유사수학자들도 많았다. 뭐, 볼프스켈상의 심사 대상은 학술지에 실린 논문만을 심사 대상으로 한다는 조건이 붙어 있었기 때문에 순 엉터리인 논문은 아예 심사 대상이 되지도 못했다.이 시기 대다수의 전공자들은 자신들의 분야에 몰두하며 FLT를 도외시하긴 했지만, 실제로는 자신이 없어서 그랬다고 봐야 할지도 모른다. 유명한 수학자인 다비트 힐베르트에게 왜 이 문제를 안 푸냐고 사람들이 묻자, "적어도 3년 이상의 시간을 투자해야 하지만 실패할 게 분명한 일에 그럴 순 없다."고 답한 바가 있다.
한편 인류의 통신 기술이 발전하고 19세기에 들어서며 점차 하나의 교통권으로 묶이자, 국가별로 고유의 수학 체계를 가지고 있던 나라들이 유럽의 수학과 접촉하게 되면서 전체 수학 인구가 폭증, 학문 발전 속도가 과거와는 비할 바 없이 빨라지게 되었다. 그러나 100년이 흘러 20세기에 들어서도 여전히 페르마의 마지막 정리만큼은 그 어느 대륙과 국가의 수학자들도 완벽한 해결책을 찾지 못했다. 이렇게 FLT의 명성이 차차 높아지면서 대중매체에서도 '절대로 풀릴 수 없는 난제'로서의 출연도 많아졌다.
가령 아서 포기스가 1957년도에 출판한 단편 소설 <악마와 사이먼 플래그>에서는 수학자가 악마에게 영혼을 줄 테니 기한 안에 페르마의 마지막 정리를 풀어달라고 딜을 건다. 악마는 자신만만해하다가도 혼자서 열심히 수학 공부를 하다가 현대수학의 방대함에 질려버리고 편미분방정식을 암산으로 푸는 가상의 외계 종족까지 찾아가지만 결국 실패한다.[27] 당시 사람들이 페르마의 마지막 정리를 어떻게 인식했는지를 알려주는 사례. 그래도 이 소설에서는 악마가 자신이 시간 내에 푸는 걸 실패했단 걸 인정하면서도 아쉬움이 남아서 수학자와 같이 해법을 계속 찾는다는 훈훈한 결말이 난다.
20세기 중후반에 개발된 컴퓨터로도 이 문제를 풀지 못한다. 숫자 n이 무한한 이상 하나하나 계산하는 방식으로는 아무리 빨리, 많이 계산할 수 있다고 해도 '모든' 경우를 계산할 수 없기 때문.[28] 결국 페르마의 마지막 정리는 정말 아무도 풀지 못하는 미지의 문제라고 여겨지게 되었다. 그렇게 페르마의 정리는 <아리스메티카>에 수록된 17세기 그 상태로 새천년의 시대인 21세기를 맞이할 것만 같았다.
2.5. 전환기
페르마의 정리가 지난 두 세기 동안 항상 부분적으로만 증명되는 데는 이유가 있었다. 페르마의 정리가 원론적으로 증명되기 위해선 말 그대로 '현대수학의 전부'가 필요했었던 것이다. 앤드루 와일스(1953~ )의 증명법에는 1957년도에 발표된 타니야마-시무라의 추론(모듈러성 정리)이 결정적인 역할을 했다.[29] 이 타니야마-시무라의 추론은 수학의 다양한 분야에서도 서로 연관성이 있다고 생각하기 어려운 분야들의 다리 역할을 함으로써, 당시에는 '만약 타니야마-시무라의 추론이 사실이라면' 이라는 전제 하에 나온 논문들이 많았다. 따라서 타니야마-시무라의 추론을 증명하는 것은 페르마의 정리를 증명하는 것뿐만이 아니고 사상누각과 같았던 새로운 수학 분야의 근간이 되는 것이었다. 게다가 타니야마-시무라의 추론을 증명한다면 대통일 수학이라는 궁극적인 목표에 도달한 첫 번째의 업적이 될 것이 확실했다.그런데 독일의 수학자 게르하르트 프라이(Gerhard Frey)가 타니야마-시무라의 추론을 이용하여 페르마의 정리를 타원곡선의 형태로 변형을 시키면서 점차 단초가 보이기 시작했다. 이 식은 페르마의 정리가 틀렸다는 가정하에 유도된 식이었다. 프라이는 타니야마-시무라의 추론이 맞는다면 자신이 유도해낸 타원곡선이 존재하지 않는 것을, 따라서 페르마의 정리를 만족하는 정수인 해가 존재하지 않는 것을 타원함수가 비정상적이라는 점을 보이면서 대우명제를 통해 선보였다. 즉 프라이는 타니야마-시무라의 추론을 증명하면 페르마의 정리 또한 부록으로 증명된다는 점을 증명한 것이다. 다만 프라이의 증명 과정에는 일부 완성되지 않은 부분이 포함되어 있었고, 그렇기에 이 증명은 엡실론 추측(Epsilon conjecture)으로 명명되었다.
프라이가 1985년도에 이 사실을 밝혀내기 전까지 프로 수학자들은 침체기에 활동했던 자신들의 선배들과 마찬가지로 페르마의 마지막 정리가 어렵기만 하고 수학적으로는 별로 중요하지 않다며 관심이 없는 척했지만, 프라이가 발표한 엡실론 추측을 통해 페르마의 마지막 정리를 정복할 가능성이 보였다는 소식을 들은 순간 빛의 속도로 달려와서 논문 내용을 복사해갔다.[30] 만 3세기에 걸친 이 난제를 해결하기만 한다면 학문적 성취는 물론이거니와 막대한 명예까지 거머쥘 수 있었기 때문이었다. 헌데 기다렸다는 듯이 풀리지 않아 모두를 좌절시켰다.
그러던 와중 케네스 리벳(Kenneth A. Ribet)이 만 1년간의 고생 끝에 1986년에 엡실론 추측을 증명하는 데 성공하였다. 이 증명이 발표되자, 전 세계 수학계는 드디어 페르마의 대정리를 정복할 수 있다며 흥분했다. 이를 통해 엡실론 추측은 리벳의 정리(Ribet's theorem)이라는 새 이름을 얻었으며, 리벳은 이 추측을 증명한 업적으로 1989년에 페르마 상(Fermat Prize)을 수상했다.
이제 '타니야마-시무라의 추론'만 증명되면 모든 게 완료되는 모든 밑그림이 마련되었다.
2.6. 최초의 발표
드디어 지난 400년간의 좌절을 끝낼 한 줄기 희망 앞에, 수많은 수학자들이 도전을 시작했다. 그러나 FLT를 한 쾌에 해결해줄 모든 준비물이 갖추어졌지만 막상 30여 년이 흐른 그때까지도 타니야마-시무라의 추론이 증명되지 않았던 것이다. 결국 학계의 달아올랐던 분위기는 언제 그랬냐는 듯 식기 시작했으며, 페르마의 정리를 증명하는 것을 포기하기 시작했고, 엡실론 추측의 주역인 켄 리벳도 마찬가지였다. 그러나 포기하지 않은 사람이 있었다. 바로 케임브리지 출신의 영국의 수학자 앤드루 와일스였다.와일즈는 원래 1974년에 케임브리지대 대학원에 진학하면서 졸업 논문으로 페르마의 마지막 정리를 연구하고 싶어했으나, 증명하지 못하면 졸업을 못 할 것이기 때문에 지도교수가 추천한 '타원곡선'을 연구하여 1980년 박사 학위를 취득하고 타원곡선론을 연구하는 세계적 학자가 되었다. 그때는 페르마의 마지막 정리와 타원곡선은 아무런 관련이 밝혀진 바 없었으나, 페르마의 마지막 정리를 증명하기 위한 타니야마-시무라의 추론이 타원곡선론 그 자체였기 때문에 결과적으로 원래 하고 싶었던 페르마의 마지막 정리를 증명하기 위한 연구를 했던 셈이다. 1986년 친구와의 대화 중 이것을 알게 된 와일즈는[31] 그때부터 페르마의 마지막 정리에 도전하여 7년 동안 자기 집 다락방에 처박혀서 FLT 연구에만 몰두를 시작했다.[32] 거기에 다른 수학자들의 관심을 돌리기 위해서 다른 연구를 계속하고 있는 것처럼 위장할 목적으로 비교적 사소한 주제들을 다룬 논문을 미리 작성해 놓고 6개월 간격으로 제출했다.[33] 다만 그의 아내와 논문의 검토를 맡았던 동료 교수 닉 카츠(Nick Katz)는 와일즈의 비밀을 알고 있었다. 이후 동료 교수 피터 사르낙도 와일즈의 비밀을 듣게 된다.
각고의 연구 끝에 와일즈는 현대수학을 총동원하여 시무라의 추론을 증명했고, 결과적으로 페르마의 정리를 증명해냈다. 다만 와일즈 교수가 이때 증명한 것은 준안정 상태의 경우뿐이었으나, 이것만으로도 페르마의 정리를 증명하기에는 충분했다.[34]
이후 와일즈는 자신의 증명을 한 번 더 검증한 후 발표하려고 했는데, 마침 케임브리지에서 학회가 열린다는 소식을 듣고 모교이기도 한 그곳에서 증명을 발표하기로 했다. 증명이 너무 길어서 강연 기회를 더 달라고 자신의 은사인 존 코즈에게 부탁을 하여 3번의 강연 기회를 얻어낸 후 차례대로 증명 과정을 발표했다.
그런데 사르낙이 사고를 치고 말았다. 케임브리지 학회에서 와일즈가 강연하기 전에 "에이 그건 아무것도 아냐. 훨씬 큰 게 있어"고 발언해버린 것. 사르낙은 "페르마에 대해선 언급도 안 했다"며 변명했지만 수학계에서 '훨씬 큰 것' 이 무엇인지 모르는 수학자는 없었고, 곧 "와일즈가 페르마의 마지막 정리를 정말로 증명하기 시작했다."라는 소문이 퍼져나갔으며, 마지막 강연에서는 구름처럼 청중들이 몰려왔다. 그리고 강연의 마지막 시간, "이로써 페르마의 마지막 정리에 대한 증명을 끝마칩니다."라는 앤드루의 멘트와 함께 페르마의 마지막 정리의 장대한 역사가 끝을 맞이하게 되었다.
2.7. 첫 증명의 오류
케임브리지에서 와일즈가 증명을 발표한 후, 수학자들은 검증을 위해 와일즈의 논문에 달라붙었다. 이 작업에 참가한 사람 중에는 와일즈가 앞서 검증을 부탁했던 닉 카츠도 포함되어 있었는데 증명에서 오류가 발견되었다.닉 카츠는 과거에 자신이 검증할 땐 못 찾았던 오류를 찾아내고 뒷목을 부여잡았지만 이미 늦었다. 매의 눈으로 검증 작업을 지켜보던 수학자들 사이에 소문이 퍼지기 시작한 것이다. 당연하지만 이 과정에서 엄청난 소동이 벌어졌고, 전 세계의 수학자들이 열심히 설전을 벌이는[35] 동안, 와일즈 본인은 다시금 은둔형 외톨이 상태로 연구에 돌입했지만 10개월 동안 성과를 얻지 못해 연구를 포기하려고도 했다. 이때 와일즈의 제자인 테일러가 와일즈가 전에 포기했던 콜리바긴-플라흐의 방법을 검토했는데, 이것이 결정적인 힌트가 되었다.
1994년 9월 19일, 와일즈는 자신이 이용했던 이와사와 이론과 콜리바긴-플라흐의 방법이 서로를 보완하는 성질을 갖고 있다는 사실을 알아냈다. 두 가지 방법을 한데 합쳐놓으니 문제점이 완벽하게 해결된 완벽한 정리가 드러났다. 와일즈는 당시를 떠올리며 울먹거리며 말했다.
"그것은 말로 표현할 수 없을 정도로 아름답고, 간결하면서 또 우아했어요. 왜 이 사실을 진작 발견하지 못했는지 이해가 가질 않았습니다. 정말 기쁘면서도 넋이 나가서 계산 결과를 한 20분 동안 멍하니 바라보았습니다. 그리고는 밖으로 나와 수학과 건물 내의 복도를 이리저리 거닐다가 다시 자리로 돌아와서는 제가 발견한 것이 아직 그대로 있는지 확인해 보았습니다. 꿈을 꾼 건지도 모르니까 말이죠. 그런데 그 아름다운 녀석이 여전히 그 자리에 있더군요. 저는 너무 흥분해서 정신을 가눌 수가 없었습니다. 제 연구 인생을 통틀어 가장 중요한 순간이었지요. 앞으로 제가 어떤 발견을 한다 해도 그런 정도의 환희는 두 번 다시 느껴보지 못할 겁니다."
결국 와일즈는 첫 증명에서의 문제점을 해결하고 인류 역사에 길이 남을 대정리에 마침표를 찍었다. 위에서 언급한 증명한 사람에게 10만 마르크를 지불한다는 상금도 수령했다. 다만 당시 10만 마르크가 여러 번의 디노미네이션을 거쳐 1997년에 와일스가 수령한 것은 약 4만 달러 정도였다.2.8. 와일즈의 최종 증명
논문 파일 (PDF)와일즈 교수는 이 증명 논문을 아내에게 생일 선물로 보여줬으며, 아내는 크게 기뻐했다. 국내에 번역된 사이먼 싱의 '페르마의 마지막 정리'에서는 "그렇게 기뻐하는 아내의 모습은 처음 봤다"고 되어 있는데, 와일즈가 증명을 완성하려고 얼마나 고생했는지를 옆에서 지켜본 아내였으니 당연했을 것이다.
사실 와일즈가 석사 과정에 입문할 때부터 매우 극적인 우연들이 겹쳐서 만들어낸 걸작이다. 예를 들자면, 왠지 모르게 베리 마주르가 여러 차례 활약을 했다. 리벳이 엡실론 추측을 증명할 때나, 와일즈가 모듈러가 아닌 소수의 타원곡선들 때문에 골머리를 앓고 있을 때 다른 프라임을 사용하게끔 영감을 준다거나 식으로. 물론 와일즈의 7년간의 집념과 능력이 가장 중요한 것이었음은 부정할 수 없을 뿐더러 사실 학문이란 것은 주변이나 우연이나 운에서 깨달음을 얻으며 발전해왔다.
증명에 대해 이해하고 싶은 이를 위하여 논문의 서론 처음 두 줄을 소개하자면 이렇다.
Introduction.
An elliptic curve over [math(\mathbb{Q})] is said to be modular if it has a finite covering by a modular curve of the form X0(N). Any such elliptic curve has the property that its Hasse-Weil zeta function has an analytic continuation and satisfies a functional equation of the standard type.
소개.
타원 곡선 [math(\mathbb{Q})]는 X0(N) 형태의 모듈형 곡선에 의해 유한한 피복을 갖는 경우 모듈형이라고 합니다. 이러한 타원 곡선은 하세-웨일 제타 함수가 해석 연속성을 가지며 표준 유형의 함수 방정식을 만족한다는 속성을 가지고 있습니다.
(후략)
이 논문은 '타원곡선(elliptic curve)', '모듈러(modular)', '모듈러 곡선(modular curve)의 유한 덮개(finite covering)', '하세-베유 제타 함수(Hasse-Weil zeta function)의 해석적 연속(analytic continuation)', '표준형의 함수방정식(functional equation of the standard type)' 같은 표현이 당연히 무엇인지 알고 있다는 가정하에 쓰여 있다. 거기에 수많은 로마자 기호와 수식은 덤이다. 그런데 이런 내용이 본문도 아닌 12쪽짜리 서론(introduction)에 나오는 내용들이다. 즉, 지극히 기본적인 것들이다.An elliptic curve over [math(\mathbb{Q})] is said to be modular if it has a finite covering by a modular curve of the form X0(N). Any such elliptic curve has the property that its Hasse-Weil zeta function has an analytic continuation and satisfies a functional equation of the standard type.
소개.
타원 곡선 [math(\mathbb{Q})]는 X0(N) 형태의 모듈형 곡선에 의해 유한한 피복을 갖는 경우 모듈형이라고 합니다. 이러한 타원 곡선은 하세-웨일 제타 함수가 해석 연속성을 가지며 표준 유형의 함수 방정식을 만족한다는 속성을 가지고 있습니다.
(후략)
실제 증명이 시작되는 Chapter. 1은 13쪽부터 시작된다. 여기서부터 본격적인 증명에 해당하는 난해한 내용이 100쪽 넘게 이어진다. 또한 수없이 많은 정리와 증명들, 예를 들어 L-함수, 갈루아 이론, 이와사와 이론[36], 유수 공식 등 괴이쩍은 것들이 쏟아져 나온다는 게 문제. 대수적 정수론으로 수학과 석사 학위를 받는 정도는 되어야 이해가 가능하다.
와일스 교수의 고향이자 발표가 있던 케임브리지가 있는 영국에서도 당연히 성대한 축하와 기념 행사들이 있었다. UKTV에서는 다큐멘터리도 제작되었다. 이 다큐멘터리는 나중에 <The Proof>라는 제목을 달게 되었다. 다른 수식어 없이 '그 증명'이라고 불리는 것만으로도 와일스 교수가 얼마나 위대한 업적을 해낸 것인지 알 수 있다. 영상 초반에 그 영광스러운 때를 떠올리며 결국 눈물을 터트리는 와일스의 모습이 인상적이다. 영상출처
어쨌든 이렇게 해서, 페르마의 마지막 정리가 참인 것으로 드디어 증명되었다.
2.9. 증명
3. 와일즈의 수상 이력
- 볼프스켈 상: '페르마의 마지막 정리'를 해결한 사람에게 부여되는 상이며, 10만 마르크이 상금이 걸려 있었으며, 당연히 수상했다. 그런데 처음 상금이 걸렸을 때보다 화폐의 가치가 떨어져서 액면가대로 받은 돈은 최초의 1/3 정도 가치인 약 3만 마르크 수준이었다고 한다.
- 필즈상 특별상: 1995년 5월 증명이 완성되자 와일즈는 수많은 상을 받았다. 하지만 수학계의 노벨상이라고 할 만한 필즈상 수상에는 한 가지 문제가 있었다. 필즈상은 '40세 이하의 젊은 수학자에게만 수여된다'는 조건이 달려 있는데, 와일즈 교수가 완벽한 증명을 낼 때 그의 나이는 41세, 수상 당시의 나이는 44세였다.[37]
그렇다고 상을 안 주기에는 그의 업적이 너무나 대단했기 때문에, 국제 수학자 연맹에서 1998년에 특별상 형태로 기념 은판(IMU Silver Plaque)[38]을 제작하여 수여했고, 필즈상 수상자 공식 명단에는 그 사실이 분명하게 기록되어 있다. PDF[39]
- 울프상(수학 부문): 1995년에 수상하였다.
- 2000년에 와일즈는 대영제국 훈장 2등급[40]을 받았으며, 왕립학회 회원도 되었다. 그래서 그의 현재의 이름은 Sir Andrew John Wiles, KBE, FRS이다. KBE는 위에서 설명한 대영 제국 훈장 2등급이고, FRS는 왕립학회 회원(Fellow of Royal Society)이라는 뜻이다. 1등급이 아니라는 점에 의아함을 느낄 수도 있겠으나, 대영 제국 훈장은 정원수가 존재한다. 즉 1등급 정원이 꽉 차서 어쩔 수 없이 2등급을 받은 것.[41] 1등급 TO가 날 경우 1등급으로 올라갈 가능성이 가장 유력한 사람이라는 의미기도 하다. 그리고 2등급을 무시하면 안 되는 것이 당장 월드 와이드 웹을 만든 팀 버너스리가 2등급 훈장을 받았으며, 빌 게이츠가 PC 보급의 공로를 인정받아 2등급 명예훈장을 받았다. 기사 작위만 빼고 훈장만은 외국인도 준다.
1993년에 와일즈가 처음으로 증명을 공개했을 때, 그는 뉴욕 타임스를 비롯한 세계 각지의 신문 1면을 장식했다. 1년 후 완벽한 증명을 완성했을 때도, 볼프스켈 상을 탔을 때도 그랬다. 페르마의 마지막 정리를 증명한 것이 얼마나 충격적이었는지 보여주는 사례다.
상은 아니지만 '9999 Wiles'라는 이름의 소행성은 그의 이름을 딴 것이다. 다른 과학자(천문학자)들이 그의 공로를 인정하여 헌정한 것이라고 보면 된다.
4. 페르마의 증명 여부
결론부터 말하자면, 페르마가 남긴 마지막 정리는 책 여백에 끄적인 낙서에 불과한 글귀이고 증명에 오류가 있었음을 나중에 알았어도 그냥 놔뒀을 확률이 높다.페르마가 말한 대로 이 추측은 증명되었다. 하지만 페르마가 여백이 부족하다며 생략한 그 놀라운 증명법이 앤드루 와일스의 증명법과 같았을지는 의문이며, 와일스의 방법을 쓰진 않았을 것으로 여겨진다. 현대수학의 최전선에서 간신히 증명된 이 정리는 현대수학의 해석학적으로 증명이 되었음을 생각해보면, 17세기 당시의 수학으로는 사실상 증명이 불가능했다고 여겨진다. 페르마가 무슨 미래인이라서 미래의 수학적 개념을 알고 풀어낸 것은 결코 아닐 것이기에 당대 수학에 기반해서 생각해야 하는데, 17세기 수학의 수준은 현대보다 훨씬 낮았기 때문이다.
만약 '페르마의 대정리'가 성립하지 못했다면, 페르마의 "난 이걸 증명해냈다"는 말이 거짓말이거나 착각이라고 결론내릴 수 있었을 것이다. 하지만 페르마의 말대로 대정리가 성립한다는 것이 정확하게 증명되어 버렸기 때문에, 페르마가 어떤 방법으로 풀었는지에 대한 떡밥이 도마 위에 오르게 된 것이다. 페르마의 대정리의 가장 일반적인 n=4인 경우, 페르마 본인이 무한강하법으로 책의 다른 여백에 증명을 썼고, n=4일때 참이었다.
일단 페르마가 17세기의 수준을 뛰어넘는 천재였음은 분명하다. 페르마 사후 100년간 아무도 페르마의 마지막 정리를 풀기는커녕 증명의 실마리조차도 못 찾았기 때문. 나중에 오일러가 페르마의 책을 이 잡듯 뒤진 끝에 n=4일 때의 증명을 찾은 후에야 조금씩 풀리기 시작한 것이다.
그러나 아무리 페르마가 천재라지만, FLT를 증명하는 데 실패한 수학자 중에는 페르마에 필적하거나 더 뛰어나다고 할 수 있는 세기의 위인들도 가득하다. 당장 레온하르트 오일러만 해도 페르마가 남겨둔 문제 대부분을 풀어냈다. 비록 FLT를 푸는 데는 실패했지만 문제의 극악한 난이도를 감안하면 부끄러운 일이 절대 아니다. 수많은 천재들이 도전했다가 실패하고 실패하고 또 실패한 끝에, 와일즈가 현대 수학을 다 끌어모아서 겨우 해답을 찾은 것이다. PDF 파일로 100페이지가 훌쩍 넘는 저 증명을 다 읽고 이해하려고만 해도 대수적 정수론 분야로 석사 졸업[43]이나 박사 정도는 되어야 할 텐데, 하물며 저런 증명을 직접 해낸 현대의 수학자들도 최고의 천재들일 것이며, 그들이 해볼 수 있는 시도는 거의 다 해보고 최대한 간결하게 적어서 정리한 결과물이 100페이지를 훌쩍 넘어가니 적어도 '여백'에 적어서 증명할 수준은 절대 아닐 것이다. 일본의 수학자 모치즈키 신이치는 ABC 추론을 증명하는 논문을 내면서 이걸 이용하면 50페이지 정도로 FLT의 증명을 압축할 수 있다고 주장했다. 정작 모치즈키의 논문은 561페이지나 되고 와일스의 논문만큼이나 엄청나게 난해하다.
하물며 400년 전의 수학 이론을 가지고 여백에 적을 수준으로 간결하게 증명할 수 있는 방법은 상식적으로 불가능할 것이고, 수백 년 동안 수많은 학자들의 노력이 쌓인 현대수학으로 겨우 증명되었기에 400년 전 인물인 페르마는 증명해내지 못했을 것이라는 쪽이 학계의 전반적인 분위기다.
가장 일반적인 통설은 '적는 순간엔 오류를 발견하지 못하고 증명했다고 착각했다'는 것. 실제로 n=4인 경우에 대한 증명은 페르마 자신이 책에 적어놓았고, 이 아이디어를 이용하면 n=3인 경우도 풀 수 있다. 때문에, 이 일부의 경우를 증명한 것으로 모든 경우를 다 증명되었다고 착각(추측)한 것일 수 있다. 만약 페르마가 모든 n에 대한 정리를 진짜로 증명했다면 개별 n에 대해 따로 증명할 필요는 없었을 것이다.
어디까지나 '취미'로 수학을 했던 페르마는 증명에 그다지 공을 들이지 않는 편이었고, 거기에 동료 수학자들에게 문제를 풀어보라며 장난을 치던 성격이기도 했다. 또한 그는 머릿속으로 생각했을 때 대충 맞는 것 같으면 맞는가보다 하고 넘어갔기 때문에 굳이 글로 남기지 않은 경우도 많았다. 따라서 페르마의 마지막 정리에 대한 오류도 그의 직관에 따라 적는 순간에는 머릿속으로 적당히 증명이 올바른 것이라고 생각했고 오류를 모르고 넘어갔다는 주장이다.
애초에 이 정리는 페르마의 사후, 그의 노트를 뒤적이다가 발견한 글귀에서 출발했으며 페르마가 정식으로 그 정리를 증명하여 학계에 발표한 것도 아니었다. 단순히 본인만 읽는 책의 여백에 끄적여놓은 낙서에 지나지 않았기 때문에 딱히 수정할 필요는 느끼지 못했을 것이다. 위에도 언급되었지만 페르마는 굉장히 잘나가는 법조인이었으니 페르마가 종이 살 돈 없는 가난한 인물도 아니었고, 증명하고자 했다면 나중에라도 그 증명에 대해 충분히 기술할 수 있었다. 만약 페르마가 400년 뒤의 수학을 앞지를 만한 엄청난 증명법을 생각해냈다면 나중에라도 따로 공을 들여 증명을 안적어낼 이유가 없다.
또한 위에서 언급했듯이 페르마는 다른 수학자들에게 각종 수학 문제를 내길 좋아하는 성격이었다. FLT는 문제 이해는 쉽지만 증명은 떠올리기 어려운 소위 재밌는 문제에 가까웠다. 페르마가 생각한 증명 방법이 어떤 것이든 간에 그것이 17세기 당시의 수학으로 생각할 수 있는 나름 획기적인 증명 방법이었다면 페르마 본인부터가 그 증명을 다른 수학자들과 편지로 교류하며 나눴을 것이다. 허나 그러지 않았다는 것은 페르마 본인이 착각을 했고, 나중에 n=4에 대해 증명을 해보다가 모든 n에 대한 방법은 없다는걸 깨닫고 그냥 놔뒀다는 추측이 유력하다. 거듭 말하지만 페르마의 마지막 정리는 정식으로 학계에 발표된 추측이 아니고 페르마가 책 여백 귀퉁이에 끄적여 놓은 낙서에 불과하다. 틀린걸 알았다고 해도 자신의 개인적인 노트에 적은 낙서를 일일히 뒤져가며 고쳐적어놓을 사람은 없다.
결정적으로 페르마의 마지막 정리는 17세기 당대의 수학으로 '증명'이 안된 것이지, 당대에도 이 정리가 쉽게 해결되지 않으리란 예측 정도는 할 수 있었다. 실제로 한 세대 뒤 수학자인 가우스가 이 정리가 너무 유명해지자 그런 해결하기 힘든 문제 정돈 자기도 얼마든지 만들 수 있다고 불평한 바 있다. 다시 말해, 적는 순간에는 잠시 착각했더라도 페르마 정도의 실력을 가진 수학자라면 찬찬히 생각해보니 이 문제가 생각만큼 증명이 쉽지 않구나 정도는 충분히 파악 가능했다.
그리고 페르마 본인이 말한 '실로 놀라운 증명법'은 아무래도 페르마 본인이 직접 증명하기도 했던, n=4일 때 무한강하법을 사용하는 증명이 맞을 확률이 높다. 그 방법은 굉장히 깔끔하고 감탄이 나올만한 방법이고 '여백' 정도에 적을만한 내용이며, 페르마가 따로 '여백'에다 적어놓은게 실제로 발견되었기 때문. 이걸 가지고 오일러가 했던 것 그대로 n=3일 때에도 하려고 했을 것이고 이를 확장하면 모든 n에 대해 성립할 것으로 생각했지만, 막상 더 증명을 해보니 그게 아니어서 '마지막 정리'에 휘갈겨 놓은 메모가 틀렸다는 걸 알고 이후엔 그냥 방치했다는게 현재 정설이다.
상기했듯이 애초에 이 정리가 세상에 알려진 것도 페르마 사후 그 아들이 여백에 끄적인 낙서들을 정리하면서 나타난 것이다. 페르마 본인은 이 정리를 누구에게도 말하지 않았으며, 평소 편지로 다른 수학자들에게 퀴즈내는걸 매우 즐겼던 페르마가 이 문제는 교류하지 않았다는 점에서 본인도 나중에 틀렸다는 걸 알았을 확률이 높다. 결론은 페르마가 처음엔 증명했다고 착각했지만 나중에 아니란 걸 알고, 그냥 남에게 알리지 않고 묻어두는 것으로 끝냈다고 봐야한다.
현대수학 없이도 간단히 증명되는 '[math(n^x + n^y = n^z)] ([math(n > 2)]인 정수)일 때 자명하지 않은 정수해 ([math(x, y,z)])는 존재하지 않는다.'라는 명제와 혼동했을 거라는 얘기도 있지만, 페르마 스스로 n=4일 때의 증명을 적어놓았다는 점을 생각하면 타당하지 않은 주장이다.[44]
와일스의 증명이 나타나기 전에는, 페르마가 현대수학적인 접근과는 전혀 다른 획기적인 증명법으로 페르마의 대정리를 증명했었을지도 모른다는 가설이 있었다. 증명 직후에도 페르마가 획기적인 다른 방법으로 실제로 문제를 해결했다고 믿는 사람도 있으며, 아직도 페르마가 증명했을 방법을 연구하는 사람들도 있다. 사실 최근에 밝혀진 바에 따르면 Simmons, George F. (2007)의 Calculus Gems에서 뉴턴조차 미적분에 관해서 페르마의 성과에 의해 도움을 받았다고 자신의 논문에 적었다고 한다. 뉴턴을 제외하고도 과거 뛰어난 수학자들이나 과학자들도 생각보다 많이 그의 영향을 받은 것으로 밝혀지고 있으며, 심지어 페르마의 업적은 많이 소실되었음에도 불구하고 남은 것들만으로 웬만한 뛰어난 수학자들의 업적을 능가했다. 사실 페르마가 낸 것들 중에는 당시에는 풀지 못하여서 어지간한 학자들이 포기하거나 실패하고 미래로 넘어간 것들도 은근 많다. 몇몇은 본인이 답을 주기도 했으나, 대부분은 미정 상태여서 과거 학자들 반응도 지금과 비슷했다. 그나 그가 낸 문제에 대한 갑론을박도 지금처럼 있었다. 근데 점점 시간이 지나 더 발전한 수학을 동원하니까 신기하게도 결국은 페르마의 말처럼 되기는 했다. 그래서 지금도 페르마의 방법에 대한 연구가 아직도 지속되고 있다.
현재는 많은 수학자들이 회의적으로 보고 있지만, ''만약 페르마가 정말로 FLT를 증명했고 누군가가 그 증명을 재현한다면, 그 사람은 최고의 천재로서 인류의 수학사에 길이길이 이름을 남길 것이다.'' 실패하더라도 페르마 이후 100년간 손도 못 댔던 문제의 난이도를 생각하면 부끄러운 게 아니고, 그걸로 수학에 흥미를 갖고 훌륭한 수학자가 된다면 좋은 일이다. 페르마 이후 수많은 수학자들이 그런 길을 거쳐서 수학에 입문했으니까.
5. 우리의 문제를 돌려줘!
와일즈 교수는 증명을 끝낸 후 "가장 도전할 만한 문제를 교수님이 빼앗아갔으니 새 문제를 만들어 주세요."라는 부탁에 시달렸다. 페르마의 마지막 정리를 풀고 싶어했던 수많은 사람들이 와일즈 때문에 좌절했기 때문이다. 와일즈 본인도 미야오카가 페르마의 마지막 정리를 풀었다는 오보를 들었을 때 좌절한 경험이 있기에, 그런 사람들의 불만을 아주 잘 이해하고 있었다.그래서 나온 것이 7개의 밀레니엄 문제다. 문제의 선정에는 와일즈 교수를 포함한 여러 석학들이 참여했으며, 난제를 해결한 수학자들을 치하하기 위한 백만 불(한화 약 13억 원)이라는 엄청난 상금까지 걸어 두었다. 더 많은 사람들이 수학에 관심을 가지도록 하기 위한 떡밥으로서 이런 상금을 부여한 것이다. 그런데 혹시라도 증명에 성공한다면 백만 불 따위는 문제가 아니다. 수학을 모르는 사람들에게도 이 문제를 푼 사람이라는 언론의 보도가 쏟아지고 수많은 사람들의 관심을 받게 될 것이니, 이 문제를 푼 사람에겐 13억을 가볍게 상회하는 부와 명예를 가져다주는 셈이다. 수학에 관심이 있다면 도전해보자. 참고로 와일즈 교수가 선정한 문제는 버치-스위너턴다이어 추측이라고 한다. 문서를 보면 알겠지만 타원곡선, 하세-베유 L-함수 등등 와일즈의 증명에 나오는 용어들이 다시 튀어 나온다.[45]
이중 푸앵카레 추측은 그리고리 페렐만에 의해 해결되어 정리로 수용되었다.
그리고리 페렐만은 상금을 거절했을뿐만 아니라 수학계 최고의 영예라고 할 수 있는 필즈상 수상까지 거부해서 오히려 그 덕분에 더욱 더 유명해지게 되었다.
다만 그 어떤 문제도 페르마의 마지막 정리처럼 사람들을 잘 낚지는 못했다. 수학에 난제라면 케플러의 추측을 포함해 엄청나게 많고 이천년 넘게 안 풀린 문제들도 수두룩하다. 하지만 그 문제 중에서도 사람들의 도전 정신을 자극하고 수학계에 인재를 끌어들이기로는 페르마의 마지막 정리가 단연 제일이었다. 문제의 모양(?)만 봐도 "날 풀어봐라"고 약 올리기 딱 좋은 모양이지 않은가. 수학 꽤나 공부하는 사람은 물론 중학생 때부터 수학 선생님이 아이들의 수학에 대한 흥미를 끌어올리기에 딱 좋은 모티베이션 덩어리였다. FLT는 문제만 보면 중학교에서 가르치는 수학만으로도 충분히 이해할 수 있고, 편지에 적어둔 저 비범한 내용 때문에 일반인에게도 매우 유명하다. 반면 밀레니엄 문제는 이해하는 것마저 일반인은 불가능하다. 진입 장벽 자체가 다르니 흥미가 생길 리가 없다. 그나마 이해하기 쉬운 문제로 F=ma에서 비롯된 나비에-스토크스 방정식이 꼽히지만 그것도 전산유체역학이라는 것을 동원해야 할 정도로 실무적으로 많이 다루는 일부 엔지니어 및 물리학자들에게만 유명한 것이고, 리만 가설은 소수와 관련되어 있다고 많은 사람들이 신비롭게 여기지만 그 문제가 왜 소수랑 관련되어 있는건지 묻는 말에 적절히 답할 수 있는 사람은 수학 전공자들밖에 없다. 물론 이 7대 떡밥이 수학자들이나 풀라고 만든 문제니 수알못 일반인들에겐 무슨 상관이냐 하겠지만, FLT로 인해 뜬금없이 수학자의 길로 들어선 인물들이 수없이 많았음을 생각하면 수학계에서는 FLT급 떡밥이 없는 것이 조금은 아쉬운 일 일지도.
그나마 비슷한 부류를 찾아보자면 콜라츠 추측이나 골드바흐 추측이 있다. 밀레니엄 문제가 수학자들을 위한 도전과제다 보니 일반인은 문제를 이해하는 것조차 쉽지 않은 반면, 콜라츠 추측과 골드바흐 추측은 페르마의 마지막 정리와 동일하게 문제 자체는 매우 쉽다는게 비슷하다.
6. 어록
워낙 악명 높은 정리여서 많은 이들이 이 정리에 대해 말을 남겼다.페르마의 마지막 정리가 증명되기 전에 인류는 멸망할 것이다.
ㅡ 마지막 문제[46]
ㅡ 마지막 문제[46]
그런 정리 따위에는 전혀 관심이 없다. 참인지 거짓인지 증명도 안 되는 명제 따위는 나도 얼마든지 만들 수 있다.
ㅡ 요한 카를 프리드리히 가우스(Johann Carl Friedrich Gauß)[47]
ㅡ 요한 카를 프리드리히 가우스(Johann Carl Friedrich Gauß)[47]
제가 살아있는 동안은 증명되지 못할 거라고 확신하고 있었습니다.
ㅡ 존 코츠(John Coates)[49]
ㅡ 존 코츠(John Coates)[49]
7. 기타
- 탕수육으로 본 조선시대 붕당의 이해를 패러디하여 페르마의 마지막 정리의 증명 과정을 요약한 짤방이 있다.
- 뉴욕의 8가-뉴욕 대학교 역에는 다음과 같은 낙서가 있다. 이것은 와일스 이전에 페르마의 정리를 증명했다고 주장한 미야오카의 기사가 나왔을 무렵에 쓰여진 것이라고 한다.[math(x^n + y^n = z^n)] ([math(n > 2)]인 정수)일 때 정수해 ([math(x)], [math(y)], [math(z)])는 존재하지 않는다. 나는 경이적인 방법으로 이 정리를 증명했다.그러나 내가 탈 기차가 오고 있기 때문에 여기 적을 시간이 없다!!
- 페르마의 소정리(Fermat's Little Theorem)는 소수에 관련된 내용으로, 페르마의 대정리와는 직접적인 연관은 없다. 해당 문서 참고.
- [math( 70^3 + 212^3 = 462^3 )]은 페르마의 마지막 정리의 반례(?)로 유명하다. 뭔 소리인가 싶다면 여기 참고. 물론 개그이며 가짜이다.
- 수학과 우스갯소리로 자연수의 세제곱근 이상의 제곱근이 일반적으로 무리수[51]임을 페르마의 마지막 정리로 증명할 수 있다는 말이 있다. 물론 실제로 이렇게 증명하는 것은 아주 비효율적이며, 보통은 [math(\sqrt[n]{2})]에 대해 증명하는 편.
- [math(n\geq3)] 이상의 수에 대해서 [math(\sqrt[n]{2})]가 무리수임을 보이면 다음과 같다. [math(\sqrt[n]{2}=\displaystyle{\frac{a}{b}})]이라고 둔 뒤, 양 변을 [math(n)]제곱하여 정리하자. 그러면 [math(2=\displaystyle{\frac{a^n}{b^n}})]이 되어 정리하면 [math(a^n=2b^n)]이 된다. 우변을 조금 정리하면 [math(a^n=b^n+b^n)]이 되는데, '페르마의 마지막 정리에 의하여' 3 이상의 [math(n)]에 대하여 이 식을 만족시키는 a, b의 쌍은 존재하지 않는다. 그러므로 2의 n제곱근은 무리수다.
- 당연하겠지만 굳이 페르마의 마지막 정리를 사용하지 않아도 위 명제는 쉽게 증명하는 것이 가능하다. 그냥 무한강하법을 쓰면 쉽게 풀 수 있다. 페르마의 마지막 정리를 증명하기 위해 복잡한 현대수학이 총동원되는 것을 생각해보면, 문자 그대로 '닭 잡는 데 단분자 커터를 쓰는 격'이다.
- n=3일때 항을 하나 더 넣을경우 [math( 3^3 + 4^3 + 5^3 =27+64+125=216=6^3)]이 성립한다.
- 그리고 n=5, 항이 4개일 때 [math(27^5 + 84^5 + 110^5 + 133^5 = 144^5)]라고 한다.
- 워낙 유명한 증명이라 “와일즈의 증명을 일반인이 이해할 수 있게 설명해주실 수 있나요?”라는 요청이 자주 있다. 정말 유감스럽게도 이는 불가능에 가깝다. 와일즈의 증명을 이해하려면 최소한 관련 전공의 석사 과정을 이수해야 한다. 비유를 통해서 대략적인 뉘앙스만 이해시키는 것은 가능할 수도 있다. 이런 요청이 많았는지 유키 히로시의 저서 수학 걸 2권에서 이 내용을 일반인 용으로 꽤나 깊이 있게 다루는데, 이 역시 수학 비전공자가 보기인 무리가 크다.
- 비슷한 경우로, “상대성 이론처럼, 페르마의 마지막 정리나 와일즈의 증명도 실생활에서 활용이 가능한가요?“라는 질문도 간혹 받는다. 결론만 말하자면 페르마의 마지막 정리나 와일즈의 증명을 핵분열을 일으키거나 GPS를 만드는 등의 용도로 활용할 수는 없다. 페르마의 정리와 같은 순수 수학은 물리학이나 화학과 달리 과학과 예술의 사이에 위치하는 학문으로, 실용성을 떠나 학문 그 자체가 학문의 존재 목적(scientia gratia scientiae)이다. 와일즈의 증명은 향후 수백 년간 순수 수학에서 무수히 인용되고 증명에 활용될 것이다. 허나 이를 이용해 새로운 기술을 개발하거나 기계를 발명할 수는 없을 것이다. 다만 현재로서는 상상하기 힘든 어떤 고도의 암호 생성 방법으로 페르마의 마지막 정리가 응용되는 것은 가능할지도 모른다.
8. 대중 매체에서의 등장
- 수백 년 동안 증명이 안 되었었고, 가장 대중매체에 많이 언급된 탓이 큰 듯하다. 증명이 됐다고 발표한 날과 제대로 된 증명이 성공한 날 뉴욕 타임스 대문을 장식하기도 했다.
- 유키 히로시의 수학 교양 소설인 '수학 걸 2권 - 페르마의 마지막 정리'의 내용 중 하나가 주인공들이 정수론에 대해 공부하면서 n=4일 때 페르마의 마지막 정리의 보조정리(Lemma)를 증명하는 내용이다. 보조정리는 의외로 간단한데, '넓이가 제곱수인 직각삼각형은 존재하지 않는다.'이다. 수학 걸 2권의 부제가 페르마의 마지막 정리인 만큼, 원시 피타고라스 수가 무수히 많음을 증명하는 중고등학교 수준의 수학부터 시작해서 페르마의 마지막 정리의 증명에 결정적인 기여를 한 모듈러성 정리에 대한 설명에 이르기까지 상세하게 다루고 있으므로, 이에 대해 좀 더 알아보고 싶다면 한 번 읽어보자. 국내 정식 발매명은 '수학 홀릭: 페르마의 마지막 정리'이다. 해당 도서는 시리즈 도서임에도 시리즈가 아닌 것처럼 정발된 탓인지 오래도록 후속권이 안나오고 있다가, 2022년 5권 시리즈를 정리하면서 한번에 정발하면서 '미르카, 수학에 빠지다' 라는 제목으로 5권이 한번에 출간되었다. 따라서 현재 읽고 싶으면 '미르카, 수학에 빠지다' 2권을 읽으면 된다.
- 요시토미 아키히토의 만화 <지구의 방과 후>에는 초등학생 한 명과 고등학생 세 명이 패르마의 마지막 정리를 n=4까지 증명한다. 사실 이들은 각각이 수학 천재였으며 초등학생은 IQ는 높지 않지만 세제곱근을 머리속에서 구해낼 수 있는 수학의 사반트였다.
- 만화 금색의 갓슈!!에서는 응가 뿡뿡이 우마곤에게 문제로 냈다가 타카미네 키요마로에게 "6자리 단순 곱셈도 못하는 응가 뿡뿡이 풀 수 있는 문제도 아니지! 어이! 너도 이거 못풀잖아!?" 라며 역관광당했다.
- 유희왕 ARC-V에서도 등장. 20화의 퀴즈 듀얼에서 라이프를 100, 300 같이 적게 걸고 나오는 수학 및 넌센스 퀴즈가 나오는데, 뜬금포로 라이프 5,000을 걸고 나오는 "페르마의 대정리를 증명하시오". 여기서 상대인 큐안도 에이타는 그런 건 자기는 바로 푼다며 시청하던 이과생들을 격분하게 만들었다.[53] 수학과 이과 관련 문제는 지지리도 모르는 유우야는 당연히 모른다고 답했고, 그대로 유우야의 패배가 되는 줄 알았으나... 오히려 그 데미지를 에이타가 받게 한 후 역관광을 시전했다.
- 절대가련 칠드런에서 미나모토 코이치는 어렸던 시절부터 아주 똘똘하고 수재였던 터라 초등학교 5학년 동급생인 와카미야 나나코가 내는 수수께끼 퀴즈를 무심결에 전부 맞히고는 했다. 이에 화가 난 와카미야는 아주 어려운 문제라고 하는 페르마의 대정리에 대해 물었고, 미나모토는 또 그것을 덜컥 풀어버려 난리가 났고, 코메리카로 유학가는 처지가 되었다.
- 러키스타 15화에서 히이라기 카가미의 가족들이 모여서 퀴즈 프로그램을 보면서 문제를 푸는 장면이 나오는데, 페르마의 대정리를 다루는 나름대로 어려운 문제가 나오자 어려워서 가족들이 아무 말도 안 하는 모습이 나온다. 카가미는 이걸 보면서 "왜 아는 문제는 누가 먼저랄 것도 없이 잘 대답하면서 자신이 없으면 일제히 입을 다무는 걸까?"라고 묻는다.
- 11대 닥터가 5시즌 1화에서 자신이 페르마에게 1줄을 알려주지 않고 잠들어버린 탓에 페르마가 증명을 완성하지 못했다고 언급한다.
- 웹툰 셜록: 여왕폐하의 탐정 53화에서는 셜록 홈즈가 이 문제를 이용해 악당을 엿먹이는 장면이 나온다. 해당 에피소드에서는 이것 이외에도 몬티 홀 문제 등 다양한 수학 개념들이 악당과 심리전을 펼치는 용도로 활용되었다.
- 웹툰 선천적 얼간이들 Ep. 29, 원한의 편도 편에서 편도염에 걸려 골골대던 가스파드에게 수학 선생이 풀어보라고 제시한 문제가 이거다.
- VOCALOID 카가미네 린·렌의 오리지널 곡인 '우리들의 마지막 정리'라는 곡은 여기서 모티브를 가져온 곡이다. 수학 공식이 가득한 곡이 아니라, 사회의 부조리한 강압에 대한 저항 의식을 담은 곡. 이 세상이 잘못됐음을 당장은 고칠 수 없으나 후일 고쳐내겠다는 의지를 '우리의 마지막 정리도 틀리지 않았을 거라고, 지금 당장 증명할 수가 없을 뿐'이라는 가사로 담아냈다.
- POWER MOVIE에서 김민수라는 인물의 단골 대사로 등장한다. 그리고 '이과VS이과' 라는 영상에서는 서울대 물리학 교수 유준호의 대사로 등장했다. 또한 웹드라마 남과북에서 이과 대 문과 등에서 등장한다
- 가즈 나이트 BSP 편에서는 BSP의 일원이 되기 위해 치르는 수학 필기 시험의 일부로 등장한다. 기본 점수 300점에 1000점 만점. 수학 천재 소녀인 중국 출신 오퍼레이터 류페이는 980점을 받았는데, 마지막 문제가 바로 페르마의 대정리에 관한 것이었다. 유일하게 만점을 받은 자가 오퍼레이터로 위장 취업한 피엘 플레포스였다. 참고로 지크 스나이퍼는 100점을 받았는데 이유는 마구잡이로 찍어서 감점을 당했기 때문이다. 참고로 피엘 플레포스는 공개적인 장소에서는 운이 좋았다고 했지만, 자신의 정체를 아는 지크 스나이퍼 앞에서는 별로 어렵지도 않은 일이었다고 실토했는데, 애초에 종족이 다른 천사 가운데에서도 최강자이기 때문, 가즈 나이트의 세계관에서는 인간의 수준을 뛰어넘은 강자들은 번잡한 것 없이 연산능력과 출력의 강약으로 승부하며, 명검이나 신검 등의 신물도 까놓고 보면 죄다 초강력 계산기 or 연산보조장치다.당장 사용이 은하계를 날려버리는 것보다 어렵다는 묘사가 나오는 워프 드라이브만 해도[54] 엔진의 구성이 에너지를 공급하는 표준 태양보다 효율이 100배 이상 좋다는 물질-반물질 대소멸 반응로 다수를 클러스터로 묶어 직렬로 에너지를 때려박고, 엔진 본체는 거대한 계산용 슈퍼컴퓨터다. 그 두 가지만으로 현실조작이 가능하다는 것. 평범한 천사 한 명이 인간의 한계에 도달한 10만 이상의 인간과 비슷한 능력을 지녔다는 걸 감안하면 피엘 플레포스 입장에서는 페르마의 마지막 정리에 대한 사전지식이 없었어도 구구단과 별 차이를 못 느꼈을 가능성이 높다.
- 겟 백커스에서 똑똑한 강아지가 수학 퀴즈 쇼의 문제로 출연하는 것을 봤는데, 거기서 숫자를 찾지 않고 돌연 문자를 찾아 "N.O.T.H.I.N.G"(답 없음) 이라고 표시하자 미도 반이 천재견 수준을 넘어 컴퓨터 이상의 차원의 천재라면서 강아지에게 초능력이 있다는 것을 확신하고 이번 의뢰의 탈환물은 다름 아닌 그 강아지 자체라는 것을 깨닫게 된다. 다른 사람은 주인 여자아이를 제외하고 그저 강아지가 찍어서 맞은줄 알고 있었다. 단, 여기서는 뜬금없이 인도의 수학자가 푼 것으로 나온다.
- 웹툰 입시명문 사립 정글고등학교에서 "헬 대수학" 책을 대출한 명왕성은 책 페이지 귀퉁이에 불사조가 쓴 "이 문제를 풀다 놀라운 풀이를 발견하였다. 하지만 여기 적지 않겠다"라는 메모를 보고 페르마의 정리를 모방한 도전장으로 받아들인다.
- 국내 배구 잡지 더 스파이크 2024년 2월호에 배구 관계자 및 팬들이 편집자들에게 던지는 100가지 질문이 있었다. 대한항공의 유광우(세터) 선수가 건넨 57번째 질문은 "이번 시즌 V-리그 우승팀은?"였다. 이에 김희수 기자는 "저는 수많은 데이터를 분석한 끝에 마침내 이번 시즌 우승팀을 알아냈습니다. 하지만 여백이 부족해서 적지 못할 것 같습니다."라 답했다. 김희수 기자도 페르마의 마지막 정리를 알고 있었다.
9. 관련 문서
[1] 즉 4.[2] 정수론에서 등장하는 페르마의 소정리(Fermat's Little Theorem)는 소문자 엘(l)을 써서 FlT라고 쓴다. FLT와 혼동 주의.[3] n이 2라면 그 유명한 피타고라스 정리가 되며, 이 경우 (3, 4, 5)와 같이 피타고라스 세 쌍이라고 따로 붙여진 정수 순서쌍이 존재한다.[4] [math(xyz\ne0)]을 만족한다는 의미로 쉽게 말해 'x, y, z 모두 0이 아닌 수이다.' 라는 뜻이다. x, y, z 중 0인 것이 존재한다면 너무 당연한 해들이 무수히 많이 나온다. 예를 들어, z=0, x=-y. x=0, y=z.[5] 중학교 1학년 1학기 때 거듭제곱의 개념만 제대로 배우면 문제를 이해하는 데에 아무 문제가 없으며, 높게 잡아도 피타고라스 정리를 직접 배우는 중학교 2학년 수학 수준에서 커버된다. 그 이상의 큰 수도 수학과에서 학부 2학년 때 가르치는 정수론 시간에 디오판토스 방정식을 다루면서 n값이 작은 경우를 한번 증명해보라고 소개하는 수준.[6] 이 정리를 증명하는 핵심 이론이 된, 타원곡선 이론의 집대성이라고 할 수 있는 모듈러성 정리는 타니야마-시무라의 추론이란 이름으로 처음 나왔을 때 그 누구도 페르마의 마지막 정리를 증명할 수 있는 이론이라 생각하지 않았다. 앤드루 와일스 교수도 일단 졸업은 해야 했기에 교수 추천으로 우연히 타원곡선을 연구하다가 타니야마-시무라 추론까지 건드리며 증명에 성공한 것이었다.[7] 힐베르트가 이 정리를 황금알을 낳는 오리에 비유하며 평생 증명되지 않기(배를 가르지 않기)를 바랐다고도 하는데, 페르마의 마지막 정리를 증명하기 위해 인류가 쌓아올린 수학 지식이 수학 발상부터 페르마 당시까지 쌓아올려진 수학의 지식량을 가볍게 압도했기 때문. 즉, 수학이라는 학문을 발달시키는 가장 큰 공을 세운 정리 중 하나로, FLT로 인해 정수론이 지금과 같은 형태로 발달했다. 현대 수학에서는 그 외에도 타원 모듈러 함수 역시 대폭적인 발전을 이루는 등 수학의 거의 모든 분야가 이 정리 하나로 쌓아올려진 것이나 다름 없는 상황. 다른 걸 떠나서 복소수도 이 페르마의 마지막 정리의 증명을 위해 정식으로 수학에 편입된 개념이다.[8] 참고로 수학자들을 FLT에 제대로 어그로를 끌게 만든 건 후술할 볼프스켈이 더 크긴 하다는 평도 있다.[9] 변호사로 활동을 시작했으며 이후 툴루즈 고등법원의 판사로 임명됨[10] 어차피 x, y, z에 정수배를 하면 정수해가 된다.[11] 해석학, 기하학, 조합론, 계산과학, 응용수학 등등.[12] 주로 19세기에 결투가 유행하던 프랑스에서 행해졌는데, 동양인 기준에서는 이해가 안 되겠지만 '증명이 가능하다'는 쪽과 '증명은 불가능하다'는 쪽이 서로 권총을 겨누고 이긴 사람의 말이 맞는 것으로 처리되었다. 당시 서양은 결투로 모든 것을 결정할 수 있는 대결투시대라 이런 일이 가능했다.[13] 이것들을 이해하려면 아무리 못 해도 대학교 차원에서 학부 수학과 전공자 정도의 수준은 되어야 하며, 몇몇은 학부 수준으로도 이해할 수 없고 석사, 박사 이상의 수준이 요구된다.[14] 하지만 함정이 있는데, 페르마의 마지막 정리의 형태인 디오판토스 방정식은 사실 매우 어려운 분야라는 것이 현실이다. 문서 참조.[15] 오일러의 정리로 유명한 그 대수학자 오일러 맞다. 이 오일러마저 죽은 페르마에게 녹아웃을 당했던 것.[16] 어떤 조건을 만족하는 최소의 양수 a가 존재할 때, 그 수보다 더 작으면서 같은 조건을 만족하는 양수 b가 존재한다는 것을 증명함으로써 모순을 이끌어내는 방법.[17] 본말전도인 것 같지만, 오일러 이후에도 FLT에 대해 연구하다 정작 원하던 FLT 증명은 못 하고 다른 업적을 달성한 학자들이 많다. 다비트 힐베르트가 괜히 이 문제를 두고 황금알을 낳는 거위라고 한 게 아니다.[18] 가우스, 라그랑주 등 당대 최고의 학자들과 교류했다. 당시에는 여성이 학문을 하는 것을 그렇게 좋지 않은 시선으로 보았기 때문에 거의 독자적으로 학문 활동을 하였다. 수학뿐만 아니라 물리학(탄성 관련), 철학에서도 중요한 업적을 남겼다.[19] 편의상 N, M 등을 소수라고 한다면 N*M은 합성수이다.[20] 가우스 함수와 가우스 기호, 가우스 분포, 가우스 법칙을 창안한 그 대수학자 가우스 맞다.[21] p가 소수이고 2p+1도 소수일 때 p는 소피 제르맹 소수, 2p+1은 안전소수라고 한다.[22] 각각 디리클레 함수와 디리클레 분포, 르장드르 함수와 르장드르 변환을 고안한 수학자. 르장드르는 이후 n=14일 때의 경우도 증명해낸다.[23] 소수의 개수는 무한하고 소수를 늘어놓은 수열에서는 아직까지 아무런 규칙을 찾아내지 못했다.[24] 비정규 소수의 비율의 극한은 [math(\displaystyle{1-\frac{1}{\sqrt{e}}})]이라고 추측되나 아직 증명되지 않았다. 논문의 p115의 "3. The Distribution of Irregular Primes" 참조.[25] 2020년 기준 약 119만 달러, 한화로 약 13억원 : (2020원달러환율1,086.3) / 1910년 환율 1달러 = 약 4.2마르크 / 110년간 화폐가치차이 약 500.3배(영국화폐가치통계 : 물가 111.2배, 임금 401.8배, 자본 987.9배)[26] 앤드루 와일스는 볼프스켈상 상금으로 5만 달러를 받았다. 다만, 아벨상(685,000유로, 약 9억 3천만원)등 다른 상으로 받은 상금들도 치면 화폐가치 손해는 따질 필요는 없는 듯.[27] 아주 간단한 편미분 방정식조차 f(x, y, z)=A(x)B(y)C(z)로 가정하고 풀어야 할 정도로 굉장히 복잡하다. 편미분 방정식에 대해 더 알고 싶은 이는 유체역학이나 양자역학, 나비에-스토크스 방정식 참조.[28] 페르마의 마지막 정리가 '틀렸'다면 컴퓨터를 이용해서 대량의 경우를 증명하다 보면 언젠가는 반례가 발견되어 거짓임을 증명할 수는 있었겠지만...안타깝게도 페르마의 대정리는 후에 '참'이라고 증명된다는 것이 문제가 된다. 거짓이었다면 언젠가는 반례를 뽑을 수 있겠지만 참인 이상 컴퓨터의 성능이 얼마나 좋든, 얼마나 많이 동원하든 경우의 수가 무한한 이상 영원히 검증에서 벗어날 수 없게 된다.[29] 증명되기 전에는 타니야마-시무라의 추론으로 불렸다. 리벳의 발표 이후 추론(conjecture)에서 정리(Theorem)로 격상됐다.[30] '페르마의 마지막 정리'라는 책에서는 '수학자의 발표의 학문적 중요성은 발표 후 복사실에서 논문 복사를 하려는 학자의 수를 세어보면 된다'고 언급하는데, 이 발표 직후 수학자들이 대거 자리를 박차고 논문을 복사하려고 뛰쳐나갔다고 언급한다.[31] 듣는 순간 전율을 느꼈다고 말했다.[32] 진짜 두문불출을 한 것은 아니고 이런 와중에도 강의 준비 등 가르치는 일에는 충실했다고 한다.[33] 몇 년간 학회나 심포지엄에도 거의 참석하지 않았기 때문에, 옥스포드 및 학계의 동료 수학자들 사이에는 결혼하고 아이가 생기니까 수학을 놓아버렸다는 소문까지 떠돌았다.[34] 완전한 타니야마-시무라의 추론의 증명은 1999년에 리처드 테일러(와일즈 교수의 제자)와 다른 수학자들의 공동 연구로 이루어졌다.[35] 심지어 1994년 4월 1일에는 'FLT의 반례가 발견되었다'는 가짜 뉴스가 퍼져 학계가 발칵 뒤집히기도 했다. FLT에 반례가 생긴다는 건 FLT와 떼려야 뗄 수 없던 타니야마-시무라의 추론이 거짓이 된다는 것을 의미하는데, 이는 그 추론으로 오랫동안 추측하여 쌓은 수학 가설들이 일제히 잘못된 이론에 바탕한 가설들, 즉 폐기되어야 할 이론이 된다는 것이었기에 가짜 뉴스라는 게 밝혀질 때까지의 이틀 동안 수학계는 엄청난 난리가 났다.[36] 첫 증명 때는 시행착오 과정에서만 사용되었고 최종 발표에서는 쓰이지 않았으나, 후에 재증명 때 다시 사용된다.[37] 필즈상의 나이 제한은 수상할 때를 기준으로 하기에 1세 차이로 수상을 하지 못했다는 소리는 아니다.[38] 돈 제이지어(Don Zagier)는 이걸 "양자화된 필즈상"(Quantized Fields Medal)이라 불렀다[39] 우스갯소리로 필즈상의 오류를 증명했다는 업적을 이야기하기도 한다.[40] Knight Commander of Order of the British Empire. 약자는 KBE이며 이것을 받은 사람은 기사 작위도 수여받는다.[41] 거기다 1등급은 주로 왕족, 귀족, 고위 공무원들에게 수여되는 편이라 이를 제외한 사람들이 수여받을 수 있는 건 사실상 2등급까지가 한계다.[42] 참고로 아벨과 갈루아(Galois)는 대수학, 군론에서 각각 아벨군과 갈루아군으로 잘 알려져있는 대표적인 수학자들이다.[43] 석사 분야가 대수적 정수론 쪽이 아닐 경우 이해 못할 수도 있다.[44] 명제의 식을 변환하면 [math(n^{z-x}-n^{y-x} = 1)]인데 [math(n)]의 정수승은 모두 양수일 테니, [math(n^{z-x} > 1)]이고 [math(n^{z-x}-n^{y-x})]를 최대한 1에 가깝게 하려면 [math(n^{y-x}=n^{z-x-1})]이어야 한다. 그런데 [math(z-x = 1)]이라 가정해도 [math(n^{z-x}-n^{y-x} = n - 1 > 1)]이고 [math(z-x ≥ 2)]이면 [math(n^{z-x}-n^{y-x})]값은 더 커진다. 즉 변환된 식에 만족할 만한 값을 찾을 수가 없다.[45] 한마디로, 자기 전공분야에서 문제를 낸 것이다.[46] 당시 페르마의 마지막 정리를 소개한 수많은 책들 중에 기재된 문구 내용이다. 이 책을 읽고 분노한 앤드루 와일스는 결국 이 주장이 틀렸다는 것을 증명했다.[47] 19세기 최고의 수학자. 그의 동료가 페르마의 마지막 정리를 보여주며 "이걸 풀 수 있는 건 아무래도 자네밖에 없을 것 같아"라고 하자 돌아온 말이다. 이 반응에 대해서는 과거에 풀어 보려다가 실패했다는 설과, 문제의 난이도가 너무 높은 걸 알아채고 피했다는 등의 설이 있다. 가우스의 천재성을 생각해보면 당시의 수학으로는 증명할 수 없음을 직감적으로 알아챘을 가능성도 있다. 위에서 언급된 소피 제르맹과 교신하던 게 가우스였으니 문제에 대한 이해가 부족하지는 않았을 것이다.[48] 20세기 초의 위대한 수학자로, 완벽한 수학 체계를 만들기 위해 노력했지만 불완전성 정리 때문에 실패하고 말았다. 페르마의 마지막 정리를 증명할 것을 권유하자, 그는 "실패할 게 분명하다"는 이유로 거절한 바 있다. 그가 페르마의 마지막 정리를 '황금알을 낳는 거위'로 비유한 건, 페르마의 마지막 정리 증명을 위해 개발된 수많은 이론들 때문이다. 당장 맨 처음 시도된 오일러의 무한강하법에서 허수 개념이 탄생한 것은 물론, 대수학의 환론에서 중요한 개념인 이데알도 FLT를 해결하기 위한 도구였으며, 소개되었던 쿰머의 정규 소수 개념도 그렇다. 아예 모듈러성 정리는 이를 전제로 하는 수많은 논문들과 함께 하나의 학문적 분야로 자리잡았다. 그와는 별도로 FLT에 낚여서 수학자가 되는 인재가 많았기 때문이라고 하기도 하고, 우스갯소리로는 FLT에 붙은 상금이 은행에 있는 동안 생겼던 이자 때문이라고 하기도 한다.[49] 와일스의 지도교수였으며, 자기 제자가 페르마의 마지막 정리를 증명하는 강연을 직접 듣게 된다. 자신보다 뛰어난 제자를 양성하는 데 성공했으니 스승으로서 굉장히 뿌듯할 것이다.[50] 타니야마 유타카와 함께 '타니야마-시무라의 추론'을 발견한 일본의 수학자. 와일즈의 증명이 뉴스에 뜨자마자 몰려온 기자들에게 보인 반응. 안타깝게도 타니야마 유타카는 1958년 31세의 젊은 나이로 자살하여 이 장면을 같이 볼 수는 없었다.[51] 예를 들어 8의 세제곱근은 2가 되어 유리수가 된다. 이런 케이스는 제외해야 하기 때문. 다만 해당 케이스는 이렇게 처리할 수 있다. 정수 [math(l)]에 대하여 [math(\sqrt[n]{k}=l)]이라고 두면, [math(k=\displaystyle \frac{a^n}{b^n})]에서 한 스텝 더 나아가서 [math(l^n=\displaystyle \frac{a^n}{b^n})]로 정리할 수 있고, 이를 조금 더 변형하면 [math(l^n b^n=a^n)]이므로 [math(\left(l b\right)^n=a^n)]. 즉 [math(lb=a)]로 퉁칠 수 있기에 쉽게 제외할 수 있다.[52] 두 번이나 언급되었다. 그런데 언급된 경위가 좀 웃긴 게, The Next Generation 시리즈에서 주인공인 피카드 선장이 "800년째 증명되지 않은 정리"라면서 자기도 취미 삼아서 증명을 해보고 있다고 언급한 적이 있었는데, 해당 에피소드의 방영일은 89년도라 93년에 와일즈가 증명해냈단 소식이 들리자마자 트레키들의 성화가 빗발쳤던 것이다.(93년 증명에서 오류가 발견되었지만 이를 보완하고 94년에 완전히 증명되었다.) 결국 후속작인 Deep Space Nine에서 와일즈의 이름을 직접 언급하면서 와일즈의 것과 다른 증명법을 다들 300년째 찾고 있다고 해명해야 했다. 어찌 되었든 과학과 수학의 발전은 대중매체가 상상하는 것보다 빠름을 보여주는 또 다른 예가 되었다.[53] 증명이 자고로 책 한 권이다.[54] 워프 드라이브는 일반적인 SF소설과 다르게 현실 조작 계통의 기술으로, 모든 기존 인과를 무시하고 그 장소에 도착했다는 사실을 현실에 덮어씌우는 기술이다. 물리적으로 도달이 불가능한 다른 우주 등에도 좌표식만 있으면 갈 수 있다. 물론 그 좌표를 구하는 것도 어지간한 과학기술력으로는 하지도 못한다.