Xét hình sau.
\(\hept{\begin{cases}\sqrt{a^2+b^2}=AB\\\sqrt{b^2+c^2}=BC\end{cases}}\)
Cần chứng minh \(AB.BC\ge BH.AC\)
Ta có: \(BH.AC=2S_{\Delta ABC}=AB.BC.\sin ABC\)
Vậy cần chứng minh \(AB.BC\ge AB.BC.\sin ABC\Leftrightarrow\sin ABC\le1\)
Bất bẳng thức cuối hiển nhiên đúng, nên ta có đpcm.