Infinite Series. If (an) is an infinite sequence, the formal expression a1+a2+⋯ is an infinite series, denoted k=1∑∞ak. As set up in §5.6, its convergence and sum (when it exists) are governed by the limit of the partial-sum sequence sn=a1+⋯+an.
The geometric series ∑xn is the prototype. Taking sn=x0+x1+⋯+xn=1−x1−xn+1 (x=1): since xn→0 exactly when ∣x∣<1, we get sn→1−x1 under that same condition. So:
∑n=0∞xn=1−x1,∣x∣<1,i.e.1−x1=1+x+x2+x3+⋯ (∣x∣<1).
Three companion series follow by substitution:
∑n=0∞(−1)nxn=1+x1, ∣x∣<1 ⟹ 1+x1=1−x+x2−x3+⋯
∑n=0∞(2x)n=1−2x1, ∣x∣<21 ⟹ 1−2x1=1+2x+4x2+8x3+⋯ …