Math 2.0

example

Alternating harmonic series

Example

The alternating harmonic series is ∑n=1∞(−1)n+1n=1−12+13−14+⋯ .\sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n} = 1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \cdots. It converges by the alternating series test, since 1/n1/n decreases to 00. Its sum is ln⁡2≈0.6931\ln 2 \approx 0.6931.

Remarks

The series of absolute values is the harmonic series, which diverges. So the convergence is conditional. The value ln⁡2\ln 2 comes from the Mercator series ln⁡(1+x)=x−x2/2+x3/3−⋯\ln(1 + x) = x - x^2/2 + x^3/3 - \cdots at x=1x = 1, with Abel's theorem. By the Riemann rearrangement theorem, a reordering of the terms can give any real sum.

Explanations

L1 human

The partial sums are 1,0.5,0.833,0.583,0.783,…1, 0.5, 0.833, 0.583, 0.783, \dots. They swing around ln⁡2≈0.693\ln 2 \approx 0.693 and close in on it slowly.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 15 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Sequence definition
  2. Real sequence definition
  3. Bounded sequence definition
  4. Limit of a sequence definition
  5. Monotone sequence definition
  6. Series definition
  7. Convergent sequence definition
  8. Monotone convergence theorem for sequences statement
  9. Alternating series definition
  10. Partial sum definition
  11. Alternating series test statement
  12. Convergent series definition
  13. Divergent series definition
  14. Harmonic series example
  15. Alternating harmonic series example

Sources

  1. Web https://en.wikipedia.org/wiki/Natural_logarithm_of_2, Series representations
  2. Web https://en.wikipedia.org/wiki/Harmonic_series_(mathematics), Alternating harmonic series