KöMaL 2026 B5531

The incenter of triangle $ABC$ is $I$, the circumcenters of triangles $ABI$, $BCI$ and $CAI$ are $D$, $E$ and $F$, respectively. Prove that the area of triangle $CDE$ is at least as large as the area of triangle $ABC$.