>884
>、>>881でやったように
> 普通に
> (3)が成り立たないけれど、
> (2)が成り立つかもしれないじゃん。
(z^p/a)=(x+y), a={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)'
から式変形して
(z^p/1)=(x+y), 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)'
に持っていってみて。

(z^p/a)=(x+y)の両辺にaを掛けると、
(z^p/1)=(x+y)a、
a={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/1)=(x+y), 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)'
となります。