Question

已知ab≠0,求證：a+b=1的充要條件是a³+b³+ab-a²-b²=0.

Answer 1

思路分析：本題的大前提是ab≠0，條件是a³+b³+ab-a²-b²=0，結(jié)論是a+b=1.

欲證充要條件，即要證明條件是充分的而且是必要的.

證明：先證必要性成立：

∵a+b=1，即b=1-a，

∴a³+b³+ab-a²-b²

=a³+(1-a)³+a(1-a)-a²-(1-a)²

=a³+1-3a+3a²-a³+a-a²-a²-1+2a-a²=0.

∴必要性成立.

再證充分性成立：

∵a³+b³+ab-a²-b²=0，

即(a+b)(a²-ab+b²)-(a²-ab+b²)=0，

∴(a+b-1)(a²-ab+b²)=0.

又ab≠0,∴a≠0,b≠0,

從而a²-ab+b²≠0.

∴a+b-1=0，即a+b=1.

故充分性成立.

綜上所述，原命題成立.