Le théorème de Beatty est un théorème d'arithmétique publié en 1926 par le mathématicien canadien Samuel Beatty (mais déjà mentionné par Lord Rayleigh en 1894) qui donne une condition nécessaire et suffisante sur deux réels pour que les deux suites associées partitionnent ℕ*.