[Update: I’ve written quite a bit more about this theorem since 2009. See this page for more details.] I’ve been playing with GeoGebra for the last few days. As an exercise I decided to create applets to demonstrate the extremely beautiful Japanese Theorem. The first appearance of the Japanese theorem was as a Sangaku problem….