Eventually periodic positional expansion of a rational number
= Eventually periodic positional expansion of a rational number
A positional expansion in an integer base represents a rational number exactly when its digit sequence is eventually periodic. Long division proves the forward implication because only finitely many remainders occur; summing a periodic tail as a <geometric series> proves the converse.