MathDB
Problems
Contests
International Contests
Balkan MO Shortlist
2021 Balkan MO Shortlist
2021 Balkan MO Shortlist
Part of
Balkan MO Shortlist
Subcontests
(23)
N7
1
Hide problems
BMO Shortlist 2021 N7
A super-integer triangle is defined to be a triangle whose lengths of all sides and at least one height are positive integers. We will deem certain positive integer numbers to be good with the condition that if the lengths of two sides of a super-integer triangle are two (not necessarily different) good numbers, then the length of the remaining side is also a good number. Let
5
5
5
be a good number. Prove that all integers larger than
2
2
2
are good numbers.
N5
1
Hide problems
BMO Shortlist 2021 N5
A natural number
n
n
n
is given. Determine all
(
n
−
1
)
(n - 1)
(
n
−
1
)
-tuples of nonnegative integers
a
1
,
a
2
,
.
.
.
,
a
n
−
1
a_1, a_2, ..., a_{n - 1}
a
1
,
a
2
,
...
,
a
n
−
1
such that
⌊
m
2
n
−
1
⌋
+
⌊
2
m
+
a
1
2
n
−
1
⌋
+
⌊
2
2
m
+
a
2
2
n
−
1
⌋
+
⌊
2
3
m
+
a
3
2
n
−
1
⌋
+
.
.
.
+
⌊
2
n
−
1
m
+
a
n
−
1
2
n
−
1
⌋
=
m
\lfloor \frac{m}{2^n - 1}\rfloor + \lfloor \frac{2m + a_1}{2^n - 1}\rfloor + \lfloor \frac{2^2m + a_2}{2^n - 1}\rfloor + \lfloor \frac{2^3m + a_3}{2^n - 1}\rfloor + ... + \lfloor \frac{2^{n - 1}m + a_{n - 1}}{2^n - 1}\rfloor = m
⌊
2
n
−
1
m
⌋
+
⌊
2
n
−
1
2
m
+
a
1
⌋
+
⌊
2
n
−
1
2
2
m
+
a
2
⌋
+
⌊
2
n
−
1
2
3
m
+
a
3
⌋
+
...
+
⌊
2
n
−
1
2
n
−
1
m
+
a
n
−
1
⌋
=
m
holds for all
m
∈
Z
m \in \mathbb{Z}
m
∈
Z
.
N4
1
Hide problems
BMO Shortlist 2021 N4
Can every positive rational number
q
q
q
be written as
a
2021
+
b
2023
c
2022
+
d
2024
,
\frac{a^{2021} + b^{2023}}{c^{2022} + d^{2024}},
c
2022
+
d
2024
a
2021
+
b
2023
,
where
a
,
b
,
c
,
d
a, b, c, d
a
,
b
,
c
,
d
are all positive integers?Proposed by Dominic Yeo, UK
N3
1
Hide problems
BMO Shortlist 2021 N3
Let
n
n
n
be a positive integer. Determine, in terms of
n
n
n
, the greatest integer which divides every number of the form
p
+
1
p + 1
p
+
1
, where
p
≡
2
p \equiv 2
p
≡
2
mod
3
3
3
is a prime number which does not divide
n
n
n
.
N2
1
Hide problems
BMO Shortlist 2021 N2
Denote by
l
(
n
)
l(n)
l
(
n
)
the largest prime divisor of
n
n
n
. Let
a
n
+
1
=
a
n
+
l
(
a
n
)
a_{n+1} = a_n + l(a_n)
a
n
+
1
=
a
n
+
l
(
a
n
)
be a recursively defined sequence of integers with
a
1
=
2
a_1 = 2
a
1
=
2
. Determine all natural numbers
m
m
m
such that there exists some
i
∈
N
i \in \mathbb{N}
i
∈
N
with
a
i
=
m
2
a_i = m^2
a
i
=
m
2
.Proposed by Nikola Velov, North Macedonia
N1
1
Hide problems
BMO Shortlist 2021 N1
Let
n
≥
2
n \geq 2
n
≥
2
be an integer and let
M
=
{
a
1
+
a
2
+
.
.
.
+
a
k
k
:
1
≤
k
≤
n
and
1
≤
a
1
<
…
<
a
k
≤
n
}
M=\bigg\{\frac{a_1 + a_2 + ... + a_k}{k}: 1 \le k \le n\text{ and }1 \le a_1 < \ldots < a_k \le n\bigg\}
M
=
{
k
a
1
+
a
2
+
...
+
a
k
:
1
≤
k
≤
n
and
1
≤
a
1
<
…
<
a
k
≤
n
}
be the set of the arithmetic means of the elements of all non-empty subsets of
{
1
,
2
,
.
.
.
,
n
}
\{1, 2, ..., n\}
{
1
,
2
,
...
,
n
}
. Find
min
{
∣
a
−
b
∣
:
a
,
b
∈
M
with
a
≠
b
}
.
\min\{|a - b| : a, b \in M\text{ with } a \neq b\}.
min
{
∣
a
−
b
∣
:
a
,
b
∈
M
with
a
=
b
}
.
G8
1
Hide problems
BMO Shortlist 2021 G8
Let
A
B
C
ABC
A
BC
be a scalene triangle and let
I
I
I
be its incenter. The projections of
I
I
I
on
B
C
,
C
A
BC, CA
BC
,
C
A
, and
A
B
AB
A
B
are
D
,
E
D, E
D
,
E
and
F
F
F
respectively. Let
K
K
K
be the reflection of
D
D
D
over the line
A
I
AI
A
I
, and let
L
L
L
be the second point of intersection of the circumcircles of the triangles
B
F
K
BFK
BF
K
and
C
E
K
CEK
CE
K
. If
1
3
B
C
=
A
C
−
A
B
\frac{1}{3} BC = AC - AB
3
1
BC
=
A
C
−
A
B
, prove that
D
E
=
2
K
L
DE = 2KL
D
E
=
2
K
L
.
G7
1
Hide problems
BMO Shortlist 2021 G7
Let
A
B
C
ABC
A
BC
be an acute scalene triangle. Its
C
C
C
-excircle tangent to the segment
A
B
AB
A
B
meets
A
B
AB
A
B
at point
M
M
M
and the extension of
B
C
BC
BC
beyond
B
B
B
at point
N
N
N
. Analogously, its
B
B
B
-excircle tangent to the segment
A
C
AC
A
C
meets
A
C
AC
A
C
at point
P
P
P
and the extension of
B
C
BC
BC
beyond
C
C
C
at point
Q
Q
Q
. Denote by
A
1
A_1
A
1
the intersection point of the lines
M
N
MN
MN
and
P
Q
PQ
PQ
, and let
A
2
A_2
A
2
be defined as the point, symmetric to
A
A
A
with respect to
A
1
A_1
A
1
. Define the points
B
2
B_2
B
2
and
C
2
C_2
C
2
, analogously. Prove that
△
A
B
C
\triangle ABC
△
A
BC
is similar to
△
A
2
B
2
C
2
\triangle A_2B_2C_2
△
A
2
B
2
C
2
.
G6
1
Hide problems
BMO Shortlist 2021 G6
Let
A
B
C
ABC
A
BC
be an acute triangle such that
A
B
<
A
C
AB < AC
A
B
<
A
C
. Let
ω
\omega
ω
be the circumcircle of
A
B
C
ABC
A
BC
and assume that the tangent to
ω
\omega
ω
at
A
A
A
intersects the line
B
C
BC
BC
at
D
D
D
. Let
Ω
\Omega
Ω
be the circle with center
D
D
D
and radius
A
D
AD
A
D
. Denote by
E
E
E
the second intersection point of
ω
\omega
ω
and
Ω
\Omega
Ω
. Let
M
M
M
be the midpoint of
B
C
BC
BC
. If the line
B
E
BE
BE
meets
Ω
\Omega
Ω
again at
X
X
X
, and the line
C
X
CX
CX
meets
Ω
\Omega
Ω
for the second time at
Y
Y
Y
, show that
A
,
Y
A, Y
A
,
Y
, and
M
M
M
are collinear.Proposed by Nikola Velov, North Macedonia
G5
1
Hide problems
BMO Shortlist 2021 G5
Let
A
B
C
ABC
A
BC
be an acute triangle with
A
C
>
A
B
AC > AB
A
C
>
A
B
and circumcircle
Γ
\Gamma
Γ
. The tangent from
A
A
A
to
Γ
\Gamma
Γ
intersects
B
C
BC
BC
at
T
T
T
. Let
M
M
M
be the midpoint of
B
C
BC
BC
and let
R
R
R
be the reflection of
A
A
A
in
B
B
B
. Let
S
S
S
be a point so that
S
A
B
T
SABT
S
A
BT
is a parallelogram and finally let
P
P
P
be a point on line
S
B
SB
SB
such that
M
P
MP
MP
is parallel to
A
B
AB
A
B
. Given that
P
P
P
lies on
Γ
\Gamma
Γ
, prove that the circumcircle of
△
S
T
R
\triangle STR
△
STR
is tangent to line
A
C
AC
A
C
.Proposed by Sam Bealing, United Kingdom
G4
1
Hide problems
BMO Shortlist 2021 G4
Let
A
B
C
ABC
A
BC
be a right-angled triangle with
∠
B
A
C
=
9
0
∘
\angle BAC = 90^{\circ}
∠
B
A
C
=
9
0
∘
. Let the height from
A
A
A
cut its side
B
C
BC
BC
at
D
D
D
. Let
I
,
I
B
,
I
C
I, I_B, I_C
I
,
I
B
,
I
C
be the incenters of triangles
A
B
C
,
A
B
D
,
A
C
D
ABC, ABD, ACD
A
BC
,
A
B
D
,
A
C
D
respectively. Let also
E
B
,
E
C
EB, EC
EB
,
EC
be the excenters of
A
B
C
ABC
A
BC
with respect to vertices
B
B
B
and
C
C
C
respectively. If
K
K
K
is the point of intersection of the circumcircles of
E
C
I
B
I
E_CIB_I
E
C
I
B
I
and
E
B
I
C
I
E_BIC_I
E
B
I
C
I
, show that
K
I
KI
K
I
passes through the midpoint
M
M
M
of side
B
C
BC
BC
.
G2
1
Hide problems
BMO Shortlist 2021 G2
Let
I
I
I
and
O
O
O
be the incenter and the circumcenter of a triangle
A
B
C
ABC
A
BC
, respectively, and let
s
a
s_a
s
a
be the exterior bisector of angle
∠
B
A
C
\angle BAC
∠
B
A
C
. The line through
I
I
I
perpendicular to
I
O
IO
I
O
meets the lines
B
C
BC
BC
and
s
a
s_a
s
a
at points
P
P
P
and
Q
Q
Q
, respectively. Prove that
I
Q
=
2
I
P
IQ = 2IP
I
Q
=
2
I
P
.
G1
1
Hide problems
BMO Shortlist 2021 G1
Let
A
B
C
ABC
A
BC
be a triangle with
A
B
<
A
C
<
B
C
AB < AC < BC
A
B
<
A
C
<
BC
. On the side
B
C
BC
BC
we consider points
D
D
D
and
E
E
E
such that
B
A
=
B
D
BA = BD
B
A
=
B
D
and
C
E
=
C
A
CE = CA
CE
=
C
A
. Let
K
K
K
be the circumcenter of triangle
A
D
E
ADE
A
D
E
and let
F
F
F
,
G
G
G
be the points of intersection of the lines
A
D
AD
A
D
,
K
C
KC
K
C
and
A
E
AE
A
E
,
K
B
KB
K
B
respectively. Let
ω
1
\omega_1
ω
1
be the circumcircle of triangle
K
D
E
KDE
KD
E
,
ω
2
\omega_2
ω
2
the circle with center
F
F
F
and radius
F
E
FE
FE
, and
ω
3
\omega_3
ω
3
the circle with center
G
G
G
and radius
G
D
GD
G
D
. Prove that
ω
1
\omega_1
ω
1
,
ω
2
\omega_2
ω
2
, and
ω
3
\omega_3
ω
3
pass through the same point and that this point of intersection lies on the line
A
K
AK
A
K
.
C6
1
Hide problems
BMO Shortlist 2021 C6
There is a population
P
P
P
of
10000
10000
10000
bacteria, some of which are friends (friendship is mutual), so that each bacterion has at least one friend and if we wish to assign to each bacterion a coloured membrane so that no two friends have the same colour, then there is a way to do it with
2021
2021
2021
colours, but not with
2020
2020
2020
or less. Two friends
A
A
A
and
B
B
B
can decide to merge in which case they become a single bacterion whose friends are precisely the union of friends of
A
A
A
and
B
B
B
. (Merging is not allowed if
A
A
A
and
B
B
B
are not friends.) It turns out that no matter how we perform one merge or two consecutive merges, in the resulting population it would be possible to assign
2020
2020
2020
colours or less so that no two friends have the same colour. Is it true that in any such population
P
P
P
every bacterium has at least
2021
2021
2021
friends?
C4
1
Hide problems
BMO Shortlist 2021 C4
A sequence of
2
n
+
1
2n + 1
2
n
+
1
non-negative integers
a
1
,
a
2
,
.
.
.
,
a
2
n
+
1
a_1, a_2, ..., a_{2n + 1}
a
1
,
a
2
,
...
,
a
2
n
+
1
is given. There's also a sequence of
2
n
+
1
2n + 1
2
n
+
1
consecutive cells enumerated from
1
1
1
to
2
n
+
1
2n + 1
2
n
+
1
from left to right, such that initially the number
a
i
a_i
a
i
is written on the
i
i
i
-th cell, for
i
=
1
,
2
,
.
.
.
,
2
n
+
1
i = 1, 2, ..., 2n + 1
i
=
1
,
2
,
...
,
2
n
+
1
. Starting from this initial position, we repeat the following sequence of steps, as long as it's possible:Step 1: Add up the numbers written on all the cells, denote the sum as
s
s
s
.Step 2: If
s
s
s
is equal to
0
0
0
or if it is larger than the current number of cells, the process terminates. Otherwise, remove the
s
s
s
-th cell, and shift shift all cells that are to the right of it one position to the left. Then go to Step 1.Example:
(
1
,
0
,
1
,
2
‾
,
0
)
→
(
1
,
0
‾
,
1
,
0
)
→
(
1
,
1
‾
,
0
)
→
(
1
‾
,
0
)
→
(
0
)
(1, 0, 1, \underline{2}, 0) \rightarrow (1, \underline{0}, 1, 0) \rightarrow (1, \underline{1}, 0) \rightarrow (\underline{1}, 0) \rightarrow (0)
(
1
,
0
,
1
,
2
,
0
)
→
(
1
,
0
,
1
,
0
)
→
(
1
,
1
,
0
)
→
(
1
,
0
)
→
(
0
)
.A sequence
a
1
,
a
2
,
.
.
.
,
a
2
n
+
1
a_1, a_2,. . . , a_{2n+1}
a
1
,
a
2
,
...
,
a
2
n
+
1
of non-negative integers is called balanced, if at the end of this process there’s exactly one cell left, and it’s the cell that was initially enumerated by
(
n
+
1
)
(n + 1)
(
n
+
1
)
, i.e. the cell that was initially in the middle.Find the total number of balanced sequences as a function of
n
n
n
.Proposed by Viktor Simjanoski, North Macedonia
C3
1
Hide problems
BMO Shortlist 2021 C3
In an exotic country, the National Bank issues coins that can take any value in the interval
[
0
,
1
]
[0, 1]
[
0
,
1
]
. Find the smallest constant
c
>
0
c > 0
c
>
0
such that the following holds, no matter the situation in that country:Any citizen of the exotic country that has a finite number of coins, with a total value of no more than
1000
1000
1000
, can split those coins into
100
100
100
boxes, such that the total value inside each box is at most
c
c
c
.
C2
1
Hide problems
BMO Shortlist 2021 C2
Let
K
K
K
and
N
>
K
N > K
N
>
K
be fixed positive integers. Let
n
n
n
be a positive integer and let
a
1
,
a
2
,
.
.
.
,
a
n
a_1, a_2, ..., a_n
a
1
,
a
2
,
...
,
a
n
be distinct integers. Suppose that whenever
m
1
,
m
2
,
.
.
.
,
m
n
m_1, m_2, ..., m_n
m
1
,
m
2
,
...
,
m
n
are integers, not all equal to
0
0
0
, such that
∣
m
i
∣
≤
K
\mid{m_i}\mid \le K
∣
m
i
∣≤
K
for each
i
i
i
, then the sum
∑
i
=
1
n
m
i
a
i
\sum_{i = 1}^{n} m_ia_i
i
=
1
∑
n
m
i
a
i
is not divisible by
N
N
N
. What is the largest possible value of
n
n
n
?Proposed by Ilija Jovcevski, North Macedonia
C1
1
Hide problems
BMO Shortlist 2021 C1
Let
A
n
\mathcal{A}_n
A
n
be the set of
n
n
n
-tuples
x
=
(
x
1
,
.
.
.
,
x
n
)
x = (x_1, ..., x_n)
x
=
(
x
1
,
...
,
x
n
)
with
x
i
∈
{
0
,
1
,
2
}
x_i \in \{0, 1, 2\}
x
i
∈
{
0
,
1
,
2
}
. A triple
x
,
y
,
z
x, y, z
x
,
y
,
z
of distinct elements of
A
n
\mathcal{A}_n
A
n
is called good if there is some
i
i
i
such that
{
x
i
,
y
i
,
z
i
}
=
{
0
,
1
,
2
}
\{x_i, y_i, z_i\} = \{0, 1, 2\}
{
x
i
,
y
i
,
z
i
}
=
{
0
,
1
,
2
}
. A subset
A
A
A
of
A
n
\mathcal{A}_n
A
n
is called good if every three distinct elements of
A
A
A
form a good triple. Prove that every good subset of
A
n
\mathcal{A}_n
A
n
has at most
2
(
3
2
)
n
2(\frac{3}{2})^n
2
(
2
3
)
n
elements.
A6
1
Hide problems
BMO Shortlist 2021 A6
Find all functions
f
:
R
→
R
f: \mathbb{R} \rightarrow \mathbb{R}
f
:
R
→
R
such that
f
(
x
y
)
=
f
(
x
)
f
(
y
)
+
f
(
f
(
x
+
y
)
)
f(xy) = f(x)f(y) + f(f(x + y))
f
(
x
y
)
=
f
(
x
)
f
(
y
)
+
f
(
f
(
x
+
y
))
holds for all
x
,
y
∈
R
x, y \in \mathbb{R}
x
,
y
∈
R
.
A5
1
Hide problems
BMO Shortlist 2021 A5
Find all functions
f
:
R
+
→
R
+
f: \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}
f
:
R
+
→
R
+
such that
f
(
x
f
(
x
+
y
)
)
=
y
f
(
x
)
+
1
f(xf(x + y)) = yf(x) + 1
f
(
x
f
(
x
+
y
))
=
y
f
(
x
)
+
1
holds for all
x
,
y
∈
R
+
x, y \in \mathbb{R}^{+}
x
,
y
∈
R
+
.Proposed by Nikola Velov, North Macedonia
A4
1
Hide problems
BMO Shortlist 2021 A4
Let
f
,
g
f, g
f
,
g
be functions from the positive integers to the integers. Vlad the impala is jumping around the integer grid. His initial position is
x
0
=
(
0
,
0
)
x_0 = (0, 0)
x
0
=
(
0
,
0
)
, and for every
n
≥
1
n \ge 1
n
≥
1
, his jump is
x
n
−
x
n
−
1
=
(
±
f
(
n
)
,
±
g
(
n
)
)
x_n - x_{n - 1} = (\pm f(n), \pm g(n))
x
n
−
x
n
−
1
=
(
±
f
(
n
)
,
±
g
(
n
))
or
(
±
g
(
n
)
,
±
f
(
n
)
)
,
(\pm g(n), \pm f(n)),
(
±
g
(
n
)
,
±
f
(
n
))
,
with eight possibilities in total. Is it always possible that Vlad can choose his jumps to return to his initial location
(
0
,
0
)
(0, 0)
(
0
,
0
)
infinitely many times when (a)
f
,
g
f, g
f
,
g
are polynomials with integer coefficients? (b)
f
,
g
f, g
f
,
g
are any pair of functions from the positive integers to the integers?
A2
1
Hide problems
BMO Shortlist 2021 A2
Find all functions
f
:
R
→
R
f: \mathbb{R} \rightarrow \mathbb{R}
f
:
R
→
R
such that
f
(
x
2
+
y
)
≥
(
1
x
+
1
)
f
(
y
)
f(x^2 + y) \ge (\frac{1}{x} + 1)f(y)
f
(
x
2
+
y
)
≥
(
x
1
+
1
)
f
(
y
)
holds for all
x
∈
R
∖
{
0
}
x \in \mathbb{R} \setminus \{0\}
x
∈
R
∖
{
0
}
and all
y
∈
R
y \in \mathbb{R}
y
∈
R
.
A1
1
Hide problems
BMO Shortlist 2021 A1
Find all functions
f
:
R
+
→
R
f: \mathbb{R}^{+} \rightarrow \mathbb{R}
f
:
R
+
→
R
and
g
:
R
+
→
R
g: \mathbb{R}^{+} \rightarrow \mathbb{R}
g
:
R
+
→
R
such that
f
(
x
2
+
y
2
)
=
g
(
x
y
)
f(x^2 + y^2) = g(xy)
f
(
x
2
+
y
2
)
=
g
(
x
y
)
holds for all
x
,
y
∈
R
+
x, y \in \mathbb{R}^{+}
x
,
y
∈
R
+
.