This applet gives a dynamic proof of the formula for the sum of the first n natural numbers.