(a) Let us first prove the base case n=0.
n=0⟹1=1−r1−r0+1=1−r1−r=1Moving on, we prove that the predicate holds for n+1 if it does for n.
1+r+r2+⋯+rn+rn+1=1−r1−rn+1+rn+1=1−r1−rn+1+1−r(1−r)rn+1=1−r1−rn+1+rn+1−rn+2=1−r1−rn+2(b)
S(1−r)=S−Sr=1+r+⋯+rn−(r+r2+⋯+rn+rn+1)=1−rn+1⟹S=1−r1−rn+1