Re: Friday Puzzler -- Golf Balls - a start
Larry Barrett
What follows may be of interest to math nerds. It is not a complete answer to the problem of finding a simple formula for the sum of squares, but is an interesting exercise, at least for me, and seems likely to lead to an answer if more time is expended.
Continuing with the idea of expressing the square of an integer, i^2, in terms of smaller integers, using the equation i^2 = ((i-1) +1)^2 = (i-1)^2 + 2(i-1) +1.
Here are some examples:
For i=1, 1^2 = 1
For i=2, 2^2 = 1 + 2(1) + 1 = 2+2(1)
For i=3, 3^2 = 2^2 + 2(2) +1, and substituting what we know for 2^2 =
= 3+2(1)+2(2)
Continuing, always substituting for the higher squares what we know for lower squares,
For i=4, 4^2 = 4+2(1)+2(2)+2(3)
For i=5, 5^2 = 5+2(1)+2(2)+2(3)+2(4)
and in general,
For i=n, n^2 = n+2(1)+2(2)+... 2(n-1).
As a check, for n=7 we get 7^2=49= 7+2(1)+2(2)+...2(6) =7+2(1+2+3+4+5+6) =7+2(21)=7+42=49.
Now we need to look at the sum of squares to see if a general formula can be derived. For problems like this, I often start with small numbers to see if a pattern exists which can be extrapolated to the general problem.
The usual way to write the sum of the values of a function is to use the Greek letter Sigma with the notation that i starts at 1 and continuing to n. Since Greek letters and the usual notation aren't available, as a shorthand for this I will use S(n). So the notation S(n)i^2 means the sum of the values of i^2 for i starting at 1 and continuing to n. As you will see, the result will be include the sum of the integers (not squared), so you will also see this notation: S(n)i to mean the sum of the integers from i=1 to i=n; and for this we already know that
S(n)i = n(n+1)/2.
So S(1)i^2 is simply 1.
Using the expressions for i^2 above,
S(2)i^2 = S(2)i + 2(1) = 3+2(1)= 5
S(3)i^2 = S(3)i + 2((2*1)) + 2*2 = 6 + 2(2+2) = 14
S(4)i^2 = S(4)i + 3(2*1) + 2(2*2) +1(2*3) = 10 + 2(3+4+3) = 30
S(5)i^2 = S(5)i + 4(2^1) + 3(2*2) + 2(2*3) + 1(2*4)= 15 + 2(4+6+6+4) =55
An interesting pattern is beginning to emerge. The next sum of squares (for i from 1 to 6) will include the sum of the integers from 1 to 6 and will include a term that looks like 2(...) where the numbers inside the (...) seem to have some relation to the numbers in the previous sums. Extending the sum of squares for i=6 and i=7, this is what it looks like:
S(6)i^2 = S(6)i + 2(5+8+9+8+5) = 21 + 70 = 91
S(7)I^2 = S(7)i + 2(6+10+12+12+10+6) = 28 + 102 = 140
If you look at the numbers inside the (...), beginning with 1=1 and extending to i=8, they form a triangle like this:
1
2 2
3 4 3
4 6 6 4
5 8 9 8 5
6 10 12 12 10 6
7 12 15 16 15 12 7
If you look at this as an equilateral triangle, it is easy to see the patterns that are formed.
I believe the pattern could be extended to some arbitrary value of i=n. So far I have not tried to write a formula to express this. I expect that there must be a simpler way to express the formula for the sum of squares; maybe what Alex offers next week will be the answer.
As an aside, this 'triangle' looks a little like Pascal's triangle which is used to express the coefficients of the binomial expansion, and looks like
1
1 2 1
1 3 3 1
1 4 6 4 1
...
where the numbers in the next row have can be derived from the numbers in the row above.