4.3.12Calculus III — Sequences & Series

Ratio test — proof, limitations

1,813 words8 min readdifficulty · medium6 backlinks

WHAT it says

The quantity an+1/an|a_{n+1}/a_n| is the local shrink-ratio. LL is its long-run value.


WHY it works — derivation from scratch

The proof is comparison with a geometric series. We build it ourselves.

Case L<1L<1 (convergence).

Why this step? Because L<1L<1, there's "room" between LL and 11. Pick a number rr in that gap.

Choose rr with L<r<1L < r < 1. By the definition of a limit, since an+1/anL<r|a_{n+1}/a_n|\to L < r, eventually the ratio stays below rr: N such that nN    an+1an<r.\exists\,N \text{ such that } n\ge N \implies \left|\frac{a_{n+1}}{a_n}\right| < r.

Why this step? This is just unpacking the limit: once we're past NN, every shrink-ratio is under rr.

Now chain the inequalities from NN onward: aN+1<raN,aN+2<raN+1<r2aN, |a_{N+1}| < r|a_N|,\quad |a_{N+2}| < r|a_{N+1}| < r^2|a_N|,\ \dots By induction: aN+k<rkaN.|a_{N+k}| < r^k\,|a_N|.

Why this step? Each term is at most rr times the one before, applied kk times gives rkr^k.

So the tail is bounded term-by-term by a geometric series: k=0aN+k  <  aNk=0rk=aN1r<.\sum_{k=0}^{\infty}|a_{N+k}| \;<\; |a_N|\sum_{k=0}^{\infty} r^k = \frac{|a_N|}{1-r} < \infty.

Why this step? rk\sum r^k converges because 0<r<10<r<1. A series whose terms are dominated by a convergent positive series converges (comparison test). Adding the finitely many terms before NN keeps it finite. Hence an\sum a_n converges absolutely. ∎

Case L>1L>1 (divergence).

Choose rr with 1<r<L1 < r < L. Then eventually an+1an>r>1    an+1>an.\left|\frac{a_{n+1}}{a_n}\right| > r > 1 \implies |a_{n+1}| > |a_n|.

Why this step? Terms are growing past NN, so an↛0|a_n|\not\to 0. But a necessary condition for any series to converge is an0a_n\to 0 (the term test). Since that fails, the series diverges. ∎

Figure — Ratio test — proof, limitations

WHY L=1L=1 fails — the limitation

Other limitations:

  • Needs an0a_n\neq 0 (or eventually nonzero).
  • Tells you about absolute convergence; for conditional convergence (e.g. alternating harmonic) when L=1L=1, you need the alternating series test instead.
  • Best for terms with factorials or exponentials (n!n!, rnr^n), where ratios simplify cleanly.

Worked examples



Recall Feynman: explain to a 12-year-old

Imagine you're stacking blocks, and each new block is a fraction of the height of the one before. If every block is always less than, say, half the previous one, your tower stops growing — it reaches a finite height. The ratio test measures that fraction. If the fraction settles below 1, the tower is finite (converges). If it's above 1, blocks get bigger and the tower shoots to infinity (diverges). If the fraction sits exactly at 1, the blocks shrink so slowly we can't tell from the fraction alone whether the tower stops — we need a sharper ruler.


Flashcards

What is the ratio test limit LL?
L=limnan+1anL=\lim_{n\to\infty}\left|\dfrac{a_{n+1}}{a_n}\right|
Ratio test verdict when L<1L<1?
Converges absolutely.
Ratio test verdict when L>1L>1 or L=L=\infty?
Diverges.
Ratio test verdict when L=1L=1?
Inconclusive — gives no information.
Which series does the ratio test compare against in its proof?
A geometric series rk\sum r^k.
In the proof for L<1L<1, how is rr chosen?
Any number with L<r<1L<r<1, so eventually an+1/an<r|a_{n+1}/a_n|<r.
Key inequality giving geometric domination?
aN+krkaN|a_{N+k}|\le r^k|a_N| for nNn\ge N.
Why does L>1L>1 force divergence?
Terms eventually grow, so an↛0a_n\not\to 0, violating the term test.
Two series both with L=1L=1 but opposite behaviour?
1/n\sum 1/n diverges; 1/n2\sum 1/n^2 converges.
What kinds of terms make the ratio test ideal?
Factorials (n!n!) and exponentials (rnr^n).
Ratio of 2n/n!\sum 2^n/n! and its LL?
2n+10\frac{2}{n+1}\to 0, converges.
Ratio of n!/10n\sum n!/10^n and its LL?
n+110\frac{n+1}{10}\to\infty, diverges.
What does the ratio test compute for a power series anxn\sum a_n x^n?
Its radius of convergence (where L<1L<1).
Why must absolute values be kept?
Sign-changing terms can give negative ratios, breaking the geometric bound; test concerns absolute convergence.

Connections

  • Geometric Series — the foundation the proof rests on.
  • Comparison Test — the mechanism that finishes the convergence case.
  • Term Test (nth-term divergence) — what kills the L>1L>1 case.
  • Root Test — sibling test, often succeeds where ratio gives L=1L=1.
  • p-Series and Integral Test — the right tool when ratio test fails (L=1L=1).
  • Radius of Convergence — direct application to power series.
  • Raabe's Test — refinement for the L=1L=1 borderline.

Concept Map

computes

L<1

L>1 or infinity

L=1

proven by

needs r with L

limit def gives

comparison test

because terms grow

geometric bound

Ratio Test

Limit L of shrink-ratio

Converges absolutely

Diverges

Inconclusive

Geometric domination

Room between L and 1

Tail bounded by r^k

Convergent geometric series

Term test fails an not to 0

No fixed r below 1

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, ratio test ka idea bilkul simple hai. Koi bhi infinite series an\sum a_n tab hi finite value pe converge karti hai jab uske terms kaafi tezi se chhote hote jaate hain. Ratio test poochta hai ek hi sawaal: "har agla term pichle term ka kitna guna hai?" Yeh ratio hai an+1/an|a_{n+1}/a_n|, aur iska long-run value ko hum LL kehte hain. Agar L<1L<1, matlab terms har baar ek fixed fraction se chhote ho rahe hain — yeh exactly geometric series jaisa behaviour hai, aur woh converge karti hai. Agar L>1L>1, terms badh rahe hain, toh series diverge kar jaati hai.

Proof ka dil yeh hai: agar L<1L<1, toh ek number rr chuno jo LL aur 11 ke beech ho. Kuch index NN ke baad har ratio rr se chhota ho jaata hai, isliye aN+krkaN|a_{N+k}| \le r^k |a_N|. Yeh ek geometric series se "dominate" ho gaya, aur geometric series converge karti hai jab r<1r<1 — comparison test se kaam ho gaya. L>1L>1 wale case mein terms zero pe nahi jaate, aur koi bhi convergent series ke terms zero pe jaane chahiye, isliye diverge.

Sabse important baat — limitation: jab L=1L=1, test kuch nahi batata. Jaise 1/n\sum 1/n (diverge) aur 1/n2\sum 1/n^2 (converge) — dono ka L=1L=1 hai! Isliye power-law (yaani 1/np1/n^p type) series pe ratio test bekaar hai, wahan p-test ya integral test use karo. Ratio test asli kamaal factorials aur exponentials (jaise n!n!, 2n2^n) pe dikhata hai, kyunki wahan ratio bahut saaf simplify ho jaata hai. Yaad rakho: "Less than one — done, more than one — gone, equals one — no fun!"

Go deeper — visual, from zero

Test yourself — Calculus III — Sequences & Series

Connections