"페르마의 마지막 정리"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
 
(같은 사용자의 중간 판 8개는 보이지 않습니다)
1번째 줄: 1번째 줄:
 
==개요==
 
==개요==
  
* 3 이상의 자연수 n 에 대하여, <math>x^n+y^n=z^n</math> 의 정수해를 모두 찾는 문제.
+
* 3 이상의 자연수 n 에 대하여, <math>x^n+y^n=z^n</math> 정수해를 모두 찾는 문제.
*  페르마는 1637년, x,y,z 가 모두 0 인 경우 외에는 해가 존재하지 않는다는 기록을 남김.<br>
+
*  페르마는 1637년, x,y,z 가 모두 0 인 경우 외에는 해가 존재하지 않는다는 기록을 남김.
 
<blockquote>
 
<blockquote>
임의의 세제곱 수는 다른 두 세제곱수의 합으로 표현될 수 없다. 임의의 네제곱 수 역시 다른 두 네제곱 수의 합으로 표현될 수 없다.<br> 일반적으로 3이상의 지수를 가진 정수는 이와 동일한 지수를 가진 다른 두 수의 합으로 표현될 수 없다.<br> 나는 경이적인 방법으로 이 정리를 증명했다. 그러나 이 책의 여백이 너무 좁아 여기 옮기지는 않겠다.
+
임의의 세제곱 수는 다른 두 세제곱수의 합으로 표현될 수 없다. 임의의 네제곱 수 역시 다른 두 네제곱 수의 합으로 표현될 수 없다. 일반적으로 3이상의 지수를 가진 정수는 이와 동일한 지수를 가진 다른 두 수의 합으로 표현될 수 없다. 나는 경이적인 방법으로 이 정리를 증명했다. 그러나 이 책의 여백이 너무 좁아 여기 옮기지는 않겠다.
 
</blockquote>
 
</blockquote>
  
 
* 증명은 1995년에야 앤드류 와일즈에 의해 얻어졌음.
 
* 증명은 1995년에야 앤드류 와일즈에 의해 얻어졌음.
  
 
+
  
 
+
  
 
==프레이 타원곡선==
 
==프레이 타원곡선==
 
+
* <math>\ell</math> 홀수인 소수에 대하여, 0이 아닌 정수해 <math>a^\ell + b^\ell = c^\ell</math>가 존재한다고 가정하자.
<math>\ell</math> 홀수인 소수에 대하여, 0이 아닌 정수해 <math>a^\ell + b^\ell = c^\ell</math>가 존재한다고 가정하자.
+
* 타원곡선 <math>y^2 = x(x - a^\ell)(x + b^\ell)</math> 을 프레이의 타원곡선이라고 한다. ([[타원곡선]] 항목 참조)
 
+
* 프레이가 이 곡선의 이상한 행동을 발견
타원곡선 <math>y^2 = x(x - a^\ell)(x + b^\ell)</math> 을 프레이의 타원곡선이라고 한다. ([[타원곡선]] 항목 참조)
+
* 세르 : 엡실론 추측(epsilon conjecture) 에 의하면, 이 곡선은 모듈라 성질을 가질 수 없다.
 
+
* 리벳이 엡실론 추측을 증명 http://en.wikipedia.org/wiki/Ribet's_theorem
프레이가 이 곡선의 이상한 행동을 발견
 
 
 
세르 : 엡실론 추측(epsilon conjecture) 에 의하면, 이 곡선은 모듈라 성질을 가질 수 없다.
 
 
 
리벳이 엡실론 추측을 증명
 
 
 
