Billiards, Checkers, and Quadratic Reciprocity

Johan Wästlund

2024-01-31

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.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to provide a simple proof of the Law of Quadratic Reciprocity through two mathematical games - Arithmetic Billiards and Parity Checkers.

### 1. Arithmetic Billiards
In Arithmetic Billiards, a ball bounces at a 45 - degree angle within a rectangle. By analyzing the path of the ball's movement within the rectangle, the author shows how to capture square classes and non - square classes modulo prime numbers in this way, and finally proves the Law of Quadratic Reciprocity.

#### Key Conclusions:
- If the width \(n\) of the rectangle is a prime number and the height \(m\) is not divisible by \(n\), then the number of negative bounces is even if and only if \(m\) is a quadratic residue modulo \(n\); otherwise it is odd.
- This result is related to the Legendre symbol \(\left(\frac{m}{n}\right)\).

### 2. Parity Checkers
In Parity Checkers, pieces are placed on a rectangular chessboard, satisfying certain parity constraints. By analyzing these constraints, the author also shows how to capture square classes and non - square classes modulo prime numbers in this way, and once again proves the Law of Quadratic Reciprocity.

#### Key Conclusions:
- If stones are placed only on the bottom row on a \((m - 1)\times(n - 1)\) chessboard, then the number of pieces in the solution is even if and only if \(m\) is a quadratic residue modulo \(n\); otherwise it is odd.
- This result is also related to the Legendre symbol \(\left(\frac{m}{n}\right)\).

### Law of Quadratic Reciprocity
The Law of Quadratic Reciprocity is an important theorem in number theory. It describes the relationship between the Legendre symbols of two different odd prime numbers \(p\) and \(q\):
\[
\left(\frac{p}{q}\right)\left(\frac{q}{p}\right)=(- 1)^{\frac{(p - 1)(q - 1)}{4}}
\]
That is:
- If \(p\) or \(q\) has a remainder of 1 modulo 4, then \(\left(\frac{p}{q}\right)=\left(\frac{q}{p}\right)\);
- If both \(p\) and \(q\) have a remainder of 3 modulo 4, then \(\left(\frac{p}{q}\right)=-\left(\frac{q}{p}\right)\).

### Summary
This paper cleverly links two seemingly simple mathematical games, Arithmetic Billiards and Parity Checkers, with the Law of Quadratic Reciprocity in number theory by introducing them, providing a novel and intuitive proof method. This not only makes complex number - theory concepts easier to understand, but also shows the potential of mathematical games in explaining profound theorems.