We prove the formula 1+ 2+ ... + n = n(n+1) /
2, for n a natural
number.
There is a simple applet showing the essence of the inductive proof of this
result. To run this applet, you first enter the number The base case shown by the applet is Assuming the result for |

To the Kumo
demos homepage. To the Tatami Project homepage. To the UCSD Meaning and Computation Group homepage. |