Let $n$ be a positive integer. Prove that for every positive real number $x$,
$$\frac{x^n(x^{n+1}+1)}{x^n+1}\le\left(\frac{x+1}{2}\right)^{2n+1}.$$
When does equality hold?
The real sequence $(x_n)$ is defined by
$$x_1=1,\qquad x_n=\frac{2n}{(n-1)^2}\sum_{i=1}^{n-1}x_i\quad(n\ge2).$$
Set $y_n=x_{n+1}-x_n$ for every positive integer $n$. Prove that $(y_n)$ has a finite limit as $n\to+\infty$.
Let $(O)$ be a circle with diameter $AB$. A variable point $P\ne B$ lies on the tangent at $B$. Line $PA$ meets $(O)$ again at $C$. Let $D$ be the reflection of $C$ in $O$, and let $PD$ meet $(O)$ again at $E$.
1. Prove that $AE,BC,PO$ pass through a common point $M$.
2. Determine the positions of $P$ for which the area of triangle $AMB$ is greatest, and find that maximum in terms of the radius $R$.
A convex pentagon $ABCDE$ has all its sides and the diagonals $AC,AD$ of length at most $\sqrt3$. Choose any 2011 distinct points inside it. Prove that a closed unit disk with center on a side of the pentagon contains at least 403 of these points.
An integer sequence $(a_n)$ is defined by $a_0=1$, $a_1=-1$ and
$$a_n=6a_{n-1}+5a_{n-2}\quad(n\ge2).$$
Prove that $a_{2012}-2010$ is divisible by 2011.
Triangle $ABC$ is not isosceles at $A$, and its angles at $B,C$ are acute. A variable point $D$ lies on segment $BC$, distinct from $B,C$ and the foot of the perpendicular from $A$ to $BC$. The line $d$ perpendicular to $BC$ at $D$ meets the lines $AB,AC$ at $E,F$, respectively. Let $M,N,P$ be the incenters of triangles $AEF,BDE,CDF$, respectively. Prove that $A,M,N,P$ are concyclic if and only if $d$ passes through the incenter of triangle $ABC$.
Let $n$ be a positive integer. Prove that
$$P(x,y)=x^n+xy+y^n$$
cannot be written as $P(x,y)=G(x,y)H(x,y)$, where $G,H$ are nonconstant polynomials with real coefficients.