求證:諾a^3+ab^2+4a+b^3+a^2b+2b-3a^2-b^2-2ab-2不等於0,則a+b不等於1

求證:諾a^3+ab^2+4a+b^3+a^2b+2b-3a^2-b^2-2ab-2不等於0,則a+b不等於1

反證法.
如果a+b=1,則b=1-a
則a^3+ab^2+4a+b^3+a^2b+2b-3a^2-b^2-2ab-2=a^3+a(1-a)^2+4a+(1-a)^3+a^2(1-a)+2(1-a)-3a^2-(1-a)^2-2a(1-a)-2=0,與原條件衝突
所以a+b不等於1