Definizioni rette perpendicolari
Abbiamo visto che due rette incidenti dividono il piano in quattro angoli convessi, a due a due uguali perché opposti al vertice. Un caso particolare:
Definizione Due rette che incontrandosi dividono il piano in quattro angoli congruenti si dicono perpendicolari.
In Geogebra esiste un comando per costruire la perpendicolare:
Selezioniamo e leggiamo la descrizione: selezioniamo un punto e una retta.
Questa descrizione traduce il contenuto di un teorema che vedremo fra poco ovvero data una retta e un punto esiste una unica perpendicolare alla retta passante per il punto.

Nel foglio proposto proviamo a tracciare alcune rette a piacere e alcuni punti e prendiamo confidenza con il comando