Maths Olympiad Prep

Library / /9 of 18

Number theory Difficulty 7.9 National olympiad, round 2 Prove it Balkan Mathematical Olympiad

Let a,b,c,p,q,ra, b, c, p, q, r be positive integers such that ap+bq+cr=aq+br+cp=ar+bp+cqa^p + b^q + c^r = a^q + b^r + c^p = a^r + b^p + c^q.
Prove that a=b=ca = b = c or p=q=rp = q = r.

Solution

The proof is essentially a size argument. We split into three cases, the first two of which are quite straightforward.

Case 1: two of p,q,rp, q, r are equal, wlog q=rq = r. Subtract aq+bq+cqa^q + b^q + c^q from the given equation to show that
apaq=bpbq=cpcq. a^p - a^q = b^p - b^q = c^p - c^q.
Now if p>qp > q then xpxq=xq(xpq1)x^p - x^q = x^q(x^{p-q} - 1) is a strictly increasing function of x>0x > 0, so the only way the equality can hold is if a=b=ca = b = c. If p<qp < q then the same argument shows that a=b=ca = b = c also. Yet the only remaining subcase is when p=q=rp = q = r.

Case 2: two of a,b,ca, b, c are equal, wlog b=cb = c. Subtract bp+bq+brb^p + b^q + b^r from the given equation to show that apbp=aqbq=arbra^p - b^p = a^q - b^q = a^r - b^r. Exactly as in the previous case, the function of a positive integer ss asbs=(ab)(as1+as2b++bs1)a^s - b^s = (a-b)(a^{s-1} + a^{s-2}b + \dots + b^{s-1}) is strictly increasing, strictly decreasing or zero according as a>ba > b, a<ba < b or a=ba = b. In the first two subcases, this forces p=q=rp = q = r, and in the last subcase a=b=ca = b = c.

Case 3: the a,b,ca, b, c are distinct, as are the p,q,rp, q, r. Wlog aa is the greatest of a,b,ca, b, c and (cycling the variables if necessary) pp is the greatest of p,q,rp, q, r. In particular, a,p3a, p \ge 3. We claim that for such a,pa, p we have
ap(a1)p+2ap1. a^p \ge (a-1)^p + 2a^{p-1}.
Indeed, since (a1)p+2ap1ap3((a1)3+2a2)(a-1)^p + 2a^{p-1} \le a^{p-3}((a-1)^3 + 2a^2) it suffices to prove the inequality for p=3p=3, when it rearranges to the inequality a23a+10a^2 - 3a + 1 \ge 0. This certainly holds for a3a \ge 3. As a consequence, we have the inequality
ap+bq+cr>(a1)p+2ap1bp+cq+ar a^p + b^q + c^r > (a-1)^p + 2a^{p-1} \ge b^p + c^q + a^r
which is a contradiction.

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 and solution reproduced as published; topic and difficulty added by this site.