Problem

Source: RELMO/RELSMO Bonus Problem

Tags: number theory, revenge elmo, revenge elsmo, relmo



Determine, with proof, if there exists an odd prime $p$ such that the following equation holds: $$\sum_{n = 1}^{\frac{p-1}{2}} \cot\left(\frac{\pi n^2}{p}\right) = 69\sqrt{p}$$ Proposed by Chris Bao