Maths Olympiad Prep

Library / IMO-Auswahlklausur /1 of 21

IMO-Auswahlklausur

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 p≠0p \neq 0, it follows directly that b=cb = c, so that the claim is fulfilled. In the following we may therefore assume a≠b≠c≠aa \neq b \neq c \neq a.

Rearranging the equations gives
p=b2−a2b−c=c2−b2c−a=a2−c2a−b. 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 25−8≠16+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 9−8≠16+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,604 problems in a working order, from Junior Challenge 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.