[http://en.wikipedia.org/wiki/Ribet%27s_theorem http://en.wikipedia.org/wiki/Ribet's_theorem]
 
 
 
 
* 타니야마-시무라 추측에 의하면, 유리수체 위에 정의된 타원곡선은 모두 모듈라 성질을 가져야 한다.
 
* 타니야마-시무라 추측에 의하면, 유리수체 위에 정의된 타원곡선은 모두 모듈라 성질을 가져야 한다.
 
* 따라서 타니야마-시무라 추측의 증명되면 페르마의 마지막 정리도 증명된다.
 
* 따라서 타니야마-시무라 추측의 증명되면 페르마의 마지막 정리도 증명된다.
  
 
+
  
 
+
  
 
==타니야마-시무라 추측==
 
==타니야마-시무라 추측==
38번째 줄: 30번째 줄:
 
* [[타니야마-시무라 추측(정리)]]
 
* [[타니야마-시무라 추측(정리)]]
  
 
+
  
 
+
  
 
==관련된 학부 과목과 미리 알고 있으면 좋은 것들==
 
==관련된 학부 과목과 미리 알고 있으면 좋은 것들==
47번째 줄: 39번째 줄:
 
* [[복소함수론]]
 
* [[복소함수론]]
  
 
+
  
 
+
  
 
==관련된 대학원 과목==
 
==관련된 대학원 과목==
55번째 줄: 47번째 줄:
 
* [[대수적수론]]
 
* [[대수적수론]]
  
 
+
  
 
+
  
 
==관련된 항목들==
 
==관련된 항목들==
67번째 줄: 59번째 줄:
 
* [[타니야마-시무라 추측(정리)]]
 
* [[타니야마-시무라 추측(정리)]]
  
 
+
  
 
+
  
 
==위키링크==
 
==위키링크==
79번째 줄: 71번째 줄:
 
* http://en.wikipedia.org/wiki/Jean-Pierre_Serre
 
* http://en.wikipedia.org/wiki/Jean-Pierre_Serre
  
 
+
  
 
==일반인을 위한 참고도서와 참고자료==
 
==일반인을 위한 참고도서와 참고자료==
  
* [http://www.yes24.com/Goods/FTGoodsView.aspx?goodsNo=1180&CategoryNumber=001001002015004 페르마의 마지막 정리]<br>
+
* [http://www.yes24.com/Goods/FTGoodsView.aspx?goodsNo=1180&CategoryNumber=001001002015004 페르마의 마지막 정리]
** 사이먼 싱 저/박병철 역, 영림카디널
+
** 사이먼 싱 저/박병철 역, 영림카디널
 
** 페르마의 정리의 증명과 관련한 이야기들을 일반 독자들도 읽을 수 있게 풀어쓴 교양수학책.
 
** 페르마의 정리의 증명과 관련한 이야기들을 일반 독자들도 읽을 수 있게 풀어쓴 교양수학책.
* [[Fermat's Last Theorem (1997)|Fermat's Last Theorem]]<br>
+
* [[Fermat's Last Theorem (1997)|Fermat's Last Theorem]]
 
** BBC 다큐멘터리
 
** BBC 다큐멘터리
  
 
+
  
 
+
  
 
==좀더 학술적인 참고도서==
 
==좀더 학술적인 참고도서==
  
* [http://books.google.com/books?id=XPrQmE5trIgC Fermat's last theorem for amateurs]<br>
+
* [http://books.google.com/books?id=XPrQmE5trIgC Fermat's last theorem for amateurs]
 
** Paulo Ribenboim, 1999
 
** Paulo Ribenboim, 1999
* [http://books.google.com/books?id=ae5V08nnE8wC Fermat's Last Theorem : a genetic introduction to algebraic number theory]<br>
+
* [http://books.google.com/books?id=ae5V08nnE8wC Fermat's Last Theorem : a genetic introduction to algebraic number theory]
 
** Harold M. Edwards, 1977
 
** Harold M. Edwards, 1977
  
 
+
 
 
 
 
 
 
==관련논문과 에세이==
 
  
* [http://www.jstor.org/stable/2687483 Three Fermat Trails to Elliptic Curves]<br>
+
** Ezra Brown, <cite>The College Mathematics Journal</cite>, Vol. 31, No. 3 (May, 2000), pp. 162-172
 
* [http://www.jstor.org/stable/2975598 A Marvelous Proof]<br>
 
** Fernando Q. Gouvea, The American Mathematical Monthly, Vol. 101, No. 3 (Mar., 1994), pp. 203-222
 
* [http://www.jstor.org/stable/2325116 Introduction to Fermat's Last Theorem]<br>
 
** David A. Cox, <cite>The American Mathematical Monthly</cite>, Vol. 101, No. 1 (Jan., 1994), pp. 3-14
 
* [http://www.jstor.org/stable/2324924 Number Theory as Gadfly]<br>
 
** B. Mazur, <cite>The American Mathematical Monthly</cite>, Vol. 98, No. 7 (Aug. - Sep., 1991), pp. 593-610
 
  
 
+
==리뷰, 에세이, 강의노트==
 +
* Frey, Gerhard. 2009. “The Way to the Proof of Fermat’s Last Theorem.” Annales de La Faculté Des Sciences de Toulouse. Mathématiques. Série 6 18 (Fascicule Special): 5–23.
 +
* Faltings, Gerd. "The proof of Fermat’s last theorem by R. Taylor and A. Wiles." Notices of the AMS 42.7 (1995).
 +
* Cox, David A. 1994. “Introduction to Fermat’s Last Theorem.” The American Mathematical Monthly 101 (1): 3–14. doi:10.2307/2325116.
 +
* Gouvêa, Fernando Q. 1994. “‘A Marvelous Proof.’” The American Mathematical Monthly 101 (3): 203–222. doi:10.2307/2975598.
 +
* Mazur, B. 1991. “Number Theory as Gadfly.” The American Mathematical Monthly 98 (7): 593–610. doi:10.2307/2324924.
 +
* Ribet, Kenneth A. 1990. “From the Taniyama-Shimura Conjecture to Fermat’s Last Theorem.” Toulouse. Faculté Des Sciences. Annales. Mathématiques. Série 5 11 (1): 116–139. http://archive.numdam.org/ARCHIVE/AFST/AFST_1990_5_11_1/AFST_1990_5_11_1_116_0/AFST_1990_5_11_1_116_0.pdf
 +
  
==전문적인 논문들==
+
==관련논문==
 +
* Taylor, Richard, and Andrew Wiles. 1995. “Ring-Theoretic Properties of Certain Hecke Algebras.” Annals of Mathematics. Second Series 141 (3): 553–572. doi:10.2307/2118560.
 +
* Wiles, Andrew. 1995. “Modular Elliptic Curves and Fermat’s Last Theorem.” Annals of Mathematics. Second Series 141 (3): 443–551. doi:10.2307/2118559.
 +
* Ribet, K. A. 1990. “On Modular Representations of <math>\rm Gal(\overline{\bf Q}/\bf Q)</math> Arising from Modular Forms.” Inventiones Mathematicae 100 (2): 431–476. doi:10.1007/BF01231195.
 +
* Frey, Gerhard. 1986. “Links between Stable Elliptic Curves and Certain Diophantine Equations.” Annales Universitatis Saraviensis. Series Mathematicae 1 (1): iv+40.
 +
[[분류:디오판투스 방정식]]
  
* [http://dx.doi.org/10.2307%2F2118559 Modular elliptic curves and Fermat's Last Theorem]<br>
+
==메타데이터==
** Wiles, Andrew (1995),  Annals of Mathematics 141 (3): 443–551
+
===위키데이터===
** [[1950564/attachments/2376241|pdf]]
+
* ID :  [https://www.wikidata.org/wiki/Q7322366 Q7322366]
* [http://math.stanford.edu/%7Elekheng/flt/taylor-wiles.pdf Ring-theoretic properties of certain Hecke algebras]<br>
+
===Spacy 패턴 목록===
** Richard Taylor and Andrew Wiles (May 1995),  Annals of Mathematics 141 (3): 553–572
+
* [{'LOWER': 'ribet'}, {'LOWER': "'s"}, {'LEMMA': 'theorem'}]
* [http://archive.numdam.org/ARCHIVE/AFST/AFST_1990_5_11_1/AFST_1990_5_11_1_116_0/AFST_1990_5_11_1_116_0.pdf From the Taniyama-Shimura Conjecture to Fermat's Last Theorem]<br>
 
** Ribet, K. A., Ann. Fac. Sci. Toulouse Math. 11, 116-139, 1990
 
*  Links between stable elliptic curves and certain diophantine equations<br>
 
** G Frey, Ann. Univ. Sarav. Ser. Math, 1986
 

2021년 2월 17일 (수) 06:05 기준 최신판

개요

  • 3 이상의 자연수 n 에 대하여, \(x^n+y^n=z^n\) 의 정수해를 모두 찾는 문제.
  • 페르마는 1637년, x,y,z 가 모두 0 인 경우 외에는 해가 존재하지 않는다는 기록을 남김.

임의의 세제곱 수는 다른 두 세제곱수의 합으로 표현될 수 없다. 임의의 네제곱 수 역시 다른 두 네제곱 수의 합으로 표현될 수 없다. 일반적으로 3이상의 지수를 가진 정수는 이와 동일한 지수를 가진 다른 두 수의 합으로 표현될 수 없다. 나는 경이적인 방법으로 이 정리를 증명했다. 그러나 이 책의 여백이 너무 좁아 여기 옮기지는 않겠다.

  • 증명은 1995년에야 앤드류 와일즈에 의해 얻어졌음.



프레이 타원곡선

  • \(\ell\) 홀수인 소수에 대하여, 0이 아닌 정수해 \(a^\ell + b^\ell = c^\ell\)가 존재한다고 가정하자.
  • 타원곡선 \(y^2 = x(x - a^\ell)(x + b^\ell)\) 을 프레이의 타원곡선이라고 한다. (타원곡선 항목 참조)
  • 프레이가 이 곡선의 이상한 행동을 발견
  • 세르 : 엡실론 추측(epsilon conjecture) 에 의하면, 이 곡선은 모듈라 성질을 가질 수 없다.
  • 리벳이 엡실론 추측을 증명 http://en.wikipedia.org/wiki/Ribet's_theorem
  • 타니야마-시무라 추측에 의하면, 유리수체 위에 정의된 타원곡선은 모두 모듈라 성질을 가져야 한다.
  • 따라서 타니야마-시무라 추측의 증명되면 페르마의 마지막 정리도 증명된다.



타니야마-시무라 추측



관련된 학부 과목과 미리 알고 있으면 좋은 것들



관련된 대학원 과목



관련된 항목들



위키링크


일반인을 위한 참고도서와 참고자료



좀더 학술적인 참고도서



리뷰, 에세이, 강의노트

  • Frey, Gerhard. 2009. “The Way to the Proof of Fermat’s Last Theorem.” Annales de La Faculté Des Sciences de Toulouse. Mathématiques. Série 6 18 (Fascicule Special): 5–23.
  • Faltings, Gerd. "The proof of Fermat’s last theorem by R. Taylor and A. Wiles." Notices of the AMS 42.7 (1995).
  • Cox, David A. 1994. “Introduction to Fermat’s Last Theorem.” The American Mathematical Monthly 101 (1): 3–14. doi:10.2307/2325116.
  • Gouvêa, Fernando Q. 1994. “‘A Marvelous Proof.’” The American Mathematical Monthly 101 (3): 203–222. doi:10.2307/2975598.
  • Mazur, B. 1991. “Number Theory as Gadfly.” The American Mathematical Monthly 98 (7): 593–610. doi:10.2307/2324924.
  • Ribet, Kenneth A. 1990. “From the Taniyama-Shimura Conjecture to Fermat’s Last Theorem.” Toulouse. Faculté Des Sciences. Annales. Mathématiques. Série 5 11 (1): 116–139. http://archive.numdam.org/ARCHIVE/AFST/AFST_1990_5_11_1/AFST_1990_5_11_1_116_0/AFST_1990_5_11_1_116_0.pdf


관련논문

  • Taylor, Richard, and Andrew Wiles. 1995. “Ring-Theoretic Properties of Certain Hecke Algebras.” Annals of Mathematics. Second Series 141 (3): 553–572. doi:10.2307/2118560.
  • Wiles, Andrew. 1995. “Modular Elliptic Curves and Fermat’s Last Theorem.” Annals of Mathematics. Second Series 141 (3): 443–551. doi:10.2307/2118559.
  • Ribet, K. A. 1990. “On Modular Representations of \(\rm Gal(\overline{\bf Q}/\bf Q)\) Arising from Modular Forms.” Inventiones Mathematicae 100 (2): 431–476. doi:10.1007/BF01231195.
  • Frey, Gerhard. 1986. “Links between Stable Elliptic Curves and Certain Diophantine Equations.” Annales Universitatis Saraviensis. Series Mathematicae 1 (1): iv+40.

메타데이터

위키데이터

Spacy 패턴 목록

  • [{'LOWER': 'ribet'}, {'LOWER': "'s"}, {'LEMMA': 'theorem'}]