MathCastle
Proof WritingSuperchallengeWriting It Up

Writing It Up · Superchallenge problem

The lesson-style lemma "if 3∣a2+b23 \mid a^2 + b^2 then 3∣a3 \mid a and 3∣b3 \mid b" generalises. For how many primes p≤30p \le 30 is it true that p∣a2+b2p \mid a^2 + b^2 forces p∣ap \mid a and p∣bp \mid b?