PROPOSITION 15.

Parts have the same ratio as the same multiples of them taken in corresponding order.

For let AB be the same multiple of C that DE is of F ;

I say that, as C is to F, so is AB to DE.

A G H B D K L E C F

For, since AB is the same multiple of C that DE is of F, as many magnitudes as there are in AB equal to C, so many are there also in DE equal to F.

Let AB be divided into the magnitudes AG, GH, HB equal to C, and DE into the magnitudes DK, KL, LE equal to F ; then the multitude of the magnitudes AG, GH, HB will be equal to the multitude of the magnitudes DK, KL, LE.

And, since AG, GH, HB are equal to one another, and DK, KL, LE are also equal to one another,

[V. 7]therefore, as AG is to DK, so is GH to KL, and HB to LE.

Therefore, as one of the antecedents is to one of the consequents, so will all the antecedents be to all the consequents ; [V. 12]

therefore, as AG is to DK, so is AB to DE.

But AG is equal to C and DK to F ;

therefore, as C is to F, so is AB to DE.
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.6" [label="V.def.6", fillcolor="#224422", tooltip="V.def.6: Let magnitudes which have the same ratio be called proportional.", URL="../../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="../../definitions/index.html#v-def-11", target="_top"]; "V.def.13" [label="V.def.13", fillcolor="#224422", tooltip="V.def.13: Inverse ratio means taking the consequent as antecedent in relation to the antecedent as consequent.", URL="../../definitions/index.html#v-def-13", target="_top"]; "V.1" [label="V.1", fillcolor="#222244", tooltip="V.1: If there be any number of magnitudes whatever which are, respectively, equimultiples of any magnitudes equal in multitude, then, whatever multiple one of the magnitudes is of one…", URL="../01/index.html", target="_top"]; "V.7" [label="V.7", fillcolor="#222244", tooltip="V.7: Equal magnitudes have to the same the same ratio, as also has the same to equal magnitudes.", URL="../07/index.html", target="_top"]; "V.12" [label="V.12", fillcolor="#222244", tooltip="V.12: If any number of magnitudes be proportional, as one of the antecedents is to one of the consequents, so will all the antecedents be to all the consequents.", URL="../12/index.html", target="_top"]; "V.15" [label="V.15", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", tooltip="V.15: Parts have the same ratio as the same multiples of them taken in corresponding order.", URL="index.html", target="_top"]; "V.def.2" -> "V.def.1"; "V.def.5" -> "V.def.2"; "V.1" -> "V.def.2"; "V.15" -> "V.def.2"; "V.def.6" -> "V.def.5"; "V.7" -> "V.def.5"; "V.12" -> "V.def.5"; "V.15" -> "V.def.5"; "V.7" -> "V.def.6"; "V.12" -> "V.def.6"; "V.def.13" -> "V.def.11"; "V.12" -> "V.def.11"; "V.7" -> "V.def.13"; "V.12" -> "V.1"; "V.15" -> "V.7"; "V.15" -> "V.12"; }

Required for

V.16, V.19, V.23, 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.33, XI.34, XI.36, XI.37, 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.15.