Number theoryDifficulty 8.4ShortlistProve itBelarus
Find the minimal positive integer k for which there exist pairwise distinct positive integers a, b and c such that all three numbers: 4a2+kb+c, 4b2+kc+a and 4c2+ka+b are perfect squares.
Solution
Since the expressions 4a2+kb+c, 4b2+kc+a and 4c2+ka+b are invariant under cyclic permutations of a, b and c, we can assume that c=max(a,b,c). Then for k≤3 (2c)2<4c2+ka+b≤4c2+3c+c<4c2+4c+1=(2c+1)2. Hence 4c2+ka+b is not a perfect square if k≤3.
For k=4, one can find the triple (a,b,c)=(120,85,141), considering the expressions modulus 20. For the alternative version we will find all triples (a,b,c) which satisfy the problem conditions for k=4. As at the beginning, we say that c=max(a,b,c) and (2c)2<4c2+4a+b<4c2+5c<4c2+8c+4=(2c+2)2, hence 4c2+4a+b=(2c+1)2, i.e. 4a+b=4c+1. Suppose b>a, then 4b2+4b+1≤4b2+4c−4+1<4b2+4c+a=4b2+4a+b−1+a<4b2+8b+4. Whence (2b+1)2<4b2+4c+a<(2b+2)2 – a contradiction. Therefore b<a<c. Note that (2b+1)2<4b2+4c+a is true since we didn't use the inequality b>1. Since 4a2+4b+c>(2a)2, we get 4a2+4b+c≥(2a+1)2, which is equivalent to 4b+c≥4a+1. Using the fact that c=a+(b−1)/4, we obtain 3a≤441b−141. Consider the expression 4b2+4c+a one more time: 4b2+4c+a=4b2+5a+b−1≤4b2+35⋅(441b−141)+b−1==4b2+8121b−3121<4b2+12b+9=(2b+3)2.
Therefore (2b+1)2<4b2+4c+a<(2b+3)2, whence 4b2+4c+a=(2b+2)2, i.e. 8b+4=4c+a. Note that 8a+4=2(4c+1−b)+4=8c+6−2b>4b+c, hence (2a)2<4a2+4b+c<4a2+8a+4=(2a+2)2, which yields 4a2+4b+c=(2a+1)2, i.e. 4b+c=4a+1. Thus the triple (a,b,c) satisfy the system ⎩⎨⎧4a+b=4c+1;8b+4=4c+a;4b+c=4a+1. The solution of this system is (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.