Let $ABCD$ be a convex quadrilateral with $\angle ABC>90$, $CDA>90$ and $\angle DAB=\angle BCD$. Denote by $E$ and $F$ the reflections of $A$ in lines $BC$ and $CD$, respectively. Suppose that the segments $AE$ and $AF$ meet the line $BD$ at $K$ and $L$, respectively. Prove that the circumcircles of triangles $BEK$ and $DFL$ are tangent to each other. $\emph{Slovakia}$
Russian TST 2021
November 14, 2020 - Day 1
The Fibonacci numbers $F_0, F_1, F_2, . . .$ are defined inductively by $F_0=0, F_1=1$, and $F_{n+1}=F_n+F_{n-1}$ for $n \ge 1$. Given an integer $n \ge 2$, determine the smallest size of a set $S$ of integers such that for every $k=2, 3, . . . , n$ there exist some $x, y \in S$ such that $x-y=F_k$. Proposed by Croatia
Let $R^+$ be the set of positive real numbers. Determine all functions $f:R^+$ $\rightarrow$ $R^+$ such that for all positive real numbers $x$ and $y:$ $$f(x+f(xy))+y=f(x)f(y)+1$$ Ukraine
November 15, 2020 - Day 2
Suppose that $a,b,c,d$ are positive real numbers satisfying $(a+c)(b+d)=ac+bd$. Find the smallest possible value of $$\frac{a}{b}+\frac{b}{c}+\frac{c}{d}+\frac{d}{a}.$$Israel
Determine all functions $f$ defined on the set of all positive integers and taking non-negative integer values, satisfying the three conditions: $(i)$ $f(n) \neq 0$ for at least one $n$; $(ii)$ $f(x y)=f(x)+f(y)$ for every positive integers $x$ and $y$; $(iii)$ there are infinitely many positive integers $n$ such that $f(k)=f(n-k)$ for all $k<n$.
Let $ABC$ be a triangle with incenter $I$ and circumcircle $\Gamma$. Circles $\omega_{B}$ passing through $B$ and $\omega_{C}$ passing through $C$ are tangent at $I$. Let $\omega_{B}$ meet minor arc $AB$ of $\Gamma$ at $P$ and $AB$ at $M\neq B$, and let $\omega_{C}$ meet minor arc $AC$ of $\Gamma$ at $Q$ and $AC$ at $N\neq C$. Rays $PM$ and $QN$ meet at $X$. Let $Y$ be a point such that $YB$ is tangent to $\omega_{B}$ and $YC$ is tangent to $\omega_{C}$. Show that $A,X,Y$ are collinear.
January 12, 2021 - Day 3
In a regular 100-gon, 41 vertices are colored black and the remaining 59 vertices are colored white. Prove that there exist 24 convex quadrilaterals $Q_{1}, \ldots, Q_{24}$ whose corners are vertices of the 100-gon, so that the quadrilaterals $Q_{1}, \ldots, Q_{24}$ are pairwise disjoint, and every quadrilateral $Q_{i}$ has three corners of one color and one corner of the other color.
Let $ABCD$ be a cyclic quadrilateral. Points $K, L, M, N$ are chosen on $AB, BC, CD, DA$ such that $KLMN$ is a rhombus with $KL \parallel AC$ and $LM \parallel BD$. Let $\omega_A, \omega_B, \omega_C, \omega_D$ be the incircles of $\triangle ANK, \triangle BKL, \triangle CLM, \triangle DMN$. Prove that the common internal tangents to $\omega_A$, and $\omega_C$ and the common internal tangents to $\omega_B$ and $\omega_D$ are concurrent.
Let $\mathcal{S}$ be a set consisting of $n \ge 3$ positive integers, none of which is a sum of two other distinct members of $\mathcal{S}$. Prove that the elements of $\mathcal{S}$ may be ordered as $a_1, a_2, \dots, a_n$ so that $a_i$ does not divide $a_{i - 1} + a_{i + 1}$ for all $i = 2, 3, \dots, n - 1$.
January 13, 2021 - Day 4
Do there exist infinitely many positive integers not expressible in the form \[(a+b)+\log_2(b+c)-2^{c+a},\]where $a,b,c$ are positive integers?
A magician intends to perform the following trick. She announces a positive integer $n$, along with $2n$ real numbers $x_1 < \dots < x_{2n}$, to the audience. A member of the audience then secretly chooses a polynomial $P(x)$ of degree $n$ with real coefficients, computes the $2n$ values $P(x_1), \dots , P(x_{2n})$, and writes down these $2n$ values on the blackboard in non-decreasing order. After that the magician announces the secret polynomial to the audience. Can the magician find a strategy to perform such a trick?
Consider any rectangular table having finitely many rows and columns, with a real number $a(r, c)$ in the cell in row $r$ and column $c$. A pair $(R, C)$, where $R$ is a set of rows and $C$ a set of columns, is called a saddle pair if the following two conditions are satisfied: $(i)$ For each row $r^{\prime}$, there is $r \in R$ such that $a(r, c) \geqslant a\left(r^{\prime}, c\right)$ for all $c \in C$; $(ii)$ For each column $c^{\prime}$, there is $c \in C$ such that $a(r, c) \leqslant a\left(r, c^{\prime}\right)$ for all $r \in R$. A saddle pair $(R, C)$ is called a minimal pair if for each saddle pair $\left(R^{\prime}, C^{\prime}\right)$ with $R^{\prime} \subseteq R$ and $C^{\prime} \subseteq C$, we have $R^{\prime}=R$ and $C^{\prime}=C$. Prove that any two minimal pairs contain the same number of rows.
February 20, 2021 - Day 5
For each prime $p$, construct a graph $G_p$ on $\{1,2,\ldots p\}$, where $m\neq n$ are adjacent if and only if $p$ divides $(m^{2} + 1-n)(n^{2} + 1-m)$. Prove that $G_p$ is disconnected for infinitely many $p$
In the plane, there are $n \geqslant 6$ pairwise disjoint disks $D_{1}, D_{2}, \ldots, D_{n}$ with radii $R_{1} \geqslant R_{2} \geqslant \ldots \geqslant R_{n}$. For every $i=1,2, \ldots, n$, a point $P_{i}$ is chosen in disk $D_{i}$. Let $O$ be an arbitrary point in the plane. Prove that \[O P_{1}+O P_{2}+\ldots+O P_{n} \geqslant R_{6}+R_{7}+\ldots+R_{n}.\](A disk is assumed to contain its boundary.)
Let $n$ and $k$ be positive integers. Prove that for $a_1, \dots, a_n \in [1,2^k]$ one has \[ \sum_{i = 1}^n \frac{a_i}{\sqrt{a_1^2 + \dots + a_i^2}} \le 4 \sqrt{kn}. \]
February 21, 2021 - Day 6
Let $n$ be a positive integer. Find the number of permutations $a_1$, $a_2$, $\dots a_n$ of the sequence $1$, $2$, $\dots$ , $n$ satisfying $$a_1 \le 2a_2\le 3a_3 \le \dots \le na_n$$. Proposed by United Kingdom
Let $ABC$ be a triangle with $AB < AC$, incenter $I$, and $A$ excenter $I_{A}$. The incircle meets $BC$ at $D$. Define $E = AD\cap BI_{A}$, $F = AD\cap CI_{A}$. Show that the circumcircle of $\triangle AID$ and $\triangle I_{A}EF$ are tangent to each other
Given an integer $m > 1$, we call the number $x{}$ dangerous if $x{}$ divides the number $y{}$, which is obtained by writing the digits of $x{}$ in base $m{}$ in reverse order, with $x\neq y$. Prove that if there exists a three-digit (in base $m$) dangerous number for a given $m$, then there exists a two-digit (in base $m$) dangerous number.
May 29, 2021 - Day 7
A machine accepts coins of $k{}$ values $1 = a_1 <\cdots < a_k$ and sells $k{}$ different drinks with prices $0<b_1 < \cdots < b_k$. It is known that if we start inserting coins into the machine in an arbitrary way, sooner or later the total value of the coins will be equal to the price of a drink. For which sets of numbers $(a_1,\ldots,a_k;b_1,\ldots,b_k)$ does this property hold?
The $A{}$-excircle $\omega_A{}$ of the triangle $ABC$ touches the side of the $BC$ at point $A_1$ and the extensions of the sides $AB$ and $AC$ are at points $C_1$ and $B_1$ respectively. Let $P{}$ be the middle of the segment $B_1C_1$. The line $A_1P$ intersects $\omega_A{}$ a second time at point $X{}$. The tangents to the circumcircle of the triangle $ABC$ at point $A{}$ and to $\omega_A{}$ at point $X{}$ intersect at point $R$. Prove that $RP = RX$.
Given an integer $n \geqslant 3$ the polynomial $f(x_1, \ldots, x_n)$ with integer coefficients is called good if $f(0,\ldots, 0) = 0$ and \[f(x_1, \ldots, x_n)=f(x_{\pi_1}, \ldots, x_{\pi_n}),\]for any permutation of $\pi$ of the numbers $1,\ldots, n$. Denote by $\mathcal{J}$ the set of polynomials of the form \[p_1q_1+\cdots+p_mq_m,\]where $m$ is a positive integer and $q_1,\ldots , q_m$ are polynomials with integer coefficients, and $p_1,\ldots , p_m$ are good polynomials. Find the smallest natural number $D{}$ such that each monomial of degree $D{}$ lies in the set $\mathcal{J}$.
May 30, 2021 - Day 8
A point $P{}$ is considered on the incircle of the triangle $ABC$. We draw the tangent segments from $P{}$ to the three excircles of $ABC$. Prove that from the obtained three tangent segments it is possible to make a right triangle if and only if the point $P{}$ lies on one of the lines connecting two of the midpoints of the sides of $ABC$.
The natural numbers $t{}$ and $q{}$ are given. For an integer $s{}$, we denote by $f(s)$ the number of lattice points lying in the triangle with vertices $(0;-t/q), (0; t/q)$ and $(t; ts/q)$. Suppose that $q{}$ divides $rs-1{}$. Prove that $f(r) = f(s)$.
Given a natural number $n\geqslant 2$, find the smallest possible number of edges in a graph that has the following property: for any coloring of the vertices of the graph in $n{}$ colors, there is a vertex that has at least two neighbors of the same color as itself.