← euclid / The Thirteen Books of Euclid’s Elements Volume II / Book VII / Propositions / VII.22 ← Prev Proposition · Commentary Next → [Folio 0329 | p. 323] PROPOSITION 22.¶ The least numbers of those which have the same ratio with them are prime to one another. Let A, B be the least numbers of those which have the same ratio with them; I say that A, B are prime to one another. A B C D E For, if they are not prime to one another, some number will measure them. Let some number measure them, and let it be C. [Folio 0330 | p. 324] And, as many times as C measures A, so many units let there be in D, and, as many times as C measures B, so many units let there be in E. Since C measures A according to the units in D, [VII. Def. 15]therefore C by multiplying D has made A. For the same reason also C by multiplying E has made B. Thus the number C by multiplying the two numbers D, E has made A, B ; [VII. 17]therefore, as D is to E, so is A to B ; therefore D, E are in the same ratio with A, B, being less than they : which is impossible. Therefore no number will measure the numbers A, B. Therefore A, B are prime to one another. 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.5" [label="V.def.5", fillcolor="#224422", tooltip="V.def.5: Magnitudes are said to be in the same ratio, the first to the second and the third to the fourth, when, if any equimultiples whatever be taken of the first and third, and any…", URL="../../../book_v/definitions/index.html#v-def-5", target="_top"]; "V.def.6" [label="V.def.6", fillcolor="#224422", tooltip="V.def.6: Let magnitudes which have the same ratio be called proportional.", URL="../../../book_v/definitions/index.html#v-def-6", 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.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.def.15" [label="VII.def.15", fillcolor="#224422", tooltip="VII.def.15: A number is said to multiply a number when that which is multiplied is added to itself as many times as there are units in the other, and thus some number is produced.", URL="../../definitions/index.html#vii-def-15", target="_top"]; "VII.def.20" [label="VII.def.20", fillcolor="#224422", tooltip="VII.def.20: Numbers are proportional when the first is the same multiple, or the same part, or the same parts, of the second that the third is of the fourth.", URL="../../definitions/index.html#vii-def-20", 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", fillcolor="#222244", 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="../09/index.html", target="_top"]; "VII.10" [label="VII.10", fillcolor="#222244", tooltip="VII.10: If a number be parts of a number, and another be the same parts of another, alternately also, whatever parts or part the first is of the third, the same parts or the same part…", URL="../10/index.html", target="_top"]; "VII.13" [label="VII.13", fillcolor="#222244", tooltip="VII.13: If four numbers be proportional, they will also be proportional alternately.", URL="../13/index.html", target="_top"]; "VII.17" [label="VII.17", fillcolor="#222244", tooltip="VII.17: If a number by multiplying two numbers make certain numbers, the numbers so produced will have the same ratio as the numbers multiplied.", URL="../17/index.html", target="_top"]; "VII.22" [label="VII.22", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", tooltip="VII.22: The least numbers of those which have the same ratio with them are prime to one another.", 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.def.12" -> "V.def.1"; "V.def.5" -> "V.def.2"; "VII.5" -> "V.def.2"; "V.def.6" -> "V.def.5"; "VII.17" -> "V.def.5"; "VII.22" -> "V.def.5"; "VII.13" -> "V.def.6"; "V.def.12" -> "V.def.11"; "VII.9" -> "V.def.12"; "VII.10" -> "V.def.12"; "VII.13" -> "V.def.12"; "VII.def.2" -> "VII.def.1"; "VII.def.12" -> "VII.def.1"; "VII.def.15" -> "VII.def.1"; "VII.def.3" -> "VII.def.2"; "VII.def.5" -> "VII.def.2"; "VII.def.15" -> "VII.def.2"; "VII.5" -> "VII.def.2"; "VII.6" -> "VII.def.2"; "VII.9" -> "VII.def.2"; "VII.10" -> "VII.def.2"; "VII.13" -> "VII.def.2"; "VII.17" -> "VII.def.2"; "VII.22" -> "VII.def.2"; "VII.def.20" -> "VII.def.3"; "VII.5" -> "VII.def.3"; "VII.9" -> "VII.def.3"; "VII.10" -> "VII.def.3"; "VII.def.20" -> "VII.def.4"; "VII.6" -> "VII.def.4"; "VII.9" -> "VII.def.4"; "VII.10" -> "VII.def.4"; "VII.def.20" -> "VII.def.5"; "VII.5" -> "VII.def.5"; "VII.22" -> "VII.def.12"; "VII.17" -> "VII.def.15"; "VII.22" -> "VII.def.15"; "VII.13" -> "VII.def.20"; "VII.17" -> "VII.def.20"; "VII.6" -> "VII.5"; "VII.9" -> "VII.5"; "VII.10" -> "VII.5"; "VII.9" -> "VII.6"; "VII.10" -> "VII.6"; "VII.10" -> "VII.9"; "VII.13" -> "VII.10"; "VII.17" -> "VII.13"; "VII.22" -> "VII.17"; } Required for¶ VIII.2, VIII.3, VIII.6, VIII.7, VIII.8, VIII.9, VIII.14, VIII.15, VIII.16, VIII.17, VIII.21, 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.15, IX.32, IX.36, X.9, X.10, X.29, X.30, X.31, X.32, X.33, X.34, X.35, X.39, X.40, X.41, X.45, X.46, X.48, X.49, X.50, X.51, X.52, X.53, X.57, X.58, X.59, X.60, X.63, X.64, X.65, X.68, X.69, X.70, X.71, X.72, X.76, X.77, X.78, X.82, X.83, X.84, X.85, X.86, X.87, X.88, X.89, X.90, X.91, X.94, X.95, X.96, X.100, X.101, X.102, X.105, X.106, X.107, X.108, X.109, X.110, X.111, XIII.6, XIII.11, XIII.16, XIII.17, XIII.18 See Commentary on Proposition VII.22.
