디리클레 근사정리(Dirichlet's approximation theorem)에서 가져옴
무리수 에 대하여, 부등식
는 무한히 많은 유리수 에 의하여 만족된다.
더 나아가 다음이 성립한다(후르비츠 정리)
무리수 에 대하여, 부등식
는 무한히 많은 유리수 에 의하여 만족된다. (하지만 여기서
는 더 큰 수로 대체될 수 없다.)
연분수 항목 참조
리우빌 정리 (1844)
무리수이면서 차수가 d인 대수적수 와 임의의 양수
에 대하여, 부등식
의 유리수해 의 개수는 유한하다
리우빌 정리의 또다른 버전
무리수이면서 차수가 d인 대수적수 에 대하여, 적당한 상수
가 존재하여, 모든 유리수
에 대하여 다음 부등식이 만족된다.
이 정리를 사용하여, 리우빌 상수 c가 초월수임을 증명할 수 있다
주어진 에 대하여, 무리수이면서 대수적인수
에 대하여, 부등식
의 유리수해 는 유한하다
1844 리우빌
1909 Thue
1921 지겔
1955 Roth (1958년 필즈메달)
The On-Line Encyclopedia of Integer Sequences
Diophantine Approximation: historical survey
도서내검색
도서검색