>>292日高が正しいなら（たぶん）次も正しい。

【定理】pが奇素数のとき、x^p+7y^p=z^pは、0を除く有理数の解を持たない。
【証明】x^p+7y^p=z^pを、z=x+rとおいてx^p+7y^p=(x+r)^p…(1)とする。
(1)の両辺を積の形にすると、r^(p-1){7(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+7y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)はrが無理数なので、yが有理数のとき、xは無理数となる。xが有理数のとき、yは無理数となる。
∴pが奇素数のとき、x^p+7y^p=z^pは、0を除く有理数の解を持たない。

反例はp=3,x=y=1,z=2。