Problem

Source: Lusophon Math Olympiad 2020 Day 1 #3

Tags: inequalities, geometry, geometric inequality



Let $ABC$ be a triangle and on the sides we draw, externally, the squares $BADE, CBFG$ and $ACHI$. Determine the greatest positive real constant $k$ such that, for any triangle $\triangle ABC$, the following inequality is true: $[DEFGHI]\geq k\cdot [ABC]$ Note: $[X]$ denotes the area of polygon $X$.