Arithmetic and geometric series

For most sequences it is difficult, if not impossible, to find a formula with which the nn-th term sns_n can be calculated. An exception are the series of arithmetic and geometric sequences. We will now discuss these.

Definition 1

Given a sequence

(an)=(a1,a2,...)(a_n)=(a_1, a_2, ...)

The corresponding series

(sn)=(s1,s2,...)(s_n)=(s_1, s_2, ...)

is called

  • an arithmetic series, if (an)(a_n) is an arithmetic sequence.
  • a geometric series, if (an)(a_n) is a geometric sequence.

And here is how we can calculate the sum of the first nn terms of an arithmetic or geometric sequence.

Theorem 1: Arithmetic and geometric sum formulas
Proof

Here are the proofs. Given the sequence

(an)=(a1,a2,...,an,...)(a_n)=(a_1,a_2,...,a_n, ...)

and

sn=a1+a2+...+ans_n=a_1+a_2+...+a_n

Arithmetic summation formula

Let (an)(a_n) be an arithmetic sequence with common difference dd:

a1+da2+da3+d...+dan2+dan1+dan...\begin{array}{lll} a_1 \xrightarrow[]{+d} a_2 \xrightarrow[]{+d} a_3 \xrightarrow[]{+d} ... \xrightarrow[]{+d} a_{n-2} \xrightarrow[]{+d} a_{n-1} \xrightarrow[]{+d} a_n \, ...\end{array}

We now first calculate the twofold of sns_n, and order the terms as follows:

2sn=a1+a2+a3+...+an2+an1+an+an+an1+an2+...+a3+a2+a1\begin{array}{lll} 2s_n &=& a_1 &+& a_2 &+& a_3 & + & ... & + & a_{n-2} &+&a_{n-1} &+ & a_n \\ & + & a_{n} &+& a_{n-1} &+& a_{n-2} & + & ... & + & a_3 &+&a_2 &+ & a_1 \end{array}

Now notice that

a1+an=a2+an1=a3+an2=...a_1+a_n=a_2+a_{n-1}=a_3+a_{n-2} = ...

Indeed, we have

a2+an1=a1+da2+andan1=a1+ana3+an2=a1+2da3+an2dan2=a1+an...\begin{array}{lll} a_2+a_{n-1} & = &\underbrace{a_1+d}_{a_2}+\underbrace{a_n-d}_{a_{n-1}}\\ & = & a_1+a_n\\ a_3+a_{n-2} & = &\underbrace{a_1+2d}_{a_3}+\underbrace{a_n-2d}_{a_{n-2}}\\ & = & a_1+a_n\\ ...&&\\ \end{array}

So we see that we add nn times the term a1+ana_1+a_n.

2sn=n(a1+an)2s_n = n(a_1+a_n)

Thus

sn=n(a1+an)2s_n=\frac{n(a_1+a_n)}{2}

Geometric summation formula

Let (an)(a_n) be a geometric sequence with common quotient qq:

a1qa2qa3q...qan1qan...\begin{array}{lll} a_1 \xrightarrow[]{\cdot q} a_2 \xrightarrow[]{\cdot q} a_3 \xrightarrow[]{\cdot q} ... \xrightarrow[]{\cdot q} a_{n-1}\xrightarrow[]{\cdot q} a_{n}\, ...\end{array}

It is

sn=a1+a2+a3+...+an1+an=a1+a1q+a1q2+...+a1qn2+a1qn1\begin{array}{lll} s_n &=& a_1+a_2+a_3+...+a_{n-1}+a_n\\ &=& a_1 + a_1 q +a_1 q^2 +...+ a_1 q^{n-2} + a_1 q^{n-1} \end{array}

To determine sns_n, we take a diversion, and first determine the sum snqsns_n-q \cdot s_n:

snqsn=a1+a1q+a1q2+...+a1qn2+a1qn1a1qa1q2a1q3...a1qn1a1qn=a1a1qn\begin{array}{lll} s_n-q\cdot s_n &=& a_1+a_1 q+a_1 q^2+...+a_1 q^{n-2}+a_1 q^{n-1}\\ && -a_1 q - a_1 q^2- a_1 q^3 -...-a_1 q^{n-1}-a_1 q^{n}\\ &=& a_1-a_1 q^n \end{array}

We get

snqsn=a1a1qnsn(1q)=a1(1qn)sn=a11qn1q\begin{array}{lll} s_n-q\cdot s_n &=& a_1-a_1 q^n\\ s_n(1-q) &=& a_1(1-q^n)\\ s_n =a_1\frac{1-q^n}{1-q} \end{array}
  1. The n-th term of an arithmetic series is sn=a1+...+an=n(a1+an)2s_n=a_1+...+a_n=\frac{n(a_1+a_n)}{2}
  2. The n-th term of a geometric series is sn=a1+...+an=a11qn1qs_n=a_1+...+a_n=a_1\cdot \frac{1-q^n}{1-q} where qq is the common ratio of the geometric sequence (an)(a_n).

