aとbはpに依存しない定数と定義されているので
(ap-2bp+2b)p^n=a
(a-2b)p^(n+1)+2bp^n-a=0
が任意のpで成立するとすると、a=b=0となり矛盾することが判明しました。