MathDB
4x^3 = (a^2+b^2 + c^2)x + abc, computational geometry, max area of DECB

Source: 2002 Romania JBMO TST5 p3

May 16, 2020
geometrymaxareamidpointsidelengths

Problem Statement

Let ABCABC be a triangle and a=BC,b=CAa = BC, b = CA and c=ABc = AB be the lengths of its sides. Points DD and EE lie in the same halfplane determined by BCBC as AA. Suppose that DB=c,CE=bDB = c, CE = b and that the area of DECBDECB is maximal. Let FF be the midpoint of DEDE and let FB=xFB = x. Prove that FC=xFC = x and 4x3=(a2+b2+c2)x+abc4x^3 = (a^2+b^2 + c^2)x + abc.