Check out the discovery

Each column sums to 16. The five columns total 80, but we count the sequence twice; its sum is 40. In general, 2Sₙ = n(a₁ + aₙ), even when n is odd.

In the previous post, we talked a little about the history and ideas about arithmetic progression. In this post, we will delve deeper into the concept.

Arithmetic progression

Squares from 1 to 5 with variable differences 3, 5, 7 and 9.
Compare with a PA: recognizing a pattern does not guarantee constant ratio.

Definition:

An arithmetic progression (A.P.) is called a sequence given by the following recurrence formula:

$$ \begin{cases} a_1 = a \\ a_{n} = a_{n-1} + r, \text{ para todo } n \in\mathbb{N}, n\geq 2 \end{cases} $$

where $a$ and $r$ are given real numbers.

Thus, an A.P. is a sequence in which each term, starting from the second, is the sum of the previous one with a given constant $r$.

Here are some examples of arithmetic progressions:

$$f_1 = (1, 3, 5, 7, 9, \dots) \text{ onde } a_1= 1 \text{ e } r = 2$$

$$f_2 = (0, -2, -4, -6, -8, \dots) \text{ onde } a_1 = 0 \text{ e } r = -2$$

$$f_3 = (4, 4, 4, 4, 4, \dots) \text{ onde } a_1= 4 \text{ e } r = 0$$

$$f_4 = (\frac{1}{2}, \frac{3}{2}, \frac{5}{2}, \frac{7}{2}, \frac{9}{2}, \dots) \text{ onde } a_1 = \frac{1}{2} \text{ e } r = 1$$

$$f_5 = (4, \frac{11}{3}, \frac{10}{3}, 3, \frac{8}{3}, \dots) \text{ onde } a_1 = 4 \text{ e } r = -\frac{1}{3}$$

Classification

Three progressions with ratios 3, 0 and minus 2.
Classify using ratio; justify the constant case.

Arithmetic progressions can be classified into three categories:

  1. Crescent are the A.P. in which each term is greater than the previous one. AND It is immediate that this only occurs if $r > 0$, because:
$$a_n > a_{n-1} \Leftrightarrow a_n - a_{n-1} > 0 \Leftrightarrow r > 0$$

Examples: $f_1$ and $f_4$.

  1. Constants are the A.P. in which each term is equal to the previous one. It’s easy to see This only occurs when $r = 0$, because:
$$a_n = a_{n-1} \Leftrightarrow a_n - a_{n-1} = 0 \Leftrightarrow r = 0$$

Example: $f_3$.

  1. Decreasing are the A.P. in which each term is smaller than the previous one. This only occurs if $r < 0$, because:
$$a_n < a_{n-1} \Leftrightarrow a_n - a_{n-1} < 0 \Leftrightarrow r < 0$$

Examples: $f_2$ and $f_5$.

Special notations

When we seek to obtain a P.A. with 3, 4 or 5 terms, it is very practical the following notation:

  1. for 3 terms: $(x, x + r, x + 2r)$ or $(x - r, x, x + r)$
  2. for 4 terms: $(x, x + r, x + 2r, x + 3r)$ or $(x - 3y, x - y, x + y, x + 3y)$, where $y = \frac{r}{2}$
  3. for 5 terms: $(x, x + r, x + 2r, x + 3r, x + 4r)$ or $(x - 2r, x - r, x, x + r, x + 2r)$

Exercise: Determine $x$ so that $(x, 2x + 1, 5x + 7)$ is a P.A.

Solution

We should have $a_2 - a_1 = a_3 - a_2$. Then:

$$(2x + 1) - x = (5x + 7) - (2x + 1) \quad\Rightarrow\quad x + 1 = 3x + 6 \quad\Rightarrow\quad x = -\frac{5}{2}$$

Exercise: Determine $a$ so that $(a^2, (a + 1)^2, (a + 5)^2)$ is a P.A.

Solution

We must have $a_2 - a_1 = a_3 - a_2$, that is, $2a_2 = a_1 + a_3$. Then:

$$2(a + 1)^2 = a^2 + (a + 5)^2 \quad\Rightarrow\quad 2a^2 + 4a + 2 = 2a^2 + 10a + 25 \quad\Rightarrow\quad -6a = 23 \quad\Rightarrow\quad a = -\frac{23}{6}$$

Exercise: Obtain an A.P. of three terms such that their sum is 24 and their product is 440.

Solution

Using the special notation $(x - r, x, x + r)$ for P.A., we have:

\begin{cases} (x-r) + x + (x+r)=24 \quad (*)\\ (x-r) ~.~ x ~.~ (x+r)=440 \quad (**) \end{cases}

From (*) we obtain $3x = 24$, that is, $x = 8$. Replacing in (**), we get:

