证明x>0且y>0成立的充要条件是x+y>0且xy>0