有个简单的方法,先讨论x和y都小于0的时候,因为x,y都小于0,那么xy+1肯定是大于x+y的,但不能保证x^2+y^2大于1,因此后者肯定不可能推出前者,排出法二选一,充分必要条件