Detection of perpendicular lines in GeoGebra Discovery
In this new update of GeoGebra Discovery you can discover perpendicularities
in a given planar figure. I decided to add this feature as soon as possible
to support secondary school experiments, including the discovery of
Thales' circle theorem.
Now… (you may need to click OK first on the applet below…)
Click on the Discover
tool.
Select a point, say \(D\).
The list of found properties should be shown in a popup window.