PROPOSITION 3.

If a first magnitude be the same multiple of a second that a third is of a fourth, and if equimultiples be taken of the first and third, then also ex aequali the magnitudes taken will be equimultiples respectively, the one of the second and the other of the fourth.

Let a first magnitude A be the same multiple of a second B that a third C is of a fourth D, and let equimultiples EF, GH be taken of A, C;

I say that EF is the same multiple of B that GH is of D.

For, since EF is the same multiple of A that GH is of C,

therefore, as many magnitudes as there are in EF equal to A, so many also are there in GH equal to C.

Let EF be divided into the magnitudes EK, KF equal to A, and GH into the magnitudes GL, LH equal to C; then the multitude of the magnitudes EK, KF will be equal to the multitude of the magnitudes GL, LH.

A B E K F C D G L H

And, since A is the same multiple of B that C is of D,

while EK is equal to A, and GL to C,
therefore EK is the same multiple of B that GL is of D.

For the same reason

KF is the same multiple of B that LH is of D.

Since, then, a first magnitude EK is the same multiple of a second B that a third GL is of a fourth D, and a fifth KF is also the same multiple of the second B that a sixth LH is of the fourth D,

therefore the sum of the first and fifth, EF, is also the same multiple of the second B that the sum of the third and sixth, GH, is of the fourth D. [V. 2]
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.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.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="../../definitions/index.html#v-def-17", target="_top"]; "V.2" [label="V.2", fillcolor="#222244", tooltip="V.2: If a first magnitude be the same multiple of a second that a third is of a fourth, and a fifth also be the same multiple of the second that a sixth is of the fourth, the sum of…", URL="../02/index.html", target="_top"]; "V.3" [label="V.3", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", tooltip="V.3: If a first magnitude be the same multiple of a second that a third is of a fourth, and if equimultiples be taken of the first and third, then also ex aequali the magnitudes taken…", URL="index.html", target="_top"]; "V.def.2" -> "V.def.1"; "V.2" -> "V.def.2"; "V.3" -> "V.def.2"; "V.def.17" -> "V.def.3"; "V.3" -> "V.def.17"; "V.3" -> "V.2"; }

Required for

V.4, V.22, V.24, VI.4, VI.5, VI.6, VI.7, VI.8, VI.13, VI.18, 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.6, XIII.8, XIII.9, XIII.10, XIII.11, XIII.13, XIII.16, XIII.17, XIII.18


See Commentary on Proposition V.3.