Теорема Лиувилля о приближении алгебраических чисел

---

Теорема Лиувилля о приближении алгебраических чисел — теорема, устанавливающая, что алгебраические иррациональности не могут слишком хорошо приближаться рациональными числами. А именно: если ${\displaystyle \alpha }$ — алгебраическое число степени ${\displaystyle n>1}$, а ${\displaystyle p}$ и ${\displaystyle q}$ — любые целые числа ${\displaystyle (q\neq 0)}$, то имеет место неравенство

где ${\displaystyle C}$ — положительная константа, зависящая только от ${\displaystyle \alpha }$ и выражаемая в явном виде через сопряженные с ${\displaystyle \alpha }$ величины.

С помощью этой теоремы Лиувилль впервые построил примеры трансцендентных чисел. Таким числом является, например, число, представляемое рядом с быстро убывающими членами, например

При ${\displaystyle n=2}$ теорема Лиувилля дает неулучшаемый результат. Для ${\displaystyle n\geq 3}$ теорема Лиувилля неоднократно усиливалась.

В 1909 году Туэ установил, что для алгебраических чисел ${\displaystyle \alpha }$ степени ${\displaystyle n}$ и ${\displaystyle \nu >{\frac {n}{2}}+1}$ справедливо неравенство

в частности, при ${\displaystyle \nu >2{\sqrt {n}}}$. Позже Ф. Дайсон доказал справедливость этого неравенства при ${\displaystyle \nu >{\sqrt {2n}}}$. Наконец, К. Рот установил, что неравенство (*) справедливо при любом ${\displaystyle \nu >2}$. Результат К. Рота является наилучшим в своем роде, так как любое иррациональное число ${\displaystyle \xi }$, алгебраическое или нет, имеет бесконечно много рациональных приближений ${\displaystyle p/q}$, удовлетворяющих неравенству

---