Problem 4
The positive integers and are such that and are both squares of positive integers. What is the least possible value of the smaller of these two squares?
Step 3 of 4: Use residues modulo
In plain words
Use residues modulo
Detailed analysis
Modulo , the same identity gives when . The residue is a quadratic nonresidue modulo , so again . Thus .