Sea $ABC$ un triángulo y $X,Y,Z$ puntos sobre los lados $BC,AC, AB$, respectivamente. Sean $A',B',C'$ los circuncentros correspondientes a los triángulos $AZY$, $BXZ$ y $CYX$. Demostrar que
\[\mathrm{Area}(A'B'C')\geq\frac{1}{4}\mathrm{Area}(ABC)\]
y que la igualdad se cumple si, y sólo si, las rectas $AA',BB',CC'$ tienen un punto en común.