Theory 1

Ratio Test (RaT)

Applicability: Any series with nonzero terms.

Test Statement:

Suppose that |an+1an|L as n.

Then:

L<1:n=1anconverges absolutelyL>1:n=1andivergesL=1or DNE:test inconclusive

Extra - Ratio Test - a deeper look

To understand the ratio test better, first consider this series:

n=02nn!=1+21!+222!+233!+
  • The term 233! is created by multiplying the prior term by 23.
  • The term 244! is created by multiplying the prior term by 24.
  • The term an is created by multiplying the prior term by 2n.

When n>3, the multiplication factor giving the next term is necessarily less than 23. Therefore, when n>3, the terms shrink faster than those of a geometric series having r=23. Therefore this series converges.

Similarly, consider this series:

n=010nn!=1+101!+1022!+1033!+

Write Rn=anan1 for the ratio from the prior term an1 to the current term an. For this series, Rn=10n.

This ratio falls below 1011 when n>11, after which the terms necessarily shrink faster than those of a geometric series with r=1011. Therefore this series converges.

The main point of the discussion can be stated like this:

RnL<1asn

Whenever this is the case, then eventually the ratios are bounded below some r<1, and the series terms are smaller than those of a converging geometric series.

Extra - Ratio Test proof

Let us write Rn=|an+1an| for the ratio to the next term from term n.

Suppose that RnL as n, and that L<1. This means: eventually the ratio of terms is close to L; so eventually it is less than 1.

More specifically, let us define r=L+12. This is the point halfway between L and 1. Since RnL, we know that eventually Rn<r.

Any geometric series with ratio r converges. Set c=aN for N big enough that RN<r. Then the terms of our series satisfy |aN+n|crn, and the series starting from aN is absolutely convergent by comparison to this geometric series.

(Note that the terms a1,,aN1 do not affect convergence.)

Theory 2

Root Test (RooT)

Applicability: Any series.

Test Statement:

Suppose that |an|1/nL as n.

Then:

L<1:n=1anconverges absolutelyL>1:n=1andivergesL=1or DNE:test inconclusive

Extra - Root test: explanation

The fact that |an|1/nL and L<1 implies that eventually |an|1/n<L+12 for all high enough n. Set r=L+12 (the midpoint between L and 1).

Now, the equation |an|1/n<r is equivalent to the equation |an|<rn.

Therefore, eventually the terms |an| are each less than the corresponding terms of this convergent geometric series:

n=1rn=1+r+r2+r3+