In his talk "Euclid's Elements: A Dynamic Geometry Perspective", Nick Jackiw uses Sketchpad to illustrate key developments in Euclidean––and non-Euclidean––geometry.

http://youtu.be/eGIsuaQeR0M