Maths Olympiad Prep

Library / /3 of 4

, 2020

Number theory Difficulty 8.4 Shortlist Prove it Belarus

Find the minimal positive integer kk for which there exist pairwise distinct positive integers aa, bb and cc such that all three numbers: 4a2+kb+c4a^2 + kb + c, 4b2+kc+a4b^2 + kc + a and 4c2+ka+b4c^2 + ka + b are perfect squares.

Solution

Since the expressions 4a2+kb+c4a^2 + kb + c, 4b2+kc+a4b^2 + kc + a and 4c2+ka+b4c^2 + ka + b are invariant under cyclic permutations of aa, bb and cc, we can assume that c=max(a,b,c)c = \max(a, b, c). Then for k3k \le 3
(2c)2<4c2+ka+b4c2+3c+c<4c2+4c+1=(2c+1)2. (2c)^2 < 4c^2 + ka + b \le 4c^2 + 3c + c < 4c^2 + 4c + 1 = (2c + 1)^2.
Hence 4c2+ka+b4c^2 + ka + b is not a perfect square if k3k \le 3.

For k=4k = 4, one can find the triple (a,b,c)=(120,85,141)(a, b, c) = (120, 85, 141), considering the expressions modulus 2020.
For the alternative version we will find all triples (a,b,c)(a, b, c) which satisfy the problem conditions for k=4k = 4.
As at the beginning, we say that c=max(a,b,c)c = \max(a, b, c) and
(2c)2<4c2+4a+b<4c2+5c<4c2+8c+4=(2c+2)2, (2c)^2 < 4c^2 + 4a + b < 4c^2 + 5c < 4c^2 + 8c + 4 = (2c + 2)^2,
hence 4c2+4a+b=(2c+1)24c^2 + 4a + b = (2c + 1)^2, i.e. 4a+b=4c+14a + b = 4c + 1.
Suppose b>ab > a, then
4b2+4b+14b2+4c4+1<4b2+4c+a=4b2+4a+b1+a<4b2+8b+4. 4b^2 + 4b + 1 \le 4b^2 + 4c - 4 + 1 < 4b^2 + 4c + a = 4b^2 + 4a + b - 1 + a < 4b^2 + 8b + 4.
Whence (2b+1)2<4b2+4c+a<(2b+2)2(2b+1)^2 < 4b^2 + 4c + a < (2b+2)^2 – a contradiction. Therefore b<a<cb < a < c. Note that (2b+1)2<4b2+4c+a(2b+1)^2 < 4b^2 + 4c + a is true since we didn't use the inequality b>1b > 1.
Since 4a2+4b+c>(2a)24a^2 + 4b + c > (2a)^2, we get 4a2+4b+c(2a+1)24a^2 + 4b + c \ge (2a + 1)^2, which is equivalent to 4b+c4a+14b + c \ge 4a + 1. Using the fact that c=a+(b1)/4c = a + (b - 1)/4, we obtain 3a414b1143a \le 4\frac{1}{4}b - 1\frac{1}{4}. Consider the expression 4b2+4c+a4b^2 + 4c + a one more time:
4b2+4c+a=4b2+5a+b14b2+53(414b114)+b1==4b2+8112b3112<4b2+12b+9=(2b+3)2. \begin{aligned} 4b^2 + 4c + a &= 4b^2 + 5a + b - 1 \le 4b^2 + \frac{5}{3} \cdot (4\frac{1}{4}b - 1\frac{1}{4}) + b - 1 = \\ &= 4b^2 + 8\frac{1}{12}b - 3\frac{1}{12} < 4b^2 + 12b + 9 = (2b + 3)^2. \end{aligned}

Therefore (2b+1)2<4b2+4c+a<(2b+3)2(2b+1)^2 < 4b^2 + 4c + a < (2b+3)^2, whence 4b2+4c+a=(2b+2)24b^2 + 4c + a = (2b+2)^2, i.e. 8b+4=4c+a8b+4 = 4c+a.
Note that 8a+4=2(4c+1b)+4=8c+62b>4b+c8a+4 = 2(4c+1-b)+4 = 8c+6-2b > 4b+c, hence
(2a)2<4a2+4b+c<4a2+8a+4=(2a+2)2, (2a)^2 < 4a^2 + 4b + c < 4a^2 + 8a + 4 = (2a + 2)^2,
which yields 4a2+4b+c=(2a+1)24a^2 + 4b + c = (2a + 1)^2, i.e. 4b+c=4a+14b + c = 4a + 1. Thus the triple (a,b,c)(a, b, c) satisfy the system
{4a+b=4c+1;8b+4=4c+a;4b+c=4a+1. \begin{cases} 4a + b = 4c + 1; \\ 8b + 4 = 4c + a; \\ 4b + c = 4a + 1. \end{cases}
The solution of this system is (120,85,141)(120, 85, 141).

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.