>>645
xy<0のとき、左辺>0、右辺<0よって成り立つ。xy=0のときも明らか。

xy>0のとき相加相乗または平方完成