是不是这样的？因为不熟悉，玩无穷下降法如有错误见谅

勇往直前dp

X3+Y3=Z3，之间为不可约整数，设P为非立方数，Z－X=P，得Y^3=3XP（X+P）+P^3，两边约去P得：y^3*P2=3X（X+P）+P2，Y3=y^3*P^3如果P与X有公约数，即与假设XY之间不可约，如果P=3即X也含约数3这也与假设矛盾

勇往直前dp

设P为立方数，即Z－X=P.而Z^3－X^3=（Z－X)*（Z^2+XZ+Z^2）因而（Z－X）^2也是立方数，（Z－X）^2／3)+K=（Z^2+XZ+X^2）^1／3两边立方得：3K（Z－X）^2／3)*（Z^2+XZ+X^2）^1／3)+K^3=3XZ写成：K*（Z^2+XZ+X^2）^2／3)+（Z－X）^2／3)*（Z^2+XZ+X^2）^1／3)+（Z－X）^4／3=3XZ=3KZ｛（Z－x）^1／3  +K（Z－X）^2／3   +（3k^2  －X（Z－X）^1／3）/Z｝括号中各项相加得：X/K.可见Z有约数K.同理3KX*｛（Z－X）^1／3  +（3k^2+K*（Z－X）^2／3）+Z*（Z－X）^1／3）／X｝括号中各项相加得Z／K因此X也含约数K.但X与Z之间不可约，注意式中3k=K  ，｛3k^2+K*（Z－X）^2／3  +Z*（Z－X）^1／3｝／X=Z／K  －（Z－X）^1／3

勇往直前dp

注意有的3为指数