怎么证明算术平均数相等的两组数,离散性小的那组的几何平均数较大?