"펠 방정식(Pell's equation)"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
Pythagoras0 (토론 | 기여) |
|||
| 1번째 줄: | 1번째 줄: | ||
| − | + | ==개요== | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
* <math>x^2-dy^2=1</math> (<math>d</math> 는 완전제곱수를 약수로 갖지 않는 1보다 큰 자연수)형태의 디오판투스 방정식 | * <math>x^2-dy^2=1</math> (<math>d</math> 는 완전제곱수를 약수로 갖지 않는 1보다 큰 자연수)형태의 디오판투스 방정식 | ||
| 14번째 줄: | 6번째 줄: | ||
* <math>x^2-dy^2=\pm 1</math> 의 자연수 해를 구하는 문제는 실수 이차 수체의 unit 을 구하는 문제와 같음 | * <math>x^2-dy^2=\pm 1</math> 의 자연수 해를 구하는 문제는 실수 이차 수체의 unit 을 구하는 문제와 같음 | ||
| − | + | ||
| − | + | ||
| − | + | ==연분수 전개와 fundamental solution== | |
| − | * <math>\sqrt{d}</math> 를 [[연분수와 유리수 근사|연분수]] 전개할때 얻어지는 convergents <math>{h_i}/{k_i}</math> 가 | + | * <math>\sqrt{d}</math> 를 [[연분수와 유리수 근사|연분수]] 전개할때 얻어지는 convergents <math>{h_i}/{k_i}</math> 가 펠 방정식의 해가 되는 <math>x=h_i, y=k_i</math> 를 찾을 수 있으며, 이 때 <math>x</math>값을 가장 작게 하는 해를 fundamental solution 이라 한다. |
(정리) | (정리) | ||
| − | + | 펠 방정식의 해는 연분수 전개의 convergents 중에서 찾을 수 있다. | |
(증명) | (증명) | ||
| 30번째 줄: | 22번째 줄: | ||
[[연분수와 유리수 근사]] 에서 펠 방정식에 관련한 중요한 정리는 다음과 같다 | [[연분수와 유리수 근사]] 에서 펠 방정식에 관련한 중요한 정리는 다음과 같다 | ||
| − | 무리수 <math>\alpha</math>에 대하여, 유리수 <math>p/q</math>가 아래의 부등식을 만족시키는 경우, | + | 무리수 <math>\alpha</math>에 대하여, 유리수 <math>p/q</math>가 아래의 부등식을 만족시키는 경우, <math>p/q</math>는 무리수 <math>\alpha</math>의 단순연분수 전개의 convergents 중의 하나이다 |
<math>|\alpha-\frac{p}{q}|<\frac{1}{2{q^2}}</math> | <math>|\alpha-\frac{p}{q}|<\frac{1}{2{q^2}}</math> | ||
| 36번째 줄: | 28번째 줄: | ||
이 정리를 이용하자. | 이 정리를 이용하자. | ||
| − | + | 펠 방정식의 정수해 <math>x_ {1}^2-dy_ {1}^2=1</math> 는 <math>x_ {1}^2-dy_ {1}^2=(x_{1}+\sqrt{d}y_{1})(x_{1}-\sqrt{d}y_{1})=1</math>를 만족시키므로, | |
<math>|x_{1}-\sqrt{d}y_{1}|=\frac{1}{|x_{1}+\sqrt{d}y_{1}|}</math> | <math>|x_{1}-\sqrt{d}y_{1}|=\frac{1}{|x_{1}+\sqrt{d}y_{1}|}</math> | ||
| − | <math>|\sqrt{d}-\frac{x_{1}}{y_{1}}|=\frac{1}{|x_{1}+\sqrt{d}y_{1}||y_{1}|}<\frac{1}{\sqrt{d}y_{1}^{2}}\leq \frac{1}{2y_{1}^{2}}</math> | + | <math>|\sqrt{d}-\frac{x_{1}}{y_{1}}|=\frac{1}{|x_{1}+\sqrt{d}y_{1}||y_{1}|}<\frac{1}{\sqrt{d}y_ {1}^{2}}\leq \frac{1}{2y_ {1}^{2}}</math> |
| − | 따라서, | + | 따라서, 펠 방정식의 해는 연분수 전개의 convergents 중에서 찾을 수 있다. \[FilledSquare] |
| − | + | ||
| − | + | ||
| − | + | ==d=7인 경우== | |
* <math>\sqrt{7}</math>의 연분수 전개를 통한 유리수근사<br><math>\frac{2}{1},\frac{3}{1},\frac{5}{2},\frac{8}{3},\frac{37}{14}\cdots</math><br> | * <math>\sqrt{7}</math>의 연분수 전개를 통한 유리수근사<br><math>\frac{2}{1},\frac{3}{1},\frac{5}{2},\frac{8}{3},\frac{37}{14}\cdots</math><br> | ||
| − | * | + | * 펠 방정식의 해 찾기<br><math>2^2-d\cdot 1^2=-3</math><br><math>3^2-d\cdot 1^2=2</math><br><math>5^2-d\cdot 2^2=-3</math><br><math>8^2-d\cdot 3^2=1</math><br><math>37^2-d\cdot 14^2=-3</math><br> |
| − | * 따라서 | + | * 따라서 펠 방정식 <math>x^2-7y^2=1</math>의 fundamental solution 은 <math>(8,3)</math> 이된다 |
| − | + | ||
| − | + | ||
| − | + | ==d=13== | |
| − | * fundamental solution <math>( | + | * fundamental solution <math>(x_ 1,y_ 1)</math> 가 <math>y_ 1>6</math> 를 만족시키는 가장 작은 d |
* <math>649^2-13\cdot180^2=1</math> | * <math>649^2-13\cdot180^2=1</math> | ||
| − | + | ||
| − | + | ||
| − | + | ==d=61== | |
| − | + | ||
| − | + | ||
| − | + | ==d=109== | |
* 페르마의 문제<br> | * 페르마의 문제<br> | ||
* <math>158070671986249^2 -109\cdot15140424455100^2=1</math><br> | * <math>158070671986249^2 -109\cdot15140424455100^2=1</math><br> | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ==역사== | |
* [[수학사연표 (역사)|수학사연표]] | * [[수학사연표 (역사)|수학사연표]] | ||
| − | + | ||
| − | + | ||
| − | + | ==메모== | |
| − | + | ||
| − | + | ||
| − | + | ==관련된 항목들== | |
* [[이차 수체(quadratic number fields) 의 정수론]] | * [[이차 수체(quadratic number fields) 의 정수론]] | ||
| 104번째 줄: | 96번째 줄: | ||
* [[체비셰프 다항식]] | * [[체비셰프 다항식]] | ||
| − | + | ||
| − | + | ||
| − | + | ==매스매티카 파일 및 계산 리소스== | |
* https://docs.google.com/leaf?id=0B8XXo8Tve1cxNTU4ZmMyMmQtMjNkZi00YWIwLWIzM2ItNzNiNTQ2YTRkMWY1&sort=name&layout=list&num=50 | * https://docs.google.com/leaf?id=0B8XXo8Tve1cxNTU4ZmMyMmQtMjNkZi00YWIwLWIzM2ItNzNiNTQ2YTRkMWY1&sort=name&layout=list&num=50 | ||
| 118번째 줄: | 110번째 줄: | ||
* [[매스매티카 파일 목록]] | * [[매스매티카 파일 목록]] | ||
| − | + | ||
| − | + | ||
| − | + | ==사전 형태의 자료== | |
| − | * | + | * http://ko.wikipedia.org/wiki/펠방정식 |
| − | * | + | * http://en.wikipedia.org/wiki/Pell's_equation |
| − | + | ||
| − | + | ||
| − | + | ==관련논문== | |
| − | * [http://arxiv.org/abs/math/0311306 Conics - a Poor Man's Elliptic Curves]Franz Lemmermeyer, | + | * [http://arxiv.org/abs/math/0311306 Conics - a Poor Man's Elliptic Curves]Franz Lemmermeyer, arXiv:math/0311306v1<br> |
| − | * [http://www.ams.org/notices/200202/fea-lenstra.pdf Solving the Pell Equation]H. W. Lenstra Jr. Notices of the AMS 49 (2002), | + | * [http://www.ams.org/notices/200202/fea-lenstra.pdf Solving the Pell Equation]H. W. Lenstra Jr. Notices of the AMS 49 (2002), 182\[Dash]92 |
| − | * Lehmer, D. H. 1928. On the Multiple Solutions of the Pell Equation. The Annals of Mathematics 30, no. 1/4. Second Series (January 1): 66-72. doi:[http://dx.doi.org/10.2307/1968268 10.2307/1968268]. | + | * Lehmer, D. H. 1928. On the Multiple Solutions of the Pell Equation. The Annals of Mathematics 30, no. 1/4. Second Series (January 1): 66-72. doi:[http://dx.doi.org/10.2307/1968268 10.2307/1968268]. |
| − | * [http://www.jstor.org/action/doBasicSearch?Query=Pell% | + | * [http://www.jstor.org/action/doBasicSearch?Query=Pell %27 s+equation http://www.jstor.org/action/doBasicSearch?Query=Pell's+equation] |
* http://www.jstor.org/action/doBasicSearch?Query= | * http://www.jstor.org/action/doBasicSearch?Query= | ||
| − | + | ||
| − | + | ||
| − | + | ==관련도서== | |
* 도서내검색<br> | * 도서내검색<br> | ||
| 150번째 줄: | 142번째 줄: | ||
* 도서검색<br> | * 도서검색<br> | ||
** http://books.google.com/books?q= | ** http://books.google.com/books?q= | ||
| − | ** http://www.amazon.com/s/ref= | + | ** http://www.amazon.com/s/ref=nb_ss _gw?url=search-alias %3 Dstripbooks&field-keywords= |
** http://book.daum.net/search/mainSearch.do?query= | ** http://book.daum.net/search/mainSearch.do?query= | ||
| − | + | ||
| − | |||
| − | |||
| − | + | ||
| − | * 구글 블로그 검색 | + | ==블로그== |
| + | * 구글 블로그 검색 http://blogsearch.google.com/blogsearch?q=펠방정식 | ||
2012년 9월 8일 (토) 12:54 판
개요
- \(x^2-dy^2=1\) (\(d\) 는 완전제곱수를 약수로 갖지 않는 1보다 큰 자연수)형태의 디오판투스 방정식
- 연분수 전개를 통하여 모든 해를 구할 수 있음
- 해의 집합은 군의 구조를 통하여 이해할 수 있음
- \(x^2-dy^2=\pm 1\) 의 자연수 해를 구하는 문제는 실수 이차 수체의 unit 을 구하는 문제와 같음
연분수 전개와 fundamental solution
- \(\sqrt{d}\) 를 연분수 전개할때 얻어지는 convergents \({h_i}/{k_i}\) 가 펠 방정식의 해가 되는 \(x=h_i, y=k_i\) 를 찾을 수 있으며, 이 때 \(x\)값을 가장 작게 하는 해를 fundamental solution 이라 한다.
(정리)
펠 방정식의 해는 연분수 전개의 convergents 중에서 찾을 수 있다.
(증명)
연분수와 유리수 근사 에서 펠 방정식에 관련한 중요한 정리는 다음과 같다
무리수 \(\alpha\)에 대하여, 유리수 \(p/q\)가 아래의 부등식을 만족시키는 경우, \(p/q\)는 무리수 \(\alpha\)의 단순연분수 전개의 convergents 중의 하나이다
\(|\alpha-\frac{p}{q}|<\frac{1}{2{q^2}}\)
이 정리를 이용하자.
펠 방정식의 정수해 \(x_ {1}^2-dy_ {1}^2=1\) 는 \(x_ {1}^2-dy_ {1}^2=(x_{1}+\sqrt{d}y_{1})(x_{1}-\sqrt{d}y_{1})=1\)를 만족시키므로,
\(|x_{1}-\sqrt{d}y_{1}|=\frac{1}{|x_{1}+\sqrt{d}y_{1}|}\)
\(|\sqrt{d}-\frac{x_{1}}{y_{1}}|=\frac{1}{|x_{1}+\sqrt{d}y_{1}||y_{1}|}<\frac{1}{\sqrt{d}y_ {1}^{2}}\leq \frac{1}{2y_ {1}^{2}}\)
따라서, 펠 방정식의 해는 연분수 전개의 convergents 중에서 찾을 수 있다. \[FilledSquare]
d=7인 경우
- \(\sqrt{7}\)의 연분수 전개를 통한 유리수근사
\(\frac{2}{1},\frac{3}{1},\frac{5}{2},\frac{8}{3},\frac{37}{14}\cdots\) - 펠 방정식의 해 찾기
\(2^2-d\cdot 1^2=-3\)
\(3^2-d\cdot 1^2=2\)
\(5^2-d\cdot 2^2=-3\)
\(8^2-d\cdot 3^2=1\)
\(37^2-d\cdot 14^2=-3\) - 따라서 펠 방정식 \(x^2-7y^2=1\)의 fundamental solution 은 \((8,3)\) 이된다
d=13
- fundamental solution \((x_ 1,y_ 1)\) 가 \(y_ 1>6\) 를 만족시키는 가장 작은 d
- \(649^2-13\cdot180^2=1\)
d=61
d=109
- 페르마의 문제
- \(158070671986249^2 -109\cdot15140424455100^2=1\)
역사
메모
관련된 항목들
매스매티카 파일 및 계산 리소스
- https://docs.google.com/leaf?id=0B8XXo8Tve1cxNTU4ZmMyMmQtMjNkZi00YWIwLWIzM2ItNzNiNTQ2YTRkMWY1&sort=name&layout=list&num=50
- http://www.wolframalpha.com/input/?i=
- http://functions.wolfram.com/
- NIST Digital Library of Mathematical Functions
- The On-Line Encyclopedia of Integer Sequences
사전 형태의 자료
관련논문
- Conics - a Poor Man's Elliptic CurvesFranz Lemmermeyer, arXiv:math/0311306v1
- Solving the Pell EquationH. W. Lenstra Jr. Notices of the AMS 49 (2002), 182\[Dash]92
- Lehmer, D. H. 1928. On the Multiple Solutions of the Pell Equation. The Annals of Mathematics 30, no. 1/4. Second Series (January 1): 66-72. doi:10.2307/1968268.
- %27 s+equation http://www.jstor.org/action/doBasicSearch?Query=Pell's+equation
- http://www.jstor.org/action/doBasicSearch?Query=
관련도서
- 도서내검색
- 도서검색
- http://books.google.com/books?q=
- http://www.amazon.com/s/ref=nb_ss _gw?url=search-alias %3 Dstripbooks&field-keywords=
- http://book.daum.net/search/mainSearch.do?query=