x^n+y^n=(y+1)^nが3,a,bが互いに素であるような分数解(x,y,z)=(a/3,b/3,(b/3)+1)を持つ
ならば必ず整数解を持つ
が正しいかどうかも分からない

正しいのでしょうか？