Let $ ABC$ be a triangle, let $ AB > AC$. Its incircle touches side $ BC$ at point $ E$. Point $ D$ is the second intersection of the incircle with segment $ AE$ (different from $ E$). Point $ F$ (different from $ E$) is taken on segment $ AE$ such that $ CE = CF$. The ray $ CF$ meets $ BD$ at point $ G$. Show that $ CF = FG$.

The sequence $ \{x_{n}\}$ is defined by $ x_{1} = 2,x_{2} = 12$, and $ x_{n + 2} = 6x_{n + 1} - x_{n}$, $ (n = 1,2,\ldots)$. Let $ p$ be an odd prime number, let $ q$ be a prime divisor of $ x_{p}$. Prove that if $ q\neq2,3,$ then $ q\geq 2p - 1$.

Suppose that every positve integer has been given one of the colors red, blue,arbitrarily. Prove that there exists an infinite sequence of positive integers $ a_{1} < a_{2} < a_{3} < \cdots < a_{n} < \cdots,$ such that inifinite sequence of positive integers $ a_{1},\frac {a_{1} + a_{2}}{2},a_{2},\frac {a_{2} + a_{3}}{2},a_{3},\frac {a_{3} + a_{4}}{2},\cdots$ has the same color.

Prove that for arbitary positive integer $ n\geq 4$, there exists a permutation of the subsets that contain at least two elements of the set $ G_{n} = \{1,2,3,\cdots,n\}$: $ P_{1},P_{2},\cdots,P_{2^n - n - 1}$ such that $ |P_{i}\cap P_{i + 1}| = 2,i = 1,2,\cdots,2^n - n - 2.$

For two given positive integers $ m,n > 1$, let $ a_{ij} (i = 1,2,\cdots,n, \; j = 1,2,\cdots,m)$ be nonnegative real numbers, not all zero, find the maximum and the minimum values of $ f$, where \[ f = \frac {n\sum_{i = 1}^{n}(\sum_{j = 1}^{m}a_{ij})^2 + m\sum_{j = 1}^{m}(\sum_{i= 1}^{n}a_{ij})^2}{(\sum_{i = 1}^{n}\sum_{j = 1}^{m}a_{ij})^2 + mn\sum_{i = 1}^{n}\sum_{j=1}^{m}a_{ij}^2}. \]

Find the maximal constant $ M$, such that for arbitrary integer $ n\geq 3,$ there exist two sequences of positive real number $ a_{1},a_{2},\cdots,a_{n},$ and $ b_{1},b_{2},\cdots,b_{n},$ satisfying (1):$ \sum_{k = 1}^{n}b_{k} = 1,2b_{k}\geq b_{k - 1} + b_{k + 1},k = 2,3,\cdots,n - 1;$ (2):$ a_{k}^2\leq 1 + \sum_{i = 1}^{k}a_{i}b_{i},k = 1,2,3,\cdots,n, a_{n}\equiv M$.

Let $P$ be an arbitrary point inside triangle $ABC$, denote by $A_{1}$ (different from $P$) the second intersection of line $AP$ with the circumcircle of triangle $PBC$ and define $B_{1},C_{1}$ similarly. Prove that $\left(1 + 2\cdot\frac {PA}{PA_{1}}\right)\left(1 + 2\cdot\frac {PB}{PB_{1}}\right)\left(1 + 2\cdot\frac {PC}{PC_{1}}\right)\geq 8$.

Let $ n > 1$ be an integer, and $ n$ can divide $ 2^{\phi(n)} + 3^{\phi(n)} + \cdots + n^{\phi(n)},$ let $ p_{1},p_{2},\cdots,p_{k}$ be all distinct prime divisors of $ n$. Show that $ \frac {1}{p_{1}} + \frac {1}{p_{2}} + \cdots + \frac {1}{p_{k}} + \frac {1}{p_{1}p_{2}\cdots p_{k}}$ is an integer. ( where $ \phi(n)$ is defined as the number of positive integers $ \leq n$ that are relatively prime to $ n$.)

Determine the greatest positive integer $ n$ such that in three-dimensional space, there exist n points $ P_{1},P_{2},\cdots,P_{n},$ among $ n$ points no three points are collinear, and for arbitary $ 1\leq i < j < k\leq n$, $ P_{i}P_{j}P_{k}$ isn't obtuse triangle.

Let $ ABC$ be a triangle, line $ l$ cuts its sides $ BC,CA,AB$ at $ D,E,F$, respectively. Denote by $ O_{1},O_{2},O_{3}$ the circumcenters of triangle $ AEF,BFD,CDE$, respectively. Prove that the orthocenter of triangle $ O_{1}O_{2}O_{3}$ lies on line $ l$.

In a plane, there is an infinite triangular grid consists of equilateral triangles whose lengths of the sides are equal to $ 1$, call the vertices of the triangles the lattice points, call two lattice points are adjacent if the distance between the two points is equal to $ 1;$ A jump game is played by two frogs $ A,B,$ "A jump" is called if the frogs jump from the point which it is lying on to its adjacent point, " A round jump of $ A,B$" is called if first $ A$ jumps and then $ B$ by the following rules: Rule (1): $ A$ jumps once arbitrarily, then $ B$ jumps once in the same direction, or twice in the opposite direction; Rule (2): when $ A,B$ sits on adjacent lattice points, they carry out Rule (1) finishing a round jump, or $ A$ jumps twice continually, keep adjacent with $ B$ every time, and $ B$ rests on previous position; If the original positions of $ A,B$ are adjacent lattice points, determine whether for $ A$ and $ B$,such that the one can exactly land on the original position of the other after a finite round jumps.

