Previous Knowledge Required: Sequences and limits (S6).
A sequence
in an ordered list of items. We use the shorthand notation
to refer to the
-th term of the sequence, so that the symbol
refers to a collection:
![]()
Quick Reminder from S6
Sometimes these sequences will be defined explicitly with some formula (possibly depending on
) and sometimes recursively (depending on previous terms of the sequence). We can use any letter
to refer to a specific sequence, and the subscript
refers to the term in that place of the sequence. That is:
refers to the first term of the sequence
and so on. Some sequences may even start from a 0-th term, so that you may also see the notation
to indicate the very first term in the sequence is
.
Example: In an explicitly defined sequence, any term
can be calculated directly using its position index (
), without needing to know the preceding terms. Unlike arithmetic or geometric sequences that rely on constant addition or multiplication, explicit sequences can follow any mathematical function.
Consider the sequence defined explicitly by the non-linear rule:
![]()
Using this explicit rule, the first 8 terms are evaluated directly by substituting the position values
through
for
:
| Position ( |
Direct Substitution Steps | Term Value ( |
|---|---|---|
| 1 | 2 | |
| 2 | 4 | |
| 3 | 8 | |
| 4 | 14 | |
| 5 | 22 | |
| 6 | 32 | |
| 7 | 44 | |
| 8 | 58 |
Therefore, the first 8 terms of this explicit sequence are: 2, 4, 8, 14, 22, 32, 44, 58 and we can replace any
to find more and more terms.
We mentioned it already, but sequences can also be defined using one or more previous terms in the sequence. These are referred to as recursive sequences.
Example: The Fibonacci sequence is a classic example of a recursive sequence. Each term is generated by performing operations on the preceding terms. Specifically, each new number in this pattern is formed by calculating the sum of the two numbers immediately before it.
The sequence is formally defined by the mathematical rule:
![]()
![]()
![]()
Following this recursive blueprint, the first 8 terms are computed as follows:
| Term Symbol | Recursive Calculation Steps | Resulting Value |
|---|---|---|
| Given Initial Baseline | 1 | |
| Given Initial Baseline | 1 | |
| 2 | ||
| 3 | ||
| 5 | ||
| 8 | ||
| 13 | ||
| 21 |
Therefore, the first 8 terms of the standard Fibonacci sequence are: 1, 1, 2, 3, 5, 8, 13, 21 and it continues forever.
You have also learned to do some basic limit calculation, though you will also expand on this topic in S7 when you begin the analysis unit.
Arithmetic Sequences
Definition (Arithmetic Sequence): An arithmetic sequence is a sequence of numbers where the difference between any consecutive terms is a constant value. This constant value is known as the common difference (
).
The sequence can be defined recursively as:
![]()
Alternatively, it can be expressed explicitly using its initial term
as:
![]()
This alternative definition can be concluded very easily by looking at the terms of the sequence. If we add
to go from
to
and then
again to go from
to
then we go from
to
by adding
twice. This is what the 2nd formula is basically saying. To go from
to
we must add
a total of
times.
Example (Arithmetic Sequence): Consider an arithmetic sequence defined by its first term
and a common difference
. Find the first 5 terms of the sequence, and compute the value of the
term (
).
We can also be asked to add terms in a sequence, and in the case of arithmetic sequences, we have a rather quick way of doing so.
Claim (Sum of terms in an Arithmetic Sequence): The sum of the first
terms of an arithmetic sequence, denoted as
, can be evaluated using the first term
and the common difference
.
![]()
Example (Finite Arithmetic Sum): An infrastructure project expands its solar grid capacity incrementally each month. In the first month, they install
solar panels. By the final month of the phase, month
, their operational expansion rate reaches exactly
panels installed that month. Calculate the total number of solar panels installed over this
-month period.
You could also be asked to find terms or the rule that defines an arithmetic sequences and use some of these formulas to understand the connection.
Example: For a given arithmetic sequence, the third term is
(
) and the fifth term is
(
). Find the first term (
), the common difference (
), and state the general explicit rule for this sequence.
Geometric Sequences
Definition (Geometric Sequence): A geometric sequence is a sequence of numbers where each term after the first is found by multiplying the previous term by a fixed, non-zero constant value. This constant value is known as the common ratio (
or
depending on the source).
The sequence can be defined recursively as:
![]()
Alternatively, it can be expressed explicitly using its initial term
as:
![]()
Example (Geometric Sequence): Consider a geometric sequence defined by its first term
and a common ratio
. Find the first 5 terms of the sequence, and compute the value of the
term (
).
Claim (Sum of terms in a Geometric Sequence): The sum of the first
terms of a geometric sequence with common ratio
is given by
. If
, the infinite sum
converges to a fixed limit.
![Rendered by QuickLaTeX.com \[S_n =\sum_{i=1}^n= u_1 \frac{1 - r^n}{1 - r} \quad \text{and} \quad S_\infty = \sum_{i=1}^\infty u_i=\frac{u_1}{1 - r} \,\, \text{for } |r| < 1\]](https://mathematics.lu/wp-content/ql-cache/quicklatex.com-7fa536ca8b3d5c738749150a5ac75b6c_l3.png)
Another way of showing this claim is by using the identity:
![]()
The left-hand side is a geometric sequence, starting from
This yields an explanation to a very interesting phenomenon: we can have an infinite sum, where every term is positive, but the sum is finite. The next example will show this in detail.
Example (Finite and Infinite Geometric Sequence Sums): Consider the geometric sequence defined explicitly by the rule
for
. The first few terms of this sequence are generated as follows:
For this sequence, evaluate the following metrics:
- Find the sum of the first
terms of this sequence:
. - Determine the exact limit of the sum of all terms (
) as the number of terms approaches infinity.
Another way of thinking about this example is the following: Imagine you have a glass of water you want to fill up. At first you fill half of it with water. Then you fill half of what is left (i.e.: thus far you have 3/4 of the glass filled). If you continue like this, you will end up with the glass full, but not overflowing. This is because you are always filling up half of what is left, so at any finite point you will always have a bit left from which only half is filled.
Example: A finite geometric sequence has
terms and a common ratio
. Given that the sum of all terms with an odd index (
) is equal to
, determine the first term (
) of the sequence.
Combining Sequences
Sequences do not necessarily depend exclusively on
, but rather could be defined using other sequences. Here is an example of such a sequence.
Example: Let
be defined by
![Rendered by QuickLaTeX.com \[\begin{cases}u_0 = 1,\\u_{n+1} = 3u_n + 2 \quad (n \ge 0)\end{cases}\]](https://mathematics.lu/wp-content/ql-cache/quicklatex.com-5bc4424dfec4945722ea69cf94bdc7e4_l3.png)
Define a second sequence
by
![]()
- Show that
is a geometric sequence. - Determine its common ratio and first term.
- Find an explicit formula for
. - Deduce an explicit formula for
.
Exercises
Consider an arithmetic sequence defined by its first term
and a common difference
. Solve the following sub-problems:
- 1. Write down the first
terms of this sequence. - 2. State the explicit rule for the general term
of the sequence. - 3. Find the value of the
term (
). - 4. Calculate the sum of the first
terms of this sequence (
).
Consider a geometric sequence defined by its first term
and a common ratio
. Solve the following sub-problems:
- 1. Write down the first
terms of this sequence. - 2. State the explicit rule for the general term
of the sequence. - 3. Find the value of the
term (
). - 4. Calculate the sum of the first
terms of this sequence (
).
Consider a sequence defined explicitly by the rule
for
. Solve the following sub-problems:
- 1. Write down the first
terms of this sequence to observe the initial pattern. - 2. Write an algebraic expression for the next consecutive term,
, in terms of
. - 3. Prove that the sequence is arithmetic by expanding and simplifying the difference expression
. - 4. State the first term (
) and the common difference (
) of this sequence based on your proof.
Consider a sequence defined explicitly by the rule
for
. Solve the following sub-problems:
- 1. Write down the first
terms of this sequence to observe the initial pattern. - 2. Write an algebraic expression for the next consecutive term,
, in terms of
. - 3. Prove that the sequence is geometric by simplifying the quotient expression
using index laws. - 4. State the first term (
) and the common ratio (
) of this sequence based on your proof.
Consider a geometric sequence defined explicitly by the rule
for
. Solve the following sub-problems:
- 1. Write down the first
terms of this sequence to observe the initial scaling. - 2. Identify the first term (
) and the common ratio (
). - 3. State why this geometric sequence is guaranteed to converge as the number of terms approaches infinity.
- 4. Use the infinite sum formula to calculate the sum of all terms.
Let
be defined by the recurrence relation:
![Rendered by QuickLaTeX.com \[\begin{cases}u_0 = 3, \\u_{n+1} = 2u_n + 5 \quad (n \ge 0)\end{cases}\]](https://mathematics.lu/wp-content/ql-cache/quicklatex.com-c52a8f64adade39849c9f4032df3d96f_l3.png)
Define an auxiliary sequence
by the translation rule:
![]()
- 1. Show algebraically that
forms a geometric sequence. - 2. Determine the common ratio (
) and the first term (
) of this sequence framework. - 3. Find an explicit formula for
in terms of
. - 4. Deduce an explicit formula for the original sequence
in terms of
.
Let
be defined by the recurrence relation:
![Rendered by QuickLaTeX.com \[\begin{cases}u_0 = 4, \\ u_{n+1} = 4u_n - 9 \quad (n \ge 0)\end{cases}\]](https://mathematics.lu/wp-content/ql-cache/quicklatex.com-ad8ca9f993764de5b561578ce264c8b5_l3.png)
Define an auxiliary sequence
by the translation rule:
![]()
- 1. Show algebraically that
forms a geometric sequence. - 2. Determine the common ratio (
) and the first term (
) of this sequence framework. - 3. Find an explicit formula for
in terms of
. - 4. Deduce an explicit formula for the original sequence
in terms of
.
Let
be defined by the recurrence relation:
![Rendered by QuickLaTeX.com \[\begin{cases}u_0 = 1,\\ u_{n+1} = 5u_n - 8 \quad (n \ge 0)\end{cases}\]](https://mathematics.lu/wp-content/ql-cache/quicklatex.com-2b61cbbc11730e4cc8538e959f815e5f_l3.png)
Define an auxiliary sequence
by the translation rule:
![]()
- 1. Show algebraically that
forms a geometric sequence. - 2. Determine the common ratio (
) and the first term (
) of this sequence framework. - 3. Find an explicit formula for
in terms of
. - 4. Deduce an explicit formula for the original sequence
in terms of
.
![Rendered by QuickLaTeX.com \[\sum_{i=1}^n = u_1 + (u_1 + d) + (u_1 + 2d) + \dots + \left[u_1 + (n-2)d\right] + \left[u_1 + (n-1)d\right]\]](https://mathematics.lu/wp-content/ql-cache/quicklatex.com-e3b3d356dfa82078dd6fc68a3998f52f_l3.png)
![Rendered by QuickLaTeX.com \[\sum_{i=1}^n = \left[u_1 + (n-1)d\right] + \left[u_1 + (n-2)d\right] + \dots + (u_1 + 2d) + (u_1 + d) + u_1\]](https://mathematics.lu/wp-content/ql-cache/quicklatex.com-529ca6c1d989c8d5b51edab4a575c397_l3.png)
![Rendered by QuickLaTeX.com \[2\sum_{i=1}^n = \underbrace{\left[2u_1 + (n-1)d\right] + \left[2u_1 + (n-1)d\right] + \dots + \left[2u_1 + (n-1)d\right]}_{n \text{ times}}\]](https://mathematics.lu/wp-content/ql-cache/quicklatex.com-cb12e34c94213e57c97cc59a414d150a_l3.png)
![Rendered by QuickLaTeX.com \[2\sum_{i=1}^n = n\left[2u_1 + (n-1)d\right] \implies S_n = \frac{n}{2}\Big[2u_1 + (n-1)d\Big]=\frac{n(u_1+u_n)}{2}\]](https://mathematics.lu/wp-content/ql-cache/quicklatex.com-5704497fff4c45d0ab42f17af9393ecd_l3.png)
![Rendered by QuickLaTeX.com \[\begin{cases} u_3 = u_1 + (3 - 1)d \implies u_1 + 2d = 13 \quad \text{(Eq. 1)} \\ u_5 = u_1 + (5 - 1)d \implies u_1 + 4d = 21 \quad \text{(Eq. 2)} \end{cases}\]](https://mathematics.lu/wp-content/ql-cache/quicklatex.com-3ca78034607c3052070c144f0d4dbc81_l3.png)
![Rendered by QuickLaTeX.com \[S_8 = 1 \cdot \frac{1 - \left(\frac{1}{2}\right)^8}{1 - \frac{1}{2}} = \frac{1 - \frac{1}{256}}{\frac{1}{2}}\]](https://mathematics.lu/wp-content/ql-cache/quicklatex.com-e56aa2ac7d1b873bc1e8131092b2a8d6_l3.png)