The video walks through how the seemingly absurd identity
\[
1+2+4+8+\dots = -1
\]
can be made rigorous by redefining what it means for an infinite sum to “approach” a value.
It starts with the familiar idea of defining an infinite sum as the limit of its finite partial sums, using the ordinary distance on the number line (e.g., ½+¼+⅛+… → 1).
Then it shows that the same limit‑definition works if we replace the usual notion of distance with a **shift‑invariant distance** based on a hierarchy of “rooms”: two numbers are close when they lie in the same small room, where room size is measured by powers of 2.
This distance is the **2‑adic metric**; under it the partial sums 1, 3, 7, 15, 31,… (each one less than a power of 2) truly get arbitrarily close to −1, so the series converges to −1 in the 2‑adic sense.
The construction generalizes to any prime p, giving the family of **p‑adic metrics** and the associated p‑adic numbers, a central tool in modern number theory.
Overall, the piece illustrates a common mathematical pattern: a fuzzy, non‑rigorous observation prompts the invention of new definitions (here, a new distance), which then yields rigorous, useful mathematics and opens the door to further discoveries.
1. The infinite geometric series ½ + ¼ + ⅛ + … converges to 1 in the usual absolute‑value metric.
2. The partial sums of 1 + 2 + 4 + 8 + … are 1, 3, 7, 15, …, which equal 2^{n+1} – 1 after n terms.
3. Adding 1 to each partial sum of 1 + 2 + 4 + … yields the sequence 2, 4, 8, 16, …, the powers of two.
4. In the standard metric, the sequence of partial sums of 1 + 2 + 4 + … does not approach any finite limit.
5. The 2‑adic distance between two rational numbers a and b is defined as 2^{-v_2(a-b)}, where v_2(x) is the exponent of the highest power of 2 dividing x (with v_2(0)=∞ giving distance 0).
6. With the 2‑adic metric, the sequence 1, 3, 7, 15, … converges to –1.
7. Therefore, the series 1 + 2 + 4 + 8 + … equals –1 when interpreted as a limit in the 2‑adic metric.
8. The formal power‑series identity ∑_{k=0}^{∞} p^k = 1/(1-p) holds algebraically; substituting p=2 gives the sum –1.
9. For any prime p, the p‑adic metric is defined analogously using the exponent of p dividing the difference, and it satisfies shift invariance and the triangle inequality.
10. Completing the rational numbers with respect to the p‑adic metric yields the p‑adic number system, which is distinct from the real and complex numbers.
11. Distance can be described by a hierarchy of rooms: two numbers are at distance 2^{-k} if they lie in the same room of level k but not in the same sub‑room of level k+1.
12. In this room model, the size of the smallest shared room determines the distance, reproducing the 2‑adic metric.
13. The repeating decimal 0.999… equals 1 because its partial sums approach 1 in the usual metric, showing that for convergent sums “approach” and “equal” coincide.
14. The usual definition of an infinite sum as the limit of its partial sums fails for divergent series like 1+2+4+… under the standard metric.
15. By changing the underlying notion of distance (e.g., to the 2‑adic metric), previously divergent series can become convergent, demonstrating that convergence depends on the chosen metric.