| If two planes cut one another, then their intersection is a straight line. | ||
|
Let two planes AB and BC cut one another, and let the line DB be their intersection.
I say that the line DB is a straight line. | ||
| For, if not, join the straight line DEB from D to B in the plane AB, and the straight line DFB in the plane BC.
Then the two straight lines DEB and DFB have the same ends and clearly enclose an area, which is absurd. Therefore DEB and DFB are not straight lines. |
||
| Similarly we can prove that neither is there any other straight line joined from D to B except DB, the intersection of the planes AB and BC. | ||
| Therefore, if two planes cut one another, then their intersection is a straight line. | ||
| Q. E. D. | ||
A more serious criticism of the proof is that it fails to prove the statement of the proposition. At most it shows that if two planes intersect at more than one point, then the line that joins them also lies in their intersection. But the possibility that their intersection consists of only one point is ignored. This is important as this proposition is used in XI.5 from two planes known to intersect at one point, a line of intersection is generated.
The real problem is that there is no postulate limiting space to three dimensions. In four or or more dimensions two planes may intersect in only one point. Neither Euclid nor anyone else before the nineteenth century recognized the possibility of higher dimensional geometry, but the flaws in this proof are apparent nonetheless. There are alternative postulates to limit the geometry to three dimensions. For instance, one is based on the idea that a plane divides space into two sides.