已知a^2+b^2<1，则0所以-1<(a-1)<0,-1<(b-1)<0相乘有(a-1)(b-1)>0展开即ab+1>a+b证明了必要性充分性的反例太多了比如a=10，b=2ab+1>a+b显然成立但是a^2+b^2<1显然不成立所以不充分
