# Proof of the formula $1+x+x^2+x^3+ \cdots +x^n =\frac{x^{n+1}-1}{x-1}$ [duplicate]

Possible Duplicate:
Value of $\sum x^n$

Proof to the formula $$1+x+x^2+x^3+\cdots+x^n = \frac{x^{n+1}-1}{x-1}.$$

-

## marked as duplicate by J. M., Srivatsan, t.b., Asaf Karagila, Martin SleziakDec 31 '11 at 8:33

A proof is sketched here. – J. M. Nov 24 '10 at 14:59
Can someone please fix the exponent in the title and content? – user02138 Nov 24 '10 at 18:37
– lhf Nov 25 '10 at 0:13
Proven inter alia in math.stackexchange.com/questions/29023/value-of-sum-xn/… – Arturo Magidin Apr 7 '11 at 15:17
This is Euclid book IX, proposition 35: aleph0.clarku.edu/~djoyce/java/elements/bookIX/propIX35.html – Ben Crowell Dec 31 '11 at 4:33

Let $S=1+x+x^2+...+x^n$. Then, $xS=x+x^2+...+x^{n+1}=1+x+x^2+...+x^n+(x^{n+1}-1)=S+x^{n+1}-1$. So, $xS-S=x^{n+1}-1$. So, $S=\frac{x^{n+1}-1}{x-1}$. (The exponent of the $x$ in the numerator of the RHS should be $n+1$ not $n$).

-

Since $1-x^{n+1}$ has $1$ as a root, the quotient $\frac{1-x^{n+1}}{1-x}$ is a polynomial.

If $\mathbb F_q$ is a finite field with $q$ elements and $V$ is a $\mathbb F_q$-vector space of dimension $n+1$, then $\frac{1-q^{n+1}}{1-q}=|P(V)|$ is the cardinal of the projective space attached to $V$. Now $P(V)$ can be described as a disjoint union $$P(V)=\mathbb A^0\sqcup\mathbb A^1\sqcup \mathbb A^2\sqcup\cdots\sqcup\mathbb A^n$$ where $\mathbb A^k$ is, for each $k$, an affine space of dimension $k$ over $\mathbb F_q$ (which is a complicated way of saying, as far as our purposes go, a vector space over $\mathbb F_q$ of dimension $k$) Since $|\mathbb A^k|=q^k$, we find that $$\frac{1-q^{n+1}}{1-q}=1+q+q^2+q^3+\cdots+q^n$$ for all numbers $q$ which are powers of prime numbers. It follows that $$\frac{1-x^{n+1}}{1-x}=1+x+x^2+x^3+\cdots+x^n$$ as polynomials, because the equality holds for infinitely many values of $x$ (and we are working over $\mathbb Z$...)

-
Hooray for swatting flies with nukes! :-) I think you need more justification for the formula for $|P(V)|$, though... – Steven Stadnicki Dec 14 '10 at 16:15
@Steven, $V\setminus0$ has $q^{n+1}-1$ elements, and $P(V)=(V\setminus0)/\mathbb F_q^\times$ is the quotient of $V\setminus0$ by the multiplicative action of the group $\mathbb F_q^\times$, which does not have fixed points. The formula for $|P(V)$ follows from counting the points in $P(V)$ grouped by orbits. – Mariano Suárez-Alvarez Dec 14 '10 at 16:18
@Steven, while this seems a bit silly, it is a rather good example of a general phenomenon, going all the way to motives, universal cohomology theories and what not! – Mariano Suárez-Alvarez Dec 14 '10 at 17:57
Bravo, bravo! I quite like it. I want to read about "because the equality holds for infinitely many values of x (and we are working over Z...)". Do you have a reference? It's probably in my algebra book, and it does make sense. – Eivind Dahl Apr 7 '11 at 8:04
@Eivind: I am trying to prove that two polynomials $f$ and $g$ —the left and right hand sides of the last equality I wrofe— are equal, and I showed that $f-g$ has infinitely many zeroes: since $f-g$ is itself a polynomial, that can only happen if $f-g$ is identically zero. – Mariano Suárez-Alvarez Apr 7 '11 at 12:59

HINT $\ \$ The sum $\rm\:S\:$ is "almost" preserved by a shift symmetry $\rm\ S \to x\:S$

Examine the discrepancy $\rm\ x\:S - S\:.\ \$ It's just the finite case of Hilbert's infinite Hotel

-

Observe that \begin{eqnarray} x^{n+1} - 1 = x^{n+1} + (x^{n} - x^{n}) + \cdots + (x - x) - 1 = (x^{n} + x^{n-1} + \cdots + x + 1)(x - 1). \end{eqnarray}

-

It equals (x^(n+1)-1)/(x-1), not what you wrote.

-
yes, you are right. – Silviu Nov 24 '10 at 17:24

For a more mechanical proof, you could use induction. The proof then boils down to finding a common denominator:

$\frac{x^{n+1}-1}{x-1} + x^{n+1} = \frac{x^{n+1}-1+(x-1)x^{n+1}}{x-1} = \frac{x^{n+2}-1}{x-1}$

-

Since $$\frac1{1-x}=1+x+x^2+x^3+\cdots,$$ we have $$\frac{1-x^{n+1}}{1-x}=(1+x+x^2+x^3+\cdots)-(x^{n+1}+x^{n+2}+x^{n+3}+x^{n+4}+\cdots)$$ And on the right hand side every thing cancels except $1+x+x^2+\cdots+x^n$.

(This argument is probably circular! :) )

-
Not necessarily - you could derive the formula for $1\over 1-x$ via Taylor series... :-) – Steven Stadnicki Dec 14 '10 at 16:14