Skip to content

Mathematics · Ch 10 — Sequence and Series

Summary

Summary

This chapter built the algebra of sequences and series around two fundamental progressions and the ways they combine.

  • A sequence is an ordered list a1,a2,…a_1,a_2,\ldots generated by a rule (explicit or recursive); a series is the sum of its terms, Sn=∑k=1nakS_n=\sum_{k=1}^n a_k, with an=Sn−Sn−1a_n=S_n-S_{n-1} recovering any term from consecutive sums.
  • An Arithmetic Progression has constant common difference dd: general term an=a+(n−1)da_n=a+(n-1)d; sum to nn terms Sn=n2[2a+(n−1)d]=n2(a+l)S_n=\dfrac n2[2a+(n-1)d]=\dfrac n2(a+l), derived by reversing the sum and adding it to itself.
  • The arithmetic mean of a,ba,b is A=a+b2A=\dfrac{a+b}{2}; nn arithmetic means inserted between aa and bb use common difference d=b−an+1d=\dfrac{b-a}{n+1} and always sum to nAnA.
  • A Geometric Progression has constant common ratio rr: general term an=arn−1a_n=ar^{n-1}; sum to nn terms Sn=a(1−rn)1−rS_n=\dfrac{a(1-r^n)}{1-r} for r≠1r\ne1 (and Sn=naS_n=na if r=1r=1), derived by multiplying the sum by rr and subtracting.
  • The geometric mean of positive a,ba,b is G=abG=\sqrt{ab}; nn geometric means inserted between aa and bb use common ratio r=(b/a)1/(n+1)r=(b/a)^{1/(n+1)} and always multiply to GnG^n.
  • For positive a,ba,b: A≥GA\ge G always, with equality iff a=ba=b — proved from (a−b)2≥0(\sqrt a-\sqrt b)^2\ge0; given AA and GG, the numbers a,ba,b are recovered as the roots of x2−2Ax+G2=0x^2-2Ax+G^2=0.
  • An Arithmetic-Geometric Progression multiplies an A.P. term-by-term by a G.P.; its sum to nn terms, derived by the same multiply-and-subtract idea (applied to a series that no longer fully cancels), is Sn=a1−r+dr(1−rn−1)(1−r)2−[a+(n−1)d]rn1−rS_n=\dfrac{a}{1-r}+\dfrac{dr(1-r^{n-1})}{(1-r)^2}-\dfrac{[a+(n-1)d]r^n}{1-r}, with infinite-sum limit a1−r+dr(1−r)2\dfrac{a}{1-r}+\dfrac{dr}{(1-r)^2} when ∣r∣<1|r|<1. …