G.515 point segments set — Heath

XI.13

From the same point two straight lines cannot be set up at right angles to the same plane on the same side.

For, if possible, from the same point A let the two straight lines / A B /, / A C / be set up at right angles to the plane of reference and on the same side, and let a plane be drawn through / B A /, / A C /; it will then make, as section through A in the plane of reference, a straight line. [G.504]

B C D A E

Let it make / D A E /;

therefore the straight lines / A B /, / A C /, / D A E / are in one plane.

And, since / C A / is at right angles to the plane of reference, it will also make right angles with all the straight lines which meet it and are in the plane of reference. [G.505]

But / D A E / meets it and is in the plane of reference;
therefore the angle < C A E ) is right.
For the same reason the angle < B A E ) is also right;
therefore the angle < C A E ) is equal to the angle < B A E ).
And they are in one plane: which is impossible.
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.", 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.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.7" -> "G.5"; "G.22" -> "G.7"; "G.504" -> "G.7"; "G.505" -> "G.7"; "G.515" -> "G.7"; "G.33" -> "G.22"; "G.505" -> "G.33"; "G.515" -> "G.33"; "G.515" -> "G.504"; "G.515" -> "G.505"; }

Required for

G.523