PROPOSITION 13.

If a first magnitude have to a second the same ratio as a third to a fourth, and the third have to the fourth a greater ratio than a fifth has to a sixth, the first will also have to the second a greater ratio than the fifth to the sixth.

For let a first magnitude A have to a second B the same ratio as a third C has to a fourth D, and let the third C have to the fourth D a greater ratio than a fifth E has to a sixth F;

I say that the first A will also have to the second B a greater ratio than the fifth E to the sixth F.

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

For, since there are some equimultiples of C, E, and of D, F other, chance, equimultiples, such that the multiple of C is in excess of the multiple of D, while the multiple of E is not in excess of the multiple of F, [V. Def. 7]

let them be taken, and let G, H be equimultiples of C, E, and K, L other, chance, equimultiples of D, F, so that G is in excess of K, but H is not in excess of L; and, whatever multiple G is of C, let M be also that multiple of A, and, whatever multiple K is of D, let N be also that multiple of B.

Now, since, as A is to B, so is C to D, and of A, C equimultiples M, G have been taken, and of B, D other, chance, equimultiples N, K,

therefore, if M is in excess of N, G is also in excess of K, if equal, equal, and if less, less. [V. Def. 5]
But G is in excess of K;
therefore M is also in excess of N.
But H is not in excess of L;

and M, H are equimultiples of A, E, and N, L other, chance, equimultiples of B, F;

[V. Def. 7]therefore A has to B a greater ratio than E has to F.
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="../../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.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.def.7" [label="V.def.7", fillcolor="#224422", tooltip="V.def.7: When, of the equimultiples, the multiple of the first magnitude exceeds the multiple of the second, but the multiple of the third does not exceed the multiple of the fourth, then…", URL="../../definitions/index.html#v-def-7", target="_top"]; "V.13" [label="V.13", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", tooltip="V.13: If a first magnitude have to a second the same ratio as a third to a fourth, and the third have to the fourth a greater ratio than a fifth has to a sixth, the first will also have…", URL="index.html", target="_top"]; "V.def.2" -> "V.def.1"; "V.def.5" -> "V.def.2"; "V.def.7" -> "V.def.2"; "V.13" -> "V.def.5"; "V.13" -> "V.def.7"; }

Required for

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