$$(8 - r) ~.~ 8 ~.~ (8 + r) = 440 \quad\Leftrightarrow \quad 64 - r^2 = 55 \quad\Leftrightarrow\quad r^2 = 9 \quad\Leftrightarrow\quad r = \pm 3$$

Thus, the P.A. sought is:

$(5, 8, 11)$ to $x = 8$ and $r = 3$, or $(11, 8, 5)$ to $x = 8$ and $r = -3$.

General term formula

Graph points of the sequence 2, 5, 8, 11 and 14.
The positions are natural positives. That’s why the sequence graph has separate points.

Using the recurrence formula by which a P.A. is defined and assuming given the first term ($a_1$), the ratio ($r$) and the index ($n$) of a desired term, we have:

\begin{eqnarray*} a_2 &=& a_1 + r \\ a_3 &=& a_2 + r \\ a_4 &=& a_3 + r \\ &\vdots& \\ a_n &=& a_{n-1} + r \end{eqnarray*}

Adding these $n-1$ equalities, we have:

\begin{eqnarray*} \underbrace{ \color{red}{a_2 + a_3 + a_4 + \dots + a_{n-1} } }_{\text{cancel} } + a_n = a_1 + \underbrace{ \color{red}{a_2 + a_3 + a_4 + \dots + a_{n-1} } }_{\text{cancel} } + (n-1) ~.~ r \end{eqnarray*}

and then $a_n = a_1 + (n-1) ~.~ r$, which suggests the following

Theorem

In A.P. where the first term is $a_1$ and the ratio is $r$, the nth term is

$$a_n = a_1 + (n-1) ~.~ r$$

Proof by the principle of finite induction

I) For $n = 1$, we have: $a_1 = a_1 + (1-1) ~.~ r$ (true sentence).

II) Let us admit the validity of the formula for $n = p$:

$$a_p = a_1 + (p-1) ~.~ r \quad \text{(hipótese de indução)}$$

and we prove that it holds for $n = p + 1$:

$$a_{p+1} = a_p + r = (a_1 + (p-1) ~.~ r) + r = a_1 + [(p + 1) - 1] ~.~ r$$

So, $a_n = a_1 + (n-1) ~.~ r, \ \forall n \in \mathbb{N}^*$.

Exercises

  1. Calculate the 17th term of the A.P. whose first term is 3 and whose ratio is 5.

Solution

Noting that $a_1 = 3$ and $r = 5$, let us apply the general term formula:

$$a_{17} = a_1 + 16r = 3 + 16 ~.~ 5 = 83$$
  1. Obtain the ratio of A.P. where the first term is $-8$ and the twentieth is $30$.

Solution

$$a_{20} = a_1 + 19r \quad\Rightarrow\quad 30 = -8 + 19r \quad\Rightarrow\quad r = 2$$
  1. Get the P.A. at which $a_{10} = 7$ and $a_{12} = -8$.

Solution

To write the P.A. it is necessary to determine $a_1$ and $r$. We have:

\begin{cases} a_{10} = 7 \quad\Rightarrow\quad a_1 + 9r = 7 \quad (*)\\ a_{12} = -8 \quad\Rightarrow\quad a_1 + 11r = -8 \quad (**) \end{cases}

Solving the above system, we have:

  1. $(**) - (*)$: $\ 2r = -15 \quad\Rightarrow\quad r = -\frac{15}{2}$
  2. in $(*)$: $\ a_1 + 9 ~.~ \left(-\frac{15}{2}\right) = 7 \quad\Rightarrow\quad a_1 = \frac{149}{2}$

and therefore the P.A. is $\left(\frac{149}{2}, \frac{134}{2}, \frac{119}{2}, \dots\right)$.

Choose the first term, the reason and how many terms you want. Turn on Gauss’s trick to see the sum.

Arithmetic Interpolation

Five terms from 5 to 17, with three means and four ranges.
Entering 3 means creates 4 ranges. Use this count to calculate the ratio.

In every finite sequence $(a_1, a_2, \dots, a_{n-1}, a_n)$, the terms $a_1$ and $a_n$ are called extremes and the others are called middles. Thus, in P.A. $(0, 3, 6, 9, > 12, 15)$ the extremes are $0$ and $15$, while the means are $3, 6, 9$ and $12$.

Interpolate, insert or interleave $k$ arithmetic means between the numbers $a$ and $b$ means obtaining a P.A. of extremes $a_1 = a$ and $a_n = b$, with $n = k + 2$ terms. To determine the means of this P.A. it is necessary to calculate the ratio, which is done like this:

$$a_n = a_1 + (n-1) ~.~ r \quad\Rightarrow\quad b = a + (k+1) ~.~ r \quad\Rightarrow\quad r = \frac{b-a}{k+1}$$

