PROPOSITION 14.

If there be as many numbers as we please, and others equal to them in multitude, which taken two and two are in the same ratio, they will also be in the same ratio ex aequali.

Let there be as many numbers as we please A, B, C, and others equal to them in multitude D, E, F, which taken two and two are in the same ratio, so that, as A is to B, so is D to E, and, as B is to C, so is E to F;

I say that, ex aequali, as A is to C, so also is D to F.

A B C D E F
For, since, as A is to B, so is D to E,
therefore, alternately, as A is to D, so is B to E. [VII. 13]
Again, since, as B is to C, so is E to F,
therefore, alternately, as B is to E, so is C to F. [VII. 13]
But, as B is to E, so is A to D;
therefore also, as A is to D, so is C to F.
Therefore, alternately, as A is to C, so is D to F. [id.]

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.3" [label="V.def.3", fillcolor="#224422", tooltip="V.def.3: A ratio is a sort of relation in respect of size between two magnitudes of the same kind.", URL="../../../book_v/definitions/index.html#v-def-3", 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"]; "V.def.17" [label="V.def.17", fillcolor="#224422", tooltip="V.def.17: A ratio ex aequali arises when, there being several magnitudes and another set equal to them in multitude which taken two and two are in the same proportion, as the first is to…", URL="../../../book_v/definitions/index.html#v-def-17", 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.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.14" [label="VII.14", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", tooltip="VII.14: If there be as many numbers as we please, and others equal to them in multitude, which taken two and two are in the same ratio, they will also be in the same ratio ex aequali.", 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"; "V.def.5" -> "V.def.2"; "VII.5" -> "V.def.2"; "V.def.17" -> "V.def.3"; "V.def.6" -> "V.def.5"; "VII.14" -> "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.14" -> "V.def.17"; "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.10" -> "VII.def.2"; "VII.13" -> "VII.def.2"; "VII.14" -> "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.13" -> "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.14" -> "VII.13"; }

Required for

VIII.1, VIII.2, VIII.3, VIII.5, VIII.6, VIII.7, VIII.8, VIII.9, VIII.13, 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.19, 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.14.