Problem

Source: Mediterranean MO 1999

Tags: trigonometry, geometry unsolved, geometry



In triangle $\triangle ABC$ we have $BC=a,CA=b,AB=c$ and $\angle B=4\angle A$ Show that \[ab^2c^3=(b^2-a^2-ac)((a^2-b^2)^2-a^2c^2)\]