13.7.6 Perpendicular lines in the plane: perpendicular
See Section 14.5.6 for perpendicular lines in space.
The perpendicular command finds a line perpendicular to a
given line.
-
perpendicular takes two arguments:
-
p, a point.
- ℓ, a line. The line can also be specified by giving a
sequence of two points on it.
- perpendicular(p,ℓ)
returns and draws the line perpendicular to ℓ passing through
p.
Example.
Input:
perpendicular(0,line(1,i))
or:
perpendicular(0,1,i)
Output: