Giả sử HPT đã cho có nghiệm (x;y) . Khi đó a3+b3+c3=a.a2+b.b2+c.c2=(bx+cy)a2+(cx+ay)b2+(ax+by)c2=(a2bx+ab2y)+(ac2x+ca2y)+(b2cx+bc2y)
=ab(ax+by)+ca(cx+ay)+bc(bx+cy)=abc+cab+bca=3abc
Giả sử a3+b3+c3=3abc
⇔(a+b)3+c3−3ab(a+b)−3abc=0
⇔(a+b+c)[(a+b)2−c(a+b)+c2]−3ab(a+b+c)=0
⇔12(a+b+c)[(a−b)2+(b−c)2+(c−a)2]=0
[a+b+c=0(a−b)2+(b−c)2+(c−a)2=0⇔[a+b+c=0a=b=c
∗a+b+c=0 nhân thấy HPT có nghiệm x=y=−1
∗a=b=c, nhận thấy HPT có nghiệm x=0,y=1( hoặc x=1,y=0)
Vậy nếu a3+b3+c3=3abc thì HPT đã cho có nghiệm