第一题.不需要反证法那么纠结吧.
当a+b0恒成立） 这显然成立
当a+b>0 下面证明一个不等式：(a+b)^3=0 显然成立
于是根据条件得：(a+b)^3c(-a-b)>(-a-b)^2=(a+b)^2
得ab>a^2+2ab+b^2
得a^2+ab+b^20,c>0