A series is called an Arithmetic-Geometric Progression (A.G.P.) if its nth term is the product of the nth term of an A.P. and the nth term of a G.P. If the A.P. is a,a+d,a+2d,… and the G.P. is 1,r,r2,…, the A.G.P. is
a, (a+d)r, (a+2d)r2, …, [a+(n−1)d]rn−1, …
so its nth term is tn=[a+(n−1)d]rn−1. Such series arise naturally whenever a linearly-growing quantity is discounted or weighted by a geometrically-shrinking (or growing) factor.
Sum to n terms — derivation. Let
S=a+(a+d)r+(a+2d)r2+⋯+[a+(n−1)d]rn−1,r=1.
Following the G.P. strategy of Section 4, multiply throughout by r and align terms one position to the right:
rS=ar+(a+d)r2+⋯+[a+(n−2)d]rn−1+[a+(n−1)d]rn.
Subtracting, every "column" from ar through [a+(n−2)d]rn−1 appears in both lines, but unlike a pure G.P. the terms do not cancel completely — each pairing leaves behind exactly drk, since [a+kd]rk−[a+(k−1)d]rk's partner in the subtraction is what remains after aligning by shift. Carrying out the subtraction carefully term-by-term:
S−rS=a+(dr+dr2+⋯+drn−1)−[a+(n−1)d]rn.
The bracketed middle piece is d times a plain geometric series of (n−1) terms, r+r2+⋯+rn−1=1−rr(1−rn−1) (Section 4's formula, first term r, ratio r, n−1 terms), so
S(1−r)=a+1−rdr(1−rn−1)−[a+(n−1)d]rn.
Dividing throughout by (1−r) gives the boxed result:
Sn=1−ra+(1−r)2dr(1−rn−1)−1−r[a+(n−1)d]rn(r=1).
Although the formula looks heavier than the pure A.P. or G.P. sums, it is built from exactly the same two ideas used in Sections 2 and 4 — reversing/shifting and subtracting — applied one after the other. …