设a>0,b>0,它们的算术平均数为_几何平均数为_,基本不等式可叙述为两个正数的_不小于他们的_