Perpendicular lines in the plane: perpendicular

### 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: