相同的一组数据,它的算术平均数一定大于大于几何平均数吗?怎样证明?