Architecture of GP sums

#hsc-maths#sequences#advanced

In HSC Mathematics Advanced and Extension 1, sequences and series questions often test your ability to manipulate the sum formula and factorise expressions. This problem explores a neat pattern in geometric series — the ratio of sums — and shows how algebraic factorisation can unlock seemingly complex relationships. By working through it, you’ll gain confidence with difference‑of‑squares factorisation and see how to connect different GPs.

Problem Statement

Let a GP have first term a0a\neq0, ratio r0,±1r\neq 0,\pm1, and partial sums SnS_n.

  • Prove S2nSn=rn+1\dfrac{S_{2n}}{S_n}=r^n+1.
  • Given S12=65S6S_{12}=65S_6 and second term ar=12ar=12, find possible (a,r)(a,r).
  • If Σn\Sigma_n is the partial-sum sequence of a GP with first term aa and ratio r2r^2, show
ΣnSn=rn+1r+1.\frac{\Sigma_n}{S_n}=\frac{r^n+1}{r+1}.

Hints

Use Sn=a(rn1)r1S_n=\dfrac{a(r^n-1)}{r-1} and difference-of-squares factorization.


Solutions

We start with the standard formula for the sum of the first nn terms of a GP: Sn=a(rn1)r1S_n = \frac{a(r^n-1)}{r-1}. Applying this to S2nS_{2n} gives S2n=a(r2n1)r1S_{2n} = \frac{a(r^{2n}-1)}{r-1}. Their ratio simplifies as follows:

S2nSn=r2n1rn1=rn+1.\frac{S_{2n}}{S_n}=\frac{r^{2n}-1}{r^n-1}=r^n+1.

Notice how r2n1r^{2n}-1 factors via difference of squares into (rn1)(rn+1)(r^n-1)(r^n+1), allowing the denominator to cancel neatly, leaving rn+1r^n+1.

We are given S12=65S6S_{12}=65 S_6. Comparing this with our derived identity, we see that with n=6n=6, S2n/Sn=S12/S6=r6+1S_{2n}/S_n = S_{12}/S_6 = r^6+1. So we set up

r6+1=65    r6=64    r=±2r^6+1=65\implies r^6=64\implies r=\pm2.

Since the second term is ar=12ar=12, we substitute r=±2r=\pm 2 to find aa. For r=2r=2, a2=12    a=6a \cdot 2 = 12 \implies a=6. For r=2r=-2, a(2)=12    a=6a \cdot (-2) = 12 \implies a=-6.

Thus the possible pairs are (a,r)=(6,2)(a,r)=(6,2) or (6,2)(-6,-2).

Now consider a new GP with the same first term aa but ratio r2r^2. Its partial sum Σn\Sigma_n is given by the sum formula with ratio r2r^2: Σn=a(r2n1)r21\Sigma_n = \frac{a(r^{2n}-1)}{r^2-1}. We relate this back to SnS_n by writing

Σn=a(r2n1)r21,\Sigma_n=\frac{a(r^{2n}-1)}{r^2-1},

thus

ΣnSn=r2n1(r+1)(rn1)=rn+1r+1.\frac{\Sigma_n}{S_n} =\frac{r^{2n}-1}{(r+1)(r^n-1)} =\frac{r^n+1}{r+1}.

Again, r2n1=(rn1)(rn+1)r^{2n}-1 = (r^n-1)(r^n+1) allows cancellation, giving the final neat form.


Takeaways

  • The ratio S2n/Sn=rn+1S_{2n}/S_n = r^n+1 emerges from difference-of-squares factorisation — a recurring trick in GP problems.
  • Given relationships between partial sums, always try to express them in terms of rnr^n rather than expanding fully.
  • When a GP's ratio is squared, the sum formula simplifies neatly, and you can often connect it back to the original sum via algebraic manipulation.

Further Readings

HSC Polynomials, HSC Sequences, HSC Proofs, HSC Combinatorics

Written by Vu Hung Nguyen

Mathematics Educator · LinkedIn · About