设1设1
设1lgc=log(ab)c=1/log(c)ab=1/[log(c)a+log(c)b]设log(c)a=m,log(c)b=n m,n>0原式1/m+1/n>4/(m+n)(m+n)^2>4mn ∴lgab=1