MathNet 2010 — Part 05 Question 143

Show that in any triangle $ABC$ with $\widehat{A}=90^{\circ}$ the following inequality holds:
$$
(AB-AC)^{2}\left(BC^{2}+4 AB \cdot AC\right)^{2} \leq 2 BC^{6} .
$$