基本不等式

如果________，那么，当且仅当________时，等号成立．

________称为a，b的算术平均，________称为a，b的几何平均．

基本不等式可以表述为：

两个正数的________不小于它们的________．