"연분수와 유리수 근사"의 두 판 사이의 차이

2010년 7월 28일 (수) 14:12 판

\(\frac{1+\sqrt5}{2}=1 + \cfrac{1}{1 + \cfrac{1}{1 + \cfrac{1}{1 + \ddots}}}\)

\(|\frac{p}{q}-\alpha|<\frac{1}{\sqrt{5}{q^2}}\)

무리수 \(\alpha\) 에 대하여, 부등식

\(|\frac{p}{q}-\alpha|<\frac{1}{\sqrt{5}{q^2}}\)

는 무한히 많은 유리수\(p/q\) 에 의하여 만족된다. 하지만 여기서 \(\sqrt{5}\) 는 더 큰 수로 대체될 수 없다.

위의 정리에서 \(\sqrt{5}\) 보다 작은 수(예를 들자면 2) 가 있어도 정리는 참이지만, \(\sqrt{5}\) 보다 큰 수는 불가능하다.

임의의 \(0<h<1\) 에 대하여

\(|\frac{p}{q}-\frac{1+\sqrt{5}}{2}|<\frac{h}{\sqrt{5}{q^2}}\)

가 유한히 많은 유리수\(p/q\)에 의해서만 만족됨을 보이면 충분하다.

(증명)

위의 부등식이 만족되는 경우, 적당한 \(|\theta|<h<1\)에 대하여, 다음과 같이 쓸 수 있다.

\(\frac{p}{q}-\frac{1+\sqrt{5}}{2}=\frac{\theta}{\sqrt{5}{q^2}}\)

\(\frac{p}{q}-\frac{1}{2}=\frac{\sqrt{5}}{2}+\frac{\theta}{\sqrt{5}{q^2}}\)

\(5q^2\{(p^2-pq-q^2)-\theta\}=\theta^2\)

\((p^2-pq-q^2)-\theta\) 는 양수이고, 정수 \(p^2-pq-q^2\)는 0이 될 수 없으므로, \(p^2-pq-q^2\geq1\)

따라서,

\(q^2=\frac{\theta^2}{5\{(p^2-pq-q^2)-\theta\}}<\frac{h^2}{5(1-h)}\)

그러므로, 주어진 부등식은 유한히 많은 \(q\) 에 대해서만 참이다. 또한 각각의 \(q\)에 대하여, 오직 유한히 많은 \(p\) 만이 부등식을 만족시킨다.■

@@ 26번째 줄: / 26번째 줄: @@
 무리수 <math>\alpha</math> 에 대하여, 부등식
 <math>|\frac{p}{q}-\alpha|<\frac{1}{\sqrt{5}{q^2}}</math>
+는 무한히 많은 유리수<math>p/q</math> 에 의하여 만족된다. 하지만 여기서 <math>\sqrt{5}</math> 는 더 큰 수로 대체될 수 없다.
-는 무한히 많은 유리수<math>p/q</math><math>\frac{p}{q}</math> 에 의하여 만족된다.
@@ 49번째 줄: / 45번째 줄: @@
-가 유한히 많은 유리수 <math>\frac{p}{q}</math>에 의해서만 만족됨을 보이면 충분하다.
+가 유한히 많은 유리수<math>p/q</math>에 의해서만 만족됨을 보이면 충분하다.
@@ 75번째 줄: / 71번째 줄: @@
 <math>q^2=\frac{\theta^2}{5\{(p^2-pq-q^2)-\theta\}}<\frac{h^2}{5(1-h)}</math>
-그러므로, 주어진 부등식은 유한히 많은 <math>q</math> 에 대해서만 참이다. 또한 각각의 <math>q</math>에 대하여, 오직 유한히 많은 <math>p</math> 만이 부등식을 만족시킨다. (증명끝)
+그러므로, 주어진 부등식은 유한히 많은 <math>q</math> 에 대해서만 참이다. 또한 각각의 <math>q</math>에 대하여, 오직 유한히 많은 <math>p</math> 만이 부등식을 만족시킨다.■