Gaussian proof for the sum of squares?

There is a more beautiful Gauss-style proof that involves writing the numbers in triangles instead of in a line.

Gauss style proof

I leave the details to you.


HINT: $(k + 1)^3 - k^3 = 3k^2 + 3k + 1$. Telescope the left hand side, solve for $k^2$.

If you need more of a hint I'll be glad to elaborate later. In case you'd like a reference, this is one of the first exercises in Spivak's Calculus (I don't have the latest edition, but it's in the section "Numbers of Various Sorts.")

EDIT

Since you're only interested in the "Gaussian" method of summing this series, I suggest you take a look at this Wikipedia article on Arithmetic progression. It shows how you can use this specific trick for finding the sum of arbitrary arithmetic series. Unfortunately, your sum is not of this kind, so cannot be summed by that simple method.

I have no doubt that if you fumble around with the series for long enough, you'll encounter some trick that will allow you to sum it (maybe the fact that the sum of the first $n$ odd numbers is a square?). No doubt a lot of research has been done on the so-called square pyramidal numbers (check out the list of references!) The Wikipedia entry on them has a picture of what you're actually summing (finding the number of balls in a square bottomed pyramid), so maybe you can see why they aren't as easy to sum as the triangular numbers, which can easily be arranged into squares. The MathOverflow link by aelguindy gives a "visual proof" of how the formula is derived.

Sorry I could not be of any more help.


You can use something similar, though it requires work at the end.

If $S_n = 1^2 +2^2 + \cdots + n^2$ then $$S_{2n}-2S_n = ((2n)^2 - 1^2) + ((2n-1)^2-2^2) +\cdots +((n+1)^2-n^2)$$

$$=(2n+1)(2n-1 + 2n-3 + \cdots +1) = (2n+1)n^2$$ using the Gaussian trick in the middle.

Similarly $$S_{2n+1}-2S_n = (2n+1)(n+1)^2$$

So for example to work out $S_9$, you start

$$S_0=0^2=0$$

$$S_1=1 + 2S_0 = 1$$

$$S_2=3+2S_1=5$$

$$S_4=25+2S_2=30$$

$$S_9 = 225+2S_4 = 285$$

but clearly there are easier ways.

Tags:

Algebra Precalculus

Related

Is $t\mapsto \left|\cos (t)\right|$ a characteristic function? Is $\eta^{24}(\tau)\,j(\tau) = {E_4}^3(q)$? Isomorphism of direct sums $R/a \oplus R/b \cong R/{\rm lcm}(a,b)\oplus R/\gcd(a,b)$ Venn diagram 3 set Gradient of a Scalar Field is Perpendicular to Equipotential Surface Infinity plus Infinity Given a simple graph and its complement, prove that either of them is always connected. How to solve $\binom{n}{1}^2+2\binom{n}{2}^2 + 3\binom{n}{3}^2 + 4\binom{n}{4}^2+\cdots + n\binom{n}{n}^2$? Prove $\ln\frac{p}{q}\leq \frac{p-q}{\sqrt{pq}}$ for $0<q\leq p$ A finite graph with exactly two vertices with odd degree must have a path joining them. Evaluating $\int_a^b \arccos\left(x\,/\sqrt{(a+b)x-ab\,}\,\right)\,\mathrm {d}x$ assuming $0<a<b$ How to integrate $\int_0^\infty\frac{x^{1/3}dx}{1+x^2}$?

Recent Posts