均值不等式与不等式a方+b方大等于2ab的关系如何?

均值不等式就是说在a＞0 b＞0的前提下：
(a+b)/2 ≥ √(ab)
那么两边平方：(a^2+b^2+2ab)/4 ≥ ab
a^2+b^2+2ab ≥ 4ab
a^2+b^2 ≥ 2ab
这不就推导出来了么.
同样的前提下,逆向的推导也是完全成立的.