로그인하고 있지 않습니다. 편집하면 당신의 IP 주소가 공개적으로 기록됩니다. 계정을 만들고 로그인하면 편집 시 사용자 이름만 보이며, 위키 이용에 여러 가지 편의가 주어집니다.스팸 방지 검사입니다. 이것을 입력하지 마세요!===다항식의 정수해를 찾자!=== 다음과 같은 문제는 초등학생에게도 이해시킬 수 있을 만큼 간단한 것이다. <math>x^n+y^n=z^n</math>의 정수해는 존재하는가? <math>p=x^2+y^2</math>의 정수해는 존재하는가? <math>y^2=(x-1)(x-2)(x-3)(x-4)</math>의 정수해는 존재하는가? [https://en.wikipedia.org/wiki/Diophantine_set#Matiyasevich.27s_theorem 일반적으로 다항식의 정수해를 찾진 못한다.] 하지만 특수경우에 대해서라도 풀고자 수학자들이 안간힘을 다 써서 노력했는데, 그중 일부가 페르마의 마지막 정리 (<math>x^n+y^n=z^n</math>), 타원곡선 (<math>y^2=x^3+ax+b</math>), quadratic form (<math>x_1^2 + ... + x_n^2 = 0</math>) 등이다. 이를 위해서 무지막지하게 어렵고 신묘한 이론들이 개발되었다. 비교적 쉬운 것들도 많다. 하지만 어려운 건 무지막지하게 정말 매우 어렵다. ====선형방정식==== 추가 바람 ====펠의 방정식==== 추가 바람 ====페르마의 마지막 추측: 컴머와 데데킨트의 이론==== 수학자 에드워드 컴머는 [[소아이디얼]](Prime ideal)을 처음으로 정의하고, 이것을 활용하여 특수경우 ("regular prime")에 대해서 페르마의 마지막 추측을 풀었다. 특수한 집합에서는 소인수분해가 유일하게 결정되지 않기 때문에 특정 조건들을 만족하는 집합들을 "이상적인 수" (ideal number / ideal)으로 정의하고, ideal number들의 곱을 정의하고 이것을 철저하게 분석함으로써 가능해진 결과였다. ====[[베유 가설]]==== "어떤 다항식에 정수를 넣어서 이것이 소수 p로 나눠지게 하는 정수들의 수는 몇 개일까?" (더 정확히는, 유한체 (finite field)위의 algebraic curve의 rational point의 개수는 대충 얼마인가?) 이 질문에 대해 답할 수 있는 가설들을 한꺼번에 묶어서 수학자 [[앙드레 베유]]는 후에 "베유 가설"로 알려진 위대한 가설을 만들게 된다. 결국 핵심은 정수론인 이 가설을 풀기 위해 수많은 수학자들이 도전하다 실패했다는 것이다. 하지만 위대한 [[알렉산더 그로텐디크]]가 나타나 4000페이지에 육박하는 [[대수기하]]이론을 새로 만들어서 베유 가설의 2번 명제를 풀었으며, 그의 제자 피에르 들뢰뉴가 3번 명제 역시 품으로써 위의 질문에 대한 답을 내놓게 된다. 그로텐디크의 대수기하학은 현대 대수기하학의 초석으로써 받아들여지게 된다. ====[[페르마의 마지막 추측]]==== "<math>x^n+y^n=z^n</math>의 정수해가 존재할까? 단, 셋중 아무것도 0은 아니어야 하고 <math>n>2</math>이다." [[모듈러 형식]]과 [[그로텐디크]]의 대수기하 이론 등을 통해 앤드루 와일스 (+Taylor)는 페르마의 마지막 추측을 풀게 된다. 증명의 기초적인 아이디어는 ''[[페르마의 마지막 정리]]가 거짓이라면 [[모듈러성 정리|타니야마-시무라 추론]]이 거짓이다'' 라는 것을 보이는 것인데, 이걸 다르게 얘기하면 모듈러리티 가설이 참이면 페르마의 마지막 정리도 참이라는 것이다. 따라서 지금까지 알려진 유일한 페르마의 마지막 정리의 증명은 두 가지 단계로 나눠지게 된다. 1. 타니야마-시무라 추론이 참이라면 페르마의 마지막 정리도 참이다. 2. 타니야마-시무라 추론은 참이다. 1번은 [[게르하르트 프레이|프레이]]에 의해 제안되었다. 1번을 더 정확히 말하면 다음과 같다. ''n''을 홀수인 소수라고 가정하고 <math>x^n+y^n=z^n </math>이라는 방정식을 어떤 타원곡선으로 표현함으로써 프레이는 아이디어를 얻었고, 이를 통해서 <math> a^n+b^n = c^n</math>인 <math>(a,b,c)</math>가 존재한다면, 즉 페르마의 마지막 정리가 거짓이라면, Frey는 위의 타원곡선에 대응되는 [[모듈러 형식]]이 없을 것이라는 추측을 낸 것이다. Frey가 이 가설을 낸 뒤 얼마 후, 1번의 추측은 "엡실론 가설" 외에는 모든 부분이 증명이 된다. "엡실론 가설"은 [[켄 리벳]]이라는 수학자가 풀게 되어서 1번의 풀이가 완성된다. 2번의 풀이는 많은 수학자들이 한참 후에야 가능할 것이라고 믿었던 것인데, [[앤드루 와일스]]가 2번을 증명했다. 와일즈는 반안정 타원곡선에 대해서만 증명을 했는데 이것은 페르마의 마지막 정리를 참이라고 증명하는 데에 충분했다. ====Mordell의 정리와 Faltings의 정리, 그리고 BSD 가설==== 모델의 정리에 의하면 타원곡선 위의 유리점은 무한히 많고 이것들은 유한생성 아벨군을 이룬다. 이 아벨군의 rank를 구하고자 하는 것이 Birch & Swinnerton-Dyer의 가설인데, 풀면 10억을 받는다. 귀여운 수학자 don Zagier에 의하면 BSD 가설을 품으로써 알 수 있는 (기초)정수론적인 정보는 매우 많다. 예를 들면, 어떤 수가 세제곱수 두 개의 합으로 표현되는 방법이 유일한지를 알 수 있다. BSD가설은 현재 프린스턴의 멋진 수학자 바르가바에 의해 "66%" (사실 66퍼센트라는 것은 정확한 표현은 아니다.) 풀렸다. 반면 genus가 1보다 큰 곡선들의 경우 (타원곡선이나 원뿔곡선이 아닌 것들) 해가 유한 개밖에 없다는 결과가 알려져 있다. Faltings의 위대한 발견이다. 요약: 리브레 위키에서의 모든 기여는 크리에이티브 커먼즈 저작자표시-동일조건변경허락 3.0 라이선스로 배포됩니다(자세한 내용에 대해서는 리브레 위키:저작권 문서를 읽어주세요). 만약 여기에 동의하지 않는다면 문서를 저장하지 말아 주세요. 글이 직접 작성되었거나 호환되는 라이선스인지 확인해주세요. 리그베다 위키, 나무위키, 오리위키, 구스위키, 디시위키 및 CCL 미적용 사이트 등에서 글을 가져오실 때는 본인이 문서의 유일한 기여자여야 하고, 만약 본인이 문서의 유일한 기여자라는 증거가 없다면 그 문서는 불시에 삭제될 수 있습니다. 취소 편집 도움말 (새 창에서 열림) | () [] [[]] {{}} {{{}}} · <!-- --> · [[분류:]] · [[파일:]] · [[미디어:]] · #넘겨주기 [[]] · {{ㅊ|}} · <onlyinclude></onlyinclude> · <includeonly></includeonly> · <noinclude></noinclude> · <br /> · <ref></ref> · {{각주}} · {|class="wikitable" · |- · rowspan=""| · colspan=""| · |} {{lang|}} · {{llang||}} · {{인용문|}} · {{인용문2|}} · {{유튜브|}} · {{다음팟|}} · {{니코|}} · {{토막글}} {{삭제|}} · {{특정판삭제|}}(이유를 적지 않을 경우 기각될 가능성이 높습니다. 반드시 이유를 적어주세요.) {{#expr:}} · {{#if:}} · {{#ifeq:}} · {{#iferror:}} · {{#ifexist:}} · {{#switch:}} · {{#time:}} · {{#timel:}} · {{#titleparts:}} __NOTOC__ · __FORCETOC__ · __TOC__ · {{PAGENAME}} · {{SITENAME}} · {{localurl:}} · {{fullurl:}} · {{ns:}} –(대시) ‘’(작은따옴표) “”(큰따옴표) ·(가운뎃점) …(말줄임표) ‽(물음느낌표) 〈〉(홑화살괄호) 《》(겹화살괄호) ± − × ÷ ≈ ≠ ∓ ≤ ≥ ∞ ¬ ¹ ² ³ ⁿ ¼ ½ ¾ § € £ ₩ ¥ ¢ † ‡ • ← → ↔ ‰ °C µ(마이크로) Å °(도) ′(분) ″(초) Α α Β β Γ γ Δ δ Ε ε Ζ ζ Η η Θ θ Ι ι Κ κ Λ λ Μ μ(뮤) Ν ν Ξ ξ Ο ο Π π Ρ ρ Σ σ ς Τ τ Υ υ Φ φ Χ χ Ψ ψ Ω ω · Ά ά Έ έ Ή ή Ί ί Ό ό Ύ ύ Ώ ώ · Ϊ ϊ Ϋ ϋ · ΐ ΰ Æ æ Đ(D with stroke) đ Ð(eth) ð ı Ł ł Ø ø Œ œ ß Þ þ · Á á Ć ć É é Í í Ĺ ĺ Ḿ ḿ Ń ń Ó ó Ŕ ŕ Ś ś Ú ú Ý ý Ź ź · À à È è Ì ì Ǹ ǹ Ò ò Ù ù · İ Ż ż ·  â Ĉ ĉ Ê ê Ĝ ĝ Ĥ ĥ Î î Ĵ ĵ Ô ô Ŝ ŝ Û û · Ä ä Ë ë Ï ï Ö ö Ü ü Ÿ ÿ · ǘ ǜ ǚ ǖ · caron/háček: Ǎ ǎ Č č Ď ď Ě ě Ǐ ǐ Ľ ľ Ň ň Ǒ ǒ Ř ř Š š Ť ť Ǔ ǔ Ž ž · breve: Ă ă Ğ ğ Ŏ ŏ Ŭ ŭ · Ā ā Ē ē Ī ī Ō ō Ū ū · à ã Ñ ñ Õ õ · Å å Ů ů · Ą ą Ę ę · Ç ç Ş ş Ţ ţ · Ő ő Ű ű · Ș ș Ț ț