>>976
繰り返しになりますが、同じ証明を何度も書き込んでいて、おそらくhttps://rio2016.5ch.net/math/をブラウザで
直接見ているのだと推測しますが、「全部読む」をクリックして、最初からすべての書き込みを読める状態で書き込んでもらえませんか。

そして見えなくなった書き込みに返事がない気がするのですが
>>960は読んでもらえましたか?

>>976も同じ間違いをしています。

>>952では
{ 1/2=(z-y)
{ (x^p/(1/2))=(z+y)
を満たす自然数の解が存在しないことを調べたけど、そんなことを調べても無駄です。

別の説明から、(x^p/(1/2))(1/2)=(z+y)(z-y)…(4)を満たす自然数の解が存在することが証明できます。

連立式を、満たさない、自然数の解が存在しない、成り立たないことをいくら調べても、
そこから何も言えないので証明の役に立たないのです。