| Book XI | XI.4, XI.5, XI.6, XI.8, XI.11, XI.13, XI.14, XI.15, XI.18, XI.23, XI.26 |
|---|---|
| Book XII | XII.17 |
| Book XIII | XIII.13, XIII.15 |
| Book XI | XI.18, XI.19 |
|---|---|
| Book XII | XII.17 |
Although definition 3 states that a line needs to be at right angles with all of the straight lines which meet it and lie in the plane, proposition XI.4 states that it is only necessary that a straight line be at right angles to two lines in the plane in order that it be at right angles to all the rest.
There is an implicit assumption in definition 3 as it speaks of a straight line making right angles with straight lines which meet it and are in the plane. The concept of two lines making a right angle assumes that the two sides of the angles lie in one plane, that is, that two intersecting lines lie in a plane, a statement that is supposedly verified in proposition XI.2.
The concept of a line being perpendicular to a plane is central to solid geometry. It is developed and used in many propositions in Book XI, starting with XI.4.
There is also an implicit assumption in definition 4, namely that the intersection of the two planes is a straight line, a statement that is supposedly verified in proposition XI.3. The concept of planes perpendicular to planes first appears in proposition XI.18 which states that if one straight line drawn in one of the planes is at right angles to the other plane, then the two planes are at perpendicular.
Definition 5 is meant to define the inclination (angle) between a line and a plane as the angle between that line and the projection of it in the plane. This requires that there is a line at right angles to a plane from a point not on the plane which is assured by proposition XI.11. It also requires that the angle constructed in the definition is independent of the construction.