若a>0，b>0，x>0，y>0，则，当且仅当bx=ay时，等号成立．
证明：所以并且仅当，即bx=ay时，等号成立．
说明
(1)这个不等式可以视作的拓展.
(2)上述不等式也可以用|m·n|≤|m||n|来证明.
设则由|m·n|≤|m||n|知，不等式显然成立．