证明：logaC*logbC=4,即
1/4=logca*logcb≤[（logca+logcb）/2]^2,即
1≤(logcab)^2
又∵abc均大于1
∴logcab≥1
∴ab≥c