# Software for geometric proofs in secondary schools

A week ago I attended a seminar at the School of Education with visitors from Japan. One of the visitors was Professor Mikio Miyazaki. He showcased some of his work on a flowchart tool for (geometric) proofs at Schoolmath. I loved it and would love to see this integrated as widgets in the Digital Mathematical Environment, for example. I will provide an overview in some screenshots.

1. This is the entry screen. The flowchart tool is part of a larger environment that stores student information.

2. The materials are presented in a nice overview with levels. The stars do NOT denote difficulty but in how many ways you can actually proof the theorem that is presented.

3. I will choose the section on congruency. Students are presented with a geometry task and are asked to prove the theorem presented (I did not yet manage to find out what the difference between elementary mode and advanced mode is). In this particular example there are four stars, so four possible ways to prove it with the help of congruency. Students have to fill in the flowchart by choosing a strategy/action and providing angles and sides. I love the fact that I can just drag and drop angles and sides to the answer boxes and they will appear there.

4. Having filled in the flowchart the answer can be checked. One of the four stars is coloured yellow.

5. Wrong answers are provided with feedback and an indication where the mistake is:

6. Another final example:

It was interesting to hear that this project faces a challenge that many educational tools face: converting flash and java tools to HTML5 format. I’m still quite disappointed that the Apples, Adobes, Googles and Oracles of the world did not manage to provide a transition period.

### Like this:

Like Loading...