Olympiad Maths Prep

Library / /40 of 45

Algebra Difficulty 7.4 National olympiad, round 2 Prove it Ukraine

Let's call a pair of natural numbers a1a2ak\overline{a_1 a_2 \dots a_k} and b1b2bk\overline{b_1 b_2 \dots b_k} kk-similar if all the digits a1,a2,,ak,b1,b2,,bka_1, a_2, \dots, a_k, b_1, b_2, \dots, b_k are pairwise distinct and there exist distinct natural numbers m,nm, n such that the following equation holds:
a1m+a2m++akm=b1n+b2n++bkn. a_1^m + a_2^m + \dots + a_k^m = b_1^n + b_2^n + \dots + b_k^n.

What is the largest value of kk for which there exist kk-similar numbers?

Solution

Let us consider the numbers 12341234 and 67896789. For them, we see that the following equation holds:
61+71+81+91=30=12+22+32+42. 6^1 + 7^1 + 8^1 + 9^1 = 30 = 1^2 + 2^2 + 3^2 + 4^2.
Thus, this pair of numbers is 44-similar.

Obviously, for k>5k > 5 there are no kk-similar numbers, because there are only 1010 different digits. Let us assume that there is a pair of 55-similar numbers a1a2a3a4a5\overline{a_1 a_2 a_3 a_4 a_5} and b1b2b3b4b5\overline{b_1 b_2 b_3 b_4 b_5}, for which the following equation holds:
a1m+a2m+a3m+a4m+a5m=b1n+b2n+b3n+b4n+b5n. a_1^m + a_2^m + a_3^m + a_4^m + a_5^m = b_1^n + b_2^n + b_3^n + b_4^n + b_5^n.

The parity of the numbers on both sides of the equation is the same, and therefore their sum is an even number. Since these numbers are all the 1010 digits, their sum must also be even, because the parity of a number does not change when it is raised to a natural power. But the sum of all digits 0+1+2++9=450 + 1 + 2 + \cdots + 9 = 45 is odd. The resulting contradiction shows that the maximum value of kk is 44.

Looking for a route rather than 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.