>>434

x^p=x^p*1=(x^p/a)*a
は自明

z^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
(z^p/a)×a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
も自明

z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
を満たすx,y,zの組の存在を調べるのに
{ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{ z^p=(x+y)
この連立式だけを証明すればいい、は全然自明でない、証明が必要
どうして
2={x^(p-1)-x^(p-2)y+…+y^(p-1)}
の場合を調べる必要がないのか、その理由を説明してください。
今の証明にはその説明がないので、間違いです