>>248
同値変形してもどってきたのは

((cp^n)-c(p^n+…+1))p^(n+1)+c(p^n+…+1)p^n-(cp^n)=0…(※)

までは戻ってきましたね？
それはお互い確認しましたよね？
たしかにこれは全ての p で成立しますよ？
でもあなたの主張は

(Π(1+pk+…+pk^qk) - 2(Πpk^qk))p^(n+1)+2(Πpk^qk)p^n-Π(1+pk+…+pk)^qk=0…⑤

まで戻れる、でしたよね？
あなたの主張通りのa,bを代入した式です。
もちろん p が元の y から作った p ならコレも成立しますよ。
それは認めてます。
でもあなたの主張はコレが任意の p でも(※)から⑤に戻れるでしたよね？
でこの係数
(Π(1+pk+…+pk^qk) - 2(Πpk^qk))
2(Πpk^qk)
-Π(1+pk+…+pk^qk)
は p について定数だから全部 0 というのがあなたの主張でしたよね？
(※)から⑤を導いて下さい。