Maths Olympiad Prep

Library / Baltic Way competition problems /23 of 45

Baltic Way competition problems, 2016

Number theory Difficulty 5.8 AIME, harder Prove it Baltic Way

Do there exist positive integers a,b,ca, b, c, such they have no common divisor and
ab+bc+ca=(a+b−c)(b+c−a)(c+a−b)? ab + bc + ca = (a + b - c)(b + c - a)(c + a - b)?

Solution

We show that all of a,ba, b and cc have the number 33 as a common factor. First suppose that one of a,b,ca, b, c is divisible by 33. By symmetry, we may assume that a≡0(mod3)a \equiv 0 \pmod{3}. Then the equation implies bc≡(b−c)(b+c)(c−b)(mod3)bc \equiv (b-c)(b+c)(c-b) \pmod{3}. If neither of bb and cc is divisible by 33, this gives bc≡0(mod3)bc \equiv 0 \pmod{3}, which is a contradiction. On the other hand, if either of bb and cc is divisible by 33, then from bc≡(b−c)(b+c)(c−b)(mod3)bc \equiv (b-c)(b+c)(c-b) \pmod{3} we see that they both are divisible by 33, which means that a,ba, b and cc are all divisible by 33.

Now we are left with the case that a,b,ca, b, c are each ±1(mod3)\pm 1 \pmod{3}. If a≡b≡c(mod3)a \equiv b \equiv c \pmod{3}, then clearly the left-hand side of the equation is divisible by 33, while the right-hand side is not, so we have a contradiction. In the opposite case that two of a,ba, b and cc are equal and the third one is distinct modulo 33, clearly the left-hand side of the equation is not divisible by 33, while the right-hand side is divisible. We conclude that a,ba, b and cc are all divisible by 33.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.