Let $ z_{1},z_{2},z_{3}$ be three complex numbers of moduli less than or equal to $ 1$. $ w_{1},w_{2}$ are two roots of the equation $ (z - z_{1})(z - z_{2}) + (z - z_{2})(z - z_{3}) + (z - z_{3})(z - z_{1}) = 0$. Prove that, for $ j = 1,2,3$, $\min\{|z_{j} - w_{1}|,|z_{j} - w_{2}|\}\leq 1$ holds.

Let $ P$ be the the isogonal conjugate of $ Q$ with respect to triangle $ ABC$, and $ P,Q$ are in the interior of triangle $ ABC$. Denote by $ O_{1},O_{2},O_{3}$ the circumcenters of triangle $ PBC,PCA,PAB$, $ O'_{1},O'_{2},O'_{3}$ the circumcenters of triangle $ QBC,QCA,QAB$, $ O$ the circumcenter of triangle $ O_{1}O_{2}O_{3}$, $ O'$ the circumcenter of triangle $ O'_{1}O'_{2}O'_{3}$. Prove that $ OO'$ is parallel to $ PQ$.

Prove that for arbitary integer $ n > 16$, there exists the set $ S$ that contains $ n$ positive integers and has the following property:if the subset $ A$ of $ S$ satisfies for arbitary $ a,a'\in A, a\neq a', a + a'\notin S$ holds, then $ |A|\leq4\sqrt n.$

Let $ n>m>1$ be odd integers, let $ f(x)=x^n+x^m+x+1$. Prove that $ f(x)$ can't be expressed as the product of two polynomials having integer coefficients and positive degrees.

Given a rectangle $ ABCD,$ let $ AB = b, AD = a ( a\geq b),$ three points $ X,Y,Z$ are put inside or on the boundary of the rectangle, arbitrarily. Find the maximum of the minimum of the distances between any two points among the three points. (Denote it by $ a,b$)

Let $ x,y,z$ be positive real numbers, show that $ \frac {xy}{z} + \frac {yz}{x} + \frac {zx}{y} > 2\sqrt [3]{x^3 + y^3 + z^3}.$

Let $ S$ be a set that contains $ n$ elements. Let $ A_{1},A_{2},\cdots,A_{k}$ be $ k$ distinct subsets of $ S$, where $ k\geq 2, |A_{i}| = a_{i}\geq 1 ( 1\leq i\leq k)$. Prove that the number of subsets of $ S$ that don't contain any $ A_{i} (1\leq i\leq k)$ is greater than or equal to $ 2^n\prod_{i = 1}^k(1 - \frac {1}{2^{a_{i}}}).$

Let $ ABC$ be an acute triangle, let $ M,N$ be the midpoints of minor arcs $ \widehat{CA},\widehat{AB}$ of the circumcircle of triangle $ ABC,$ point $ D$ is the midpoint of segment $ MN,$ point $ G$ lies on minor arc $ \widehat{BC}.$ Denote by $ I,I_{1},I_{2}$ the incenters of triangle $ ABC,ABG,ACG$ respectively.Let $ P$ be the second intersection of the circumcircle of triangle $ GI_{1}I_{2}$ with the circumcircle of triangle $ ABC.$ Prove that three points $ D,I,P$ are collinear.

For a given integer $ n\geq 2,$ determine the necessary and sufficient conditions that real numbers $ a_{1},a_{2},\cdots, a_{n},$ not all zero satisfy such that there exist integers $ 0<x_{1}<x_{2}<\cdots<x_{n},$ satisfying $ a_{1}x_{1}+a_{2}x_{2}+\cdots+a_{n}x_{n}\geq 0.$

Let $ 0 < x_{1}\leq\frac {x_{2}}{2}\leq\cdots\leq\frac {x_{n}}{n}, 0 < y_{n}\leq y_{n - 1}\leq\cdots\leq y_{1},$ Prove that $ (\sum_{k = 1}^{n}x_{k}y_{k})^2\leq(\sum_{k = 1}^{n}y_{k})(\sum_{k = 1}^{n}(x_{k}^2 - \frac {1}{4}x_{k}x_{k - 1})y_{k}).$ where $ x_{0} = 0.$

Prove that in a plane, arbitrary $ n$ points can be overlapped by discs that the sum of all the diameters is less than $ n$, and the distances between arbitrary two are greater than $ 1$. (where the distances between two discs that have no common points are defined as that the distances between its centers subtract the sum of its radii; the distances between two discs that have common points are zero)

Prove that for all $ n\geq 2,$ there exists $ n$-degree polynomial $ f(x) = x^n + a_{1}x^{n - 1} + \cdots + a_{n}$ such that (1) $ a_{1},a_{2},\cdots, a_{n}$ all are unequal to $ 0$; (2) $ f(x)$ can't be factorized into the product of two polynomials having integer coefficients and positive degrees; (3) for any integers $ x, |f(x)|$ isn't prime numbers.

Find all positive integers $ n$ having the following properties:in two-dimensional Cartesian coordinates, there exists a convex $ n$ lattice polygon whose lengths of all sides are odd numbers, and unequal to each other. (where lattice polygon is defined as polygon whose coordinates of all vertices are integers in Cartesian coordinates.)