El teorema de Dirichlet sobre las aproximaciones diofánticas establece que [1]
Para cualquier número real y Q natural , existen los números enteros p y q , satisfaciendo la condición |
Es una consecuencia del principio de Dirichlet . El teorema fue probado por Dirichlet en 1842.
Sea un número irracional . Entonces hay un conjunto infinito de fracciones irreducibles infinitamente cercanas en el siguiente sentido [1] :
La construcción práctica de tales aproximaciones es fácil de realizar utilizando fracciones continuas .
El principio de Dirichlet nos permite demostrar un teorema más general:
para cualquier numero real y natural existen enteros tales que |