PROPOSITION 1.
Two unequal
numbers being set out, and the less being continually subtracted in turn from the greater, if the number which is left never
measures the one before it until an
unit is left, the original numbers will be
prime to one another .
For, the less of two unequal numbers AB , CD being continually subtracted from the greater, let the number which is left never measure the one before it until an unit is left;
I say that AB , CD are prime to one another, that is, that an unit alone measures AB , CD .
A
H
F
B
C
G
D
E
For, if AB , CD are not prime to one another, some number will measure them.
Let a number measure them, and let it be E ; let CD , measuring BF , leave FA less than itself, let AF , measuring DG , leave GC less than itself, and let GC , measuring FH , leave an unit HA .
Since, then, E measures CD , and CD measures BF ,
therefore E also measures BF .
But it also measures the whole BA ;
therefore it will also measure the remainder AF .
But AF measures DG ;
therefore E also measures DG .
But it also measures the whole DC ;
therefore it will also measure the remainder CG .
But CG measures FH ;
therefore E also measures FH .
But it also measures the whole FA ;
therefore it will also measure the remainder, the unit AH , though it is a number: which is impossible.
Therefore no number will measure the numbers
AB ,
CD ; therefore
AB ,
CD are prime to one another.
[VII. Def. 12]
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"];
"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.12" [label="VII.def.12", fillcolor="#224422", tooltip="VII.def.12: Numbers prime to one another are those which are measured by an unit alone as a common measure.", URL="../../definitions/index.html#vii-def-12", target="_top"];
"VII.1" [label="VII.1", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", tooltip="VII.1: Two unequal numbers being set out, and the less being continually subtracted in turn from the greater, if the number which is left never measures the one before it until an unit…", URL="index.html", target="_top"];
"VII.def.12" -> "V.def.1";
"VII.1" -> "V.def.1";
"VII.def.2" -> "VII.def.1";
"VII.def.12" -> "VII.def.1";
"VII.1" -> "VII.def.1";
"VII.1" -> "VII.def.2";
"VII.1" -> "VII.def.12";
}
Required for
VII.2 VII.3 VII.4 VII.20 VII.21 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.14 VIII.15 VIII.16 VIII.17 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.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.1
