Sols
Sols
Sols
Solution. Let S denote the set of three-digit numbers that have digit sum equal to 9 and no digit
equal to 0. We will first find the cardinality of S. We start from the number 111 and each element
of S can be obtained from 111 by a string of 6 A’s (which means that we add 1 to the current digit)
and 2 G’s (which means go to the next digit). Then for example 324 can be obtained from 111 by the
string AAGAGAAA. There are in total
8!
= 28
6! · 2!
such words, so S contains 28 numbers. Now, from the conditions (3), (4), (5), if abc is in T then each
of the other numbers of the form ∗ ∗ c cannot be in T , neither ∗b∗ can be, nor a ∗ ∗. Since there are
a + b − 2 numbers of the first category, a + c − 2 from the second and b + c − 2 from the third one. In
these three categories there are
(a + b − 2) + (b + c − 2) + (c + a − 2) = 2(a + b + c) − 6 = 2 · 9 − 6 = 12
distinct numbers that cannot be in T if abc is in T . So, if T has n numbers, then 12n are the forbidden
ones that are in S, but each number from S can be a forbidden number no more than three times,
once for each of its digits, so
12n 28
n+ ≤ 28 ⇐⇒ n ≤ ,
3 5
and since n is an integer, we get n ≤ 5. A possible example for n = 5 is
Comment by PSC. It is classical to compute the cardinality of S and this can be done in many
ways. In general, the number of solutions of the equation
x1 + x2 + · · · + xk = n
in positive integers, where the order of xi matters, is well known that equals to n−1
k−1 . In our case,
we want to count the number of positive solutions to a + b + c = 9. By the above, this equals to
9−1
3−1 = 28. Using the general result above, we can also find that there are a + b − 2 numbers of the
form ∗ ∗ c.
Problem 3. Let k > 1 be a positive integer and n > 2018 be an odd positive integer. The nonzero
rational numbers x1 , x2 , . . . , xn are not all equal and satisfy
k k k k k
x1 + = x2 + = x3 + = · · · = xn−1 + = xn + ·
x2 x3 x4 xn x1
Find:
b) the least value of k, such that there exist n, x1 , x2 , . . . , xn satisfying the given conditions.
a) If xi = xi+1 for some i (assuming xn+1 = x1 ), then by the given identity all xi will be equal, a
contradiction. Thus x1 6= x2 and
x2 − x3
x1 − x2 = k .
x2 x3
Analogously
x2 − x3 x3 − x4 x1 − x2
x1 − x2 = k = k2 = · · · = kn ·
x2 x3 (x2 x3 ) (x3 x4 ) (x2 x3 ) (x3 x4 ) . . . (x1 x2 )
Comment by PSC. There are many ways to construct the example when k = 4 and n = 2019. Since
3 | 2019, the idea is to find three numbers x1 , x2 , x3 satisfying the given equations, not all equal, and
repeat them as values for the rest of the xi ’s. So, we want to find x1 , x2 , x3 such that
4 4 4
x1 + = x2 + = x3 + ·
x2 x3 x1
As above, x1 x2 x3 = ±8. Suppose without loss of generality that x1 x2 x3 = −8. Then, solving the
above system we see that if x1 6= 2, then
4 4
x2 = − and x3 = 2 − ,
x1 − 2 x1
leading to infinitely many solutions. The example in the official solution is obtained by choosing
x1 = −2.
Problem 4. Let ABC be an acute triangle, A0 , B 0 and C 0 be the reflections of the vertices A, B and
C with respect to BC, CA, and AB, respectively, and let the circumcircles of triangles ABB 0 and
ACC 0 meet again at A1 . Points B1 and C1 are defined similarly. Prove that the lines AA1 , BB1 and
CC1 have a common point.
Solution. Let O1 , O2 and O be the circumcenters of triangles ABB 0 , ACC 0 and ABC respectively. As
AB is the perpendicular bisector of the line segment CC 0 , O2 is the intersection of the perpendicular
bisector of AC with AB. Similarly, O1 is the intersection of the perpendicular bisector of AB with
AC. It follows that O is the orthocenter of triangle AO1 O2 . This means that AO is perpendicular
to O1 O2 . On the other hand, the segment AA1 is the common chord of the two circles, thus it is
perpendicular to O1 O2 . As a result, AA1 passes through O. Similarly, BB1 and CC1 pass through
O, so the three lines are concurrent at O.
B0
C0
A
O
B C
O1
O2
A1
From (1) and (2) we conclude that A1 , A and O are collinear. Similarly, BB1 and CC1 pass through
O, so the three lines are concurrent in O.