Dirichlets teorem om diofantiska approximationer säger att [1]
För alla reella tal och naturliga Q finns det heltal p och q som uppfyller villkoret |
Det är en konsekvens av Dirichlet-principen . Teoremet bevisades av Dirichlet 1842.
Låt vara ett irrationellt tal . Sedan finns det en oändlig uppsättning irreducerbara bråk oändligt nära i följande betydelse [1] :
Den praktiska konstruktionen av sådana approximationer är lätt att utföra med hjälp av fortsatta bråk .
Dirichlet-principen tillåter oss att bevisa ett mer allmänt teorem:
för alla reella tal och naturliga finns heltal sådana att |