En matemática, el teorema de Beatty señala la condición necesaria y suficiente para que dos sucesiones pseudo-aritméticas sean una partición de . Fue publicado en 1926 por el matemático canadiense Samuel Beatty, profesor de la Universidad de Toronto. Una hermosa prueba de este teorema se publicó en 1927 por A. Ostrowski (Basilea) y A. C. Aitken (Chicago) .