Olympiad problems

2021 Turkey Team Selection Test, 7

Given a triangle $ABC$ with the circumcircle $\omega$ and incenter $I$. Let the line pass through the point $I$ and the intersection of exterior angle bisector of $A$ and $\omega$ meets the circumcircle of $IBC$ at $T_A$ for the second time. Define $T_B$ and $T_C$ similarly. Prove that the radius of the circumcircle of the triangle $T_AT_BT_C$ is twice the radius of $\omega$.

2016 China Second Round Olympiad, 4

Tags: Sequence , number theory , China second round

Let $p>3$ and $p+2$ are prime numbers,and define sequence $$a_{1}=2,a_{n}=a_{n-1}+\lfloor \dfrac{pa_{n-1}}{n}\rfloor$$ show that:for any $n=3,4,\cdots,p-1$ have $$n|pa_{n-1}+1$$

2019 China Second Round Olympiad, 3

Tags: China second round , algebra , number theory

Let $m$ be an integer where $|m|\ge 2$. Let $a_1,a_2,\cdots$ be a sequence of integers such that $a_1,a_2$ are not both zero, and for any positive integer $n$, $a_{n+2}=a_{n+1}-ma_n$. Prove that if positive integers $r>s\ge 2$ satisfy $a_r=a_s=a_1$, then $r-s\ge |m|$.

2015 China Second Round Olympiad, 4

Tags: number theory , legendre s theorem , China second round

Find all positive integers $k$ such that for any positive integer $n$, $2^{(k-1)n+1}$ does not divide $\frac{(kn)!}{n!}$.

2019 China Second Round Olympiad, 1

Tags: geometry , China second round

In acute triangle $\triangle ABC$, $M$ is the midpoint of segment $BC$. Point $P$ lies in the interior of $\triangle ABC$ such that $AP$ bisects $\angle BAC$. Line $MP$ intersects the circumcircles of $\triangle ABP,\triangle ACP$ at $D,E$ respectively. Prove that if $DE=MP$, then $BC=2BP$.

2019 China Second Round Olympiad, 2

Tags: algebra , combinatorics , China second round , inequalities , n-variable inequality

Let $a_1,a_2,\cdots,a_n$ be integers such that $1=a_1\le a_2\le \cdots\le a_{2019}=99$. Find the minimum $f_0$ of the expression $$f=(a_1^2+a_2^2+\cdots+a_{2019}^2)-(a_1a_3+a_2a_4+\cdots+a_{2017}a_{2019}),$$ and determine the number of sequences $(a_1,a_2,\cdots,a_n)$ such that $f=f_0$.