PROPOSITION 16.
If two
incommensurable magnitudes be added together, the whole will also be incommensurable with each of them; and, if the whole be incommensurable with one of them, the original magnitudes will also be incommensurable.
For let the two incommensurable magnitudes AB , BC be added together; I say that the whole AC is also incommensurable with each of the magnitudes AB , BC .
A
B
C
D
For, if CA , AB are not incommensurable, some magnitude will measure them. Let it measure them, if possible, and let it be D .
Since then D measures CA , AB ,
therefore it will also measure the remainder BC .
But it measures AB also;
therefore D measures AB , BC .
Therefore AB , BC are commensurable;
but they were also, by hypothesis, incommensurable:
which is impossible.
Therefore no magnitude will measure
CA ,
AB ; therefore
CA ,
AB are incommensurable.
[X. Def. 1] Similarly we can prove that AC , CB are also incommensurable.
Therefore AC is incommensurable with each of the magnitudes AB , BC .
Next, let AC be incommensurable with one of the magnitudes AB , BC .
First, let it be incommensurable with AB ; I say that AB , BC are also incommensurable.
For, if they are commensurable, some magnitude will measure them. Let it measure them, and let it be D .
Since then D measures AB , BC ,
therefore it will also measure the whole AC .
But it measures AB also;
therefore D measures CA , AB .
Therefore CA , AB are commensurable;
but they were also, by hypothesis, incommensurable:
which is impossible.
Therefore no magnitude will measure
AB ,
BC ; therefore
AB ,
BC are incommensurable.
[X. Def. 1] Therefore etc.
LEMMA.
For let there be applied to the straight line AB the parallelogram AD deficient by the square figure DB ; I say that AD is equal to the rectangle contained by AC , CB .
A
D
C
B
This is indeed at once manifest;
for, since DB is a square,
DC is equal to CB ;
and AD is the rectangle AC , CD , that is, the rectangle AC , CB .
Therefore etc.
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";
"I.def.1" [label="I.def.1", fillcolor="#224422", tooltip="I.def.1: A point is that which has no part.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-1", target="_top"];
"I.def.2" [label="I.def.2", fillcolor="#224422", tooltip="I.def.2: A line is breadthless length.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-2", target="_top"];
"I.def.3" [label="I.def.3", fillcolor="#224422", tooltip="I.def.3: The extremities of a line are points.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-3", target="_top"];
"I.def.4" [label="I.def.4", fillcolor="#224422", tooltip="I.def.4: A straight line is a line which lies evenly with the points on itself.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-4", target="_top"];
"I.def.5" [label="I.def.5", fillcolor="#224422", tooltip="I.def.5: A surface is that which has length and breadth only.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-5", target="_top"];
"I.def.7" [label="I.def.7", fillcolor="#224422", tooltip="I.def.7: A plane surface is a surface which lies evenly with the straight lines on itself.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-7", target="_top"];
"I.def.8" [label="I.def.8", fillcolor="#224422", tooltip="I.def.8: A plane angle is the inclination to one another of two lines in a plane which meet one another and do not lie in a straight line.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-8", target="_top"];
"I.def.10" [label="I.def.10", fillcolor="#224422", tooltip="I.def.10: When a straight line set up on a straight line makes the adjacent angles equal to one another, each of the equal angles is right, and the straight line standing on the other is…", URL="../../../../volume_I/book_i/definitions/index.html#i-def-10", target="_top"];
"I.def.13" [label="I.def.13", fillcolor="#224422", tooltip="I.def.13: A boundary is that which is an extremity of anything.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-13", target="_top"];
"I.def.14" [label="I.def.14", fillcolor="#224422", tooltip="I.def.14: A figure is that which is contained by any boundary or boundaries.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-14", target="_top"];
"I.def.19" [label="I.def.19", fillcolor="#224422", tooltip="I.def.19: Rectilineal figures are those which are contained by straight lines, trilateral figures being those contained by three, quadrilateral those contained by four, and multilateral…", URL="../../../../volume_I/book_i/definitions/index.html#i-def-19", target="_top"];
"I.def.20" [label="I.def.20", fillcolor="#224422", tooltip="I.def.20: Of trilateral figures, an equilateral triangle is that which has its three sides equal, an isosceles triangle that which has two of its sides alone equal, and a scalene triangle…", URL="../../../../volume_I/book_i/definitions/index.html#i-def-20", target="_top"];
"I.def.22" [label="I.def.22", fillcolor="#224422", tooltip="I.def.22: Of quadrilateral figures, a square is that which is both equilateral and right-angled ; an oblong that which is right-angled but not equilateral ; a rhombus that which is…", URL="../../../../volume_I/book_i/definitions/index.html#i-def-22", target="_top"];
"II.def.1" [label="II.def.1", fillcolor="#224422", tooltip="II.def.1: Any rectangular parallelogram is said to be contained by the two straight lines containing the right angle.", URL="../../../../volume_I/book_ii/definitions/index.html#ii-def-1", target="_top"];
"V.def.1" [label="V.def.1", fillcolor="#224422", tooltip="V.def.1: A magnitude is a part of a magnitude, the less of the greater, when it measures the greater.", URL="../../../../volume_II/book_v/definitions/index.html#v-def-1", target="_top"];
"X.def.1" [label="X.def.1", fillcolor="#224422", tooltip="X.def.1: Those magnitudes are said to be commensurable which are measured by the same measure, and those incommensurable which cannot have any common measure.", URL="../../definitions/index.html#x-def-1", target="_top"];
"X.16" [label="X.16", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", tooltip="X.16: If two incommensurable magnitudes be added together, the whole will also be incommensurable with each of them; and, if the whole be incommensurable with one of them, the original…", URL="index.html", target="_top"];
"I.def.3" -> "I.def.1";
"I.def.4" -> "I.def.1";
"I.def.3" -> "I.def.2";
"I.def.4" -> "I.def.2";
"I.def.8" -> "I.def.2";
"I.def.4" -> "I.def.3";
"I.def.13" -> "I.def.3";
"I.def.7" -> "I.def.4";
"I.def.8" -> "I.def.4";
"I.def.10" -> "I.def.4";
"I.def.19" -> "I.def.4";
"II.def.1" -> "I.def.4";
"X.16" -> "I.def.4";
"I.def.7" -> "I.def.5";
"I.def.8" -> "I.def.7";
"I.def.10" -> "I.def.8";
"I.def.22" -> "I.def.8";
"II.def.1" -> "I.def.10";
"I.def.14" -> "I.def.13";
"X.16" -> "I.def.14";
"I.def.20" -> "I.def.19";
"I.def.22" -> "I.def.19";
"I.def.22" -> "I.def.20";
"X.16" -> "I.def.22";
"X.16" -> "II.def.1";
"X.def.1" -> "V.def.1";
"X.16" -> "X.def.1";
}
Required for
X.18 X.26 X.33 X.34 X.35 X.36 X.37 X.38 X.39 X.40 X.41 X.42 X.43 X.44 X.45 X.46 X.47 X.48 X.49 X.50 X.52 X.53 X.54 X.55 X.56 X.57 X.58 X.59 X.60 X.61 X.62 X.63 X.64 X.65 X.66 X.67 X.68 X.69 X.70 X.71 X.72 X.73 X.74 X.75 X.76 X.77 X.78 X.79 X.80 X.81 X.82 X.83 X.84 X.85 X.86 X.87 X.88 X.89 X.90 X.91 X.92 X.93 X.94 X.95 X.96 X.97 X.98 X.99 X.100 X.101 X.102 X.103 X.104 X.105 X.106 X.107 X.108 X.109 X.110 X.111 X.112 X.113 X.114 XIII.6 XIII.11 XIII.16 XIII.17 XIII.18
See Commentary on Proposition X.16
