∵[lga + lgb]^2-4lgalgb
=(lga)^2+(lgb)^2+2lgalgb-4lgalgb
=(lga)^2+(lgb)^2-2lgalgb
=(lga-lgb)^2>=0
∴[lga + lgb]^2>=4lgalgb
即lgalgb