Geometry: What is a perpendicular line?

9 October 2022 (Updated 9 October 2022)