Definition:Right Angle/Perpendicular/Plane

From ProofWiki
Jump to: navigation, search

Definition

In the words of Euclid:

A straight line is at right angles to a plane when it makes right angles with all the straight lines which meet it and are in the plane.

(The Elements: Book $\text{XI}$: Definition $3$)


PerpendicularToPlane.png

In the above diagram, the line $AB$ has been constructed so as to be a perpendicular to the plane containing the straight lines $CD$ and $EF$.