>>640
⑤が全てのpで成り立たなければなりませんよ。式変形の結果最後にD=0であれば
D(p^2-1)=0でpは全て真という式が出てきたのですから。

方程式で真となるということはその値は解になりうるということですから。
⑤が恒等的に真になるためには、おかしい結果になりますが、a=0、b=0に
ならなければなりません。