Let (√3+1)2m = I + f
and (√3−1)2m = f' where 0 < f' < 1
and 0 < f' < 1 and I is an integer.
Thus I + f + f' = (√3+1)2m+(√3−1)2m
= (4+2√3)m+(4−2√3)m
= 2m[(2+√3)m+(2−√3)m]
= 2m+1[2m+mC2.2m−2.(√3)2+.....]
Now as in part (a) f + f' = 1 and so I + f + f' is an integer next above (√3+1)2m which by (1) contains 2m+1 as a factor.