Perpendicular Line Tool
From GeoGebra Manual
- Selecting a line g and a point A creates a straight line through A perpendicular to line g (also see command PerpendicularLine).
- Note: The line’s direction is equivalent to the perpendicular vector of g (also see command PerpendicularVector).