Clearly p(1) and p(2) hold. Assume p(n).
p(n+1)= xn+1+yn+1 = x.xn + y.yn
=x(an+bn−yn)+y.(an+bn−xn)
=(an+bn) (x+y)−xy (xn−1+yn−1)
Now from given relations
(x+y)2−(x2+y2)=(a+b)2−(a2+b2)
∴ 2xy=2ab or xy=ab
Hence from (1)
p(n+1)= (an+bn) (a+b) - ab(an−1+bn−1) by p(n - 1)
=an+1+bn+1
Above shows that p(n+1) also holds good.