Maths Olympiad Prep

Library / /86 of 121

Number theory Difficulty 6.5 National Olympiad Prove it India

Problem:
Let nn be a natural number such that n=a2+b2+c2n = a^{2} + b^{2} + c^{2}, for some natural numbers a,b,ca, b, c. Prove that
9n=(p1a+q1b+r1c)2+(p2a+q2b+r2c)2+(p3a+q3b+r3c)2 9 n = (p_{1} a + q_{1} b + r_{1} c)^{2} + (p_{2} a + q_{2} b + r_{2} c)^{2} + (p_{3} a + q_{3} b + r_{3} c)^{2}
where pjp_{j}'s, qjq_{j}'s, rjr_{j}'s are all nonzero integers. Further, if 33 does not divide at least one of a,b,ca, b, c, prove that 9n9 n can be expressed in the form x2+y2+z2x^{2} + y^{2} + z^{2}, where x,y,zx, y, z are natural numbers none of which is divisible by 33.

Solution

Solution:
It can be easily seen that
9n=(2b+2ca)2+(2c+2ab)2+(2a+2bc)2 9 n = (2 b + 2 c - a)^{2} + (2 c + 2 a - b)^{2} + (2 a + 2 b - c)^{2}
Thus we can take p1=p2=p3=2p_{1} = p_{2} = p_{3} = 2, q1=q2=q3=2q_{1} = q_{2} = q_{3} = 2 and r1=r2=r3=1r_{1} = r_{2} = r_{3} = -1. Suppose 33 does not divide gcd(a,b,c)\gcd(a, b, c). Then 33 does divide at least one of a,b,ca, b, c; say 33 does not divide aa. Note that each of 2b+2ca2 b + 2 c - a, 2c+2ab2 c + 2 a - b and 2a+2bc2 a + 2 b - c is either divisible by 33 or none of them is divisible by 33, as the difference of any two sums is always divisible by 33. If 33 does not divide 2b+2ca2 b + 2 c - a, then we have the required representation. If 33 divides 2b+2ca2 b + 2 c - a, then 33 does not divide 2b+2c+a2 b + 2 c + a. On the other hand, we also note that
9n=(2b+2c+a)2+(2c2ab)2+(2a+2bc)2=x2+y2+z2 9 n = (2 b + 2 c + a)^{2} + (2 c - 2 a - b)^{2} + (-2 a + 2 b - c)^{2} = x^{2} + y^{2} + z^{2}
where x=2b+2c+ax = 2 b + 2 c + a, y=2c2aby = 2 c - 2 a - b and z=2a+2bcz = -2 a + 2 b - c. Since xy=3(b+a)x - y = 3(b + a) and 33 does not divide xx, it follows that 33 does not divide yy as well. Similarly, we conclude that 33 does not divide zz.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.