Let $ABCD$ be a cyclic quadrilateral such that $AB=AD$. Let $E$ and $F$ be points on the sides $BC$ and $CD$, respectively, such that $BE+DF=EF$. Prove that $\angle BAD = 2 \angle EAF$.

Let $p$ be a prime number and $F=\left \{0,1,2,...,p-1 \right \}$. Let $A$ be a proper subset of $F$ that satisfies the following property: if $a,b \in A$, then $ab+1$ (mod $p$) $ \in A$. How many elements can $A$ have? (Justify your answer.)

Given a positive integer $n \geq 3$, let $C_{n}$ be the collection of all $n$-tuples $a=(a_{1},a_{2},...,a_{n})$ of nonnegative reals $a_i$, $i=1,...,n$, such that $a_{1}+a_{2}+...+a_{n}=1$. For $k \in \left \{ 1,...,n-1 \right \}$ and $a \in C_{n}$, consider the sum set $\sigma_{k}(a) = \left \{a_{1}+...+a_{k},a_{2}+...+a_{k+1},...,a_{n-k+1}+...+a_{n} \right \}$. Show the following. (a) There exist $m_k=\max\{\min\sigma_k(a):a\in\mathcal{C}_n\}$ and $M_k=\min\{\max\sigma_k(a):a\in\mathcal{C}_n\}$. (b) It holds that $\displaystyle{1\leq\sum_{k=1}^{n-1}(\frac{1}{M_k}-\frac{1}{m_k})\leq n-2}$. Moreover, on the left side, equality is attained only for finitely many values of $n$, whereas on the right side, equality holds for infinitely values of $n$.

Find all positive integers $n$ that have precisely $\sqrt{n+1}$ natural divisors.

Let $\triangle ABC$ be a triangle with circumcenter $O$. The perpendicular bisectors of the segments $OA,OB$ and $OC$ intersect the lines $BC,CA$ and $AB$ at $D,E$ and $F$, respectively. Prove that $D,E,F$ are collinear.

Let $\mathbb{R}^{+}$ be the set of all positive real numbers. Find all the functions $f: \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}$ such that for all $x, y \in \mathbb{R}^{+}$, \[ f(x)f(y) = f(y)f(xf(y)) + \frac{1}{xy}. \]