Maths Olympiad Prep

Library / /1 of 22

Number theory Difficulty 7.3 National Olympiad, round 2 Prove it Germany

Problem:

Let pp be a prime number. Furthermore, let a,b,ca, b, c be integers which satisfy the equations a2+pb=b2+pc=c2+paa^{2}+p b = b^{2}+p c = c^{2}+p a.
Prove that then a=b=ca = b = c holds.

Solution

Solution:

If two of the three numbers a,b,ca, b, c are equal, then, because of the cyclic interchangeability, we may assume without loss of generality that a=ba = b. Then the left given equation becomes a2+pb=a2+pca^{2} + p b = a^{2} + p c, from which, since p0p \neq 0, it follows directly that b=cb = c, so that the claim is fulfilled. In the following we may therefore assume abcaa \neq b \neq c \neq a.

Rearranging the equations gives
p=b2a2bc=c2b2ca=a2c2ab. p = \frac{b^{2} - a^{2}}{b - c} = \frac{c^{2} - b^{2}}{c - a} = \frac{a^{2} - c^{2}}{a - b}.
Multiplying the three terms and cancelling gives
p3=(a+b)(b+c)(c+a)(1) p^{3} = - (a + b)(b + c)(c + a) \tag{1}
Of the three given numbers, by the pigeonhole principle at least two are even or at least two are odd; their sum is therefore divisible by 22. Hence the product on the right-hand side of (1) is even. It follows that p=2p = 2 and therefore (a+b)(b+c)(c+a)=8(a + b)(b + c)(c + a) = -8. 2\text{2}

If two of the brackets in (2) are equal, then without loss of generality let a+b=b+ca + b = b + c. It follows directly that a=ca = c and therefore the equality of all three given numbers.

If exactly one of the brackets is odd (equal to ±1\pm 1), then (a+b)+(b+c)+(c+a)(a + b) + (b + c) + (c + a) is on the one hand odd, and on the other hand equal to 2(a+b+c)2(a + b + c), hence even – a contradiction!

There remain therefore (up to cyclic interchangeability) the cases (±1;1;8\pm 1; \mp 1; 8) to be examined.

From a+b=1a + b = 1, b+c=1b + c = -1, c+a=8c + a = 8 it follows that a=5a = 5, b=4b = -4, c=3c = 3, which, with 25816+625 - 8 \neq 16 + 6, gives a contradiction to the first given equation.

From a+b=1a + b = -1, b+c=1b + c = 1, c+a=8c + a = 8 it follows that a=3a = 3, b=4b = -4, c=5c = 5, which, with 9816+109 - 8 \neq 16 + 10, gives a contradiction to the first given equation.

Therefore only a=b=ca = b = c is possible. Indeed, a2+pa=a2+paa^{2} + p a = a^{2} + p a holds.

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 translated into English from de; metadata (topic, difficulty) added by this project.