Billiards, Checkers, and Quadratic Reciprocity
Abstract
We indulge in what mathematicians call frivolous activities. In Arithmetic Billiards, a ball is bouncing around in a rectangle. In Parity Checkers we place checkers on a checkerboard under certain parity constraints. Both activities turn out to capture the division of congruence classes modulo a prime into squares and non-squares, allowing fairly simple proofs of the celebrated Law of Quadratic Reciprocity. Since the activities are analyzed somewhat in parallel we don't obtain two independent proofs. But Franz Lemmermeyer's online list of reciprocity proofs already contains well over three hundred items, which seems enough anyway.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.