両辺は非負である。求める不等式を2乗すると x+y≥2xyx+y\ge2\sqrt{xy}x+y≥2xy と同値であり、これは相加相乗平均不等式である。等号はちょうど x=yx=yx=y のとき成立する。