Suppose that $A,B,C,D$ are points on a circle, $AB$ is the diameter, $CD$ is perpendicular to $AB$ and meets $AB$ at $E$, $AB$ and $CD$ are integers and $AE-EB=\sqrt3$. Find $AE$.
Let $ABC$ be an equilateral triangle. For a point $M$ inside $\triangle ABC$, let $D,E,F$ be the feet of the perpendiculars from $M$ onto $BC,CA,AB$, respectively. Find the locus of all such points $M$ for which $\angle FDE$ is a right angle.
Let $a_1,a_2,\ldots,a_{2007}$ be real numbers such that $a_1+a_2+\cdots+a_{2007}\ge2007^2$ and $a_1^2+a_2^2+\cdots+a_{2007}^2\le2007^3-1$. Prove that $a_k\in[2006;2008]$ for all $k\in\{1,2,\ldots,2007\}$.
Let $ABC$ be an acute-angle triangle with $BC\gt CA$. Let $O,H,F$ be the circumcenter, orthocentre and the foot of its altitude $CH$, respectively. Suppose that the perpendicular to $OF$ at $F$ meets the side $CA$ at $P$. Prove $\angle FHP=\angle BAC$.