My GeoGebra manipulatives:
- Haga’s First Theorem with free-form paper-folding.
- Haga’s First Theorem with constrained point on the square’s edge.
- Haga’s First Theorem with guidance for exploration.
The history behind these is explained in this blog post.
For guidance in exploring the manipulative, you may find this helps when using the version with the constrained point:
If you click on the picture, you will see a larger version which you can download or print. You will still need to do a bit of calculator work, though…
Since writing this, I have added a more ‘user-friendly’ version for exploring the theorem, but you’ll still need the calculator though!
If you prefer, you can also use the dynamic worksheet online, which doesn’t require a download of GeoGebra.