G.523 planes cut right — Heath

XI.19

If two planes which cut one another be at right angles to any plane, their common section will also be at right angles to the same plane.

For let the two planes < A B >, < B C > be at right angles to the plane of reference, and let / B D / be their common section; I say that / B D / is at right angles to the plane of reference.

B E F D A C

For suppose it is not, and from the point D let / D E / be drawn in the plane < A B > at right angles to the straight line / A D /, and / D F / in the plane < B C > at right angles to / C D /.

Now, since the plane < A B > is at right angles to the plane of reference, and / D E / has been drawn in the plane < A B > at right angles to / A D /, their common section,
[G.521]therefore / D E / is at right angles to the plane of reference.
Similarly we can prove that / D F / is also at right angles to the plane of reference.
Therefore from the same point D two straight lines have been set up at right angles to the plane of reference on the same side: which is impossible. [G.515]
Therefore no straight line except the common section / D B / of the planes < A B >, < B C > can be set up from the point D at right angles to the plane of reference.
Therefore etc. Q. E. D.

Dependency Graph

digraph { bgcolor="transparent"; node [shape=box, style="rounded,filled", fontname="Helvetica", fontsize=11, color="#d6d3cd", fontcolor="#ffffff"]; edge [color="#8c857b", fontcolor="#8c857b", arrowsize=0.75]; rankdir="TB"; "G.1" [label="G.1", tooltip="G.1 (I.def.1): A point A is that which has no part.", fillcolor="#224422", URL="../G.1/index.html", target="_top"]; "G.2" [label="G.2", tooltip="G.2 (I.def.2): A line [ A B ] is a projection of a relationship of two points A, B.", fillcolor="#224422", URL="../G.2/index.html", target="_top"]; "G.3" [label="G.3", tooltip="G.3 (I.def.3): The extremities of a segment / A B / are points A, B.", fillcolor="#224422", URL="../G.3/index.html", target="_top"]; "G.4" [label="G.4", tooltip="G.4 (I.def.4): A segment / A B / is a portion of a line [ A B ] between two points A, B on the line.", fillcolor="#224422", URL="../G.4/index.html", target="_top"]; "G.5" [label="G.5", tooltip="G.5 (I.def.5): A surface is that which has length and breadth only.", fillcolor="#224422", URL="../G.5/index.html", target="_top"]; "G.7" [label="G.7", tooltip="G.7 (I.def.7): A plane surface lies evenly with the lines on itself.", fillcolor="#224422", URL="../G.7/index.html", target="_top"]; "G.22" [label="G.22", tooltip="G.22 (I.def.8): A plane angle is the inclination to one another of two lines or arcs in a plane that meet and do not lie on the same line.", fillcolor="#224422", URL="../G.22/index.html", target="_top"]; "G.33" [label="G.33", tooltip="G.33 (I.def.10): When a segment standing on a line makes the adjacent angles equal, each of the equal angles is a right angle, and the standing segment is perpendicular to the line.", fillcolor="#224422", URL="../G.33/index.html", target="_top"]; "G.504" [label="G.504", tooltip="G.504 (XI.3): If two planes cut one another, their common section is a segment.", fillcolor="#222244", URL="../G.504/index.html", target="_top"]; "G.505" [label="G.505", tooltip="G.505 (XI.def.3): Asegment isat right angles to a plane, when it makesright angles with all the segments which meet it and are in theplane.", fillcolor="#224422", URL="../G.505/index.html", target="_top"]; "G.515" [label="G.515", tooltip="G.515 (XI.13): From the same point two segments cannot be set up at right angles to the same plane on the same side.", fillcolor="#222244", URL="../G.515/index.html", target="_top"]; "G.521" [label="G.521", tooltip="G.521 (XI.def.4): Aplane is at right angles to a plane when thesegments drawn, in one of theplanes,at right angles to the common section of the planes are at right angles to the remaining plane.", fillcolor="#224422", URL="../G.521/index.html", target="_top"]; "G.523" [label="G.523", tooltip="G.523 (XI.19): If two planes which cut one another be at right angles to any plane, their common section is at right angles to the same plane.", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", URL="index.html", target="_top"]; "G.2" -> "G.1"; "G.3" -> "G.1"; "G.4" -> "G.1"; "G.515" -> "G.1"; "G.523" -> "G.1"; "G.3" -> "G.2"; "G.4" -> "G.2"; "G.7" -> "G.2"; "G.22" -> "G.2"; "G.33" -> "G.2"; "G.504" -> "G.2"; "G.4" -> "G.3"; "G.504" -> "G.3"; "G.7" -> "G.4"; "G.22" -> "G.4"; "G.33" -> "G.4"; "G.504" -> "G.4"; "G.505" -> "G.4"; "G.515" -> "G.4"; "G.521" -> "G.4"; "G.523" -> "G.4"; "G.7" -> "G.5"; "G.22" -> "G.7"; "G.504" -> "G.7"; "G.505" -> "G.7"; "G.515" -> "G.7"; "G.521" -> "G.7"; "G.523" -> "G.7"; "G.33" -> "G.22"; "G.505" -> "G.33"; "G.515" -> "G.33"; "G.521" -> "G.33"; "G.523" -> "G.33"; "G.515" -> "G.504"; "G.515" -> "G.505"; "G.523" -> "G.505"; "G.523" -> "G.515"; "G.523" -> "G.521"; }