19 October 2020

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…)
  1. Click on the Discover tool.
  2. Select a point, say \(D\).
  3. The list of found properties should be shown in a popup window.
This new version has been released today.

A further example




Entries on topic GeoGebra

  1. I restart my blog… (28 September 2020)
  2. A new GeoGebra version with better angle bisectors… (29 September 2020)
  3. Better language support… (6 October 2020)
  4. Detection of perpendicular lines… (19 October 2020)
  5. Points attached to an algebraic curve… (31 October 2020)
  6. Explore envelopes easily! (11 November 2020)
  7. Offsets of a trifolium (17 November 2020)
  8. Ellipsograph of Archimedes as a simple LEGO construction (18 November 2020)
  9. Pete-Dőtsch theorem (29 December 2020)
  10. Comparison improvements (25 January 2021)
  11. ApplyMap (26 January 2021)
  12. Discovering geometric inequalities (27 October 2021)
  13. Proving inequalities (28 October 2021)
  14. Supporting logic in function calculus (2 November 2021)
  15. Supporting logic with technology: Part 2 (12 February 2022)
  16. Difficulty of geometry statements (30 July 2024)
Zoltán Kovács
Linz School of Education
Johannes Kepler University
Altenberger Strasse 69
A-4040 Linz