Từ PT thứ hai suy ra |x|,|y|≤1.
Nếu |x|=1⇒y=0. Nhưng (±1,0) không phải là nghiệm của hệ. Vậy |x|<1. Lập luận tương tự ta cũng có |y|<1.
Xét hàm f(t)=t3−3t với |t|<1. Ta có f′(t)=3t2−3<3−3=0.
Như vậy f(t) là hàm nghịch biến với t∈(−1,1). Do đó từ PT thứ nhất ta có
f(x)=f(y)⇔x=y.
Thay điều này vào PT thứ hai ta được
2x6=1⇔x=±6√12⇒x=y=±6√12.