最初の 20 個の半分にする数列

Halving is the oldest division there is: Egyptian arithmetic multiplied and divided by doubling and halving alone. But this particular run became famous as a paradox. Zeno of Elea, in the fifth century BCE, argued that motion is impossible — to cross a room you must first cross half of it, then half of what is left, then half of that, and since the halves never run out, you can never arrive. Aristotle recorded the argument in the Physics in order to reject it, and it kept its grip for two thousand years, because answering it properly means making sense of adding infinitely many things.

Archimedes had the mathematics long before the vocabulary existed. The Quadrature of the Parabola, written around 250 BCE, measures a parabolic segment by filling it with triangles, each generation a quarter of the area of the one before, and establishes that the total is 4/3 of the first triangle — the series 1 + 1/4 + 1/16 + … summed rigorously by a double contradiction argument rather than by a limit. Fourteenth-century scholars returned to such sums as questions about "proportional parts": Nicole Oresme summed several geometric series of this kind, in the same work in which he proved the harmonic series diverges.

The modern footing came with Augustin-Louis Cauchy, whose Cours d'analyse of 1821 defined the sum of an infinite series as the limit of its partial sums. That is the exact sense in which 1 + 1/2 + 1/4 + … equals 2: the partial sums are 2 − 1/2ⁿ, each one short of 2 by precisely the term just added, so no finite stage ever reaches the total while nothing smaller than 2 can bound them all. A popular story ties the hieroglyphic parts of the Eye of Horus to the fractions 1/2 down to 1/64, which total 63/64; the reading is a modern one and Egyptologists have long disputed it.

主な性質

• Each term is half the one before: the nth term is 1/2ⁿ⁻¹. Every term is positive, the limit is zero, and no term is ever zero.
• The first n terms add to 2 − 1/2ⁿ⁻¹ — short of 2 by exactly the last term added. The infinite sum is 2, the textbook example of a convergent series.
• Dividing by m each step instead gives a total of m/(m − 1): halves reach 2, thirds 3/2, quarters 4/3 — the value Archimedes needed — and tenths 10/9 = 1.(1).
• Each term equals the sum of everything after it: 1/2 = 1/4 + 1/8 + 1/16 + …. In binary that is the identity 0.1 = 0.0111…, two names for the same number.
• 1/2ⁿ has exactly n decimal places and its digits are the digits of 5ⁿ: 1/16 = 0.0625 and 5⁴ = 625. The last digit is always 5.
• In binary the terms are 0.1, 0.01, 0.001, … — the place values to the right of the point, which is why every binary fraction is a sum of them.
• These are the dyadic rationals, the fractions with a power of two underneath. They are exactly the values binary floating point holds without error, which is why 0.5 and 0.25 are exact in every language and 0.1 is not.