Let $ABC$ be a triangle and $a = BC, b = CA$ and $c = AB$ be the lengths of its sides. Points $D$ and $E$ lie in the same halfplane determined by $BC$ as $A$. Suppose that $DB = c, CE = b$ and that the area of $DECB$ is maximal. Let $F$ be the midpoint of $DE$ and let $FB = x$. Prove that $FC = x$ and $4x^3 = (a^2+b^2 + c^2)x + abc$.