- What Is an Alternating Series?
- The Alternating Series Test (Leibniz Test)
- The Alternating Series Estimation Theorem
- Interactive Partial-Sum Visualiser
- Absolute vs Conditional Convergence
- The Riemann Rearrangement Theorem
- Convergence Test Strategy
- Worked Examples
- Common Mistakes
- 10-Question Quiz
- Continue in Series & Sequences
§ 01What Is an Alternating Series?
An alternating series is one whose terms change sign with every step: positive, then negative, then positive, and so on forever. That relentless oscillation is both the challenge and the key.
A series alternates when consecutive terms have opposite signs. The standard form uses (−1)n or (−1)n+1 as a sign-flipping factor:
The (−1)n factor simply flips sign; the sequence {bn} of absolute values is what determines convergence behaviour. The two forms differ only in whether the first term is positive or negative: this affects the sign of the partial sums but not convergence.
Canonical examples
The three most famous alternating series are:
The alternating harmonic series is especially important because it illustrates a subtle point: the series converges (to ln 2), yet the corresponding series of absolute values (the ordinary harmonic series Σ 1/n) diverges. This distinction between absolute and conditional convergence is one of the core themes of this page.
§ 02The Alternating Series Test (Leibniz Test)
The Alternating Series Test (AST), also called the Leibniz Test, gives a clean sufficient condition for convergence. It requires only two things about the sequence {bn}:
These three conditions are often compressed into: "the terms are eventually positive, decreasing, and tend to zero." All three are necessary for the test to apply, though failing one of them does not immediately mean the series diverges (except for condition 3, which is the Divergence Test).
Proof sketch — the nesting interval argument
Group partial sums in pairs. The even-indexed partial sums S2n form an increasing sequence, the odd-indexed partial sums S2n+1 form a decreasing sequence, and every even partial sum lies below every odd partial sum. Both sequences are bounded and monotone, so both converge. Since bn → 0, the two limits must be equal, so the full sequence Sn converges to their common value.
The series sum S is sandwiched between the even and odd partial sums at every step. This nesting is precisely what the Estimation Theorem (§03) exploits.
Applying the test — a step-by-step method
- Step 1. Identify bn: the absolute value of the general term.
- Step 2. Check limn→∞ bn. If the limit is not 0, the series diverges by the Divergence Test (stop here).
- Step 3. Check that {bn} is eventually non-increasing. You can do this by showing bn+1/bn ≤ 1 or bn+1 ≤ bn algebraically, or by showing that the function f(x) corresponding to bn has f′(x) ≤ 0 for large x.
- Step 4. If both conditions are satisfied, conclude convergence by the AST.
§ 03The Alternating Series Estimation Theorem
One of the most practical results in all of series theory is the error bound that comes "for free" with the AST. Because the partial sums alternate above and below the true sum, the error from stopping after n terms is controlled by the very next term:
The error in using Sn to approximate the true sum S is no larger than the first omitted term bn+1. Furthermore, the true sum S lies between any two consecutive partial sums:
This error bound is extraordinarily useful: to estimate S to within a given tolerance ε, you simply find the first n such that bn+1 < ε, then compute Sn. No other convergence test offers this kind of automatic error control.
How many terms are needed?
A common exam question is: "how many terms of Σ (−1)n+1/n are needed to approximate ln 2 to within 0.01?" The answer: find n such that bn+1 = 1/(n+1) < 0.01, i.e., n+1 > 100, so n ≥ 100. At least 100 terms are required, a reminder that conditionally convergent series can converge very slowly.
§ 04Interactive Partial-Sum Visualiser
The chart below plots the partial sums Sn of the series Σ (−1)n+1 / np for the first N terms. Watch the zigzag pattern and see how the partial sums close in on the true sum from alternating sides. The gold dashed line marks the true sum (for p=1 this is ln 2 ≈ 0.6931).
Σ (−1)n+1 / np — partial sums Sn
Observe: for larger p the series converges faster (fewer terms needed to reach a given accuracy), because the terms bn = 1/np shrink more quickly. The factorial series converges so fast it reaches its limit almost immediately.
§ 05Absolute vs Conditional Convergence
There are two distinct ways a series can converge. Understanding the difference is essential for working with power series, Taylor series, and rearrangements.
The key theorem: absolute implies convergent
If a series converges absolutely, it also converges in the ordinary sense. The converse is false, a series can converge without converging absolutely (the alternating harmonic series is the canonical counterexample).
How to classify a series
Given an alternating series Σ an, the classification procedure is:
- Test Σ |an| using any convergence test (ratio test, p-series test, comparison, etc.).
- If Σ |an| converges → the original series converges absolutely.
- If Σ |an| diverges → apply the AST to Σ an. If it converges → conditional convergence. If it diverges → diverges altogether.
| Σ |aₙ| | Σ aₙ (via AST) | Conclusion |
|---|---|---|
| Converges | — | Absolutely convergent (and therefore convergent) |
| Diverges | Converges (AST) | Conditionally convergent |
| Diverges | Diverges | Divergent |
Why does the distinction matter?
Absolute convergence is a much stronger property. An absolutely convergent series behaves like a finite sum in almost every way: you can rearrange its terms freely, multiply it by another series term-by-term, and the result is always the same. A conditionally convergent series loses these guarantees: which brings us to one of the most surprising theorems in mathematics.
§ 06The Riemann Rearrangement Theorem
Riemann proved in 1853 that a conditionally convergent series can be rearranged to converge to any real number: or even to diverge to ±∞. This is not a paradox; it is a precise theorem about the fragility of conditional convergence.
The proof is constructive: to converge to L, take enough positive terms to exceed L, then enough negative terms to go below L, then positive again, and so on. Because both the positive parts and the negative parts individually diverge (as they must for conditional convergence), this process never terminates, and the partial sums oscillate ever more closely around L.
For absolutely convergent series, no such pathology occurs: every rearrangement of an absolutely convergent series converges to exactly the same sum. This is the Dirichlet rearrangement theorem, and it is why absolute convergence is the "safe" form.
§ 07Convergence Test Strategy
When you encounter a series that looks like it might alternate, here is the decision flowchart used by experienced problem-solvers:
Testing for absolute convergence first is always wise, because the standard tests (ratio, root, comparison) all work on positive series. If absolute convergence is established, you are done. Only when the absolute series diverges do you need the AST.
§ 08Worked Examples
Eleven fully worked examples covering the AST, the Estimation Theorem, absolute vs conditional convergence, and trickier cases.
- Identify bn = 1/n (positive for all n ≥ 1).
- Check condition 3: limn→∞ 1/n = 0. ✓
- Check condition 2: bn+1 = 1/(n+1) < 1/n = bn. The sequence is strictly decreasing. ✓
- Both AST conditions are satisfied. The series converges.
- Note: Σ |an| = Σ 1/n is the divergent harmonic series, so convergence is conditional.
- bn = n/(n²+1). Clearly bn > 0 for all n ≥ 1.
- limn→∞ n/(n²+1) = lim 1/n = 0. ✓
- Check monotone decrease via f(x) = x/(x²+1). Differentiate:
f'(x) = (x²+1 − x·2x)/(x²+1)² = (1 − x²)/(x²+1)² - For x > 1, f'(x) < 0, so f is decreasing for n ≥ 2. Condition 2 holds eventually. ✓
- Both AST conditions hold. The series converges.
- For absolute convergence: compare bn = n/(n²+1) ~ 1/n → diverges by limit comparison with Σ1/n. So convergence is conditional.
- bn = n/(n+1).
- Check limn→∞ bn = lim n/(n+1) = 1 ≠ 0.
- Since the general term an = (−1)n·n/(n+1) does not → 0, the series diverges by the Divergence Test.
- The AST cannot be applied, condition 3 fails first.
- Test Σ |an| = Σ 1/n².
- This is a p-series with p = 2 > 1. It converges (to π²/6). ✓
- Since the absolute series converges, the original series converges absolutely.
- No need to apply the AST: absolute convergence implies ordinary convergence.
- Compute S4:
S4 = 1/1³ − 1/2³ + 1/3³ − 1/4³ = 1 − 0.125 + 0.03704 − 0.015625 = 0.896415 - By the ASET, |S − S4| ≤ b5 = 1/5³ = 1/125 = 0.008.
- So S ≈ 0.896 with error at most 0.008.
- The true sum is (3/4)ζ(3) ≈ 0.9016: indeed within 0.008 of our estimate.
- By the ASET, the error after n terms is ≤ bn+1 = 1/(n+1)².
- We need 1/(n+1)² < 0.005.
- (n+1)² > 200 ⟹ n+1 > √200 ≈ 14.14.
- So n + 1 ≥ 15, meaning n ≥ 14.
- At least 14 terms are required.
- Test Σ |an| = Σ 1/n! using the Ratio Test:
- lim |an+1/an| = lim 1/(n+1) = 0 < 1. The absolute series converges.
- Therefore the series converges absolutely.
- Note: the sum is e−1 = 1/e, this is the Maclaurin series of ex evaluated at x = −1.
- Check lim bn: odd terms b2k−1 = (2k−1)/(2k) → 1 as k → ∞.
- Since the terms do not → 0, the Divergence Test applies: the series diverges.
- The AST cannot be applied; its third condition fails.
- This example warns that non-obvious sequences may fail condition 3 even when even-indexed subsequences → 0.
- At x = −1: the series is Σ (−1)n/n (alternating harmonic, starting from n=1).
- bn = 1/n; lim bn = 0 ✓; bn strictly decreasing ✓.
- AST applies → converges conditionally to −ln 2.
- At x = +1 the series is Σ 1/n = harmonic series → diverges.
- This illustrates how endpoints of a power series require individual testing, the radius tells us nothing about the endpoints.
- bn = √n/(n+1). Check absolute convergence: compare |an| = √n/(n+1) with 1/√n.
- lim [√n/(n+1)] / (1/√n) = lim n/(n+1) = 1 > 0.
- Since Σ 1/√n is a divergent p-series (p = 1/2 ≤ 1), by limit comparison Σ|an| diverges. Not absolutely convergent.
- Apply AST: lim √n/(n+1) = 0 ✓. Check decreasing: f(x) = √x/(x+1), f'(x) = (1−x)/(2√x(x+1)²) < 0 for x > 1. ✓
- AST applies → conditionally convergent.
- The series Σ (−1)n+1/n converges to ln 2 by the AST.
- The partial sum S99 uses terms n = 1 to 99.
- By the ASET: |ln 2 − S99| ≤ b100 = 1/100 = 0.01.
- The inequality asks for strictly less than 0.01, but in fact the ASET gives ≤ 0.01. For strict inequality, note that the next term b100 = 1/100 and the error is strictly less than b100 (the bound is achieved only in the limit), so the strict inequality holds.
§ 09Common Mistakes
§ 1010-Question Quiz
Select one answer per question and click Check All Answers to see your score and explanations.
§ 11Continue in Series & Sequences
Now that you have mastered the Alternating Series Test and the absolute/conditional convergence distinction, these are the natural next steps in building a complete convergence toolkit.