lgc=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再详细点。。