(ab)n=anbn for all n nϵN.
Let p(n) : (ba)n=anbn
For n = 1
(ab)1=a1b1
ab=ab
⇒ P(n) is true for n = 1
Let P(n) is true for n = k
(ab)k=akbk ..........(1)
We have to show that,
(ab)k+1=ak+1.bk+1
Now,
(ab)k+1
=(ab)k(ab)
=(akbk)(ab) [Using equation (1)]
=(ak+1)(bk+1)
⇒ P(n) is true for n = k + 1
⇒ P(n) is true for all n ϵ N by PMI.