Roths Satz

Grundlegendes Resultat der diophantischen Approximation, das besagt, dass jede algebraische irrationale Zahl α nicht beliebig gut durch rationale Zahlen p/q approximiert werden kann: Für jedes ε>0 hat die Ungleichung |α−p/q|<1/q^{2+ε} nur endlich viele rationale Lösungen p/q. Äquivalent ist der Approximations-Exponent algebraischer Irrationalen gleich 2.