早在西元前6世纪，毕达哥拉斯学派已经知道算术中项，几何中项以及调和中项，毕达哥拉斯学派哲学家阿契塔在《论音乐》中定义了上述三类中项，其中算术中项，几何中项的定义与今天大致相同．而今我们称为正数a，b的算术平均数，为正数a，b的几何平均数，并把这两者结合的不等式叫做基本不等式．下列与基本不等式有关的命题中正确的是（    ）