En el triángulo $\triangle ABC$ tenemos $BC=a,CA=b,AB=c$ y $\angle B=4\angle A$. Demuestre que \[[ab^2c^3=(b^2-a^2-ac)((a^2-b^2)^2-a^2c^2)]]