Heath ID: I.3
G.9¶
Given two unequal straight lines, to cut off from the greater a straight line equal to the less.
Let AB, C be the-two given unequal straight lines, and let AB be the greater of them.
Thus it is required to cut off from AB the greater a straight line equal to C the less.
At the point A let AD be placed equal to the straight line C; [G.8] and with centre A and distance AD let the circle DEF be described. [G.4] Now, since the point A is the centre of the circle DEF, AE is equal to AD. [G.2] But C is also equal to AD. Therefore each of the straight lines AE, C is equal to AD; so that AE is also equal to C. [G.1]
Therefore, given the two straight lines AB, C, from AB the greater AE has been cut off equal to C the less.
Q. E. D.
(Being) what it was required to do.
Dependency Graph¶
![digraph {
bgcolor="black";
node [shape=box, style="rounded,filled", fontname="Helvetica", color="white", fontcolor="white"];
edge [color="white", fontcolor="white"];
rankdir="TB";
"G.6" [label="G.6", fillcolor="#442222", URL="/elements2/G.6/", target="_top"];
"G.8" [label="G.8", fillcolor="#222244", URL="/elements2/G.8/", target="_top"];
"G.9" [label="G.9", penwidth=3, color="white", fillcolor="#555555", URL="/elements2/G.9/", target="_top"];
"G.7" [label="G.7", fillcolor="#444422", URL="/elements2/G.7/", target="_top"];
"G.3" [label="G.3", fillcolor="#444422", URL="/elements2/G.3/", target="_top"];
"G.5" [label="G.5", fillcolor="#222244", URL="/elements2/G.5/", target="_top"];
"G.4" [label="G.4", fillcolor="#444422", URL="/elements2/G.4/", target="_top"];
"G.1" [label="G.1", fillcolor="#442222", URL="/elements2/G.1/", target="_top"];
"G.2" [label="G.2", fillcolor="#224422", URL="/elements2/G.2/", target="_top"];
"G.8" -> "G.6";
"G.9" -> "G.8";
"G.8" -> "G.7";
"G.5" -> "G.3";
"G.8" -> "G.3";
"G.8" -> "G.5";
"G.5" -> "G.4";
"G.8" -> "G.4";
"G.9" -> "G.4";
"G.5" -> "G.1";
"G.8" -> "G.1";
"G.9" -> "G.1";
"G.5" -> "G.2";
"G.9" -> "G.2";
}](../../_images/graphviz-a799a2278b34356fb751f95cac8ef44461ac6d8f.png)
Required for¶
G.17, G.19, G.20, G.21, G.23, G.24, G.25, G.26, G.27, G.28, G.30, G.31, G.32, G.33, G.34, G.35, G.36, G.38, G.39, G.42, G.43, G.44, G.45, G.46, G.47, G.48, G.49, G.50, G.51, G.52, G.53, G.54, G.55, G.56, G.57, G.58, G.59, G.60, G.61, G.12, G.14, G.15, G.16