Kazakhstan 2021
Kazakhstan 2021
Kazakhstan 2021
Contents
Problems 3
XVII International Zhautykov Olympiad 2021 . . . . . . 4
XX Silk Road Mathematics Competition 2021 . . . . . 5
Kazakhstan National Olympiad 2021. Grade 9 . . . . . 6
Kazakhstan National Olympiad 2021. Grade 10 . . . . . 7
Kazakhstan National Olympiad 2021. Grade 11 . . . . . 8
Solutions 9
XVII International Zhautykov Olympiad 2021 . . . . . . 10
XX Silk Road Mathematics Competition 2021 . . . . . 23
Ðåñïóáëèêàíñêàÿ îëèìïèàäà 2021 ãîäà. 9 êëàññ . . . . 28
Ðåñïóáëèêàíñêàÿ îëèìïèàäà 2021 ãîäà. 10 êëàññ . . . 33
Ðåñïóáëèêàíñêàÿ îëèìïèàäà 2021 ãîäà. 11 êëàññ . . . 39
Problems
4 Problems. XVII International Zhautykov Olympiad 2021
№1. Prove that for some positive integer 𝑛 the remainder of 3𝑛 when divided
by 2𝑛 is greater than 102021 .
№2. In a convex cyclic hexagon 𝐴𝐵𝐶𝐷𝐸𝐹 𝐵𝐶 = 𝐸𝐹 and 𝐶𝐷 = 𝐴𝐹 .
Diagonals 𝐴𝐶 and 𝐵𝐹 intersect at point 𝑄, and diagonals 𝐸𝐶 and 𝐷𝐹 intersect
at point 𝑃 . Points 𝑅 and 𝑆 are marked on the segments 𝐷𝐹 and 𝐵𝐹 respectively
so that 𝐹 𝑅 = 𝑃 𝐷 and 𝐵𝑄 = 𝐹 𝑆 . The segments 𝑅𝑄 and 𝑃 𝑆 intersect at point
𝑇 . Prove that the line 𝑇 𝐶 bisects the diagonal 𝐷𝐵 .
№3. Let 𝑛 ≥ 2 be an integer. Elwyn is given an 𝑛 × 𝑛 table lled with real
numbers (each cell of the table contains exactly one number). We dene a rook
set as a set of 𝑛 cells of the table situated in 𝑛 distinct rows as well as in 𝑛
distinct columns. Assume that, for every rook set, the sum of 𝑛 numbers in the
cells forming the set is nonnegative.
By a move, Elwyn chooses a row, a column, and a real number 𝑎, and then
he adds 𝑎 to each number in the chosen row, and subtracts 𝑎 from each number
in the chosen column (thus, the number at the intersection of the chosen row
and column does not change). Prove that Elwyn can perform a sequence of
moves so that all numbers in the table become nonnegative.
№4. A circle with radius 𝑟 is inscribed in the triangle 𝐴𝐵𝐶 . Circles with radii
𝑟1 , 𝑟2 , 𝑟3 (𝑟1 , 𝑟2 , 𝑟3 < 𝑟) are inscribed in the angles 𝐴, 𝐵, 𝐶 so that each touches
the incircle externally. Prove that 𝑟1 + 𝑟2 + 𝑟3 ≥ 𝑟.
№5. On a party with 99 guests, hosts Ann and Bob play a game (the hosts are
not regarded as guests). There are 99 chairs arranged in a circle; initially, all
guests hang around those chairs. The hosts take turns alternately. By a turn,
a host orders any standing guest to sit on an unoccupied chair 𝑐. If some chair
adjacent to 𝑐 is already occupied, the same host orders one guest on such chair
to stand up (if both chairs adjacent to 𝑐 are occupied, the host chooses exactly
one of them). All orders are carried out immediately. Ann makes the rst move;
her goal is to fulll, after some move of hers, that at least 𝑘 chairs are occupied.
Determine the largest 𝑘 for which Ann can reach the goal, regardless of Bob's
play.
№6. Let 𝑃 (𝑥) be a nonconstant polynomial of degree 𝑛 with rational coecients
which can not be presented as a product of two nonconstant polynomials with
rational coecients. Prove that the number of polynomials 𝑄(𝑥) of degree less
than 𝑛 with rational coecients such that 𝑃 (𝑥) divides 𝑃 (𝑄(𝑥))
a) is nite;
b) does not exceed 𝑛.
Problems. XX “Silk Road” Mathematics Competition 2021 5
№1. A sequence 𝑠 consisting of zeroes and ones is given. For each positive
integer 𝑘 we dene 𝑣𝑘 as the maximum number of ways to nd consecutive digits
forming the sequence 𝑠 in a sequence of 𝑘 digits. (For example, if 𝑠 = 0110, then
𝑣7 = 𝑣8 = 2, since in the sequences 0110110 and 01101100 consecutive digits
0110 are found in two places, and three pairs of ones surrounded by zeroes can
not occur in a sequence of 7 or 8 digits.) It is known that 𝑣𝑛 < 𝑣𝑛+1 < 𝑣𝑛+2 for
some positive integer 𝑛. Prove that all the digits in the sequence 𝑠 are identical.
√
№2. For every positive integer 𝑚 prove the inequality |{ 𝑚} − 21 | > 8(√𝑚+1) 1
.
№3. Let 𝑀 be the midpoint of side 𝐴𝐵 in triangle 𝐴𝐵𝐶 . 𝐵1 is a point on
segment 𝐴𝐶 such that 𝐶𝐵 = 𝐶𝐵1 . The circumcircles of triangles 𝐴𝐵𝐶 and
𝐵𝑀 𝐵1 , 𝜔 and 𝜔1 , intersect for the second time at point 𝐾 . Let 𝑄 be the
midpoint of arc 𝐴𝐶𝐵 of 𝜔 . Lines 𝐵1 𝑄 and 𝐵𝐶 intersect at point 𝐸 . Prove that
line 𝐾𝐶 passes through the midpoint of segment 𝐵1 𝐸 .
№4. Integers 𝑥, 𝑦 , 𝑧 , 𝑡 satisfy 𝑥2 + 𝑦 2 = 𝑧 2 + 𝑡2 and 𝑥𝑦 = 2𝑧𝑡. Prove that
𝑥𝑦𝑧𝑡 = 0.
6 Problems. Kazakhstan National Olympiad 2021. Grade 9
1 19
𝑎+𝑏+𝑐+ = .
𝑎𝑏𝑐 2
Find the largest possible value of 𝑎.
№2. Hundred encyclopedia books, numbered with distinct integers from 1 to
100, are arranged in some order in the row. The operation consists of taking
arbitrary three books and rearranging them in any order between themselves
(i.e., the positions of the other 97 books remain unchanged). The books are in
the correct order if the 𝑖th book is in the 𝑖th place. Find the smallest 𝑚 such
that regardless of the initial books' order, it is possible to perform 𝑚 operations
after which the books are in the correct order.
№3. Given convex quadrilateral 𝐴𝐵𝐶𝐷 . The extensions of the sides 𝐴𝐵 and
𝐶𝐷 meet at the point 𝑃 , and the diagonals 𝐴𝐶 and 𝐵𝐷 meet at the point
𝑄. The points 𝑀 and 𝑁 are the midpoint of 𝐴𝐶 and 𝐵𝐷, respectively. The
circumcircles of triangles 𝐵𝐶𝑄 and 𝑀 𝑁 𝑄 intersect at the point 𝑇 (𝑇 ̸= 𝑄).
Prove that if ∠𝐴𝑃 𝐷 = 90∘ , then the line 𝑃 𝑇 bisects 𝑀 𝑁 .
№4. The triangle 𝐴𝐵𝐶 (𝐴𝐶 > 𝐵𝐶 ) is inscribed in the circle 𝜔 . The bisector
𝐶𝑁 of this triangle meets 𝜔 at the point 𝑀 (𝑀 ̸= 𝐶 ). An arbitrary point 𝑇
is marked on the line segment 𝐵𝑁 . Let 𝐻 be the orthocenter of the triangle
𝑀 𝑁 𝑇 . The circumcircle of triangle 𝑀 𝑁 𝐻 meets 𝜔 at the point 𝑅 (𝑅 ̸= 𝑀 ).
Prove that ∠𝐴𝐶𝑇 = ∠𝐵𝐶𝑅.
№5. Are there pairwise distinct positive integer numbers 𝑎1 , 𝑎2 , . . . , 𝑎100 that
satisfy the both conditions:
i ) the number 𝑎1 𝑎2 . . . 𝑎100 is divisible by 𝑎𝑖 + 𝑎𝑗 for all 1 ≤ 𝑖 < 𝑗 ≤ 100;
ii ) for each 𝑘 = 1, 2, . . . , 100, there are indices 𝑖, 𝑗 such that 1 ≤ 𝑖 < 𝑗 ≤ 100
and the number 𝑎1 𝑎2 . . . 𝑎𝑘−1 𝑎𝑘+1 . . . 𝑎100 is not divisible by 𝑎𝑖 + 𝑎𝑗 ?
№6. A positive integer 𝑛 is given. A sequence (𝑥1 , 𝑥2 , . . . , 𝑥𝑛 ) of real numbers
is called , if
good
№1. Is it possible to cut a 100 × 100 chessboard square into an equal number
of 2 × 4 and 1 × 8 rectangles? (Figures can be rotated and ipped.)
№2. Given a triangle 𝐴𝐵𝐶 , in which 𝐴𝐵 + 𝐴𝐶 > 3𝐵𝐶 . The points 𝑃 and
𝑄 lies in inside of this triangle such that ∠𝐴𝐵𝑃 = ∠𝑃 𝐵𝑄 = ∠𝑄𝐵𝐶 and
∠𝐴𝐶𝑄 = ∠𝑄𝐶𝑃 = ∠𝑃 𝐶𝐵 . Show that 𝐴𝑃 + 𝐴𝑄 > 2𝐵𝐶 .
№3. The sequences (𝑎𝑛 ) and (𝑏𝑛√) are specied by the conditions 𝑎1 = 𝑏1 = 1,
√
𝑎𝑛+1 = 𝑎𝑛 + 𝑎𝑛 , 𝑏𝑛+1 = 𝑏𝑛 + 𝑏𝑛 for all positive integers 𝑛. Prove that the
3
exist a positive integer 𝑛 for which the inequality 𝑎𝑛 ≤ 𝑏𝑘 < 𝑎𝑛+1 holds for
exactly 2021 values of 𝑘 .
№4. On the side 𝐴𝐶 of triangle 𝐴𝐵𝐶 , there is a point 𝐷 such that 𝐵𝐶 = 𝐷𝐶 .
Let 𝐽 be the incenter of triangle 𝐴𝐵𝐷. Prove that one of the tangents from
point 𝐽 to the incircle of the triangle 𝐴𝐵𝐶 is parallel to line 𝐵𝐷.
№5. Find all functions 𝑓 : 𝑅+ → 𝑅+ such that
2
𝑓 (𝑥) = 𝑓 (𝑥𝑦) + 𝑓 (𝑥 + 𝑓 (𝑦)) − 1
𝑥(𝑦 2 − 2𝑥2 ) + 𝑥 + 𝑦 + 𝑎 = 0
√
the following inequality holds: |𝑥| ≤ 𝑎 + 2𝑎2 + 2.
8 Problems. Kazakhstan National Olympiad 2021. Grade 11
(Here [𝑥] is the integer part numbers 𝑥, i.e greatest integer number which does
not exceed 𝑥.)
№3. Let 𝑀 be the interior point of triangle 𝐴𝐵𝐶 such that
𝑥(𝑦 2 − 2𝑥2 ) + 𝑥 + 𝑦 + 𝑎 = 0
√
the following inequality holds: |𝑥| ≤ 𝑎 + 2𝑎2 + 2.
№6. Given polynomial 𝑃 (𝑥) with real coecients and a positive integer 𝑛. For
any positive integer 𝑚 there exists an integer 𝑙 such that 𝑃 (𝑙) = 𝑚𝑛 . Prove that
𝑘
there exist real numbers 𝑎, 𝑏 and a positive integer 𝑘 such that 𝑃 (𝑥) = (𝑎𝑥 + 𝑏)
for all real 𝑥.
Solutions
10 Solutions. XVII International Zhautykov Olympiad 2021
№1. Prove that for some positive integer 𝑛 the remainder of 3𝑛 when divided
by 2𝑛 is greater than 102021 . (Golovanov A.)
Solution I. We choose a positive integer 𝑀 such that 2𝑀 > 102022 , and
consider the remainder of 3𝑀 when divided by 2𝑀 :
If 𝑟 > 102021 , then 𝑀 is the desired number. Otherwise we choose the smallest
integer 𝑘 for which 3𝑘 𝑟 > 102021 . Then 3𝑘 𝑟 < 102022 < 2𝑀 . Since 3𝑘+𝑀 ≡
3𝑘 𝑟 (mod 2𝑀 ), the remainder of 3𝑘+𝑀 when divided by 2𝑘+𝑀 has the form
3𝑘 𝑟 + 2𝑀 𝑠 with some positive integer 𝑠, and is therefore greater than 102021 .
Solution II. We choose a positive integer 𝑘 such that 2𝑘+2 > 102021 . We
𝑘
are going to determine 𝑣2 (32 − 1), i. e. the largest 𝑚 such that 2𝑚 divides
𝑘
32 − 1. According to well-known lifting the exponent lemma,
𝑘
𝑣2 (32 − 1) = 𝑣2 (32 − 1) + 𝑘 − 1 = 𝑘 + 2.
𝐷𝑍 𝐶𝑍 𝐵𝑍
= = ,
𝐷𝑋 𝐶𝑇 𝐵𝑌
which immediately gives 𝐷𝑍 = 𝐵𝑍 .
YY
E
E D
D
R
R
P
P
F
F TT
Z C
C
S
S Z
Q
Q
A
A B
B
X
X
Note. The equality 𝐵𝑋 = 𝐷𝑌 can be also proved by applying Menelaus
theorem to △𝐵𝐷𝐹 and the lines 𝑅 − 𝑄 − 𝑋 and 𝑆 − 𝑃 − 𝑌 .
Second solution. We follow the rst solution, using 𝐵𝐹 ‖ 𝐶𝐸 and 𝐴𝐶 ‖
𝐷𝐹 to note that 𝐶𝑃 𝐹 𝑄, 𝐶𝑄𝑅𝐷, and 𝐶𝑃 𝑆𝐵 are parallelograms.
Let 𝑁 and 𝑀 be points on the segments 𝐶𝑄 and 𝑅𝑁 respectively such
that 𝐹 𝑅𝑁 𝑄 and 𝐹 𝑅𝑀 𝑆 are parallelograms. Then 𝑆𝑀 = 𝐹 𝑅 = 𝑃 𝐷 and
𝑆𝑀 ‖ 𝑃 𝐷, that is, 𝑆𝑀 𝐷𝑃 is also a parallelogram, hence 𝐷𝑀 = 𝑃 𝑆 = 𝐶𝐵
and 𝐷𝑀 ‖ 𝐶𝐵 , therefore 𝐷𝑀 𝐵𝐶 is a parallelogram, and 𝐶𝑀 bisects 𝐵𝐷. It
remains to prove that 𝑇 , 𝑀 , 𝐶 are collinear.
12 Solutions. XVII International Zhautykov Olympiad 2021
𝐹 𝑃 𝑅𝑇 𝑄𝑆 𝑄𝐶 𝑅𝑇 𝑁 𝑀
1= · · = · · ,
𝑃 𝑅 𝑇 𝑄 𝑆𝐹 𝐶𝑁 𝑇 𝑄 𝑀 𝑅
that is,
𝑄𝐶 𝑅𝑇 𝑁 𝑀
· · = 1. (1)
𝐶𝑁 𝑇 𝑄 𝑀 𝑅
The collinearity 𝑇 , 𝑀 , 𝐶 follows from (1) immediately by converse Menelaus
theorem for △𝑄𝑁 𝑅.
E
E D
D
P
P
R
R
F
F TT
M
M C
C
S
S
Q
Q N
N
A
A B
B
Notice that the sum of numbers in any rook set does not change during
Elwyn's moves, so good (balanced) tables remain such after any sequence of
moves. Also, notice that the rows and/or columns of the table can be permuted
with no eect on the condition of the problem, as well as on the desired result.
The proofs of the following two easy propositions can be found in the
addendum after Solution 2.
Proposition 1. Assume that 𝑎1 , 𝑎2 , . . . , 𝑎𝑛 and 𝑏1 , 𝑏2 , . . . , 𝑏𝑛 are two sequences
of real numbers with equal sums. Then Elwyn can perform a sequence of moves
resulting in adding 𝑎𝑖 to all cells in the 𝑖th row, and subtracting 𝑏𝑗 from all
numbers in the 𝑗 th column, for all 𝑖, 𝑗 = 1, 2, . . . , 𝑛.
Proposition 2. If an 𝑛×𝑛 table 𝐵 is balanced, then Elwyn can perform several
moves on that table getting a table lled with zeros.
a pair of the row and the column it is situated in; this pair may be regarded
as an edge of a bipartite (multi)graph with parts 𝑅 and 𝐶 . This way, any rook
set corresponds to a perfect matching between those parts.
Arguing indirectly, assume that there is a non-vanishing rook set
𝑆 = {𝑠1 , 𝑠2 , . . . , 𝑠𝑛 }.
Each cell 𝑠𝑖 is contained in some vanishing rook set 𝑉𝑖 . Now construct a bipartite
multigraph 𝐺 = (𝑅 ⊔ 𝐶, 𝐸), introducing, for each set 𝑉𝑖 , 𝑛 edges corresponding
to its cells (thus, 𝐺 contains 𝑛2 edges some of which may be parallel). Mark
each edge with the number in the corresponding cell. Since the sets 𝑉𝑖 are all
vanishing, the sum of all 𝑛2 marks is zero.
Now, remove 𝑛 edges corresponding to the cells of 𝑆 , to obtain a graph 𝐺′ .
Since the sum of numbers in the cells of 𝑆 is positive, the sum of the marks
in 𝐺′ is negative. On the other hand, the degree of every vertex in 𝐺′ is 𝑛 − 1,
so by the Lemma its edges can be partitioned into 𝑛 − 1 perfect matchings.
At least one of the obtained matchings has negative sum of marks; so this
matching corresponds to a rook set with a negative sum. This is impossible in
a good table; this contradiction nishes the proof.
Back to the problem, let 𝑇 be Elwyn's table. Applying the Claim, decrease
some numbers in it to get a balanced table 𝐵 . By Proposition 2, Elwyn can
perform some moves on table 𝐵 so as to get a table lled with zeros. Applying
the same moves to 𝑇 , Elwyn gets a table where all numbers are nonnegative,
as required.
Solution 2. Say that the badness of a table is the sum of absolute values of
all its negative entries. In Step 1, we will show that, whenever the badness of
a good table is nonzero, Elwyn can make some moves decreasing the badness.
In a (technical) Step 2, we will show that this claim yields the required result.
Step 1. Let 𝑟 be a row containing some negative number. Mark all cells in
row 𝑟 containing negative numbers, and mark all cells in other rows containing
nonpositive numbers. Then there is no rook set consisting of marked cells, since
that set would not be nonnegative.
By K onig's theorem (which is equivalent to Hall's lemma), for some 𝑎 and
𝑏 with 𝑎 + 𝑏 < 𝑛, one can choose 𝑎 rows and 𝑏 columns such that their union
contains all marked cells; x such a choice. Number the rows from top to
bottom, and the columns from left to right. We distinguish two cases.
Case 1: Row 𝑟 is among the 𝑎 chosen rows.
Permute the rows and columns so that the top 𝑎 rows and the right 𝑏
columns are chosen. Next, if row 𝑟 contains a negative number in some of the 𝑎
Solutions. XVII International Zhautykov Olympiad 2021 15
leftmost entries, swap the column containing that entry with the (𝑛 − 𝑏)th one
(recall that 𝑛 − 𝑏 > 𝑎). As a result, there exists 𝑥 > 𝑎 such that the 𝑥th left
entry in row 𝑟 is negative (while the chosen columns are still the 𝑏 rightmost
ones).
Now, rectangle 𝑃 formed by the bottom 𝑛 − 𝑎 rows and the left 𝑎 columns
contains only positive numbers, as it contains no marked cells, as well as no
cells from row 𝑟. Let 𝑚 be the minimal number in that rectangle.
Let Elwyn add 𝑚 to all numbers in the rst 𝑎 rows, and subtract 𝑚 from
all numbers in the rst 𝑎 columns. All numbers which decrease after this
operation are situated in 𝑃 , so there appear no new cell containing a negative
number, and no negative number decreases. Moreover, by our choice, at least
one negative number (situated in row 𝑟 and column 𝑥) increases. Thus, the
badness decreases, as desired.
Case 2: Row 𝑟 is not among the 𝑎 chosen rows.
Add row 𝑟 to the 𝑎 chosen rows, and increase 𝑎 by 1. Notice that the
negative numbers in row 𝑟 are covered by the 𝑏 chosen columns. As in the
previous case, we permute the rows and columns so that the top 𝑎 rows and
the tight 𝑏 columns are chosen. All negative numbers in row 𝑟 automatically
come to the right 𝑏 columns. Now the above argument applies verbatim.
Step 2. We show that among the tables which Elwyn can obtain (call such
tables reachable ), there exists a table with the smallest badness. Applying the
argument in Step 1 to that table, we get that its badness is zero, which proves
the claim of the problem.
Notice that the eect of any sequence of Elwyn's moves has the form
described in Proposition 1. Moreover, subtraction of some number 𝜖 from all
the 𝑎𝑖 and the 𝑏𝑖 provides no eect on the result. Hence, we may assume that
the sums of the 𝑎𝑖 and of the 𝑏𝑖 are both zero.
Let 𝑡𝑖𝑗 denote the (𝑖, 𝑗)th entry of the initial table 𝑇 . For any two sequences
a = (𝑎1 , . . . , 𝑎𝑛 ) and b = (𝑏1 , . . . , 𝑏𝑛 ) both summing up to zero, denote by
𝑇 (a, b) the table obtained from 𝑇 by adding 𝑎𝑖 to all numbers in the 𝑖th row,
and subtracting 𝑏𝑗 from all numbers in the 𝑗 th column, for all 𝑖, 𝑗 = 1, 2, . . . , 𝑛;
in particular, 𝑇 = 𝑇 (0, 0), where 0 = (0, 0, . . . , 0). Let 𝑓 (a, b) denote the
badness of 𝑇 (a, b). Clearly, function 𝑓 is continuous. Now we intend to bound
the set of values that make sense to put in sequences a and b.
Let 𝑚 be the maximal number in 𝑇 . Take any a and b summing up to zero,
such that some 𝑎𝑖 is smaller than −𝑀 = −(𝑚+𝑏). Then there exists an index 𝑗
with 𝑏𝑗 ≥ 0; hence the entry (𝑖, 𝑗) in 𝑇 (a, b) is 𝑡𝑖𝑗 + 𝑎𝑖 − 𝑏𝑗 < 𝑚 − 𝑀 + 0 = −𝑏,
so 𝑓 (a, b) > 𝑏 = 𝑓 (0, 0).
So, all pairs of sequences a and b satisfying 𝑓 (a, b) ≤ 𝑏 should also satisfy
𝑎𝑖 ≥ −𝑀 and 𝑏𝑗 ≥ −𝑀 , and hence 𝑎𝑖 ≤ 𝑛𝑀 and 𝑏𝑗 ≤ 𝑛𝑀 as well (since
16 Solutions. XVII International Zhautykov Olympiad 2021
each of the sequences sums up to zero). Thus, in order to minimize 𝑓 (a, b), it
suces to consider only those a and b whose entries lie in [−𝑀, 𝑛𝑀 ]. Those
values form a compact set, so the continuous function 𝑓 attains the smallest
value on that set.
Addendum. Say that the price of Elwyn's move is the number 𝑎 chosen on
that move.
Proof of Proposition 1. Let Elwyn perform a move of price 𝑎 to row 𝑖 and
column 𝑗 , and then a move of price −𝑎 to row 𝑖′ and the same column 𝑗 . The
result will consist in adding 𝑎 to row 𝑖 and subtracting 𝑎 from row 𝑖′ . Similar
actions can be performed with columns.
So, Elwyn may add Σ = 𝑎1 + · · · + 𝑎𝑛 to the numbers in the rst row and
subtract Σ from those in the rst column, and then distribute those increments
and decrements among the rows and columns, using the above argument.
Proof of Proposition 2. It is easy to see, using Proposition 1, that Elwyn can
vanish all numbers in the rst column, as well as all numbers in the rst row,
except for the last its entry.
The resulting table is also balanced; denote the number in its cell (𝑖, 𝑗)
by 𝑑𝑖𝑗 . For any 𝑖, 𝑗 > 1 with 𝑗 < 𝑛, there are two rook sets 𝑅 and 𝑅′ , one
containing cells (1, 1) and (𝑖, 𝑗), and the other obtained by replacing those by
cells (1, 𝑗) and (𝑖, 1). The sums in those two sets are both zero, so
𝑑𝑖𝑗 = 𝑑𝑖1 + 𝑑1𝑗 − 𝑑11 = 0.
Hence, only the 𝑛th column of the obtained table might contain nonzero numbers.
But, since each entry in the 𝑛th column is contained in some (vanishing) rook
set, that entry is also zero.
This function 𝑓 has the following form: Let 𝑥 ∈ R𝑛×𝑛 be a table, and denote
by 𝑥𝑖𝑗 its (𝑖, 𝑗)th entry. Then
𝑛
∑︁
𝑓 (𝑥) = 𝑓𝑖𝑗 𝑥𝑖𝑗 ,
𝑖,𝑗=1
where 𝑓𝑖𝑗 are some real constants. Form a table 𝐹 whose (𝑖, 𝑗)th entry is 𝑓𝑖𝑗 .
Since 𝑓 (𝑥) ≥ 0 for all tables in 𝑁 having only one nonnegative entry, we have
𝑓𝑖𝑗 ≥ 0 for all 𝑖 and 𝑗 . Moreover, 𝑓 must vanish on all tables in the subspace 𝑉 ,
in particular on each table having 1 in some row, −1 in some column, and
0 elsewhere (the intersection of the row and the column also contains 0). This
means that the sum of numbers in any row in 𝐹 is equal to the sum of the
numbers in any its column.
Now it remains to show that 𝐹 is the sum of several rook tables which
contain some nonnegative number 𝑝 at the cells of some rook set, while all
other entries are zero; this will yield 𝑓 (𝑡) ≥ 0 which is not the case. In other
words, it suces to prove that one can subtract from 𝐹 several rook tables to
make it vanish. This can be done by means of Hall's lemma again: if the table
is still nonzero, it contains 𝑛 positive entries forming a rook set, and one may
make one of them vanish, keeping the other entries nonnegative, by subtracting
a rook table.
№4. A circle with radius 𝑟 is inscribed in the triangle 𝐴𝐵𝐶 . Circles with radii
𝑟1 , 𝑟2 , 𝑟3 (𝑟1 , 𝑟2 , 𝑟3 < 𝑟) are inscribed in the angles 𝐴, 𝐵, 𝐶 so that each touches
the incircle externally. Prove that 𝑟1 + 𝑟2 + 𝑟3 ≥ 𝑟. (Sedrakyan N.)
A
A
rr1011001100 A2222
rr11111 A ``
A11111
A B00000
B
C
C00000 II
C11111
C
B
B1111
B
B A
A00000 C
C
(︂ )︂ (︂ )︂ (︂ )︂
∠𝐴 ∠𝐵 ∠𝐶 3
⇔ sin + sin + sin ≤ . (2)
2 2 2 2
Solutions. XVII International Zhautykov Olympiad 2021 19
A
A
II1111
rr1111 B00000
B
AA1111 H
H
rr
− rr11111
rr −
C
C00000
II C
C11111
B11111
B
B
B A00000
A C
C
𝑟 − 𝑟1 𝑟 − 𝑟2 𝑟 − 𝑟3 3 2𝑟 2𝑟 2𝑟 9
+ + ≤ ⇔ + + ≤ . (3)
𝑟 + 𝑟1 𝑟 + 𝑟2 𝑟 + 𝑟3 2 𝑟 + 𝑟1 𝑟 + 𝑟2 𝑟 + 𝑟3 2
1 1 1 9
+ + ≥ , (4)
𝑟 + 𝑟1 𝑟 + 𝑟2 𝑟 + 𝑟3 𝑟 + 𝑟1 + 𝑟 + 𝑟2 + 𝑟 + 𝑟3
Answer. 𝑘 = 34.
20 Solutions. XVII International Zhautykov Olympiad 2021
If the situation after Bob's move is stable, then Bob can act so as to preserve
the current value of 𝐹 indenitely. Namely, if 𝐴 puts some guest on chair 𝑎,
she must free some chair 𝑏 adjacent to 𝑎. Then Bob merely puts a guest on 𝑏
and frees 𝑎, returning to the same stable position.
On the other hand, if the situation after Bob's move is unstable, then Ann
may increase 𝐹 in her turn by putting a guest on a chair having no adjacent
occupied chairs.
Strategy for Ann, if 𝑘 ≤ 34. In short, Ann's strategy is to increase 𝐹 avoiding
appearance of a bad situation after Bob’s move (conversely, Ann creates a bad
.
situation in her turn, if she can)
So, on each her turn, Ann takes an arbitrary turn increasing 𝐹 if there is
no danger that Bob reaches a bad situation in the next turn (thus, Ann always
avoids forcing any guest to stand up). The exceptional cases are listed below.
Case 1. After possible Ann's move (consisting in putting a guest on chair 𝑎),
we have 𝐹 = 32, and Bob can reach a bad situation by putting a guest on some
chair. This means that, after Ann's move, every third chair would be occupied,
with one exception. But this means that, by her move, Ann could put a guest
on a chair adjacent to 𝑎, avoiding the danger.
Case 2. After possible Ann's move (by putting a guest on chair 𝑎), we have
𝐹 = 33, and Bob can reach a stable situation by putting a guest on some chair
𝑏 and freeing an adjacent chair 𝑐. If 𝑎 = 𝑐, then Ann could put her guest on 𝑏
to create a stable situation after her turn; that enforces Bob to break stability
in his turn. Otherwise, as in the previous case, Ann could put a guest on some
chair adjacent to 𝑎, still increasing the value of 𝐹 , but with no danger of bad
situation arising.
So, acting as described, Ann increases the value of 𝐹 on each turn of hers
whenever 𝐹 ≤ 33. Thus, she reaches 𝐹 = 34 after some her turn.
Strategy for Bob, if 𝑘 ≥ 35. Split all chairs into 33 groups each consisting of
three consecutive chairs, and number the groups by 1, 2, . . . , 33 so that Ann's
Solutions. XVII International Zhautykov Olympiad 2021 21
rst turn uses a chair from group 1. In short, Bob's strategy is to ensure, after
each his turn, that
If (*) is satised after Bob's turn, then 𝐹 ≤ 34 < 𝑘 ; thus, property (*)
ensures that Bob will not lose.
It remains to show that Bob can always preserve (*). after any his turn.
Clearly, he can do that oat the rst turn.
Suppose rst that Ann, in her turn, puts a guest on chair 𝑎 and frees an
adjacent chair 𝑏, then Bob may revert her turn by putting a guest on chair 𝑏
and freeing chair 𝑎.
Suppose now that Ann just puts a guest on some chair 𝑎, and the chairs
adjacent to 𝑎 are unoccupied. In particular, group 1 still contains at most two
occupied chairs. If the obtained situation satises (*), then Bob just makes
a turn by putting a guest into group 1 (preferably, on its central chair), and,
possibly, removing another guest from that group. Otherwise, 𝑎 is a non-central
chair in some group 𝑖 ≥ 2; in this case Bob puts a guest to the central chair in
group 𝑖 and frees chair 𝑎.
So Bob indeed can always preserve (*).
№6. Let 𝑃 (𝑥) be a nonconstant polynomial of degree 𝑛 with rational coecients
which can not be presented as a product of two nonconstant polynomials with
rational coecients. Prove that the number of polynomials 𝑄(𝑥) of degree less
than 𝑛 with rational coecients such that 𝑃 (𝑥) divides 𝑃 (𝑄(𝑥))
a) is nite;
b) does not exceed 𝑛. (Golovanov A.)
Solution. It is known that an irreducible polynomial 𝑃 (𝑥) of degree 𝑛 with
rational coecients has 𝑛 dierent complex roots which we denote by 𝛼1 , 𝛼2 ,
. . . , 𝛼𝑛 .
a) If 𝑃 (𝑥) divides 𝑃 (𝑄(𝑥)), then 𝑄(𝛼𝑘 ) is also a root of 𝑃 (𝑥) for each 𝑘 ≤ 𝑛.
It follows that the values of 𝑄 at 𝛼1 , 𝛼2 , . . . , 𝛼𝑛 form a sequence 𝛼𝑖1 , 𝛼𝑖2 , . . . ,
𝛼𝑖𝑛 , where all terms are roots of 𝑃 , not necessarily dierent. The number of
such sequences is 𝑛𝑛 , and for each sequence there exists at most one polynomial
𝑄 such that 𝑄(𝛼𝑘 ) = 𝛼𝑖𝑘 (since two polynomials of degree less than 𝑛 with
equal values at 𝑛 points must coincide).
Thus the number of possible polynomials 𝑄(𝑥) does not exceed 𝑛𝑛 .
b) For each polynomial 𝑄 satisfying the condition, 𝑄(𝛼1 ) equals one of the
roots 𝛼𝑖 . However, there is at most one polynomial 𝑄 of degree less than 𝑛 with
rational coecients such that 𝑄(𝛼1 ) = 𝛼𝑖 , Indeed, if 𝑄1 (𝛼1 ) = 𝑄2 (𝛼1 ) = 𝛼𝑖 ,
then 𝛼1 is a root of the polynomial 𝑄1 −𝑄2 with rational coecients and degree
22 Solutions. XVII International Zhautykov Olympiad 2021
less than 𝑛. If this polynomial is not identically zero, its greatest common
divisor with 𝑃 is a nonconstant divisor of 𝑃 with rational coecients and
degree less than 𝑛, a contradiction.
Thus the number of possible polynomials 𝑄(𝑥) does not exceed 𝑛.
Solutions. XX “Silk Road” Mathematics Competition 2021 23
№1. A sequence 𝑠 consisting of zeroes and ones is given. For each positive
integer 𝑘 we dene 𝑣𝑘 as the maximum number of ways to nd consecutive digits
forming the sequence 𝑠 in a sequence of 𝑘 digits. (For example, if 𝑠 = 0110, then
𝑣7 = 𝑣8 = 2, since in the sequences 0110110 and 01101100 consecutive digits
0110 are found in two places, and three pairs of ones surrounded by zeroes can
not occur in a sequence of 7 or 8 digits.) It is known that 𝑣𝑛 < 𝑣𝑛+1 < 𝑣𝑛+2 for
some positive integer 𝑛. Prove that all the digits in the sequence 𝑠 are identical.
(Golovanov A.)
[︂ ]︂ [︂ ]︂ [︂ ]︂
𝑛−𝑚 𝑛−𝑚+1 𝑛−𝑚+2
< < .
𝑘 𝑘 𝑘
If the inequality 𝑘𝑎 < 𝑎+1 holds for an integer 𝑎 and a positive integer 𝑘 ,
[︀ ]︀ [︀ ]︀
𝑘
then 𝑘 divides 𝑎 + 1 (since an integer which is greater than 𝑘𝑎 and not greater
than 𝑎+1𝑘 , can be presented as a fraction with denominator 𝑘 and therefore
equals 𝑎+1
𝑘 ). Therefore, the problem implies that 𝑘 divides both 𝑛 − 𝑚 + 1 and
𝑛 − 𝑚 + 2, which is possible for 𝑘 = 1 only. By the denition of 𝑘 we have
𝑐𝑖 = 𝑐𝑖+1 for 1 ≤ 𝑖 ≤ 𝑚 − 1, that is, every two consecutive digits in 𝑠 are equal.
Thus all the digits of 𝑠 are equal.
√
№2. For every positive integer 𝑚 prove the inequality |{ 𝑚} − 21 | > 8(√𝑚+1) 1
.
(Golovanov A.)
24 Solutions. XX “Silk Road” Mathematics Competition 2021
√
Solution. Let [ 𝑚] = 𝑘 . Then
√ 1 1 √ 1 |4𝑘 2 + 4𝑘 + 1 − 4𝑚|
|{ 𝑚} − | = |2𝑘 + 1 − 2 𝑚| = · √ .
2 2 2 2𝑘 + 1 + 2 𝑚
The numerator of the last fraction is ann odd positive integer, and therefore at
least 1. Thus,
√ 1 1 1 1 1
|{ 𝑚} − | ≥ · √ ≥ √ > √ ,
2 2 2𝑘 + 1 + 2 𝑚 2(4 𝑚 + 1) 8( 𝑚 + 1)
Q.E.D.
№3. Let 𝑀 be the midpoint of side 𝐴𝐵 in triangle 𝐴𝐵𝐶 . 𝐵1 is a point on
segment 𝐴𝐶 such that 𝐶𝐵 = 𝐶𝐵1 . The circumcircles of triangles 𝐴𝐵𝐶 and
𝐵𝑀 𝐵1 , 𝜔 and 𝜔1 , intersect for the second time at point 𝐾 . Let 𝑄 be the
midpoint of arc 𝐴𝐶𝐵 of 𝜔 . Lines 𝐵1 𝑄 and 𝐵𝐶 intersect at point 𝐸 . Prove that
line 𝐾𝐶 passes through the midpoint of segment 𝐵1 𝐸 . (Kungozhin M.)
Solution. Let the bisector of ∠𝐴𝐶𝐵 intersect 𝜔 for the second time at
point 𝑁 . Note that 𝑁 is the midpoint of arc 𝐴𝐵 (that does not contain 𝐶 ) of
𝜔 . Also, it is easy to see that line 𝐶𝑁 is the perpendicular bisector of segment
𝐵𝐵1 . Thus, 𝑁 𝐴 = 𝑁 𝐵 = 𝑁 𝐵1 , i.e. points 𝐴, 𝐵 and 𝐵1 lie on a circle centered
at 𝑁 with radius 𝑁 𝐴. Since ∠𝑁 𝐴𝑄 = ∠𝑁 𝐵𝑄 = 90∘ , then lines 𝑄𝐴 and
𝑄𝐵 are tangent to this circle. Therefore, line 𝑄𝐵1 contains the symmedian of
triangle 𝐴𝐵𝐵1 corresponding to vertex 𝐵1 .
R
R
E
E
Q
Q
K
K C
C
P
P
B
B1111
ω11111
ω
A
A B
B
M
M
ω
ω
N
N
Solutions. XX “Silk Road” Mathematics Competition 2021 25
Let line 𝐾𝐶 intersect 𝜔1 for the second time at point 𝑃 . From the properties
of symmedian it follows that
𝐵1 𝐸 ‖ 𝑃 𝐵. (3)
Let line 𝐵𝑃 intersect line 𝐴𝐶 at point 𝑅. Then, from (2) it follows that
𝐶𝐴 ‖ 𝑃 𝑀 , or that 𝑀 𝑃 is a midsegment of triangle 𝐴𝑅𝐵 , i.e. 𝑃 is the midpoint
of segment 𝐵𝑅. Now it is enough to note that if line 𝐾𝐶 bisects segment 𝐵𝑅,
then it also bisects segment 𝐵1 𝐸 , since (3) holds.
№4. Integers 𝑥, 𝑦 , 𝑧 , 𝑡 satisfy 𝑥2 + 𝑦 2 = 𝑧 2 + 𝑡2 and 𝑥𝑦 = 2𝑧𝑡. Prove that
𝑥𝑦𝑧𝑡 = 0. (Abduvaliev M.)
coprime (they have dierent parity, and their common divisor must also divide
8𝑢 = 3(3𝑢 + 𝑣) − (3𝑣 + 𝑢) and, similarly, 8𝑣 ). It follows that one of the numbers
3𝑢 + 𝑣 and 3𝑣 + 𝑢 is a square and another is a triple square. Since 3 does
not divide 3𝑢 + 𝑣 , the square is 3𝑢 + 𝑣 = 9𝑘 2 + ℓ2 , and the triple square is
𝑢 + 3𝑣 = 3(𝑘 2 + ℓ2 ). We have proved that the original equations imply the
existence of coprime 𝑘 and ℓ such that 9𝑘 2 + ℓ2 and 𝑘 2 + ℓ2 are perfect squares.
It remains to prove that there are no such 𝑘 , ℓ. If 𝑘 2 + ℓ2 and 9𝑘 2 + ℓ2
are perfect squares, the pairs (𝑘, ℓ) and (3𝑘, ℓ) are pairs of legs in primitive
Pythagorean triples. Unfortunately, we do not know which of the numbers 𝑘
and ℓ is even, so two cases are possible. But let's prove the following lemma
rst.
Proof. Since 𝐺𝐶𝐷(𝑏, 𝑐) = 1, then there exists such positive integer 𝑓 that
𝑎2 + 𝑑2 = 𝑏2 𝑓, 9𝑎2 + 𝑑2 = 𝑐2 𝑓.
𝐺𝐶𝐷(𝑎, 𝑑) = 1 =⇒ 𝑓 | 8.
If 𝑎, 𝑑 are of dierent parity, then 𝑎2 + 𝑑2 is odd, and therefore 𝑓 = 1. Let both
𝑎 and 𝑑 be odd (they can't be simultaneously even). Then
𝑎2 + 𝑑2 ≡ 2 (mod 8) =⇒ 𝑓 | 2.
Let 𝑓 = 2.
1 19
𝑎+𝑏+𝑐+ = .
𝑎𝑏𝑐 2
Íàéäèòå íàèáîëüøåå âîçìîæíîå çíà÷åíèå 𝑎. (Anuarbekov T.)
Ответ. 8.
√
Решение. Ïóñòü 𝑥 = 𝑎. Ïî íåðàâåíñòâó ìåæäó ñðåäíèì àðèôìåòè-
3
Ответ. 50.
P
P
B
B
TT N
N C
C
L
L
M
M Q
Q
TT 00000
TT
A
A D
D
C
C
TT 00000 H
H
A
A B
B
N
N TT
R
R
M
M
Solutions. Республиканская олимпиада 2021 года. 9 класс 31
𝑗(𝑗 + 1)
𝑥1 + 𝑥2 + . . . + 𝑥𝑖 =
2
äëÿ íåêîòîðîãî 𝑗 ∈ {0, 1, . . . , 𝑖}.
32 Solutions. Республиканская олимпиада 2021 года. 9 класс
Ответ. Íåò.
K
K
II
P
P
D E Q
L E
D L Q
B
B C
C
№3. Ïîñëåäîâàòåëüíîñòè
√ (𝑎𝑛 ) è (𝑏𝑛 ) çàäàíû óñëîâèÿìè 𝑎1 = 𝑏1 = 1, 𝑎𝑛+1 =
√
𝑎𝑛 + 𝑎𝑛 , 𝑏𝑛+1 = 𝑏𝑛 + 3 𝑏𝑛 ïðè âñåõ íàòóðàëüíûõ 𝑛. Äîêàæèòå, ÷òî ñóùå-
ñòâóåò íàòóðàëüíîå ÷èñëî 𝑛, äëÿ êîòîðîãî íåðàâåíñòâî 𝑎𝑛 ≤ 𝑏𝑘 < 𝑎𝑛+1
âûïîëíåíî ðîâíî ïðè 2021 çíà÷åíèÿõ 𝑘 . (Golovanov A.)
2021,253
2021,22 + 1 < 2022, 4 (çäåñü ìû ïîëüçóåìñÿ òåì, ÷òî ïðè 𝑝 > 1000 èìåþò
3 3
ìåñòî íåðàâåíñòâà (𝑝+0,05)
𝑝2 < 𝑝 + 0, 2 è (𝑝−0,05)
𝑝2 > 𝑝 − 0, 2). Ñëåäîâàòåëüíî,
íà êàæäîì èç ýòèõ ïîëóèíòåðâàëîâ ëåæèò 2021 èëè 2022 ÷ëåíà ïîñëåäîâà-
òåëüíîñòè (𝑏𝑘 ).
Ñ äðóãîé ñòîðîíû, íà ïîëóèíòåðâàëå [𝑎𝑛 ; 𝑎𝑛+2 ) êîëè÷åñòâî ÷ëåíîâ ïî-
2021,23 2021,253
ñëåäîâàòåëüíîñòè (𝑏𝑘 ) çàêëþ÷åíî ìåæäó 2· 2021,25 2 −1 > 4041, 1 è 2· 2021,22 +
1 < 4043, 8. Ïîýòîìó ýòî êîëè÷åñòâî íå ìîæåò áûòü ðàâíî 4044, è õîòÿ áû
íà îäíîì èç äâóõ áîëüøèõ ïîëóèíòåðâàëîâ [𝑎𝑛 ; 𝑎𝑛+1 ) è [𝑎𝑛+1 ; 𝑎𝑛+2 ) êîëè-
÷åñòâî ÷ëåíîâ ïîñëåäîâàòåëüíîñòè (𝑏𝑘 ) ðàâíî 2021.
№4. Íà ñòîðîíå 𝐴𝐶 òðåóãîëüíèêà 𝐴𝐵𝐶 íàøëàñü òàêàÿ òî÷êà 𝐷 , ÷òî 𝐵𝐶 =
𝐷𝐶 . Ïóñòü 𝐽 öåíòð âïèñàííîé îêðóæíîñòè òðåóãîëüíèêà 𝐴𝐵𝐷. Äîêà-
æèòå, ÷òî îäíà èç êàñàòåëüíûõ èç òî÷êè 𝐽 êî âïèñàííîé îêðóæíîñòè òðå-
óãîëüíèêà 𝐴𝐵𝐶 ïàðàëëåëüíà ïðÿìîé 𝐵𝐷. (Kungozhin M.)
C
C
D
D
II
JJ
F
F
A
A KE
K E B
B
∠𝐴𝐵𝐷 𝛽
∠𝐼𝐵𝐽 = ∠𝐷𝐵𝐼 + ∠𝐷𝐵𝐽 = ∠𝐷𝐵𝐼 + = 𝛼 + = ∠𝐼𝐽𝐵,
2 2
îòêóäà 𝐼𝐵 = 𝐼𝐽 . Ïóñòü 𝐾 ∈ 𝐴𝐵 òàêàÿ òî÷êà, ÷òî 𝐽𝐾 ‖ 𝐵𝐷. Òîãäà
Ïðåäïîëîæèì, ÷òî ñóùåñòâóåò ÷èñëî 𝑡 > 0 òàêîå, ÷òî 𝑓 (𝑡) > 1. Ðàññìîòðèì
ïîñëåäîâàòåëüíîñòü: 𝑎0 = 𝑓 (𝑡) > 1 è 𝑎𝑛+1 = 𝑎2𝑛 − 𝑎𝑛 + 1 ïðè âñåõ 𝑛 ≥ 0. Èç
(2) ñëåäóåò, ÷òî 𝑎𝑛 = 𝑓 (𝑡+𝑐𝑛) äëÿ ëþáîãî 𝑛 ≥ 0. Èíäóêöèåé ëåãêî äîêàçàòü,
2
÷òî 𝑎𝑛 > 1 è 𝑎𝑛+1 − 𝑎𝑛 = (𝑎𝑛 − 1) > 0 äëÿ ëþáîãî 𝑛 ≥ 0. Èñïîëüçóÿ (3)
ïîëó÷àåì, ÷òî
2 𝑧2 𝑧
𝑃 (𝑢, 𝑦) : 𝑓 (𝑢 + 𝑓 (𝑦)) = 1 + 𝑓 (𝑢) − 𝑓 (𝑢𝑦) < + 𝜀 = 𝑛+1 .
𝑞 2𝑛 𝑞
Ïåðåõîä äîêàçàí.
Ñëåäîâàòåëüíî, ôóíêöèÿ 𝑓 ìîæåò ïðèíèìàòü ñêîëü óãîäíî áåñêîíå÷íî
ìàëûå çíà÷åíèÿ, ÷òî íåâîçìîæíî, òàê êàê èç (1) ñëåäóåò, ÷òî 𝑓 (𝑥) = 𝑐2 +
1 − 𝑓 (𝑓 (𝑥) + 1) ≥ 𝑐2 , ïðîòèâîðå÷èå. Çíà÷èò, 𝑓 (𝑥) = 1 äëÿ ëþáîãî 𝑥 > 0, ÷òî
ëåãêî ïðîâåðèòü óäîâëåòâîðÿåò óñëîâèþ çàäà÷è.
№6. Ïóñòü 𝑎 íàòóðàëüíîå ÷èñëî. Äîêàæèòå, ÷òî äëÿ ëþáîãî ðåøåíèÿ
(𝑥, 𝑦) óðàâíåíèÿ
𝑥(𝑦 2 − 2𝑥2 ) + 𝑥 + 𝑦 + 𝑎 = 0
√
â öåëûõ ÷èñëàõ âûïîëíÿåòñÿ íåðàâåíñòâî: |𝑥| ≤ 𝑎 + 2𝑎2 + 2. (Osipov N.)
√
2𝑎2 + 2 > 2𝑎. Ïî óñëîâèþ èìååì, ÷òî 𝑦 + 𝑎 = 𝑘𝑥 äëÿ íåêîòîðîãî öåëîãî
𝑘 . Ïîäñòàâèâ â óñëîâèå ðàâåíñòâî 𝑦 = 𝑘𝑥 − 𝑎 ïîëó÷èì
𝑥2 (𝑘 2 − 2) − 2𝑎𝑘𝑥 + 𝑎2 + 𝑘 + 1 = 0. (*)
ïðîòèâîðå÷èå.
Solutions. Республиканская олимпиада 2021 года. 11 класс 39
(Çäåñü [𝑥] öåëàÿ ÷àñòü ÷èñëà 𝑥, òî åñòü íàèáîëüøåå öåëîå ÷èñëî, íå ïðå-
âîñõîäÿùåå 𝑥.) (Abdykulov A.)
Решение. Äîêàæåì, ÷òî ïîäõîäÿò âñå ïàðû âèäà (2𝑘, 𝑘), ãäå 𝑘 íàòó-
ðàëüíîå ÷èñëî. Äåéñòâèòåëüíî, ïóñòü 𝑛 ïðîèçâîëüíîå íàòóðàëüíîå ÷èñëî.
Îáîçíà÷èì
√ √︀ √︁
2
𝑥 = 𝑎2 𝑛 + 𝑏2 𝑛 + 1, 𝑦 = (𝑎 + 𝑏) 𝑛 + 3, 𝑠 = 𝑘 2 𝑛.
Çàìåòèì, ÷òî
⎛ ⎞
𝑎2 𝑛
(︂ √︁ )︂
2
𝑦 2 − 𝑥2 = 2 𝑎𝑏𝑛 + 1 − (𝑎𝑏𝑛) + 𝑎2 𝑛 = 2 ⎝1 − √︁ ⎠=
2
𝑎𝑏𝑛 + (𝑎𝑏𝑛) + 𝑎2 𝑛
⎛ ⎞
(︂ )︂
2𝑘𝑛 ⎜ 2 ⎟
=2 1− √ ⎝1 −
= 2⎜ √︂ ⎟=
𝑘𝑛 + 𝑘 2 𝑛2 + 𝑛 1⎠
1+ 1+
𝑠
√ √
𝑠+1− 𝑠 2
=2· √ √ = (︀√ √ )︀2 . (1)
𝑠+1+ 𝑠 𝑠+1+ 𝑠
Èç (1) ñëåäóåò, ÷òî
1
0 < 𝑦 2 − 𝑥2 < . (2)
2𝑠
40 Solutions. Республиканская олимпиада 2021 года. 11 класс
√
Òàê êàê 𝑥 + 𝑦 > 6 𝑠, òî èç (2) ïîëó÷èì, ÷òî
𝑦 2 − 𝑥2 1
0<𝑦−𝑥= < √ . (3)
𝑦+𝑥 12𝑠 𝑠
Q
Q
O
O11111 F
F
O
O22222
E
E
D
D
B
B M
M C
C
P
P
𝑄(𝑑𝑦) = 𝑑𝑘 𝑄(𝑦)