MathCastle
Proof WritingChallengeWriting It Up

Writing It Up · Challenge problem

A student claims: "if a≡b(modn)a \equiv b \pmod n then a2≡b2(modn2)a^2 \equiv b^2 \pmod{n^2}", with the proof "a=b+kna = b + kn, so a2=b2+2bkn+k2n2a^2 = b^2 + 2bkn + k^2n^2." Where the audit asks "would this also prove something false?", what is the smallest n≥2n \ge 2 for which the claim fails?