Olympiad problems

2021 SYMO, Q1

For what positive integers $n\geq 4$ does there exist a set $S$ of $n$ points on the plane, not all collinear, such that for any three non-collinear points $A,B,C$ in $S$, either the incenter, $A$-excenter, $B$-excenter, or $C$-excenter of triangle $ABC$ is also contained in $S$?

2021 SYMO, Q5

Tags: combinatorics , SYMO

Simon draws some line segments on the face of a regular polygon, dissecting it into exactly $2021$ triangles, such that no two drawn line segments are collinear, and no two triangles share a pair of vertices. Simon then assigns each drawn line segment and each side of the polygon with one of three colours. Prove that there is some triangle in the dissection with a pair of identically-coloured sides.

2021 SYMO, Q2

Tags: inequalities , algebra , SYMO

Let $n\geq 3$ be a fixed positive integer. Determine the minimum possible value of \[\sum_{1\leq i<j<k\leq n} \max(x_ix_j + x_k, x_jx_k + x_i, x_kx_i + x_j)^2\]over all non-negative reals $x_1,x_2,\dots,x_n$ satisfying $x_1+x_2+\dots+x_n=n$.

2021 SYMO, Q4

Tags: geometry , tangent circles , circumcircle , SYMO

Let $ABC$ be an acute-angled triangle. The tangents to the circumcircle of triangle $ABC$ at $B$ and $C$ respectively meet at $D$. The circumcircles of triangles $ABD$ and $ACD$ meet line $BC$ at additional points $E$ and $F$ respectively. Lines $DB$ and $DC$ meet the circumcircle of triangle $DEF$ at additional points $X$ and $Y$ respectively. Let $O$ be the circumcentre of triangle $DEF$. Prove that the circumcircles of triangles $ABC$ and $OXY$ are tangent to each other.

2021 SYMO, Q3

Tags: number theory , Sequences , SYMO

Let $a_1,a_2,a_3,\dots$ be an infinite sequence of non-zero reals satisfying \[a_{i} = \frac{a_{i-1}a_{i-2}-2}{a_{i-3}}\]for all $i\geq 4$. Determine all positive integers $n$ such that if $a_1,a_2,\dots,a_n$ are integers, then all elements of the sequence are integers.

2021 SYMO, Q6

Tags: algebra , polynomial , SYMO

Let $P(x)$ and $Q(x)$ be non-constant integer-coefficient polynomials such that for any integer $x\in \mathbb Z$, there exists integer $y\in \mathbb Z$ such that $P(x)=Q(y)$. Prove that the degree of $Q$ divides the degree of $P$.