princeton.edu
Summation of geometric sequence
Definition
A sequence is a list of numbers or terms. In a geometric sequence, each term is found by multiplying the previous term by a constant non-zero number. For example the geometric sequence \(\{2, 6, 18, 54, \ldots\}\). The general form of a geometric sequence is
The sum of all the terms, is called the summation of the sequence. The summation of an infinite sequence of values is called a series.
Historian Moritz Cantor translated problem 79 from the Rhind Papyrus as
An estate consisted of seven houses; each house had seven cats; each cat ate seven mice; each mouse ate seven heads of wheat; and each heat of wheat was capable of yielding seven hekat measures of grain. Houses, cats, mice, heads of wheat, and hekat measures of grain, how many of these in all were in the estate?
scribe Ahmes, Rhind Papyrus problem #79, translated by Moritz Cantor
The solution in the left column of the Papyrus suggests scribe Ahmes’ understanding of geometric sequences.
object | count | count |
---|---|---|
Houses | \(7\) | \(7^1\) |
Cats | \(49\) | \(7^2\) |
Mice | \(343\) | \(7^3\) |
Heads of wheat | \(2,301\) | \(7^4\) |
Hekat measures | \(16,807\) | \(7^5\) |
sum | \(19,607\) | \(19,607\) |
To find the sum of the sequence \(7, 49, 343, 2401, 16807\), Ahmes approached it as \(7(1+7+49+343+2401)\). Since the sum of the terms inside the parentheses is \(2801\), he only had to multiply this number by \(7\), thinking of \(7\) as \(1+2+4\) so he could use repeated addition to do the multiplication
Since the first term of the geometric sequence \(7\) is equal to the common ratio of multiplication, the finite geometric series can be reduced to multiplications involving the finite series having one less term. In modern notation:
Leonardo Fibonacci (1170-1250 AD) described a similarly amusing problem:
There are seven old women on the road to Rome. Each woman has seven mules; each mule carries seven sacks; each sack contains seven loaves; with each loaf are seven knives; and each knife is in seven sheaths. Women, mules, sacks, loaves, knives and sheaths, how many are there in all on the road to Rome.” Leonardo Fibonacci, Liber Abaci, 1202 AD
Even more recently:
As I was going to St. Ives, I met a man with seven wives; each wife had seven sacks, each sack had seven cats, each cat had seven kits. Kits, cats, sacks, and wives. How many were there going to St. Ives? Traditional nursery rhyme, 1730 AD
In general we write a geometric sequence, where \(a\) is the first term, \(r\) is the common ratio and \(m\) is the total number of terms.
The summation of that geometric sequence is
To find the summation, multiply \(\eqref{eq:finite1}\) by \(r\)
subtract \(\eqref{eq:finite2}\) from \(\eqref{eq:finite1}\), so that all middle terms cancel out
The summation of the geometric sequence follows as
Power series
A power series is the sum of an infinite sequence of the form
where \(a\) are coefficients independent on \(r\), \(c\) is a constant.
In many situations \(c=0\) and the coefficients are the same (\(a_n=a\)), so that power series takes the form
Equation \(\eqref{eq:power0}\) resembles \(\eqref{eq:finitegreometricseries}\) for \(m\to\infty\)
The value of \(r\) in the right term determines when the series converges
The series converges for \(|r|\lt1\), and the formula for the finite geometric series follows
What if \(r\gt 1\)?
Substitute \(r=a^{-1}\) in \(\eqref{eq:geoseries}\)
Apply \(\eqref{eq:gt1}\) to \(\eqref{eq:gt0}\) gives the converging series for \(|r|\gt1\), the so called modified finite geometric series
Exponential function
Power series are often the result of a Taylor series expansion. A Taylor series represents a function as an infinite sum of terms that are calculated from the function’s derivatives at one point.
To do Taylor’s expansion of the function \(\mathrm{e}^x\), we start with its definition
Taylor expansion of \(\mathrm{e}^x\) at \(a=0\) using \(\mathrm{e}^x=\left(\mathrm{e}^x\right)^{\prime}=\left(\mathrm{e}^x\right)^{\prime\prime}=\ldots=\left(\mathrm{e}^x\right)^{(n)}\) and \(\mathrm{e}^0=1\)
So
Therefore, the constant \(\mathrm{e}=\mathrm{e}^1\) is
Sine
Another common power series arises from the Taylor expansion of \(\sin(x)\) at \(x=0\). To expand this, we need to examine the nth derivative of \(sin(x)\) at \(x=0\)
Therefore