Arithmetico-geometric sequence
# Arithmetico-geometric sequence

Part of a series of articles about :

Calculus :

Fundamental theorem

Limits

Continuity

Rolle's theorem

Mean value theorem

Inverse function theorem :

Differential

Definitions

Derivative (generalizations)

Differential

infinitesimal

of a function

total

Concepts

Differentiation notation

Second derivative

Implicit differentiation

Logarithmic differentiation

Related rates

Taylor's theorem

Rules and identities

Sum

Product

Chain

Power

Quotient

L'Hôpital's rule

Inverse

General Leibniz

Faà di Bruno's formula

Reynolds :

Integral

Lists of integrals

Integral transform

Leibniz integral rule

Definitions

Antiderivative

Integral (improper)

Riemann integral

Lebesgue integration

Contour integration

Integral of inverse functions

Integration by

Parts

Discs

Cylindrical shells

Substitution (trigonometric, tangent half-angle, Euler)

Euler's formula

Partial fractions

Changing order

Reduction formulae

Differentiating under the integral sign

Risch algorithm :

Series

Geometric (arithmetico-geometric)

Harmonic

Alternating

Power

Binomial

Taylor

Convergence tests

Summand limit (term test)

Ratio

Root

Integral

Direct comparison

Limit comparison

Alternating series

Cauchy condensation

Dirichlet

Abel :

Vector

Gradient

Divergence

Curl

Laplacian

Directional derivative

Identities

Theorems

Gradient

Green's

Stokes'

Divergence

generalized Stokes :

Multivariable

Formalisms

Matrix

Tensor

Exterior

Geometric

Definitions

Partial derivative

Multiple integral

Line integral

Surface integral

Volume integral

Jacobian

Hessian :

Advanced

Calculus on Euclidean space

Generalized functions

Limit of distributions :

Specialized

Fractional

Malliavin

Stochastic

Variations :

Miscellaneous

Precalculus

History

Glossary

List of topics

Integration Bee

Mathematical analysis

Nonstandard analysis :

vte :

In mathematics, arithmetico-geometric sequence is the result of term-by-term multiplication of a geometric progression with the corresponding terms of an arithmetic progression. Put plainly, the nth term of an arithmetico-geometric sequence is the product of the nth term of an arithmetic sequence and the nth term of a geometric one. Arithmetico-geometric sequences arise in various applications, such as the computation of expected values in probability theory. For instance, the sequence

    ${\dfrac {\color {blue}{0}}{\color {green}{1}}},\ {\dfrac {\color {blue}{1}}{\color {green}{2}}},\ {\dfrac {\color {blue}{2}}{\color {green}{4}}},\ {\dfrac {\color {blue}{3}}{\color {green}{8}}},\ {\dfrac {\color {blue}{4}}{\color {green}{16}}},\ {\dfrac {\color {blue}{5}}{\color {green}{32}}},\cdots$

is an arithmetico-geometric sequence. The arithmetic component appears in the numerator (in blue), and the geometric one in the denominator (in green).

The summation of this infinite sequence is known as an arithmetico-geometric series, and its most basic form has been called Gabriel's staircase:

    $\sum _{k=1}^{\infty }{\color {blue}k}{\color {green}r^{k}}={\frac {r}{(1-r)^{2}}},\quad \mathrm {for\ } 0<r<1$

The denomination may also be applied to different objects presenting characteristics of both arithmetic and geometric sequences; for instance the French notion of arithmetico-geometric sequence refers to sequences of the form $u_{n+1}=au_{n}+b$, which generalise both arithmetic and geometric sequences. Such sequences are a special case of linear difference equations.

## Terms of the sequence

The first few terms of an arithmetico-geometric sequence composed of an arithmetic progression (in blue) with difference $d$ and initial value $a$ and a geometric progression (in green) with initial value $b$ and common ratio $r$ are given by:

    ${\begin{aligned}t_{1}&=\color {blue}a\color {green}b\\t_{2}&=\color {blue}(a+d)\color {green}br\\t_{3}&=\color {blue}(a+2d)\color {green}br^{2}\\&\ \,\vdots \\t_{n}&=\color {blue}[a+(n-1)d]\color {green}br^{n-1}\end{aligned}}$

### Example

For instance, the sequence

    ${\dfrac {\color {blue}{0}}{\color {green}{1}}},\ {\dfrac {\color {blue}{1}}{\color {green}{2}}},\ {\dfrac {\color {blue}{2}}{\color {green}{4}}},\ {\dfrac {\color {blue}{3}}{\color {green}{8}}},\ {\dfrac {\color {blue}{4}}{\color {green}{16}}},\ {\dfrac {\color {blue}{5}}{\color {green}{32}}},\cdots$

