f(x)=lnx是凹函数, 利用Jensen不等式得(lnx1+...+lnxn)/n<=ln((x1+...+xn)/n), 再取指数就得到几何--算术平均不等式.把xk用1/xk代替就得到调和--几何平均不等式.
