>>246
＞そして(※)から(＊)を導出するのは逆にトレースするだけだと言いましたよね？
全然こんなことは書いてないんですけど。
逆にトレースができると書いたのは
D(p^2-1)=0から(a-2b)p^(n+1)+2bp^n-a=0…⑤
同値変換しかしていないので、逆にトレースすると言っても式の順番が全て逆になるだけだが。

何度もしつこいですけど。
pk,qkを決定する→a,bが定まる→方程式⑤の解としてnとpが求まる→nとpが求まれば
y=bp^nによりyが決定する