Some examples:

Example 1

Determine the sum of the first

  1. 4545 terms of the sequence (an)=(2,5,8,...)(a_n)=(2,5,8,...).

  2. 2020 terms of the sequence (an)=(1,2,3,4,...)(a_n)=(1,2,3,4, ...).

  3. 1010 terms of the sequence (an)=(2,6,18,54,...)(a_n)=(2,6,18,54,...).

  4. 1212 terms of the sequence (an)=(14,16,19,227,...)(a_n)=(-\frac{1}{4},\frac{1}{6},-\frac{1}{9}, \frac{2}{27},...).

Solution
  1. arithmetic sequence with d=3d=3. So s45=45(2+a45)2s_{45}=\frac{45\cdot(2+a_{45})}{2} and because of a45=2+443=134a_{45}=2+44\cdot 3=134 ist s45=3060s_{45}=\underline{3060}.
  2. arithmetic sequence with d=1d=1 and a20=20a_{20}=20. So s20=20212=210s_{20}=\frac{20\cdot 21}{2}=\underline{210}
  3. geometric sequence with q=3q=3. So s10=2131013=59048s_{10}=2\cdot \frac{1-3^{10}}{1-3}=\underline{59048}
  4. geometric sequence with q=2/3q=-2/3. So s12=141(23)121(23)=0.1488...s_{12}=-\frac{1}{4}\cdot \frac{1-\left(-\frac{2}{3}\right)^{12}}{1-\left(-\frac{2}{3}\right)}=\underline{-0.1488...}
Exercise 1
  1. Find the next two terms of the arithmetic sequence (an)=(0.25,0.32,...)(a_n)=(-0.25, 0.32, ...). What is the sum of the first 2020 terms?

  2. Find the next two terms of the geometric sequence (an)=(3,4,...)(a_n)=(3, -4, ...). What is the sum of the first 2020 terms?

  3. An arithmetic sequence has the value 16.516.5 as the 77th term and the value 2424 as the 1212th term. Find the value of the 2626th term.

  4. The 1010-th element of a geometric sequence has the value 22 and the 1313-th element has the value 1.11.1. Find the value of the 1717th term.

  5. A car has the value 25600.25600.- when new (month one). Every month it loses 90.90.- in value. When will the value of the car fall below 15000.15000.- for the first time?

  6. A computer business expects to sell 2020 of computers in the first month, 2323 in the second month, 2626 in the third month, and so on. How many months will it take for the business to sell a total of 10001000 of computers?

  7. The new value of a car is 340000.340\,000.- (year one). It loses 15%15\% of its value from the previous year every year. After how many years does the value of the car fall below 100000.100\,000.- for the first time?

  8. Draw the terms of the arithmetic sequence (an)=(1,1.5,2,...)(a_n)=(1,1.5,2,...) in a coordinate system as points (nn along the xx-axis, ana_n along the yy-axis). Determine the function equation of the graph that passes through these points.

  9. Draw the terms of the geometric sequence (an)=(1,1.5,2.25,...)(a_n)=(1,1.5,2.25,...) as points in a coordinate system. Determine the function equation of the graph that passes through these points.

