We use that x+x1≥2 for all x∈R>0. It holds that
(1+ba)m+(1+ab)m=i=0∑m(im)(ba)i+i=0∑m(im)(ab)i=i=0∑m(im)((ba)i+(ab)i)=i=0∑m(im)(biai+aibi)≥i=0∑m(im)⋅2=2m+1.
## Alternative solution.
Apply the inequality of the arithmetic and geometric means to 1 and ba:
1+ba≥2ba
so
(1+ba)m≥(2ba)m
Similarly, of course,
(1+ab)m≥(2ab)m
Now we apply the inequality of the arithmetic and geometric means again:
(2ba)m+(2ab)m≥2(2ba)m⋅(2ab)m=2m+1
This proves the desired result.