53
$\begingroup$

Supposedly the following proves the sum of the first-$n$-squares formula given the sum of the first $n$ numbers formula, but I don't understand it.

Enter image description here

$\endgroup$
7
  • 1
    $\begingroup$ Note that it's assuming the analogous result for $1+2+\cdots+n$. The visually appealing technique is inductive over dimensions, if you generalize. $\endgroup$
    – djechlin
    Commented Nov 15, 2016 at 1:51
  • 15
    $\begingroup$ I like this proof. What's its source? $\endgroup$
    – Blue
    Commented Nov 15, 2016 at 6:18
  • 2
    $\begingroup$ @Blue agree, really ingenious extension of Gauss's idea. Wish to know the source. $\endgroup$
    – Taozi
    Commented Nov 15, 2016 at 6:34
  • 1
    $\begingroup$ Take a look at this answer: math.stackexchange.com/a/48152/301977 $\endgroup$
    – polfosol
    Commented Nov 15, 2016 at 7:07
  • 4
    $\begingroup$ I originally saw it here: mathoverflow.net/a/69756/100169 $\endgroup$
    – Nitin
    Commented Nov 15, 2016 at 18:14

4 Answers 4

46
$\begingroup$

The first row of the first triangle is $1 = 1^2$, the second row sums to $2 + 2 = 2^2$, the third row sums to $3 + 3 + 3 = 3^2$ and so on. That means that the sum of the numbers in the triangle is $1^2 + 2^2 + 3^2 + \dots + n^2$. Now, the second and third triangles are the same, so the left-hand side is $3(1^2 + 2^2 + \dots + n^2)$.

On the other hand, each of the numbers in the right-hand side triangle is $(2n+1)$, and there are $\frac{n(n+1)}{2}$ of them.

The picture shows why the two are equal, so we get $3(1^2 + 2^2 + \dots +n^2) = (2n+1)\frac{n(n+1)}{2}$, which becomes the formula $1^2 + 2^2 + \dots + n^2 = \frac{n(n+1)(2n+1)}{6}$.

$\endgroup$
4
  • 2
    $\begingroup$ Don't have pen and paper in hand, but do you think using four tetrahedrons would give formula of sum of cubed numbers? $\endgroup$
    – Taozi
    Commented Nov 15, 2016 at 6:37
  • 2
    $\begingroup$ @Taozi: Offhand, it seems to me that to get a sum of cubes you need a square pyramid, not a tetrahedron. And since it's less symmetric you're more limited in the manipulations you can do. But there are other visual proofs for sum of cubes, e.g. en.wikipedia.org/wiki/Squared_triangular_number#/media/…. $\endgroup$ Commented Nov 15, 2016 at 9:42
  • 5
    $\begingroup$ The second and third triangles are the same as the first upon rotation by 120 degrees. This is a way cool demonstration! $\endgroup$ Commented Nov 15, 2016 at 17:54
  • $\begingroup$ @Taozi With four tetrahedra, each with $1$ at one vertex and $n$ at all $n(n+1)/2$ points on the opposite face, you would have $\binom n3$ points each containing the sum $3n+1$, so $\binom n3 (3n+1)=4\sum_{k=1}^n \frac12(k^3+k^2)=2\sum_{k=1}^n k^3+2\sum_{k=1}^n k^2$. Since we know $\sum_{k=1}^n k^2$ we could get $\sum_{k=1}^n k^3$ from this. Alternatively, in addition to the four tetrahedra labeled $1$ to $n$ along each edge, add four more tetrahedra labeled $2$ to $n$ along each edge so that the numbers in all tetrahedra add to $\sum_{k=1}^n k^3$. $\endgroup$
    – David K
    Commented Nov 27, 2016 at 21:52
35
$\begingroup$

That first triangle is the sum of one $1$, two $2$s, three $3$s, and so on. That's equivalent to $1^2+2^2+\dots +n^2$.

The second triangle is just a $120^\circ$ counterclockwise rotation of the first triangle.

The third triangle is a $120^\circ$ clockwise rotation of the first triangle.

Now, note that the top numbers sum to $2n+1$. And the numbers directly below and to the left of each of the top numbers. And pretty much every single group of three numbers corresponding to the same position on the triangles.

So the RHS is just one $2n+1$, then two $2n+1$s, then three, and so on up to $n$. So the RHS is really $\frac{n(n+1)}{2}(2n+1)$ because of the triangular number formula.

This means that $3(1^2+2^2+\dots +n^2)=\frac{n(n+1)(2n+1)}{2}$, so $\boxed{1^2+2^2+\dots+n^2=\frac{n(n+1)(2n+1)}{6}}.$

Edit: Beaten to it :P

$\endgroup$
2
  • 5
    $\begingroup$ +1 for explicitly pointing out that the triangles are simple rotations of each other. $\endgroup$
    – arp
    Commented Nov 15, 2016 at 2:11
  • $\begingroup$ Being beaten to the answer doesn't make it any less of a good answer. You did good :D $\endgroup$ Commented Nov 15, 2016 at 22:07
11
$\begingroup$

Each entry in the final triangle is the sum of the corresponding entries in the first three triangles. Each triangle has

$$1+2+3+\ldots+n=\frac{n(n+1)}2$$

entries, so the sum of all of the entries in the final triangle is

$$\frac{n(n+1)(2n+1)}2\;.$$

The entries in each of the first three triangles sum to

$$1\cdot1+2\cdot2+3\cdot3+\ldots+n\cdot n=\sum_{k=1}^nk^2\;,\tag{1}$$

where each term on the lefthand side of $(1)$ is the sum of the entries in one row of the triangle. Thus, the whole picture says that

$$3\sum_{k=1}^nk^2=\frac{n(n+1)(2n+1)}2\;,$$

and dividing through by $3$ yields the usual summation formula.

$\endgroup$
3
$\begingroup$

I don't need any votes for my answer, but for a different way to look at it, you can check http://www.maa.org/sites/default/files/Siu15722.pdf

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .