PROPOSITION 9.
If a
number be a
part of a number, and another be the same part of another,
alternately also, whatever part or parts the first is of the third, the same part, or the
same parts , will the second also be of the fourth.
For let the number A be a part of the number BC , and another, D , the same part of another, EF , that A is of BC ;
I say that, alternately also, whatever part or parts A is of D , the same part or parts is BC of EF also.
A
B
G
C
D
E
H
F
For since, whatever part A is of BC , the same part also is D of EF ,
therefore, as many numbers as there are in BC equal to A , so many also are there in EF equal to D .
Let BC be divided into the numbers equal to A , namely BG , GC , and EF into those equal to D , namely EH , HF ; thus the multitude of BG , GC will be equal to the multitude of EH , HF .
Now, since the numbers BG , GC are equal to one another, and the numbers EH , HF are also equal to one another, while the multitude of BG , GC is equal to the multitude of EH , HF ,
therefore, whatever part or parts BG is of EH , the same part or the same parts is GC of HF also;
so that, in addition, whatever part or parts
BG is of
EH , the same part also, or the same parts, is the sum
BC of the sum
EF .
[VII. 5 , 6 ] But BG is equal to A , and EH to D ;
therefore, whatever part or parts A is of D , the same part or the same parts is BC of EF also.
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";
"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="../../../book_v/definitions/index.html#v-def-1", target="_top"];
"V.def.2" [label="V.def.2", fillcolor="#224422", tooltip="V.def.2: The greater is a multiple of the less when it is measured by the less.", URL="../../../book_v/definitions/index.html#v-def-2", target="_top"];
"V.def.11" [label="V.def.11", fillcolor="#224422", tooltip="V.def.11: The term corresponding magnitudes is used of antecedents in relation to antecedents, and of consequents in relation to consequents.", URL="../../../book_v/definitions/index.html#v-def-11", target="_top"];
"V.def.12" [label="V.def.12", fillcolor="#224422", tooltip="V.def.12: Alternate ratio means taking the antecedent in relation to the antecedent and the consequent in relation to the consequent.", URL="../../../book_v/definitions/index.html#v-def-12", target="_top"];
"VII.def.1" [label="VII.def.1", fillcolor="#224422", tooltip="VII.def.1: An unit is that by virtue of which each of the things that exist is called one.", URL="../../definitions/index.html#vii-def-1", target="_top"];
"VII.def.2" [label="VII.def.2", fillcolor="#224422", tooltip="VII.def.2: A number is a multitude composed of units.", URL="../../definitions/index.html#vii-def-2", target="_top"];
"VII.def.3" [label="VII.def.3", fillcolor="#224422", tooltip="VII.def.3: A number is a part of a number, the less of the greater, when it measures the greater.", URL="../../definitions/index.html#vii-def-3", target="_top"];
"VII.def.4" [label="VII.def.4", fillcolor="#224422", tooltip="VII.def.4: but parts when it does not measure it.", URL="../../definitions/index.html#vii-def-4", target="_top"];
"VII.def.5" [label="VII.def.5", fillcolor="#224422", tooltip="VII.def.5: The greater number is a multiple of the less when it is measured by the less.", URL="../../definitions/index.html#vii-def-5", target="_top"];
"VII.5" [label="VII.5", fillcolor="#222244", tooltip="VII.5: If a number be a part of a number, and another be the same part of another, the sum will also be the same part of the sum that the one is of the one.", URL="../05/index.html", target="_top"];
"VII.6" [label="VII.6", fillcolor="#222244", tooltip="VII.6: If a number be parts of a number, and another be the same parts of another, the sum will also be the same parts of the sum that the one is of the one.", URL="../06/index.html", target="_top"];
"VII.9" [label="VII.9", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", tooltip="VII.9: If a number be a part of a number, and another be the same part of another, alternately also, whatever part or parts the first is of the third, the same part, or the same parts…", URL="index.html", target="_top"];
"V.def.2" -> "V.def.1";
"VII.def.3" -> "V.def.1";
"VII.def.4" -> "V.def.1";
"VII.def.5" -> "V.def.1";
"VII.5" -> "V.def.2";
"V.def.12" -> "V.def.11";
"VII.9" -> "V.def.12";
"VII.def.2" -> "VII.def.1";
"VII.def.3" -> "VII.def.2";
"VII.def.5" -> "VII.def.2";
"VII.5" -> "VII.def.2";
"VII.6" -> "VII.def.2";
"VII.9" -> "VII.def.2";
"VII.5" -> "VII.def.3";
"VII.9" -> "VII.def.3";
"VII.6" -> "VII.def.4";
"VII.9" -> "VII.def.4";
"VII.5" -> "VII.def.5";
"VII.6" -> "VII.5";
"VII.9" -> "VII.5";
"VII.9" -> "VII.6";
}
Required for
VII.10 VII.13 VII.14 VII.17 VII.18 VII.19 VII.20 VII.21 VII.22 VII.24 VII.25 VII.26 VII.27 VII.30 VII.33 VII.34 VII.36 VII.39 VIII.1 VIII.2 VIII.3 VIII.4 VIII.5 VIII.6 VIII.7 VIII.8 VIII.9 VIII.10 VIII.11 VIII.12 VIII.13 VIII.14 VIII.15 VIII.16 VIII.17 VIII.18 VIII.19 VIII.20 VIII.21 VIII.22 VIII.23 VIII.24 VIII.25 VIII.26 VIII.27 IX.1 IX.2 IX.3 IX.4 IX.5 IX.6 IX.8 IX.9 IX.10 IX.12 IX.13 IX.14 IX.15 IX.16 IX.17 IX.18 IX.19 IX.32 IX.35 IX.36 X.9 X.10 X.12 X.13 X.17 X.18 X.22 X.23 X.24 X.25 X.26 X.27 X.28 X.29 X.30 X.31 X.32 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.51 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.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 VII.9
