Teorema de Roth

Resultado fundamental en aproximación diofántica que establece que cualquier número algebraico irracional α no puede ser aproximado por racionales p/q de forma arbitrariamente buena: para todo ε>0 la desigualdad |α−p/q|<1/q^{2+ε} tiene solo finitos soluciones racionales p/q. Equivalente: el exponente de aproximación de un algebraico irracional es 2.