Miquel's
Pentagram with Dynamic Geometry. You can alter the pentagram
dynamically in order to test and prove (or disproved) conjectures and
gain mathematical insight that is less readily available with static
drawings by hand. Requires Java Plug-in 1.3 or higher.
Concyclic Points,