Series

1.1: Arithmetic Series and Sequences

Definition (Arithmetic Series and Sequences)

An arithmetic series is a1+a2+a3a_{1}+a_{2}+a_{3}\ldots where aiai1=da_{i}-a_{i-1}=d for some constant dd and all i2i\ge 2. Note that an arithmetic series refers to the sum while an arithmetic sequence refers to the ordered list of terms.1

Using this definition, we can now derive some formulas for each term and the series.

Theorem (Formula For Term)

If aia_{i} is iith term of an arithmetic sequence with common difference dd, then ai=a1+(i1)da_{i}=a_{1}+(i-1)d.

Now, we'll present some common formulas for arithmetic series and sequences. These all easily follow from the previous formula but it's useful to know them to quickly manipulate arithmetic series.

Theorem (Arithmetic Average)

In an arithmetic series aia_{i}, an+am=2an+m2a_{n}+a_{m}=2a_{\frac{n+m}{2}} if n+mn+m is even.

In other words, the arithmetic average of two terms is the term with an index that is the arithmetic average of the two other terms' indexes. Visually, the term in the very middle of the two terms is the arithmetic average.

Proof

We have an=a1+(n1)da_{n}=a_{1}+(n-1)d and am=a1+(m1)da_{m}=a_{1}+(m-1)d. Then, an+am=2a1+(n+m2)d=2(a1+(n+m21)d)=2an+m2a_{n}+a_{m}=2a_{1}+(n+m-2)d=2(a_{1}+(\frac{n+m}{2}-1)d)=2a_{\frac{n+m}{2}}

Theorem (Arithmetic Sequence and Series)

For an arithmetic sequence aia_{i}, a1+a2+an=a1+an2na_{1}+a_{2}\ldots + a_{n}=\frac{a_{1}+a_{n}}{2}\cdot n.

Proof

Note that we can pair up aia_{i} and an+1ia_{n+1-i} to get a1+(i1)d+a1+(ni)d=2a1+(n1)da_{1}+(i-1)d+a_{1}+(n-i)d=2a_{1}+(n-1)d. There is a special case that if nn is odd and i=n+12i=\frac{n+1}{2}, we can't pair up that term with itself. However, an+12=a1+n12da_{\frac{n+1}{2}}=a_{1}+\frac{n-1}{2}d so it still averages out as 12\frac{1}{2} of a pair.

Then, we have n2\frac{n}{2} pairs (if nn is odd, we have a "half" pair which is just the term a1+n2=a1+an2a_{\frac{1+n}{2}}=\frac{a_{1}+a_{n}}{2}). So, our total sum is n2(a1+an)=a1+an2n\frac{n}{2}\cdot (a_{1}+a_{n})=\frac{a_{1}+a_{n}}{2}\cdot n.

Theorem (Arithmetic Series)

If the common difference is dd in arithmetic sequence aia_{i}, a1+a2+an=na1+d((n1)(n)2)a_{1}+a_{2}\ldots + a_{n}=n\cdot a_{1}+d(\frac{(n-1)(n)}{2}).

Proof

We use the previous theorem a1+a2+ana_{1}+a_{2}\ldots + a_{n} =a1+an2n=\frac{a_{1}+a_{n}}{2}\cdot n =a1+a1+(n1)d2n=\frac{a_{1}+a_{1}+(n-1)d}{2}\cdot n =a1n+d((n1)(n)2)=a_{1}\cdot n + d(\frac{(n-1)(n)}{2})

Most of time, problems with arithmetic series require only simple algebraic manipulation to solve.

Example
(NanoMath Fall Meet 2020)

Let a0,a1,a2,a_0, a_1, a_2, \ldots be an arithmetic sequence of positive integers. If a0+a1++a10=209a_0 + a_1 + \cdots + a_{10} = 209 and aa0+aa1++aa10=671a_{a_{0}} + a_{a_{1}} + \cdots + a_{a_{10}} = 671, then find a0a_0.

Solution

Using our series formula on a0+a1++a10=209a_0 + a_1 + \cdots + a_{10} = 209 gives that 11a0+a102=209    a0+a10=38    2a0+10d=3811\cdot \frac{a_{0}+a_{10}}{2}=209\implies a_{0}+a_{10}=38\implies 2a_{0}+10d=38.

Now, aa0+aa1++aa10=671a_{a_{0}}+a_{a_{1}} + \cdots + a_{a_{10}} = 671 11a0+(a0+a1+a10)d=67111a_{0}+(a_{0}+a_{1}\cdots + a_{10})d=671 11a0+209d=67111a_{0}+209d=671

Now, using the first equation, 11a0+55d=20911a_{0}+55d=209. Then, subtracting from the second equation, 154d=462    d=3154d=462\implies d =3. So, a0=4a_{0}={4}.

Footnotes

  1. Sometimes, an arithmetic sequence or series starts with index 00, making it zero-indexed. The same formulas still apply but you will have to adjust the indexes accordingly.