Dynamic geometry

Animated and interactive geometry is often used pedagogically for "discovery" or to provide vivid circumstantial evidence for theorems, as in the inexorable concurrence of medians or the amazing Feuerbach tangencies. The demonstrations below, however, use dynamic geometry not only as an aid to insight, but also as a proof technique per se.

Note. The pages use Java applets produced by Geometer's Sketchpad, and may download a 200K supporting library.

Simson line. I find this proof much more engaging than visualizations of static Euclidean proofs of this theorem, which abound on the Internet.

Existence of the regular icosahedron. This short modern proof told to me by Peter Doyle stands in dramatic contrast to the intricate argument in the culminating book of Euclid's Elements,