He first used the pigeonhole principle, a basic counting argument, in the proof of a theorem in diophantine approximation, later named after him Dirichlet's approximation theorem.
Usou por primeira vez o principio do pombal, argumento básico de reconto, na demostración dun teorema de aproximación diofantiana, posteriormente chamado teorema de aproximación de Dirichlet.