How Can 1 + 2 + 4 + 8 Equal Negative 1?

TL;DR

An infinite sum equals a number when its finite partial sums approach that number arbitrarily closely. Although 1 + 2 + 4 + 8 does not converge under the familiar notion of distance, a different shift-invariant organization of rational numbers can make powers of two approach zero, giving the divergent series a meaningful connection to negative 1.

Transcript

Take 1 plus 2 plus 4 plus 8 and continue on and on adding the next power of 2 up to infinity. This might seem crazy, but there's a sense in which this infinite sum equals negative 1. If you're like me, this feels strange or obviously false when you first see it, but I promise you, by the end of this video you and I will make it make sense. To do th... Read More

Key Insights

• Infinite sums are defined using finite partial sums and their limiting behavior. No person, computer, or physical process must perform infinitely many additions, because each member of the relevant sequence comes from an ordinary finite calculation.
• Approaching a number means eventually remaining within every chosen distance of it. Merely getting closer is insufficient, since the partial sums approaching one also become closer to two without ever becoming arbitrarily close to two.
• The equation one half plus one fourth plus one eighth and so on equals one follows from successive interval cuts. The finite partial sums move toward one, and their remaining distance can be made smaller than any prescribed positive distance.
• Repeating decimal point nine equals one because its terms form an infinite sum whose partial sums approach one. Within the limit-based definition of infinite series, approaching the value and equaling the value express the same mathematical relationship.
• The geometric-series formula emerges by dividing an interval repeatedly in proportions p and one minus p. The resulting pieces sum to one, producing a formula involving successive powers of p when p lies between zero and one.
• Substituting values outside the original geometric construction creates suggestive but divergent expressions. Setting p to negative one gives an alternating sequence associated with one half, while setting p to two associates 1 + 2 + 4 + 8 and onward with negative one.
• The finite partial sums of powers of two are one less than a power of two. Consequently, treating the entire series as negative one is equivalent to finding a framework in which successive powers of two approach zero.
• A new distance can organize rational numbers through nested rooms instead of their familiar positions on a line. Shift invariance then requires equal differences to have equal distances, determining how positive and negative numbers occupy the hierarchy.

Questions & Answers

Q: How are infinite sums defined using partial sums?

An infinite sum is defined by first creating a sequence of finite partial sums, each obtained by cutting off the expression after finitely many terms. The infinite sum equals x when these partial sums approach x. More precisely, no matter how small a distance from x is selected, every partial sum beyond some point must remain within that distance.

Q: Why does one half plus one fourth and so on equal one?

Place two objects at zero and one, then repeatedly move the first object so that the remaining distance is cut in half. Its successive positions are one half, one half plus one fourth, and one half plus one fourth plus one eighth. These finite sums become arbitrarily close to one, so the corresponding infinite sum equals one by definition.

Q: What does it mean for a sequence to approach a number?

A sequence approaches x when it eventually stays as close to x as anyone requests. For every chosen distance, however tiny, there is a point after which all later terms lie within that distance of x. This condition distinguishes a genuine limit from the weaker observation that the terms merely become closer to some number over time.

Q: Why does point nine repeating equal one?

Repeatedly divide the remaining part of an interval into pieces with sizes nine tenths and one tenth. This produces pieces measuring nine tenths, nine one hundredths, nine one thousandths, and so forth. Their finite sums approach one arbitrarily closely. Since equality for an infinite sum is defined through this limiting behavior, point nine repeating equals one.

Q: How is the geometric-series formula discovered?

Divide an interval into pieces of size p and one minus p, then repeatedly divide the rightmost remaining piece in the same proportions. The collected pieces have sizes one minus p, p times one minus p, p squared times one minus p, and so on, and they total one. Dividing by one minus p produces the formula for successive powers of p.

Q: Why does 1 + 2 + 4 + 8 not converge ordinarily?

Its finite partial sums are 1, 3, 7, 15, 31, and so on, with each sum equal to one less than a power of two. Under the familiar notion of distance on the number line, these values do not approach any number. Therefore, the usual definition of convergence does not assign the series an ordinary sum.

Q: How can 1 + 2 + 4 + 8 be associated with negative one?

The geometric-series expression remains algebraically meaningful when p is replaced by two, even though the original convergence argument only works when p lies between zero and one. Its partial sums are one less than powers of two. Thus, associating the series with negative one is equivalent to adopting a notion of distance in which powers of two approach zero.

Q: What role does a new distance play in this argument?

A new distance changes what it means for rational numbers to be close. The proposed picture places numbers in nested rooms, subrooms, and smaller subrooms, with zero sharing progressively smaller rooms with larger powers of two. Shift invariance requires that adding the same amount to both numbers preserve their distance, which then determines the placement of other positive and negative numbers.

Summary & Key Takeaways

• Infinite addition is defined through finite partial sums, not by physically completing infinitely many operations. A series equals x when, for every chosen distance from x, all sufficiently late partial sums lie within that distance. Under this definition, the successive sums of one half, one fourth, and smaller powers approach and equal one.

• Generalizing the geometric construction produces 1 + p + p squared and further powers, formally associated with 1 divided by 1 minus p. The original construction works when p lies between zero and one, but substituting negative one or two produces divergent expressions that inspire mathematicians to seek broader interpretations instead of discarding them immediately.

• The partial sums of 1 + 2 + 4 + 8 are one less than successive powers of two. Connecting the series to negative one therefore amounts to making powers of two approach zero. This becomes conceivable by replacing ordinary line-based distance with a shift-invariant hierarchy of rooms, subrooms, and progressively smaller subrooms.