| 정수론 Number Theory | |||
| {{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" | 공리 | ||
| 페아노 공리계 · 정렬 원리 · 수학적 귀납법 · 아르키메데스 성질 | |||
| 산술 | |||
| 나눗셈 | 약수·배수 | 배수 · 약수(소인수) · 소인수분해(목록 · 알고리즘) · 공배수 · 공약수 · 최소공배수 · 최대공약수 | |
| 약수들의 합에 따른 수의 분류 | 완전수 · 부족수 · 과잉수 · 친화수 · 사교수 · 혼약수 · 반완전수 · 불가촉 수 · 괴짜수 | ||
| 정리 | 베주 항등식 · 산술의 기본정리 · 나눗셈 정리 | ||
| 기타 | 유클리드 호제법 · 서로소 | ||
| 디오판토스 방정식 | 페르마의 마지막 정리 · 피타고라스 세 쌍 · 버치-스위너턴다이어 추측(미해결) | ||
| 모듈러 연산 | |||
| 잉여역수 · 2차 잉여 · 기약잉여계 · 완전잉여계 · 중국인의 나머지 정리 · 합동식 · 페르마의 소정리 · 오일러 정리 · 윌슨의 정리 | |||
| 소수론 | |||
| 수의 분류 | 소수 · 합성수 · 메르센 소수 · 쌍둥이 소수(사촌 소수 · 섹시 소수) · 페르마 소수 · 레퓨닛 수 | ||
| 분야 | 대수적 정수론(국소체) · 해석적 정수론 | ||
| 산술함수 | 뫼비우스 함수 · 소수 계량 함수 · 소인수 계량 함수 · 약수 함수 · 오일러 파이 함수 · 폰 망골트 함수 · 체비쇼프 함수 · 소수생성다항식 | ||
| 정리 | 그린 타오 정리 · 페르마의 두 제곱수 정리 · 디리클레 정리 · 소피 제르맹의 정리 · 리만 가설(미해결) · 골드바흐 추측(미해결)(천의 정리) · 폴리냑 추측(미해결) · 소수 정리 | ||
| 기타 | 에라토스테네스의 체 · 윌런스의 공식 | ||
1. 개요
Die Mathematik ist die Königin der Wissenschaften, und die Arithmetik ist die Königin der Mathematik.
수학은 과학의 여왕이고 정수론은 수학의 여왕이다.
- 카를 프리드리히 가우스
整數論 / Number Theory[1]수학은 과학의 여왕이고 정수론은 수학의 여왕이다.
- 카를 프리드리히 가우스
정수론, 또는 수론은 정수(ℤ)의 성질 또는 정수가 등장하는 경우[2]들을 연구하는 학문이다. 위의 가우스 명언 속에서 보이듯 원래 정수론은 산술(Arithmetik)에서 출발했으나 현대 독일어에서도 산술이 아닌 Zahlentheorie라 부른다.[3]
2. 상세
고대부터 중세까지의 수학에서 정수론은 기하학, 해석학, 대수학과 어깨를 나란히 하는 학문 파트 중 하나였다. 흔히 수학을 산술, 대수, 기하, 해석으로 분류하는데, 정수론은 이 중에서 산술(arithmetic)[4] 이라는 명칭으로 불리던 분야이다. 독자적인 이론도 풍부했으며, 그 때문에 한국수학올림피아드 같은 곳에선 아직도 독립된 분야로 다루고 있다.[5] 정수 체계는 수학의 가장 중심적인 영역이기도 한데, 인간이 연구하는 수학적 관념들의 시작점이기 때문. 이와 관련하여 수학자 레오폴드 크로네커는 "자연수는 신의 선물, 나머지 모든 것은 인간의 작품이다."이라는 명언을 남기기도 하였다.정수론은 유명한 난제가 제일 많이 존재하는 수학 세부 분야이다. 다른 분야는 애초에 문제 자체를 일반인은 이해할 수 없는 경우가 대부분이므로 유명해지는 것부터가 쉽지 않다. 반면에 정수론은 문제 그 자체는 중학생도 이해할 수 있을 정도로 쉬운 경우가 많기 때문에 유명해지기가 쉽다. 특히 콜라츠 추측 같은 문제는 초등학생도 매우 쉽게 이해할 수 있는 문제이지만 100년 가까이 증명되지 않았다. 가우스도 누구나 쉽게 페르마의 정리와 같은 문제를 만들어 낼 수 있을 것이라고 했을 정도.[6] 물론 정수론의 난제를 풀어내기 위해서는 다른 분야만큼이나 고난이도의 방법론이 사용된다.
정수론에서 가장 유명했던 난제는 1990년대에 앤드루 와일스에 의해 풀린 페르마의 마지막 정리였다. 이 정리의 내용은 "정수 [math(n\ge 3)]에 대해, [math(x^{n} +y^{n} =z^{n})] 을 만족하는 자명하지 않은 해[7]는 존재하지 않는다" 이다.[8] 이 분야에서 아직까지 풀리지 않은 문제는 골드바흐 추측과 콜라츠 추측, 리만 가설, 버치-스위너턴다이어 추측 등이 있다.
정수론의 현실 세계에서의 쓰임새는 다른 수학 분야에 비해 적지만, 아이러니하게도 정수론의 문제를 해결하기 위해 모든 분야들을 총동원하는 것을 볼 수 있다. 최전방의 수학 분야들이 정수론 문제들을 고려하여 이끌어진 것이 꽤 되고, 이 과정 속에서 필즈상을 타는 경우도 제법 있다. 그런 이유에서 동떨어진 듯한 분야에서의 놀라운 정리가 사실 역사적으로는 정수론의 문제를 해결하려는 도중에 발견된 것들도 많이 있다.
상기했듯이 쓰임새가 적은 편이라 '잉여 분야'라는 이미지가 있지만[9] 그래도 사용하는 곳이 생각보다는 많다. 암호학의 기본 이론도 이 정수론을 기본으로 하고 있으며,[10] 정보와 관련된 이론들도 상당 부분 정수론을 기본으로 한다. .그리고 컴퓨터가 발달되면서 사용빈도가 늘었다. 그 이유라 하면, 컴퓨터에서 정수는 정확한 값을 가질 수 있기 때문이다. 실수형 타입의 경우에는 round off error(반올림 오차)[11]가 발생하기 때문에 이로 인한 문제가 발생할 수 있다.
컴퓨터 공학 비전공자를 위해 최대한 이해가 쉽게 설명하면, 컴퓨터의 floating point 시스템은 소수점 이상과 소수점 이하를 합쳐서 표현할 수 있는 '유효 숫자' 자리수에 한계가 정해져 있다. 설명을 위해 유효 숫자 자리수가 예를 들어 6 자리라고 가정하자. 그럼 12345600, 1234560, 123456, 12345.6, 1234.56, 123.456, 12.3456 1.23456, 0.123456, 0.0123456, 0.00123456 등은 모두 표현 가능하다. 12345600 은 8 자리인데 왜 유효 숫자가 6 개인지 의문을 가질 수 있는데, 이 경우에는 소수점 이하의 값이 없고(0 이고) 동시에 소수점 이상에서 일의 자리와 십의 자리 둘다 0 이기 때문에 이는 유효 정보가 없는 것으로 취급할 수 있기 때문이다. 0.00123456 도 명목상으로는 소수점 이하 8 자리이지만 비슷하게 소수점 이상의 값이 없고(0 이고) 소수점 이하에서도 처음 두 자리 모두 0 이라 똑같이 유효 정보가 없는 것으로 간주할 수 있다. 즉 앞에서 든 모든 숫자에서 유효 정보는 모두 123456 으로 6 자리 동일하다. 이 유효 정보에다 다른 추가 정보를 사용해서 앞에서 든 값을 각각 구분해서 표현하는 것이다. 자 그런데 12345600 과 값이 단 1 차이인 12345601 을 생각해보자. 값이 단 1 차이지만, 12345601 은 일의 자리가 0 이 아니므로 이를 정확하게 표현하기 위한 유효 숫자는 이제 8 자리로 늘어난다. 하지만 앞에서 유효 숫자는 6 자리가 한계라고 가정했기 때문에, 12345601 은 유효 숫자 6 자리로 표현할 수 있는 근사값 12345600 (혹은 12345700) 으로 쓰여야 하고 오차가 발생해버린다. 마찬가지로 0.001234561 은 0.00123456 와 겨우 0.000000001 차이에 불과하지만 표현할 수 없는 숫자가 되어 0.00123456 (혹은 0.00123457) 로 쓰여야 하고 오차가 발생해버린다.][12] 때문에 오차가 생기고, 이 오차는 계산을 거듭할수록 걷잡을 수 없이 커지기 때문이다. 게다가 컴퓨터에서의 수 표현은 수를 표현할 저장공간의 한계상 정수론에서 말하는 시계 산술을 사용한다.
정수론이 잉여 분야이며 연구도 활발하지 않다고 많이 까이지만, 수학의 공리 대부분은 정수론에 대한 공리이다. 왜 21세기에 정수론 연구가 활발하지 않냐 하면 정수론은 고대 그리스, 아니 고대 이집트 시대부터 연구된 수학사적 총체이기 때문이다. 거의 5,000년 정도 수학자들이 열심히 연구해서 현재의 토대를 구축한 것이다. 5,000년 동안 연구해 왔으니 생각보다 많은 부분이 증명 또는 합의에 의한 공리체계로 정리되어 있다. 그럼에도 불구하고 정수론에는 난제가 너무나도 많고, 이것을 증명 또는 공리로 정하는 방법을 찾지 못하고 계속해서 난제가 쌓여가는 모습을 볼 수 있다. 그야말로 정수론은 수학 체계에서 원점이자 정점 그 자체이다.
참고로 이름은 '정수론'이지만 기초 수준에서는 정수보다는 자연수, 그중에서도 소수를 중점적으로 다룬다. 음의 정수는 잘 다뤄지지 않는데, 대부분의 곱셈에 관련된 문제에서 양의 정수에 -1을 곱하는 것으로 음의 정수를 다룰 수 있기 때문이다. 또한 합성수들은 소수의 곱으로 생각할 수 있기 때문에[13], 결국 소수가 다른 정수들보다 더 중요한 대우를 받게 된다.
3. 주요 대상
3.1. 소수 (Prime number)
정수론에서 가장 중심적으로 연구하는 것은 소수이다. 당장 생각나는 특징들은 모두 소수와 관련된 정리나 추측인 것이 많다. 예로, 4 이상의 모든 짝수는 두 소수의 합으로 나타낼 수 있다라든가, 6 이상의 모든 자연수는 세 소수의 합으로 나타낼 수 있다라든가.[14][math(\left(p-1\right)! \equiv -1 \left(\text{mod} \ p\right))][15] 와 [math(x^{p-1} \equiv 1 \left(\text{mod} \ p\right))] (단, [math( x )]는 정수, [math( p )]와 [math( x )]는 서로소)[16] 같은 간단한 식도 [math( p )]가 소수일 때에 성립하는 식들이다.
정수론에서 이렇게 소수에 열광하는 이유는 바로 소수들에 대해서 알면 바로 정수 전체에 대해서 알 수 있기 때문이다. 대표적인 예로 하세-민코프스키 정리가 있는데, 모든 [math(p)]진 체와 실수 집합에 대해서 유리계수 이차형식이 해를 가지면 유리수 위에서 해를 가진다. 그러니까 모든 소수들 (실수 집합도 하나의 소수라고 보자.)에 대해서 해를 가지고 있다면 바로 유리수에 대한 존재성으로 생각할 수 있다.
사실 이 [math( p )]진체라는 것이 대수적 정수론에서 매우 중요한 개념인데, 이는 실수와 다른 방향으로의 유리수의 완비화로서 헨젤의 보조정리를 통해 정수의 국소적 성질이 옮겨질 수 있고, 위상적 성질도 꽤나 간단하며 이를 이용해서 adele이라는 개념을 정의하여 소수의 곱도 위상적으로 나타낼 수 있다. 이의 응용으로 [math( p )]진 양자역학이라는 것도 있다.
3.2. 산술함수
정수론 연구를 위해 만든 특수함수들이 있는데 이를 산술함수라고 한다. 최대공약수, 최소공배수, 약수 함수, 소인수 계량 함수 같은 기초적인 것부터 뫼비우스 함수, 오일러 파이 함수, 폰 망골트 함수, 체비쇼프 함수 같은 것까지 지겹도록 접하게 된다.엄밀한 의미의 산술함수라고 볼 수는 없지만 지시함수[17], 리만 제타 함수, 로그 적분 함수 같은 것도 자못 많이 쓰인다.
3.3. 디오판토스 방정식
디오판토스 방정식 또한 정수론에서 중심적으로 연구하는 주제이다. 1차 부정방정식이나 펠 방정식처럼 간단한 문제부터 타원곡선 같은 현대의 복잡한 방정식까지의 다양한 다항방정식의 정수해에 대해서 연구한다. 디오판토스 방정식을 풀기 위해서 다양한 이론이 개발되었는데 일례로 대수학의 아이디얼이 19세기에 페르마의 마지막 정리를 연구하던 중 탄생했다.4. 현대의 연구
현대의 정수론은 대수(代數)적인 방법이나 해석적인 방법론(주로 복소해석학)을 사용한다. 전자의 경우를 대수적 정수론, 후자를 해석적 정수론 이라고 하며, 대수적 정수론은 대수학적 방정식의 정수 해를 찾는 문제에서 시작되었고, 해석적 정수론은 소수와 관련된 이론에서 출발하였다. 물론 이 두 가지 분야는 완벽하게 나누어지는 것은 아니며, 사용되는 방법론 상에서의 차이가 가장 크다. 가장 간단하게 차이를 설명하자면, 대수적 정수론은 대수학적 기법들을 주로 사용하며, 해석적 정수론은 복잡한 적분이나 부등식들을 많이 사용한다고 말할 수 있다.다른 현대 수학들과 마찬가지로, 정수론 분야 역시 수학의 다른 여러 분야들과 밀접한 관련을 가진다. 즉, 정수론의 연구에서는 대수학이나 해석학, 조합론 등의 다른 분야에 대한 지식이 필요하다는 것이다.
근래에는 위상수학을 접목하는 연구도 진행 중이다.
어떤 정수를 3번 곱한(3승) 수(입방수)를 3개 더하거나 빼서 1~100을 만드는 문제같은 경우에는 무려 PC 50만대를 연결해서 풀었다. 64년간 못푼 수학난제, 세계 PC 50만대 연결해 풀었다.
5. 공부
중고등학생들의 정수론 공부에 대해서는 한국수학올림피아드 문서도 참조.대학교 수학과 학부과정에서는 주로 2학년 때 듣게 되며, 다른 코어 과목들과 달리 보통 한 학기만으로 끝내게 된다. 선형대수학 등 수학과 밖에서도 많이들 들으러 오는 과목에 비하면 수강인원은 상대적으로 적은 편이지만, 컴퓨터공학과라던지 정수론을 기본기로 익혀야 하는 다른 전공이 아예 없는 것은 아니다. 그리고 정수론이라는 분야의 특성상 3학년 때 배우는 현대대수학의 프리퀄 수준으로 끈적한 연계가 이뤄질 수 있다. 위상수학이 집합론을 기본기삼아 출발하는 분야라서 고학년들에게 위상수학을 가르치는 교수가 저학년들에게 집합론을 가르치는 것처럼 현대대수학 담당 교수가 정수론 수업을 맡는 경우도 흔한데, 이런 교수들은 정수론에서 가르친 각종 테크닉을 전공필수 현대대수 과목을 듣는 모든 수강생들이 당연히 알거라 여기고 아무 설명 없이 가져다 쓸 수도 있으므로 정수론 수강을 마친 학생들은 현대대수학 수강 직전에 복습을 해두는 것이 좋다. 정수론 내용을 현대대수학 수업 때 필요한만큼 정수론 내용을 복기해주는지는 교수에 따라 다르니 현대대수학 수강신청 때 수강평이나 교수, 조교에게의 문의가 필요하다.[18]
한편, 상위권 대학에서는 오랫동안 한국수학올림피아드 등의 경시대회 공부로 단련된 고수 내지 수퍼스타(국가대표 출신이라 언론을 탔을 수도 있다!)가 유별나게 두각을 드러내기도 한다. 대학원이 아닌 학부 수준에서조차도 정수론은 그나마 친숙(?)한 미적분, 벡터를 다루는 해석학, 선형대수학과 달리 고등학교 3년간 거의 다뤄진 바 없이 생소하고 희한한 계산으로 첫걸음을 떼는 과목이므로 수학과생들 역시 '백지'에 가까운 상태에서 출발할 가능성이 높으나[19], 초등학교 때부터 올림피아드 공부나 덕질(...)로 단련된 이런 만렙 고수들은 학부 과정 정수론이 기본기로만 느껴질 정도로 앞선 출발선에서 시작하기 때문이다. 2010년대부터는 전보다 드물어졌지만 조기졸업을 하고 온 경우 이런 고수들이 나이마저 어리기도 한데, 군복무를 마치고 머리가 굳은 채로 수학과 2학년에 복학한 남학생이 아직 신체검사도 안 받은 애송이가 어려운 계산과 증명 문제를 힘 안들이고 쉽게 풀어내는 모습을 보면 좌절감이 이만저만이 아니다. 물론 전에 해봤던 내용이라고 간혹 건성으로 임하기도 하는 이런 거만(?)한 학생들을 언짢게 보는 교수들도 있지만, 오히려 자신도 어릴 때부터 올림피아드 공부를 했는데 반갑다(...)며 더 좋아하는 교수들도 있다.
5.1. 교재
호기심이든 진지한 수학 쪽 진로설정이든 간에 정수론에 입문코자 한다면 우선 한국수학올림피아드 대비교재를 보는 게 가장 좋다. 시중의 올림피아드 교재는 대부분 중학생을 타겟으로 하기 때문에 기본 수학실력이 탄탄한 고등학생이나 성인이라면 무난히 읽을 수 있다. 유명한 건 <한국수학올림피아드 바이블>이나 티투의 <104 정수론>, 김광현의 <마두식의 정수론>이 괜찮다. 조합론 같은 다른 올림피아드 과목들도 마찬가지지만, 정수론은 특히 한번 제대로 공부해 놓으면 고등학교 수학은 물론이고 학부 수학과 중반까지도 도움이 되는 어마무시한 약발을 자랑한다.실제 영재학교 시험에서는 빈번하게 출제되
학부 저학년용 교재로 사용되는 수준에서는 아래와 같은 책들이 추천된다.
- Joseph H. Silverman, <친절한 수론 길라잡이>
경문사에서 출간되었다. 교수 4명이 번역했는데도 온갖 드립이 포함되어 있다. 물론 원서 <A Friendly Introduction to Number Theory> 자체가 이런 스타일의 편안한 느낌의 책이다. 이 책은 굳이 대학 수업을 듣지 않더라도, 어느 정도의 수학 지식만 있으면 혼자 읽는 데에 적합한 내용으로 이루어져 있다.
- David M. Burton, <Elementary Number theory>
대부분의 대학교 수학과와 영재학교에서 에서 사용되는 표준적인 교재이다.
- 박승안 & 김응태, <정수론>
한국 대학 수학과에서 엄청난 고전이며, 많은 대학에서 교재로 사용했던 책이다. 근데 최신판도 오타가 많다.
- G. H. Hardy, Edward M. Wright- <An Introduction to the Theory of Numbers>
정수론 입문서계의 가장 대표적인 책이다. 일반적인 학부 수준 정수론 교재의 내용 이외에도 이차 수체, 해석적 정수론 입문, 소수 정리의 초등적 증명, 웨어링 문제, 디오판토스 근사, 타원 곡선 등의 내용을 포함하고 있다. 책 자체의 설명은 말 그대로 'Hardy 스타일'이며, 설명을 위해 쓰이는 방법도 다른 책에 비해 높은 편이다. 호불호가 갈리기는 하지만, 정말 훌륭한 입문서이다. 단점으로는 연습문제가 아예 없다는 점이 있다.
- Edmund Landau- <Vorlesungen über Zahlentheorie>
다소 특이한 정수론 교재로, 란다우 특유의 엄밀한 스타일로 되어 있다. 즉, 아주 사소한 것까지도 전부 증명하며 명제들을 쌓아 나가는 방식이다. 논리적으로 매우 엄밀하며, 다른 정수론 교재에서는 생략하는 내용까지도 전부 증명되어 있다. 독일어 원전은 총 3권이며, 제1권의 절반이 영어로 번역되어 <Elementary Number Theory> 라는 제목으로 별도 출간되기도 했다.
- Ivan Niven, Herbert S. Zuckerman, Hugh L. Montgomery- <An introduction to the theory of numbers>
기초정수론 교재 중에서는 가장 많은 내용을 다루는 교재 중 하나이다. 일반적인 학부 교육과정에 더해서 기초수준의 대수적/해석적 정수론, 초월수론이 설명되어 있다. 과거에 올림피아드용 교재가 드물었을 때 고등부 경시대회 대비용으로 많이 사용되었다.
- 타카기 테이지(高木貞治), <初等整数論講義>
유체론과 블라망주 곡선 등으로 유명한 일본의 수학자 타카기 테이지가 쓴 초등정수론(복소해석학을 사용하지 않는 범위의 정수론) 입문 서적이다. 일본어로 된 책 중에서 가장 유서 깊은 입문서이다.
아래부터는 학부 수준의 대수학과 복소해석학을 숙지한 학부 고학년생들에게 권하는 입문서다. 애초에 학부 수준의 대수학을 마치면 학부 초년생용 정수론 개념은 자동으로 숙지되며, 이들에게는 이미 숙지된 내용의 기본서보다 좀 더 심화된 내용으로 입문하는 것이 적합하기 때문.
- J. P. Serre. A Course in Arithmetic
일반적인 심화 정수론 입문책. 대수적 정수론 입문서에 나오는 number field 관련 내용은 하나도 없고, 대신 전반부는 p-adic number, quadratic form 관련 내용을 다루고 후반부는 해석적 정수론의 modular form 관련 내용을 담고 있다. 대수적/해석적정수론을 더 공부할 때 중요하게 나올 개념들이라서 전공희망자를 위한 필독도서로 꼽힌다.
- Z. I. Borevich & I. R. Shafarevich. Number Theory
옛날에 유명했던 중급 입문서. 아래 베유의 책과 함께 유체론(Class Field)이 설명되어 있다. 그 외에 배경설명을 소개해주기도 한다. 그러나 책이 절판된 이후 몇 십년 넘은 지금에도 재출간 되지 않은 극 레어템이다. 외국에서도 중고 매물을 찾기 힘드며, 있어도 최소 20만원대에 팔리고 있는 무시무시한 책. 학교 도서관에 있기를 기도하자. 정수론 연구가 활발히 이루어지고 있는 대학의 도서관이나 대수수론, 산술기하 전공을 하신 교수님들, 특히 그 중에서 연세가 좀 있으신 교수님이 있고, 서로 친밀한 경우 접할 수 있는 가능성이 올라간다.
- A. Weil. Basic Number Theory
위의 샤프레비치와는 달리 절판되진 않았다. 똑같이 유명한 입문서이고 유체론 역시 소개하고 있다. Stein의 해석학 시리즈 처럼 수체의 해석적인 접근을 맛볼 수 있는 입문서 중 하나.
5.2. 공부 방법
기초 수준의 정수론을 공부하는 데 있어 가장 핵심적인 진도는 다음과 같다.- 정수의 구조-정수론의 여러 정리들은 기본적으로 수학적 귀납법이라는 양의 정수의 구조에서 기인한다. 양의 정수의 공집합이 아닌 부분집합에 대해, 최소원을 잡는 것이 가능하다는 사실은 나눗셈 정리와 베주 항등식, 그리고 더 나아가면 베주 항등식에서 유도되는 유클리드의 보조정리와 산술의 기본정리까지 쓰인다. 정수론의 핵심 주제 중 하나인 소수라는 특별한 원소들을 효과적으로 다룰 수 있는 이유는 이러한 토대들이 있기 때문이다.
- 정제성(나누어 떨어짐)
- 소인수분해
- 최대공약수와 최소공배수
- 합동식과 정리 4황 - 오일러의 정리, 페르마의 소정리, 윌슨의 정리, 중국인의 나머지 정리
- 가우스의 2차 잉여
- 부정방정식과 피타고라스 수, 쌍둥이 소수 등의 집합족
- 소수 정리와 로그 적분 함수, 리만 제타 함수
적절한 노가다- 실제로 해석적 정수론으로 가면 문제 하나하나가 노가다의 향연이라고 봐도 과언이 아니다.
이를 바탕으로 심화지식을 쌓으면 개론 수준의 정수론은 섭렵할 수 있다. 학부 수업에서는 정수론이 통년과목으로 편성되는 경우가 드물기 때문에 은근히 두껍고 광범위한 정수론 교과서의 진도를 모두 섭렵하기는 힘들며, 핵심 중의 핵심이라 할 수 있는 위의 내용만으로도 2학년 한 학기를 모두 잡아먹기 일쑤이다.[20]
주의할 점은 이 때 증명이 기하학 수준으로 엄청 중요하다는 점이다. 정수론은 기초 부분에서는 증명이 심하게 자질구레하고 당연한 것 아닌가 싶은 것까지 증명하는데, 귀찮다고 손놓고 구경만 하다 보면 갈수록 뿜어져나오는 정리들을 감당할 수 없을 정도가 된다.[21] 정수론 문제가 정리에 대입만 하면 풀리는 것도 아니고 정리를 증명하는 데 필요한 과정을 중간까지 잘라먹고 문제를 풀 일도 있으니까 정리마다 증명을 꼭 해보고 넘어가야 한다. 다행히 그런 증명의 난이도가 학부 수준의 진도에서는 노가다가 많고 끈기를 요하는 문제가 많을 뿐 높은 수준의 툴을 요구하는 주제는 드물며, 그 때문에 해석학과 선형대수만으로도 빠듯한 2학년 때에 일찌감치 편성되곤 한다.
6. 관련 문서
[1] 줄여서 'NT'; 'theory of numbers'라고 칭하기도 한다.[2] 방정식의 정수 해가 나오는 경우나 정수 해의 개수 등도 정수론에서 다루는 문제들이다.[3] Zahl은 독일어로 단순히 Number란 뜻이므로 정수집합을 뜻하는 ℤ라는 기호에 정수(whole number, integer)라는 뜻은 들어있지 않다. 독일어로 정수는 ganzen Zahlen 인데 ganzen은 영어로 whole이라는 뜻이어서 영어 whole number의 어원이 된다.[4] 수를 뜻하는 그리스어 arithmos에서 나온 단어이다.[5] 정수, 대수, 기하, 조합 분야로 나뉜다.[6] 사실 가우스가 페르마의 마지막 정리를 비하(?)하면서 내뱉은 말이다. 누군가가 가우스에게 페르마의 마지막 정리를 해결해보라고 권유했는데, 가우스는 매우 불쾌해하면서 '나도 그런 문제는 얼마든지 만들 수 있다.'라고 했다. 그도 시도했다가 못 풀었기에 자존심 면에서 그렇게 말한 것으로 추정된다.[7] [math(xyz\ne0)]인 해[8] 애초에 형태부터 피타고라스 정리와 매우 유사해서 내용은 대부분 이해할 수 있지만, 풀이는 대수기하학, 대수적 정수론에 대한 전문적인 지식이 충분해야 이해할 수 있다.[9] 흥미롭게도 정수론에서는 잉여계에 대해 깊게 연구한다(...). 정수론을 공부하다 보면 이차 잉여 등 나머지와 연관 지어서 '잉여'라는 단어를 상당히 많이 볼 수 있다. 이 각주 또한 정말 잉여스러운 정보이다.[10] 예를 들어, 현재까지 쌍둥이 소수(두 수의 차가 2인 소수의 쌍)의 무한성이 증명되지 않았는데, 증명 여부에 따라 쌍둥이 소수가 암호로서 가지는 능력이 결정될 수 있다. 유한하다면 컴퓨터로 해결할 수 있지만 무한하다면 얘기가 달라지기 때문이다.[11] 한 예로, 루트 2는 1.41421356237...로 계속되는 무리수인데, 물리법칙에 따라 만들어진(시공간적 제한이 있는) 컴퓨터로는 무한한 길이를 가진 루트 2의 정확한 값을 저장할 수 없다. 그리고, 정확한 값 대신 저장한 근삿값인 1.41421356237를 제곱하면 2가 나오지 않고 1.9999999999가 나온다. 이런 오차는 정보를 정확히 저장해야 하는 컴퓨터의 입장에서는 사용하기 곤란하다. 이걸 해결하려면 소프트웨어적으로 "루트 2"라고 저장하고 제곱을 비롯한 다양한 계산을 할 때 따로 처리를 해주는 번거로운 짓거리를 해야 한다. 앞에서는 루트 2라는 무리수를 예로 들었지만, 실제로는 문제가 더 심각해서 2진법상에서 유한소수로 처리될 수 없는 대부분의 유리수에서도 오차가 발생한다.[12] 게다가 CPU 구현자에게 floating point 간의 사칙 연산에서 약간의 계산 오차를 낼 수 있도록 허용하고 있다는 것도 오차의 한 발생 요인이다. CPU 에서 floating point 연산 기능을 구현하는 것이 정수 연산 기능을 구현하는 것보다 훨씬 훨씬 복잡하기 때문에 floating point 시스템이 널리 채택되려면 CPU 구현자의 편의를 조금은 봐줄 필요가 있기 때문이다. 쉽게 말해서 똑같은 floating point 값을 가지고 똑같은 계산을 Intel CPU 와 Arm CPU 에서 수행시켜서 그 결과를 비교해보면 둘 사이에 약간의 오차가 있는 것을 확인할 수 있는데, 그렇다고 어느 한쪽이 맞고 어느 한쪽이 잘못된게 아니라 둘 다 floating point 표준에 부합하는 결과로 인정되는 것이다.[13] 사실 소수나 소수의 곱으로 나타낼 수 없는 단 셋뿐인 정수가 있다. 다름아닌 0과 1, -1.[14] 전자가 성립하면 후자도 성립하지만 역은 성립하지 않는다. 그리고 후자는 2013년에 증명되었다.[15] 윌슨의 정리 즉 (p-1)의 계승을 p로 나눈 값은 p-1이다.(-1=-p+?,?=p-1),여기서 p는 소수이다.[16] 페르마의 소정리.[17] 산술함수의 정의에 쓰인다. 가령 소수 계량 함수는 소수 집합을 판별하는 함수의 측도로 정의되고([math(\displaystyle \pi(x) \equiv \int_{[1,x]} \bold{1}_{\mathbb{P}} (t) \,\mathrm{d} \lfloor t \rfloor)]), 폰 망골트 함수는 정의식에 자연로그를 제외하면 지시함수로 채워져 있다([math(\Lambda(n) \equiv \dfrac{\displaystyle \ln n \,\bold{1}_{\{1\}} \left( \sum_{c|n}^{} \bold{1}_{\mathbb{P}}(c) \right)}{\displaystyle \sum_{d^x|n}^{} x\,\bold{1}_{\mathbb{P}}(d) + \bold{1}_{\{1\}}(n)})]).[18] 많은 대학에서 현대대수학 첫 학기는 전공필수인데 정작 선수과목이나 마찬가지인 정수론이 선택과목인지라 정수론을 안 들은 상태로 현대대수 수업을 듣는 학생들도 있다.[19] 그렇다고 미적분에서 배운 것이 학부 수준 기초 정수론에서 아예 안 쓰이는 것은 아니다. 아주 결정적인 역할을 하는 것은 아니지만 알아둬야 진도를 나갈 수 있는 대표적인 미적분학의 툴로는 테일러 급수, 이항정리, 간단한 미적분 등이 있다. 고등학교 수학과 대학 1학년 미분적분학 수준까지의 공부가 진행되지 않은 상태로 무턱대고 시작하면 생각보다 일찍 한계가 보이는 과목이다.[20] 학부생이나 임용 준비생들이 보는 기초 수준 교과서조차도 특수한 경우에 한한 페르마의 마지막 정리 증명까지 쭉쭉 달린다. 아무래도 이 주제가 디오판토스 방정식의 가장 흥미로운 떡밥이고 정수론 초반에도 페르마의 소정리를 증명해보기 때문에 학생들의 모티베이션 고양을 위해서라도 여기까지 완주를 해낸다면 한번쯤 꼭 다뤄보고 넘어간다.[21] 초반부에 등판하는 나눗셈 정리만 봐도 처음 배울 때는 이걸 왜 증명씩이나 하나 싶을만큼 정말 귀찮지만, 훗날 현대대수학에서 체를 배울 때 다항식의 나눗셈을 증명할 때면 이것을 제대로 떼길 잘했다는 안도의 한숨을 쉬게 된다.[22] 나무위키에서는 산술문서를 정수론으로 리디렉션시키고 있으나 대학 정수론에선 당연히 산술을 가르치지 않는다. 하지만 위의 가우스의 어록에서 있으시 정수론의 기원은 산술(Arithmetik)이고, 현대 독일어에선 정수론을 Zahlentheorie라고 한다.