"무리수와 디오판투스 근사"의 두 판 사이의 차이

2010년 8월 13일 (금) 08:58 판

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

는 무한히 많은 유리수 \(p/q\)에 의하여 만족된다.

더 나아가 다음이 성립한다(후르비츠)
무리수 \(\alpha\) 에 대하여, 부등식
\(|\alpha-\frac{p}{q}|<\frac{1}{\sqrt{5}{q^2}}\)
는 무한히 많은 유리수\(p/q\) 에 의하여 만족된다. (하지만 여기서 \(\sqrt{5}\) 는 더 큰 수로 대체될 수 없다.)
연분수 항목 참조

무리수이면서 차수가 d인 대수적수 \(\alpha\) 에 대하여, 적당한 상수 \(c(\alpha)>0\)가 존재하여, 모든 유리수 \(p/q\)에 대하여 다음 부등식이 만족된다.

\( \vert \alpha - \frac{p}{q} \vert > \frac{c(\alpha)}{q^{d}}\)

이 정리를 사용하여, 리우빌 상수 c가 초월수임을 증명할 수 있다
\(c = \sum_{j=1}^\infty 10^{-j!} = 0.110001000000000000000001000\ldots\)

주어진 \(\epsilon}>0\)에 대하여, 무리수이면서 대수적인수 \(\alpha\) 에 대하여, 부등식

\(\left|\alpha - \frac{p}{q}\right| < \frac{1}{q^{2 + \epsilon}}\)

의 유리수해 \(p/q\)는 유한하다

@@ 21번째 줄: / 21번째 줄: @@
 는 무한히 많은 유리수 <math>p/q</math>에 의하여 만족된다.
-*  더 나아가 다음이 성립한다<br>  <br> 무리수 <math>\alpha</math> 에 대하여, 부등식<br><math>|\alpha-\frac{p}{q}|<\frac{1}{\sqrt{5}{q^2}}</math><br> 는 무한히 많은 유리수<math>p/q</math> 에 의하여 만족된다. (하지만 여기서 <math>\sqrt{5}</math> 는 더 큰 수로 대체될 수 없다.)<br>
+*  더 나아가 다음이 성립한다(후르비츠)<br> 무리수 <math>\alpha</math> 에 대하여, 부등식<br><math>|\alpha-\frac{p}{q}|<\frac{1}{\sqrt{5}{q^2}}</math><br> 는 무한히 많은 유리수<math>p/q</math> 에 의하여 만족된다. (하지만 여기서 <math>\sqrt{5}</math> 는 더 큰 수로 대체될 수 없다.)<br>
 * [[연분수와 유리수 근사|연분수]] 항목 참조<br>
@@ 38번째 줄: / 38번째 줄: @@
 <math> \vert \alpha - \frac{p}{q} \vert > \frac{c(\alpha)}{q^{d}}</math>
-*  이 정리를<br>
+*  이 정리를 사용하여, 리우빌 상수 c가 초월수임을 증명할 수 있다<br><math>c = \sum_{j=1}^\infty 10^{-j!} = 0.110001000000000000000001000\ldots</math><br>