NMC 2005

Find all positive integers $k$ such that the product of the digits of $k$, in the decimal system, equals

$$\frac{25}{8} k-211$$

Let $a, b$, and $c$ be positive real numbers. Prove that

$$\frac{2 a^{2}}{b+c}+\frac{2 b^{2}}{c+a}+\frac{2 c^{2}}{a+b} \geq a+b+c$$

The circle $\mathcal{C}_{1}$ is inside the circle $\mathcal{C}_{2}$, and the circles touch each other at $A$. A line through $A$ intersects $\mathcal{C}_{1}$ also at $B$ and $\mathcal{C}_{2}$ also at $C$. The tangent to $\mathcal{C}_{1}$ at $B$ intersects $\mathcal{C}_{2}$ at $D$ and $E$. The tangents of $\mathcal{C}_{1}$ passing through $C$ touch $\mathcal{C}_{1}$ at $F$ and $G$. Prove that $D$, $E, F$, and $G$ are concyclic.

Figure 15.