Euclid on line
animated proof of Pythagoras
constructibility of N-gons