This page is the exhaustive worked-example companion to the parent topic . The parent gave you the tools (the Ratio Test , the Root Test , the master limsup formula). Here we make sure no situation can surprise you — we list every kind of case the topic can throw, then hit each one with a fully worked example.
Intuition Why a "scenario matrix" at all?
A power series has only a handful of personalities . It can have a tiny radius (R = 0 ), an infinite radius (R = ∞ ), or a finite one. If finite, its two endpoints each independently either hold or break , and they can break in different ways (p-series , alternating , divergence). Occasionally the Ratio Test itself refuses to answer and only the root/limsup tool survives. Cover all of those once and you have covered everything .
Each row below is one case class . The rightmost column names the example that lands in that cell.
#
Case class
What is special
Covered by
C1
R = 0 (degenerate)
converges only at centre
Ex 1
C2
R = ∞
converges everywhere , no endpoints
Ex 2
C3
Finite R , both endpoints diverge
open interval ( a − R , a + R )
Ex 3
C4
Finite R , one endpoint holds, one breaks
half-open interval
Ex 4
C5
Finite R , both endpoints hold
closed interval [ a − R , a + R ]
Ex 5
C6
Centre a = 0 , negative sign in coefficients
shifted, sign bookkeeping
Ex 4, Ex 6
C7
Ratio Test silent , limsup wins
oscillating coefficients
Ex 7
C8
Gap series (x 2 n , only even powers)
substitution trick
Ex 8
C9
Word problem (real-world quantity)
interpret R physically
Ex 9
C10
Exam twist — nested/combined
derivative of a series
Ex 10
Mnemonic The endpoint quartet
A finite-R series is classified entirely by its two endpoints : (hold, hold) = [ , ] ; (hold, break) = [ , ) ; (break, hold) = ( , ] ; (break, break) = ( , ) . Four shapes, nothing else.
The figure below draws exactly those four shapes on one number line. Every row is a finite interval centred at a with the same radius R ; the only difference between rows is the endpoints. A filled dot means "this endpoint is included" (the series converges there); an open (hollow) dot means "excluded" (it diverges there). Read the four coloured bars top to bottom and you have seen every possible outcome a finite radius can produce — the examples on this page each land in one of these rows.
Worked example Ex 1 · cell C1 —
n = 0 ∑ ∞ n n x n
Forecast: the coefficients n n grow savagely fast. Do you think this converges for a big set of x , a small set, or almost nothing?
Step 1. Identify centre and coefficients: a = 0 , c n = n n .
Why this step? Everything downstream measures distance from the centre a ; here the series is written in plain x n , so a = 0 .
Step 2. Use the Root Test because n n n simplifies exactly (a coefficient that is itself an n -th power is tailor-made for the n -th root, which cancels the outer power — the Ratio Test would leave a messy ( 1 + n 1 ) n factor instead).
n ∣ c n ∣ ∣ x ∣ n = n n n ⋅ ∣ x ∣ = n ∣ x ∣.
Why this step? n n n = n exactly — the root undoes the n -th power.
Step 3. Take the limit: for any fixed x = 0 , n ∣ x ∣ → ∞ > 1 , so the series diverges for every x = 0 .
Why this step? The Root Test says diverge when the limit exceeds 1 ; here it exceeds 1 for all n large.
Step 4. At x = 0 every term after the first is 0 , so it converges (to 0 0 = 1 by convention). Hence R = 0 , interval = { 0 } .
Verify: 1/ R = lim sup n n n = lim sup n = ∞ , and 1/∞ convention gives R = 0 . ✓ Matches.
Worked example Ex 2 · cell C2 —
n = 0 ∑ ∞ ( 2 n )! x n
Forecast: factorials in the denominator crush terms. Guess: finite R or infinite R ?
Step 1. a = 0 , c n = 1/ ( 2 n )! . Use the Ratio Test — factorials cancel beautifully as ratios.
Why this step? ( 2 n + 2 )! ( 2 n )! is a small finite product, ideal for the ratio.
Step 2.
a n a n + 1 = ∣ x ∣ n / ( 2 n )! ∣ x ∣ n + 1 / ( 2 n + 2 )! = ( 2 n + 1 ) ( 2 n + 2 ) ∣ x ∣ .
Why this step? ( 2 n + 2 )! = ( 2 n + 2 ) ( 2 n + 1 ) ( 2 n )! , so the ratio of factorials is ( 2 n + 1 ) ( 2 n + 2 ) 1 .
Step 3. As n → ∞ this → 0 < 1 for every x . So it converges everywhere: R = ∞ .
Why this step? Limit is 0 , always below 1 , regardless of x — no endpoint check exists (there are no finite endpoints).
Verify: at x = 1 the number series ∑ 1/ ( 2 n )! = cosh ( 1 ) ≈ 1.5431 , a finite value — consistent with convergence. ✓ (Writing x = t 2 shows this is the Maclaurin series of cosh ( t ) = cosh ( x ) ; note the argument is x , not x .)
Worked example Ex 3 · cell C3 —
n = 0 ∑ ∞ 3 n ( x − 5 ) n
Forecast: this is a Geometric Series in disguise, ratio 3 x − 5 . What is R , and what happens at the two ends?
Step 1. a = 5 , c n = 1/ 3 n . Rewrite: ∑ ( 3 x − 5 ) n — a geometric series with ratio r = 3 x − 5 .
Why this step? Recognising the Geometric Series form gives the answer instantly: it converges iff ∣ r ∣ < 1 .
Step 2. ∣ r ∣ < 1 ⟺ ∣ x − 5∣ < 3 ⇒ R = 3 , open interval ( 2 , 8 ) .
Why this step? Geometric convergence is exactly ∣ r ∣ < 1 ; solving the distance inequality gives the radius.
Step 3. Endpoint x = 8 : r = 1 , series is ∑ 1 n = 1 + 1 + 1 + ⋯ — diverges (terms don't → 0 ).
Endpoint x = 2 : r = − 1 , series is ∑ ( − 1 ) n — diverges (terms don't → 0 ).
Why this step? At ∣ x − a ∣ = R the Ratio Test is silent, so we substitute; both give terms that fail the divergence test.
Step 4. Both ends break ⇒ open interval ( 2 , 8 ) .
Verify: at the midpoint x = 5 (centre) sum = ∑ 0 n = 1 , finite ✓. At x = 6 , r = 1/3 , sum = 1 − 1/3 1 = 2 3 , finite ✓.
Worked example Ex 4 · cells C4, C6 —
n = 1 ∑ ∞ n 5 n ( − 1 ) n ( x + 4 ) n
Forecast: centre is negative, and there's an alternating sign. Predict the shape: [ ) , ( ] , [ ] or ( ) ?
Step 1. a = − 4 (because x + 4 = x − ( − 4 ) ), c n = n 5 n ( − 1 ) n .
Why this step? Always read the centre as the value of x that makes the base zero : x + 4 = 0 ⇒ x = − 4 .
Step 2. Ratio Test on ∣ a n ∣ = n 5 n ∣ x + 4 ∣ n :
a n a n + 1 = 5 ∣ x + 4∣ ⋅ n + 1 n → 5 ∣ x + 4∣ .
Why this step? The ∣ x + 4 ∣ n collapses to one factor, 5 n to a 5 1 , and n + 1 n → 1 .
Step 3. Converge when 5 ∣ x + 4∣ < 1 ⇒ ∣ x + 4∣ < 5 ⇒ R = 5 , interval ( − 9 , 1 ) .
Why this step? The Ratio Test guarantees (absolute) convergence exactly when the ratio limit is below 1 ; setting 5 ∣ x + 4∣ < 1 and solving isolates the distance ∣ x + 4∣ < 5 , whose bound is the radius R = 5 and whose solution set is the interval ( a − R , a + R ) = ( − 9 , 1 ) .
Step 4. Endpoint x = 1 : ∣ x + 4∣ = 5 , term = n 5 n ( − 1 ) n 5 n = n ( − 1 ) n — alternating harmonic, converges by the Alternating Series Test (terms ↓ 0 ). This is conditional convergence.
Endpoint x = − 9 : x + 4 = − 5 , term = n 5 n ( − 1 ) n ( − 5 ) n = n ( − 1 ) n ( − 1 ) n = n 1 — the harmonic p-series with p = 1 , diverges .
Why this step? The two endpoints are genuinely different series; you must substitute each and pick the right test.
Step 5. Left breaks, right holds ⇒ ( − 9 , 1 ] .
Verify: x = − 9 collapses the two signs ( − 1 ) n ( − 1 ) n = 1 , giving the divergent harmonic series ✓. x = 1 gives ∑ ( − 1 ) n / n = − ln 2 ≈ − 0.693 , finite ✓.
Worked example Ex 5 · cell C5 —
n = 1 ∑ ∞ n 2 ( x − 1 ) n
Forecast: the n 2 in the denominator is strong . Guess whether both endpoints survive.
Step 1. a = 1 , c n = 1/ n 2 . Use the Ratio Test here: the coefficient is a simple power n − 2 , so the ratio c n c n + 1 = ( n + 1 ) 2 n 2 is a clean rational function with an obvious limit — far easier than taking n 1/ n 2 , which needs the n 1/ n → 1 fact.
a n a n + 1 = ∣ x − 1∣ ⋅ ( n + 1 ) 2 n 2 → ∣ x − 1∣.
Why this step? ( n + 1 ) 2 n 2 → 1 , so the whole limit is just ∣ x − 1∣ .
Step 2. Converge when ∣ x − 1∣ < 1 ⇒ R = 1 , interval ( 0 , 2 ) .
Step 3. Endpoint x = 2 : ∑ 1/ n 2 — p-series with p = 2 > 1 , converges .
Endpoint x = 0 : ∑ ( − 1 ) n / n 2 — converges absolutely (its absolute version is the same p = 2 series) by absolute convergence .
Why this step? When p > 1 the p-series holds; the sign in front cannot break an already-absolutely-convergent series.
Step 4. Both hold ⇒ [ 0 , 2 ] .
Verify: x = 2 gives ∑ 1/ n 2 = π 2 /6 ≈ 1.6449 , finite ✓. x = 0 gives ∑ ( − 1 ) n / n 2 = − π 2 /12 ≈ − 0.8225 , finite ✓.
Worked example Ex 6 · cell C6 —
n = 0 ∑ ∞ 2 n ( n + 1 ) ( 3 − x ) n
Forecast: the base is 3 − x , not x − 3 . Does that flip anything? Where is the centre?
Step 1. Note 3 − x = − ( x − 3 ) , so ( 3 − x ) n = ( − 1 ) n ( x − 3 ) n . Centre a = 3 .
Why this step? Factoring out ( − 1 ) n shows the true centre and reveals a hidden alternating sign at one endpoint — a classic trap.
Step 2. Ratio Test on ∣ a n ∣ = 2 n ( n + 1 ) ∣ x − 3 ∣ n :
a n a n + 1 = 2 ∣ x − 3∣ ⋅ n + 2 n + 1 → 2 ∣ x − 3∣ .
Step 3. 2 ∣ x − 3∣ < 1 ⇒ R = 2 , interval ( 1 , 5 ) .
Why this step? The Ratio Test delivers convergence precisely when its limit is less than 1 ; the inequality 2 ∣ x − 3∣ < 1 rearranges to the distance condition ∣ x − 3∣ < 2 , whose bound is the radius R = 2 and whose solution is the interval ( a − R , a + R ) = ( 1 , 5 ) .
Step 4. Endpoint x = 5 : 3 − x = − 2 , term = 2 n ( n + 1 ) ( − 2 ) n = n + 1 ( − 1 ) n — alternating, converges (Alternating Series Test ).
Endpoint x = 1 : 3 − x = 2 , term = 2 n ( n + 1 ) 2 n = n + 1 1 — harmonic (shifted), diverges .
Step 5. ( 1 , 5 ] .
Verify: x = 1 gives ∑ n + 1 1 = harmonic tail, diverges ✓. x = 5 gives ∑ n + 1 ( − 1 ) n = ln 2 ≈ 0.693 , finite ✓.
Intuition What "Cauchy–Hadamard" means (and why we need a name)
When the Ratio Test limit fails to exist , we still want a formula for R that never breaks . The Cauchy–Hadamard formula is that master rule from the parent note:
R 1 = lim sup n → ∞ n ∣ c n ∣ .
The limsup (the largest value the n -th roots keep returning to) always exists in [ 0 , ∞ ] , even when the ordinary limit does not. That is the whole point of giving it a name: it is the one radius formula guaranteed to work in every case, ratio-friendly or not.
Worked example Ex 7 · cell C7 — coefficients
c n = { 3 n 1 n even n odd , series ∑ c n x n
Forecast: the ratio ∣ c n + 1 / c n ∣ will swing wildly. Can the Ratio Test give R here at all?
Step 1. Compute the ratio: from even→odd it's 3 n 1 (tiny), from odd→even it's 3 n + 1 (huge). No limit exists.
Why this step? This demonstrates the Ratio formula's failure mode directly.
Step 2. Switch to the master root /limsup tool (the Cauchy–Hadamard formula above), which always exists:
n ∣ c n ∣ = { n 3 n = 3 n 1 = 1 n even n odd
Why this step? The n -th root converts the 3 n into a constant 3 , taming the oscillation.
Step 3. The values cluster at { 1 , 3 } ; the largest cluster point is lim sup n ∣ c n ∣ = 3 .
Why this step? The limsup is the largest limit of any subsequence — here 3 .
Step 4. Cauchy–Hadamard: R = lim sup n ∣ c n ∣ 1 = 3 1 , open-so-far interval ( − 3 1 , 3 1 ) .
Step 5. Endpoints x = ± 3 1 : look at the even terms alone, c 2 k x 2 k = 3 2 k x 2 k = ( 3 x ) 2 k . At x = ± 3 1 this is ( ± 1 ) 2 k = 1 for every k , so infinitely many terms equal 1 and do not tend to 0 . The divergence test fails ⇒ the series diverges at both endpoints .
Why this step? At ∣ x ∣ = R neither test formula applies, so we inspect the terms directly; a subsequence of terms staying at 1 already kills convergence.
Step 6. Both ends break ⇒ interval ( − 3 1 , 3 1 ) .
Verify: 1/ R = 3 ⇒ R = 1/3 . Sanity: the even terms 3 n x n = ( 3 x ) n form a geometric part needing ∣3 x ∣ < 1 ⟺ ∣ x ∣ < 1/3 — exactly R = 1/3 , and at ∣ x ∣ = 1/3 that geometric part has ratio ∣3 x ∣ = 1 , diverging. ✓
Worked example Ex 8 · cell C8 —
n = 1 ∑ ∞ n 9 n x 2 n
Forecast: there is no x 2 n + 1 term. Does R come out as ∣ x ∣ < something or x 2 < something ?
Step 1. Substitute u = x 2 . Then the series is ∑ n 9 n u n , an ordinary power series in u .
Why this step? Gap series in x 2 n become standard series once you rename x 2 as a single variable.
Step 2. Ratio Test in u : a n a n + 1 = 9 ∣ u ∣ ⋅ n + 1 n → 9 ∣ u ∣ . Converge when ∣ u ∣ < 9 .
Why this step? The u n cancels to one factor, 9 n to 9 1 , and n + 1 n → 1 ; the Ratio Test converges when this limit is below 1 , which is exactly ∣ u ∣ < 9 .
Step 3. Translate back: ∣ u ∣ = ∣ x 2 ∣ = x 2 < 9 ⇒ ∣ x ∣ < 3 . So R = 3 , interval ( − 3 , 3 ) in x .
Why this step? x 2 < 9 ⟺ ∣ x ∣ < 3 ; the radius in x is the square root of the radius in u .
Step 4. Endpoints x = ± 3 : then x 2 = 9 , term = n 9 n 9 n = n 1 — harmonic, diverges at both ends.
Why this step? Even powers make both endpoints give the same value x 2 = 9 , so they behave identically.
Step 5. ( − 3 , 3 ) .
Verify: x 2 = 9 gives ∑ 1/ n , diverges ✓. At x = 1 : ∑ n 9 n 1 = − ln ( 1 − 1/9 ) = ln ( 9/8 ) ≈ 0.1178 , finite ✓.
Worked example Ex 9 · cell C9 — a settling deposit
A financial model pays, in year n , an amount proportional to n r n where r = 20 x − 100 measures how far the interest offset x (in the same units) sits from the baseline 100 . The total value is V ( x ) = n = 1 ∑ ∞ n 2 0 n ( x − 100 ) n . For which x does the total stay finite (the model doesn't blow up)?
Forecast: the "safe operating range" is an interval around x = 100 . Guess its width.
Step 1. a = 100 , c n = 1/ ( n 2 0 n ) . Ratio Test : 20 ∣ x − 100∣ ⋅ n + 1 n → 20 ∣ x − 100∣ .
Why this step? Same mechanics as Ex 4/6; the offset centre is 100 .
Step 2. Converge when ∣ x − 100∣ < 20 ⇒ R = 20 , interval ( 80 , 120 ) .
Why this step? R = 20 is the maximum offset from the baseline x = 100 before the total diverges — the model's tolerance.
Step 3. Endpoint x = 120 : ∑ n 2 0 n 2 0 n = ∑ n 1 — diverges (model blows up exactly at the top edge).
Endpoint x = 80 : ∑ n 2 0 n ( − 20 ) n = ∑ n ( − 1 ) n — alternating, converges (bottom edge is safe).
Step 4. Safe range [ 80 , 120 ) : the offset may go down by 20 (inclusive) but must stay strictly below +20.
Verify: x = 80 gives ∑ ( − 1 ) n / n = − ln 2 ≈ − 0.693 , finite ✓. x = 120 gives harmonic, diverges ✓. Radius = 20 matches ∣ c n / c n + 1 ∣ = n 2 0 n ( n + 1 ) 2 0 n + 1 → 20 ✓.
Worked example Ex 10 · cell C10 —
f ( x ) = n = 1 ∑ ∞ n x n ; find R of f ′ ( x )
Forecast: Term-by-term differentiation changes the coefficients. Does it change the radius ?
Step 1. f has a = 0 , c n = 1/ n ; its Ratio Test radius is R = lim ∣ c n / c n + 1 ∣ = lim n n + 1 = 1 .
Why this step? Establish the original radius so we can compare.
Step 2. Differentiate term by term: f ′ ( x ) = ∑ n = 1 ∞ n n x n − 1 = ∑ n = 1 ∞ x n − 1 = ∑ m = 0 ∞ x m .
Why this step? d x d n x n = x n − 1 ; reindex m = n − 1 to read off the new series — a plain Geometric Series .
Step 3. The derivative is geometric with ratio x , so its radius is also R = 1 .
Why this step? The theorem guarantees the radius is unchanged by differentiation — endpoints may change but R does not.
Step 4. Endpoint check (they DO differ): f itself has interval [ − 1 , 1 ) (x = − 1 converges, x = 1 harmonic diverges). But f ′ = ∑ x m diverges at both x = ± 1 , interval ( − 1 , 1 ) .
Why this step? Same radius, narrower interval — a favourite exam gotcha.
Verify: f ′ ( x ) = 1 − x 1 (geometric sum) for ∣ x ∣ < 1 , and indeed d x d ( − ln ( 1 − x ) ) = 1 − x 1 — consistent, since ∑ x n / n = − ln ( 1 − x ) . ✓ Radius 1 for both ✓.
Recall Which shape? Match series to interval
∑ n 2 ( x − 2 ) n → interval shape? ::: Closed [ 1 , 3 ] — p = 2 holds at both ends.
∑ 3 n ( x − 2 ) n → interval shape? ::: Open ( − 1 , 5 ) — geometric, both ends give ∑ ( ± 1 ) n , diverge.
Ratio ∣ c n + 1 / c n ∣ oscillates — which tool? ::: The root/limsup Cauchy–Hadamard formula 1/ R = lim sup n ∣ c n ∣ .
A gap series ∑ a n x 2 n with u -radius 9 — radius in x ? ::: 9 = 3 .
Does differentiating term-by-term change R ? ::: No — R is preserved; only endpoints may change.
Common mistake The reindex trap in gap series
Why it feels right: you get ∣ u ∣ < 9 and are tempted to write "R = 9 ". The catch: u = x 2 , so R in x is 9 = 3 , not 9 . Fix: always translate u back to x before quoting the radius.