Alexander Bass
This note is one of many taken during 2026

Geometric Integer Sums of Lines and Squares

On the sums of natural numbers

Let Ln=1+2+3++n=? \text{Let } L_n = 1 + 2 + 3 + \ldots + n = ?

Think about each integer as an area, and draw each component integer of LnL_n ascending, in a square of dimension nn:

In this case, n=4n=4 and L4=10L_4 = 10.

Notice the diagonal set of squares from the bottom left to the top right of the greater square. There exist nn units on this diagonal. Above the diagonal, there are zero units as part of the greater square. Below the diagonal, all units are part of the greater square.

We know the diagonal has a total area of nn, but what about the area under the diagonal? If we consider the greater square with the diagonal removed, then this under-area is clearly half of the greater square’s (sans diagonal) area.

Thus the area of the under-area is n2n2\frac{n^2 -n}{2} units

To find L4L_4, the diagonal must be added back

L4=n2n2+n=n2+n2 L_4 = \frac{n^2 - n}{2} + n = \frac{n^2 + n}{2}

Proof By Induction

Base condition:

L1=1+12=1 L_1 = \frac{1+1}{2} = 1

Following values

Ln+1=Ln+n+1 L_{n+1} = L_{n} + n + 1 (n+1)2+n2=n2+n2+n+1 \frac{(n+1)^2 + n}{2} = \frac{n^2+n}{2} + n + 1

Expand left side

n2+2n+1+n+12=n2+n2+n+1 \frac{n^2+2n+1 + n + 1}{2} = \frac{n^2+n}{2} + n + 1

Both sides are equal.

On the sums of squares of natural numbers

Let Sn=1+22+32++n2=? \text{Let } S_n = 1 + 2^2 + 3^2 + \ldots + n^2 = ?

Or recursively:

Sn=Sn1+n2 S_n = S_{n-1} + n^2

(Note, this section follows from a YouTube video by Perfect Yarn)

Thing about each squared integer as a square. Arrange them ascending:

In this case, n=3n = 3 and S3=14S_3 = 14.

Just as with the un-squared natural numbers, a closed form for SnS_n can be found by interpreting this geometric construction.

If a equation for the quantity of units in each row RjR_{j} is found, then the total SnS_n is the sum of the row RjR_{j} values. Where jj is the row number, from bottom up, starting at 00:

Sn=R0+R1++Rn1 S_n = R_{0} + R_{1} + \ldots + R_{n-1}

For the bottom row ( j=0j=0), R0,3=L3R_{0,3} = L_3 (where LnL_n is the sum of natural numbers from 1…n) or

R0,3=32+32 R_{0,3} = \frac{3^2+3}{2}

For the following values of j>0j > 0, RjR_{j} will decrease. Each increase of jj will cause a subsequent quantity to be removed:

Rj=n2+n2j2+j2 R_{j} = \frac{n^2+n}{2} - \frac{j^2+j}{2}

Again, recall that

Sn=R0+R1++Rn1 S_n = R_{0} + R_{1} + \ldots + R_{n-1}

Substituting in, RjR_{j} we see:

Sn=n(n2+n2)02+0212+12(n1)2+(n1)2 S_n = n\left(\frac{n^2+n}{2}\right) - \frac{0^2+0}{2} - \frac{1^2+1}{2} - \ldots - \frac{(n-1)^2+(n-1)}{2}

Factor

Sn=12(n(n2+n)(02+12++(n1)2)(0+1++(n1))) S_n = \frac{1}{2}\left(n\left({n^2+n}\right) - (0^2 + 1^2 + \ldots + (n-1)^2) - (0 + 1 + \ldots + (n-1))\right)

The sum of natural numbers of the right of the equation can be simplified to Ln1L_{n-1} and the sum of squares on the left can be simplified to Sn1S_{n-1}

Sn=12(n(n2+n)Sn1(n1)2+(n1)2) S_n = \frac{1}{2}\left(n\left({n^2+n}\right) - S_{n-1} - \frac{(n-1)^2+(n-1)}{2}\right)

Recall that:

Sn=Sn1+n2Sn1=n2Sn \begin{aligned} S_n &= S_{n-1} + n^2\\ S_{n-1} &= n^2 - S_n\\ \end{aligned}

Substitute Sn1S_{n-1}

Sn=12(n(n2+n)Sn+n2(n1)2+(n1)2) S_n = \frac{1}{2}\left(n\left({n^2+n}\right) - S_n + n^2 - \frac{(n-1)^2+(n-1)}{2}\right)

Factor SnS_n to one side

Sn=13(n(n2+n)+n2(n1)2+(n1)2) S_n = \frac{1}{3}\left(n\left({n^2+n}\right) + n^2 - \frac{(n-1)^2+(n-1)}{2}\right)

Simplify

Sn=13n(n2+32n+12) S_n = \frac{1}{3}n\left(n^2+\frac{3}{2}n + \frac{1}{2}\right)

Sn=16n(2n2+3n+1) S_n = \frac{1}{6}n\left(2n^2+3n + 1\right)

Proof By Induction

Base condition

S1=16(212+31+1)=66=1 S_1 = \frac{1}{6}\left(2\cdot 1^2 +3\cdot 1 + 1\right) = \frac{6}{6} = 1

Following values

Sn+1=Sn+(n+1)2 S_{n+1} = S_n + (n+1)^2 16(n+1)(2(n+1)2+3(n+1)+1)=16n(2n2+3n+1)+(n+1)2 \frac{1}{6}(n+1)\left(2(n+1)^2+3(n+1) + 1\right) = \frac{1}{6}n\left(2n^2+3n + 1\right) + (n+1)^2

Simplify

(n+1)(2n2+7n+6)=n(2n2+3n+1)+6n2+12n+6 (n+1)\left(2n^2+7n+6\right) = n\left(2n^2+3n + 1\right) + 6n^2+12n+6

2n3+9n2+13n+6=2n3+9n2+13n+6 2n^3+9n^2+13n+6 = 2n^3+9n^2 +13n+ 6

Both sides are equal.

This note is one of many taken during 2026