Perpendicular lines in geometry