5 En el triángulo $ABC$ suponga que $5\angle BAC = 3\angle ABC$. Sean $BC = a$, $AB = c$ y $AC = b$. Demuestre que $$(b^2 - a^2)^2 b^2 c^2 = a b c^2\bigl(a^2 c^2 - (b^2 - a^2)^2\bigr) +\bigl(a^2 c^2 - (b^2 - a^2)^2\bigr)^2. $$