x>0且y>0成立的一个必要条件是是什么?