Fantastic way to learn Euclidean geometry. High school math should be like this!
There is also Ancient Greek Geometry. The user interface is more "elegant", but less powerful.
The main difference is that in Ancient Greek Geometry you don't acquire constructions as atomic procedures, you need to inline all the steps each time. So it doesn't scale to complicated constructions, but on the other hand it is kind of interesting, you get a sort of gut feeling for how many steps are involved in the proofs. For example, a high school textbook will show the construction to make perpendicular lines at, like, page 1, and then you never t...
This is the monthly thread for posting media of various types that you've found that you enjoy. Post what you're reading, listening to, watching, and your opinion of it. Post recommendations to blogs. Post whatever media you feel like discussing! To see previous recommendations, check out the older threads.
Rules: