GBB Services  
GBB Services : Resources : Mathematics : Table proofs 
Table Proofsby Walter VanniniArithmetic progression An infinite geometric series Sum of squares of Fibonacci numbers Fibonacci via Pascal Sum from 1 to n Sum of odd numbers Odd squares Even squares Sum of squares of Generalized Fibonacci numbers Zeno's paradox An infinite sum via quadrants Concluding words Feedback IntroductionI'm always on the lookout for ways of visualizing mathematical results. This might mean drawing a picture, drawing a sequence of pictures, building physical models and playing with them, or even constructing a virtual 3D object and playing with it via keyboard and mouse. In this essay I'm going to restrict myself to pictures that clarify a result: very much like the "Proofs without words" articles that the MAA's Mathematics Magazine has been publishing for many years. Furthermore, I'm going to restrict myself to pictures that arise from html tables and can be displayed by internet browsers: plain old fashioned static html with no javascript or images. I like to think of it as an html analogue of ascii art: maybe it should be called "table art". This means that I'm going to have to leave out a lot of really neat pictures. For example, there's a dissection of an n by n+1 by 2n+1 brick into two almost congruent parts (they have different handedness), each of which can be dissected into three congruent parts, and each of those is clearly of volume 1^{2}+2^{2}+…+n^{2}. You're not going to see the picture for that in this essay! But, even though we're restricted to using simple pictures consisting of rectangles with only horizontal and vertical sides, there's still quite a few results that can be visualized. I should mention that this essay was motivated by the Fibonacci via Pascal result mentioned in this essay. I was trying to think of how to use an html table to illustrate the result, and suddenly realized I could illustrate a lot of other results also. Arithmetic progressionGauss derived the formula for the sum of an arithmetic progression when he was 5 years old. It's not known how he did it. Maybe he followed the Feynman technique: write down the problem, then think really hard, then write down the answer. Who knows! I like to believe that he visualized it like this
Sum = n(first+last)/2 = n * (average of first and last) where n is the number of elements. An infinite geometric seriesWhen we were both teenagers, fellow mathematics enthusiast Peter Williams drew me a diagram very much like the following (it was more of a pie chart, but the idea's the same). Suddenly the convergence of geometric series made sense!
1/3 = 1/4 + (1/4)^{2} + (1/4)^{3} + (1/4)^{4} + … There's nothing magic about 3 or 4. The same kind of diagram shows that 1/k = 1/(k+1) + 1/(k+1)^{2} + 1/(k+1)^{3} + 1/(k+1)^{4} + … or, if you prefer 1/(n1) = 1/n + 1/n^{2} + 1/n^{3} + 1/n^{4} + … Sum of squares of Fibonacci numbersI know of no better way to understand the following result
1^{2}+1^{2}+2^{2}+3^{2}+…+F_{n}^{2} = F_{n}F_{n+1} Incidentally, if you think of building up to the final rectangle by continuing to add larger and larger squares, there's a choice at each step: do you place the new square on one side or the other. If you want, you can draw the squares so that they spiral around the initial seed. Here I've chosen to always add to the right, or down, depending on the step. Fibonacci via PascalAfter reading my essay on Fibonacci numbers, David Angell sent me an email telling me about a result relating the Fibonacci sequence with the binomial coefficients. To quote David: This gives the Fibonacci numbers as sums of "diagonals" in Pascal's triangle. … just drawing up the triangle and colouring in two consecutive diagonals makes it beautifully obvious how they fit together and satisfy the Fibonacci recurrence.
Sum from 1 to nFollowing the diagram for an arithmetic progression, we have
(1+2+…+n) = n(n+1)/2 Another possibility is to slightly separate the two copies 2 * (1+2+…+n) = (n+1)^{2}  (n+1) Yet another possibility is to overpush the two copies together, so that they share the diagonal 2 * (1+2+…+n) = n^{2} + n Sum of odd numbersReading down the page, from left to right
1+3+5+…+(2n1) = n^{2} Or, if you prefer:
n^{2} = (2n1)+(2n3)+..3+1 Odd squares(2n+1)^{2} = 4(2n) + 4(2n2) + … + 4*4 + 4*2 + 1 As an aside, this makes it clear that odd squares must be of the form 8n+1. This, together with the fact that even squares are of the form 8n or 8n+4, shows that three squares can never have a sum of the form 8n+7. Even squares(2n)^{2} = 4(2n1) + 4(2n3) + … + 4*3 + 4*1 Incidentally, dividing both sides by 4, we have yet another way of seeing that n^{2} = (2n1) + (2n3) + … + 3 + 1 Sum of squares of Generalized Fibonacci numbers
G_{1}^{2}+G_{2}^{2}+G_{3}^{2}+G_{4}^{2}+…+G_{n}^{2} = G_{n}G_{n+1}  G_{0}G_{1} Concluding wordsI expect that there are many more mathematical results that can be illustrated by appropriate use of html tables. Feel free to let me know about them. FeedbackIf you have corrections, additions, modifications, etc please let me know mailto:walterv@gbbservices.com
