>>502
式⑤って「ap-2bp+2b=c」のことでしょ。
これをpr^qrで割っても、a'=a/pr^qrを導くことにはならんぞい。
単に、a'=a/pr^qrという一種の定義式を利用して、
a'が式の中に出てくるような形に式⑤を変形するってだけじゃないの。

問題にされてるのは「a'=a/pr^qr」という定義式が、
「a'=Π[k=1,-1r](1+pk+…+pk^qk)」をどう正当化するのかという話でしょ。