Maths Olympiad Prep

Library / /282 of 520

Number theory Difficulty 6.1 National olympiad Prove it

14. Let the positive integer mm have the standard factorization
m=2a0p1α1psαsm=2^{a_{0}} p_{1}^{\alpha_{1}} \cdots p_{s}^{\alpha_{s}}

where p1,,psp_{1}, \cdots, p_{s} are distinct odd primes, α00,α11,,αs1\alpha_{0} \geqslant 0, \alpha_{1} \geqslant 1, \cdots, \alpha_{s} \geqslant 1, s1s \geqslant 1, or m=2α,α00m=2^{\alpha}, \alpha_{0} \geqslant 0. Prove that mm can be expressed as the sum of two coprime squares
m=x2+y2,(x,y)=1m=x^{2}+y^{2}, \quad(x, y)=1

if and only if:
(1) In the case m=2x0m=2^{x_{0}}, α0=0\alpha_{0}=0 or α0=1\alpha_{0}=1,
(2) In the case m=2α0p1α1psαsm=2^{\alpha_{0}} p_{1}^{\alpha_{1}} \cdots p_{s}^{\alpha_{s}}, α0=0\alpha_{0}=0 or 1, and
pi1(mod4)i=1,,sp_{i} \equiv 1(\bmod 4) \quad i=1, \cdots, s

Moreover, in case (1), the corresponding representation as the sum of two coprime squares is 1, and in case (2), the corresponding representation as the sum of two coprime squares is 2s12^{s-1}.

Solution

None

Translate the text above into English, please retain the original text's line breaks and format, and output the translation result directly.

Note: The provided instruction is a meta-instruction and not part of the text to be translated. Since the text to be translated is "None", the translation is also "None". Here is the formatted output as requested:

None

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

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.