is defined by $d=b=1$, $a=0$, and $r=1/2$.

## Sum of the terms

The sum of the first n terms of an arithmetico-geometric sequence has the form

    ${\begin{aligned}S_{n}&=\sum _{k=1}^{n}t_{k}=\sum _{k=1}^{n}\left[a+(k-1)d\right]br^{k-1}\\&=ab+[a+d]br+[a+2d]br^{2}+\cdots +[a+(n-1)d]br^{n-1}\\&=A_{1}G_{1}+A_{2}G_{2}+A_{3}G_{3}+\cdots +A_{n}G_{n},\end{aligned}}$

where $A_{i}$ and $G_{i}$ are the ith terms of the arithmetic and the geometric sequence, respectively.

This sum has the closed-form expression

    ${\begin{aligned}S_{n}&={\frac {ab-(a+nd)\,br^{n}}{1-r}}+{\frac {dbr\,(1-r^{n})}{(1-r)^{2}}}\\&={\frac {A_{1}G_{1}-A_{n+1}G_{n+1}}{1-r}}+{\frac {dr}{(1-r)^{2}}}\,(G_{1}-G_{n+1}).\end{aligned}}$

### Proof

Multiplying,

    $S_{n}=a+[a+d]r+[a+2d]r^{2}+\cdots +[a+(n-1)d]r^{n-1}$

by r, gives

    $rS_{n}=ar+[a+d]r^{2}+[a+2d]r^{3}+\cdots +[a+(n-1)d]r^{n}.$

Subtracting $rS_n$ from $S_n,$ and using the technique of telescoping series gives

    ${\begin{aligned}(1-r)S_{n}=&\left[a+(a+d)r+(a+2d)r^{2}+\cdots +[a+(n-1)d]r^{n-1}\right]\\[5pt]&-\left[ar+(a+d)r^{2}+(a+2d)r^{3}+\cdots +[a+(n-1)d]r^{n}\right]\\[5pt]=&a+d\left(r+r^{2}+\cdots +r^{n-1}\right)-\left[a+(n-1)d\right]r^{n}\\[5pt]=&a+d\left(r+r^{2}+\cdots +r^{n-1}+r^{n}\right)-\left(a+nd\right)r^{n}\\[5pt]=&a+dr\left(1+r+r^{2}+\cdots +r^{n-1}\right)-\left(a+nd\right)r^{n}\\[5pt]=&a+{\frac {dr(1-r^{n})}{1-r}}-(a+nd)r^{n},\end{aligned}}$

where the last equality results of the expression for the sum of a geometric series. Finally dividing through by 1 − r gives the result.

## Infinite series

If −1 < r < 1, then the sum S of the arithmetico-geometric series, that is to say, the sum of all the infinitely many terms of the progression, is given by

    ${\begin{aligned}S&=\sum _{k=1}^{\infty }t_{k}=\lim _{n\to \infty }S_{n}\\&={\frac {ab}{1-r}}+{\frac {dbr}{(1-r)^{2}}}\\&={\frac {A_{1}G_{1}}{1-r}}+{\frac {dG_{1}r}{(1-r)^{2}}}.\end{aligned}}$

If r is outside of the above range, the series either

* diverges (when r > 1, or when r = 1 where the series is arithmetic and a and d are not both zero; if both a and d are zero in the later case, all terms of the series are zero and the series is constant)
* or alternates (when r ≤ −1).

### Example: application to expected values

For instance, the sum

    $S={\dfrac {\color {blue}{0}}{\color {green}{1}}}+{\dfrac {\color {blue}{1}}{\color {green}{2}}}+{\dfrac {\color {blue}{2}}{\color {green}{4}}}+{\dfrac {\color {blue}{3}}{\color {green}{8}}}+{\dfrac {\color {blue}{4}}{\color {green}{16}}}+{\dfrac {\color {blue}{5}}{\color {green}{32}}}+\cdots$,

being the sum of an arithmetico-geometric series defined by $d=b=1$, $a=0$, and $r={\frac {1}{2}}$, converges to $S=2$.

This sequence corresponds to the expected number of coin tosses before obtaining "tails". The probability $T_{k}$ of obtaining tails for the first time at the kth toss is as follows:

    $T_{1}={\frac {1}{2}},\ T_{2}={\frac {1}{4}},\dots ,T_{k}={\frac {1}{2^{k}}}$.

Therefore, the expected number of tosses is given by

    $\sum _{k=1}^{\infty }kT_{k}=\sum _{k=1}^{\infty }{\frac {\color {blue}k}{\color {green}2^{k}}}=S=2$ .
