Áp dụng BĐT Cauchy cho các số dương, ta có:
$a^2+b^2\geqslant 2\sqrt{a^2 . b^2}=2ab$
$b^2+c^2\geqslant 2\sqrt{b^2 . c^2}=2bc$
$c^2+a^2\geqslant 2\sqrt{c^2 . a^2}=2ca$
Nhân vế với vế của ba BĐT trên ta được:
$(a^2+b^2)(b^2+c^2)(c^2+a^2)\geqslant 8a^2b^2c^2$
Dấu $=$ xảy ra $\Leftrightarrow a=b=c$
Vậy BĐT được chứng minh.