Example: Interpolate 5 arithmetic means between 1 and 2.

Let’s form a P.A. with 7 terms where $a_1 = 1$ and $a_7 = 2$. We have:

$$a_7 = a_1 + 6 ~.~ r \quad\Rightarrow\quad r = \frac{a_7 - a_1}{6} = \frac{2-1}{6} = \frac{1}{6}$$

so the P.A. is

$$\left(1, \frac{7}{6}, \frac{8}{6}, \frac{9}{6}, \frac{10}{6}, \frac{11}{6}, 2\right)$$

Sum

Extreme pairs of a five-term PA with sum 16.
Justify 2Sₙ = n(a₁ + aₙ) by writing the sequence in two orders.

Let’s derive a formula to calculate the sum $S_n$ of the $n$ initial terms of a P.A.

Theorem 1

The sum of $n$ first positive integers is $\frac{n(n+1)}{2}$.

Proof by finite induction

I) For $n = 1$, we have: $1 = \frac{1(1 + 1)}{2}$ (true sentence).

II) Let us admit the validity of the formula for $n = p$:

$$1 + 2 + 3 + \dots + p = \frac{p(p + 1)}{2}$$

and we prove that it holds for $n = p + 1$:

$$1 + 2 + 3 + \dots + p + (p+1) = \frac{p(p + 1)}{2} + (p + 1) = \frac{p(p + 1) + 2(p + 1)}{2} = \frac{(p + 1)(p + 2)}{2}$$

Then $1 + 2 + 3 + \dots + n = \frac{n(n+1)}{2}, \ \forall n \in \mathbb{N}^*$.

Example: The sum of the 50 initial terms of the sequence of positive integers is:

$$1 + 2 + 3 + \dots + 50 = \frac{50(50 + 1)}{2} = 25 \times 51 = 1275$$

Using the general term formula, we can calculate the sum $S_n$ of the $n$ initial terms of the P.A. $(a_1, a_2, \dots, a_n, \dots)$.

Theorem 2

In all P.A. there is: $S_n = na_1 + \frac{n(n-1)}{2} ~.~ r$

Demo

\begin{cases} a_1 = a_1 \\ a_2 = a_1 + r \\ a_3 = a_1 + 2r \\ \dots \\ a_n = a_1 + (n-1)r \end{cases}

Adding these equalities:

$$a_1 + a_2 + a_3 + \dots + a_n = \underbrace{(a_1 + a_1 + \dots + a_1)}_{n \text{ parcelas}} + (r + 2r + \dots + (n-1)r) = na_1 + [1 + 2 + \dots + (n-1)] ~.~ r$$

By the Theorem 1, $1 + 2 + \dots + (n-1) = \frac{(n-1)n}{2}$; then,

$$a_1 + a_2 + a_3 + \dots + a_n = na_1 + \frac{(n-1) n}{2} ~.~ r$$

that is:

$$S_n = na_1 + \frac{n(n-1)}{2} ~.~ r$$

Theorem 3

In all P.A. there is: $S_n = \frac{n(a_1 + a_n)}{2}$

Demo

$$S_n = na_1 + \frac{n(n-1)}{2} r = \frac{2na_1 + n(n-1)r}{2} = \frac{n[2a_1 + (n-1)r]}{2} = \frac{n[a_1 + a_1 + (n-1)r]}{2} = \frac{n(a_1 + a_n)}{2}$$

Examples

  1. The sum of the 15 initial terms of A.P. $(-2, 1, 4, 7, \dots)$ is:
$$S_{15} = 15 ~.~ (-2) + \frac{15 ~.~ 14}{2} ~.~ 3 = -30 + 315 = 285$$
  1. The sum of the integer multiples of 2 from 4 to 100 can be calculated by noting that $(4, 6, 8, \dots, 100)$ is an A.P. of 49 terms where $a_1 = 4$ and $a_{49} = 100$:
$$S_{49} = \frac{49(4 + 100)}{2} = 49 \times 52 = 2548$$

Laboratory: recognize, calculate and check

In the training below, three missions appear: discover the reason, calculate a term and add terms. Write down your strategy before checking. The difficulty changes the number of terms considered. The questions in this activity use natural terms and ratios, including zero.

A round has 10 AP challenges. Use aₙ = a₁ + (n − 1)r and Sₙ = n(a₁ + aₙ)/2 when necessary.

Challenge: when do terms stop being natural?

A PA starts at 9 and has reason −2. Write the first six terms. Up to what position are all terms still natural?

Check out the investigation

The terms are 9, 7, 5, 3, 1 and −1. The first five are natural; the sixth is already negative. The position remains a positive natural, even when the value of the term is not natural.