Giả sử (x0, y0, z0) lag nghiệm nguyên của phương trình đã cho
Ta có x03+3y03+9z03−9x0y0z0=0
→x0⋮3→3y03⋮9→y0⋮3→9z03⋮27→z0⋮3
Đặt x0=3x1,y0=3y1, z0=3z1. Suy ra
x13+3y13+9z13−9x1y1z1=0
Lập luận tương tự trên ta suy ra x1, y1, z1 đe^ˋu ⋮3, tức laˋ x0, y0, z0 đe^ˋu ⋮32
Lập lại nhiều lần lập luận trên đây ta suy ra x0, y0, z0 đe^ˋu ⋮3n, ∀n≥1
Suy ra x0=y0=z0=0
Ngược lại, rõ ràng (0, 0, 0) là nghiệm của phương trình đã cho
Vậy phương trình đã cho có nghiệm duy nhất (0, 0, 0)