Let Sn=a+(a+d)r+(a+2d)r2+⋯+[a+(n−1)d]rn−1. Multiplying by r: rSn=ar+(a+d)r2+(a+2d)r3+⋯+[a+(n−1)d]rn. Subtracting, the differences between successive bracketed terms all become d, leaving a genuine G.P. of (n−1) terms in d, plus the leftover boundary terms: Sn(1−r)=a+dr+dr2+⋯+drn−1−[a+(n−1)d]rn=a+1−rdr(1−rn−1)−[a+(n−1)d]rn. Dividing by (1−r):
Sn=1−ra+(1−r)2dr(1−rn−1)−1−r[a+(n−1)d]rn,r=1.
The sum to infinity of an A.G.P. (when ∣r∣<1, so the last term above vanishes) is S∞=1−ra+(1−r)2dr. …