PROPOSITION 11.

Ratios which are the same with the same ratio are also the same with one another.

For, as A is to B, so let C be to D, and, as C is to D, so let E be to F;

I say that, as A is to B, so is E to F.

A B G L C D H M E F K N

For of A, C, E let equimultiples G, H, K be taken, and of B, D, F other, chance, equimultiples L, M, N.

Then since, as A is to B, so is C to D, and of A, C equimultiples G, H have been taken, and of B, D other, chance, equimultiples L, M,

therefore, if G is in excess of L, H is also in excess of M, if equal, equal, and if less, less.

Again, since, as C is to D, so is E to F, and of C, E equimultiples H, K have been taken, and of D, F other, chance, equimultiples M, N,

therefore, if H is in excess of M, K is also in excess of N, if equal, equal, and if less, less.

But we saw that, if H was in excess of M, G was also in excess of L; if equal, equal; and if less, less;

so that, in addition, if G is in excess of L, K is also in excess of N, if equal, equal, and if less, less.

And G, K are equimultiples of A, E, while L, N are other, chance, equimultiples of B, F;

therefore, as A is to B, so is E to F.
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.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"]; "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="../../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="../../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="../../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="../../definitions/index.html#v-def-5", target="_top"]; "V.11" [label="V.11", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", tooltip="V.11: Ratios which are the same with the same ratio are also the same with one another.", URL="index.html", target="_top"]; "I.def.3" -> "I.def.1"; "I.def.3" -> "I.def.2"; "I.def.13" -> "I.def.3"; "I.def.14" -> "I.def.13"; "V.11" -> "I.def.14"; "V.def.2" -> "V.def.1"; "V.def.5" -> "V.def.2"; "V.11" -> "V.def.3"; "V.11" -> "V.def.5"; }

Required for

V.16, V.18, V.19, V.23, V.24, V.25, VI.1, VI.2, VI.3, VI.4, VI.5, VI.6, VI.7, VI.8, VI.9, VI.10, VI.11, VI.12, VI.13, VI.14, VI.15, VI.16, VI.17, VI.18, VI.19, VI.20, VI.22, VI.23, VI.24, VI.25, VI.26, VI.27, VI.28, VI.29, VI.30, VI.31, VI.32, X.6, X.7, X.9, X.10, X.11, X.12, X.13, X.14, X.17, X.18, X.19, X.20, X.21, 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, X.115, XI.17, XI.23, XI.27, XI.31, XI.32, XI.33, XI.34, XI.36, XI.37, XI.39, XII.1, XII.2, XII.3, XII.4, XII.5, XII.6, XII.7, XII.8, XII.9, XII.10, XII.11, XII.12, XII.13, XII.14, XII.15, XII.17, XII.18, XIII.1, XIII.2, XIII.4, XIII.5, XIII.6, XIII.8, XIII.9, XIII.10, XIII.11, XIII.13, XIII.16, XIII.17, XIII.18


See Commentary on Proposition V.11.