Maths Olympiad Prep

Library / Austrian Mathematical Olympiad /19 of 54

Austrian Mathematical Olympiad

Number theory Difficulty 5.3 AIME, harder Prove it Austria

Determine all integers n≥2n \ge 2 that have a representation
n=a2+b2, n = a^2 + b^2,
where aa is the smallest divisor of nn different from 11 and bb is an arbitrary divisor of nn.

Solutions — 2

Solution 1

If nn is odd, then both aa and bb are odd and therefore n=a2+b2n = a^2 + b^2 is even, contradiction. Therefore, nn is even and a=2a = 2. This also shows that bb is even. Furthermore, b∣(n−b2)=a2=4b \mid (n - b^2) = a^2 = 4. Thus b∈{2,4}b \in \{2, 4\}, which results in n=8n = 8 and n=20n = 20, respectively.

Solution 2

If nn is odd, then both aa and bb are odd and therefore n=a2+b2n = a^2 + b^2 is even, contradiction. Therefore, nn is even and a=2a = 2. This also shows that bb is even. Furthermore, b∣(n−b2)=a2=4b \mid (n - b^2) = a^2 = 4. Thus b∈{2,4}b \in \{2, 4\}, which results in n=8n = 8 and n=20n = 20, respectively. □\square

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.