Solution
  1. d=0.57d=0.57, a3=0.32+0.57=0.89a_3=0.32+0.57=\underline{0.89}, a4=0.89+0.57=1.46a_4=0.89+0.57=\underline{1.46}. The sum is s20=20(0.25+a20)2s_{20}=\frac{20\cdot (-0.25+a_{20})}{2} and with a20=0.25+190.57=10.58a_{20}=-0.25+19\cdot 0.57 = 10.58 we get s20=103.3s_{20}=\underline{103.3}.
  2. q=a2/a1=4/3=43q=a_2/a_1=-4/3=-\frac{4}{3}, a1=3a_1=3, so a3=a2q=4(4/3)=16/3a_3=a_2\cdot q = -4 \cdot (-4/3)=\underline{16/3}, a4=a3q=(16/3)(4/3)=64/9a_4=a_3\cdot q = (16/3)\cdot(-4/3)=\underline{-64/9}. The sum is s20=31(43)201(43)=404.147...s_{20}=3\cdot \frac{1-(-\frac{4}{3})^{20}}{1-(-\frac{4}{3})}=\underline{-404.147...}
  3. a7=16.5+da8+da9+da10+da11+da12=24a_7=16.5 \xrightarrow[]{+d} a_8 \xrightarrow[]{+d} a_9 \xrightarrow[]{+d} a_{10} \xrightarrow[]{+d} a_{11} \xrightarrow[]{+d} a_{12}=24 Thus 16.5+5d=2416.5+5\cdot d = 24 and d=(2416.5)/5=1.5d=(24-16.5)/5=1.5. So it is a26=a12+141.5=45a_{26}=a_{12}+14\cdot 1.5= \underline{45}.
  4. a10=2qa11qa12qa13=1.1a_{10} = 2 \xrightarrow[]{\cdot q} a_{11} \xrightarrow[]{\cdot q} a_{12} \xrightarrow[]{\cdot q} a_{13}= 1.1 Thus 2q3=1.12\cdot q^3 =1.1, so q=(1.12)1/3=0.551/3q = (\frac{1.1}{2})^{1/3}=0.55^{1/3}. It follows a17=a13q4=1.1(0.55)4/3=0.495...a_{17}=a_{13}\cdot q^4 = 1.1 \cdot (0.55)^{4/3}=\underline{0.495...}.
  5. a1=25600a_1=25600, d=90d=-90. Find nn such that an=a1+(n1)d<15000a_n=a_1+(n-1)d<15000, so 25600090(n1)<15000256000-90(n-1)<15000. We solve the equation 2560090(n1)=1500025600-90(n-1)=15000, so n1=(2560015000)/90=117.7n-1=(25600-15000)/90= 117.7 and hence n=118.7n=118.7. So it happens in month 119\underline{119} (so after 118\underline{118} months).
  6. (an)=20,23,26,...(a_n)=20,23,26,..., so d=3d=3 and an=20+(n1)3a_n=20+(n-1)\cdot 3. Find nn with sn=a1+...+an=1000s_n=a_1+...+a_n=1000, so we have to solve the equation n(20+an)2=1000\frac{n(20+a_n)}{2}=1000. It follows n(20+20+(n1)3)2=n(37+3n)2=1000\frac{n(20+20+(n-1)\cdot 3)}{2}=\frac{n(37+3n)}{2}=1000, and so 3n2+37n2000=03n^2 + 37n-2000=0. Using the midnight formula, we get n1=20.37n_1=20.37 and n2=32.7n_2=-32.7. So it happens in month 2121, so after 20\underline{20} months.
  7. a115%a215%a315%...a_1 \xrightarrow[]{-15\%} a_2 \xrightarrow[]{-15\%} a_3 \xrightarrow[]{-15\%} ... Geometric sequence with a1=340000a_1=340000, a2=3400000.15340000=289000a_2=340000-0.15\cdot 340000=289000, and a3=2890000.15289000=245650a_3=289000-0.15\cdot 289000=245650. So we have q=a2/a1=a3/a2=0.85q=a_2/a_1=a_3/a_2=0.85. Find nn-th term with an=3400000.85n1=100000a_n=340000\cdot 0.85^{n-1}=100000. It follows 0.85n1=100000340000=0.294...0.85^{n-1}=\frac{100000}{340000}=0.294... and thus n=ln(0.294...)ln(0.85)+1=8.5n=\frac{\ln(0.294...)}{\ln(0.85)}+1=8.5 (apply logarithm), i.e. at year 99, so after 8\underline{8} years.
  8. This is typical linear growth, which has been discussed before: y:1+0.51.5+0.52+0.5...+0.5yx:1+12+13+1...+1x\begin{array}{lllcc} y:&& 1 \xrightarrow[]{+0.5} &1.5& \xrightarrow[]{+0.5} &2 &\xrightarrow[]{+0.5}\, ... \xrightarrow[]{+0.5} y\\ x: && 1 \xrightarrow[]{+1} &2 &\xrightarrow[]{+1} &3& \xrightarrow[]{+1}\,... \xrightarrow[]{+1} x\\ \end{array} So we get the linear function f(x)=0.5x+0.5f(x)=\underline{0.5x+0.5} The graph of this function passes through the points of the sequence.
  9. This is typical exponential growth, which has been discussed before: y:11.51.51.52.251.5...1.5yx:1+12+13+1...1.5x\begin{array}{lllcc} y:&& 1 \xrightarrow[]{\cdot 1.5} &1.5& \xrightarrow[]{\cdot 1.5} &2.25 &\xrightarrow[]{\cdot 1.5} \, ...\xrightarrow[]{\cdot 1.5} y\\ x: && 1 \xrightarrow[]{+1} &2 &\xrightarrow[]{+1} &3& \xrightarrow[]{+1}\,...\xrightarrow[]{\cdot 1.5} x\\ \end{array} So we get the exponential function f(x)=1.5x1f(x)=\underline{1.5^{x-1}} The graph of this function passes through the points of the sequence.