Define $x_1=1$ and
$$x_{n+1}=x_n+3\sqrt{x_n}+\frac n{\sqrt{x_n}}\quad(n\ge1).$$
a) Prove $\lim_{n\to\infty}n/x_n=0$.
b) Find $\lim_{n\to\infty}n^2/x_n$.
a) Let real numbers $a,b,c$ satisfy $a^2+b^2+c^2=1$. Prove
$$|a-b|+|b-c|+|c-a|\le2\sqrt2.$$
b) Let real numbers $a_1,\ldots,a_{2019}$ satisfy $\sum_{i=1}^{2019}a_i^2=1$. Find the largest value of
$$S=|a_1-a_2|+|a_2-a_3|+\cdots+|a_{2018}-a_{2019}|+|a_{2019}-a_1|.$$
Define $a_1=5$, $a_2=13$, and $a_{n+1}=5a_n-6a_{n-1}$ for $n\ge2$.
a) Prove that any two consecutive terms are relatively prime.
b) Prove that if $p$ is a prime divisor of $a_{2^k}$, then $2^{k+1}$ divides $p-1$, for every natural number $k$.
Let $ABC$ be an acute scalene triangle inscribed in circle $(O)$, with orthocenter $H$. Let $D,E,F$ be the reflections of $O$ across $BC,CA,AB$, respectively.
a) Let $H_a$ be the reflection of $H$ across $BC$, let $A'$ be the reflection of $A$ across $O$, and let $O_a$ be the circumcenter of $BOC$. Prove that $H_aD$ and $O_aA'$ meet on $(O)$.
b) Choose $X$ so that $AXDA'$ is a parallelogram. Prove that the circumcircles of $AHX$, $ABF$, and $ACE$ have a second common point different from $A$.
Editorial note: the printed assertion in (b) has an allowed exceptional configuration; the solution explains it without changing the source statement.
Consider the real system with parameter $a$:
$$\begin{cases}x-ay=yz,\\ y-az=zx,\\ z-ax=xy.\end{cases}$$
a) Solve the system when $a=0$.
b) Prove that the system has five distinct solutions for every real $a\gt 1$.
Let $ABC$ be an acute scalene triangle. Let $D,E,F$ be the feet of the altitudes from $A,B,C$, respectively. The circle with diameter $AD$ meets $DE,DF$ again at $M,N$, respectively. Let $P\in AB$ and $Q\in AC$ satisfy $NP\perp AB$, $MQ\perp AC$. Let $(I)$ be the circumcircle of $APQ$.
a) Prove that $(I)$ is tangent to $EF$.
b) Let $T$ be the tangency point, and let $DT$ meet $MN$ at $K$. Let $L$ be the reflection of $A$ across $MN$. Prove that the circumcircle of $DKL$ passes through $EF\cap MN$.
Editorial note: the circle in (b) is undefined for an allowed degenerate configuration; the solution explains this source issue.
Let $n\gt 1$ be an integer. Let $T$ be the set of all ordered triples $(x,y,z)$ of pairwise distinct positive integers with $1\le x,y,z\le2n$. A set $\mathcal A$ of ordered pairs $(u,v)$ is called linked to $T$ if, for every $(x,y,z)\in T$,
$$\{(x,y),(y,z),(z,x)\}\cap\mathcal A\ne\varnothing.$$
a) Find $|T|$.
b) Prove that there exists a set linked to $T$ with exactly $2n(n-1)$ elements.
c) Prove that every set linked to $T$ has at least $2n(n-1)$ elements.