G.177 magnitude ratio equimultiples — Heath

V.4

If a first magnitude have to a second the same ratio as a third to a fourth, any equimultiples whatever of the first and third will also have the same ratio to any equimultiples whatever of the second and fourth respectively, taken in corresponding order.

For let a first magnitude A have to a second B the same ratio as a third C to a fourth D; and let equimultiples E, F be taken of A, C, and G, H other, chance, equimultiples of B, D;

I say that, as E is to G, so is F to H.

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

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

Since E is the same multiple of A that F is of C, and equimultiples K, L of E, F have been taken,

[G.175]therefore K is the same multiple of A that L is of C.

For the same reason

M is the same multiple of B that N is of D.

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

therefore, if K is in excess of M, L also is in excess of N, if it is equal, equal, and if less, less. [G.176]

And K, L are equimultiples of E, F, and M, N other, chance, equimultiples of G, H;

[G.176]therefore, as E is to G, so is F to H.
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"; "G.169" [label="G.169", tooltip="G.169 (V.def.1): A magnitude is apart of a magnitude, the less of the greater, when it measures the greater.", fillcolor="#224422", URL="../G.169/index.html", target="_top"]; "G.170" [label="G.170", tooltip="G.170 (V.def.2): The greater is amultiple of the less when it ismeasured by the less.", fillcolor="#224422", URL="../G.170/index.html", target="_top"]; "G.172" [label="G.172", tooltip="G.172 (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 the...", fillcolor="#222244", URL="../G.172/index.html", target="_top"]; "G.173" [label="G.173", tooltip="G.173 (V.def.3): Aratio is a sort of relation in respect of size between two magnitudes of the same kind.", fillcolor="#224422", URL="../G.173/index.html", target="_top"]; "G.174" [label="G.174", tooltip="G.174 (V.def.17): Aratioex 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 the l...", fillcolor="#224422", URL="../G.174/index.html", target="_top"]; "G.175" [label="G.175", tooltip="G.175 (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 i...", fillcolor="#222244", URL="../G.175/index.html", target="_top"]; "G.176" [label="G.176", tooltip="G.176 (V.def.5): Magnitudes are said tobe in the same ratio, the first to the second and the third to the fourth, when, if anyequimultiples whatever be taken of the first and third, and any equimul...", fillcolor="#224422", URL="../G.176/index.html", target="_top"]; "G.177" [label="G.177", tooltip="G.177 (V.4): If a first magnitude have to a second the same ratio as a third to a fourth, any equimultiples whatever of the first and third will also have the same ratio to any equimultiples wh...", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", URL="index.html", target="_top"]; "G.170" -> "G.169"; "G.172" -> "G.170"; "G.175" -> "G.170"; "G.176" -> "G.170"; "G.177" -> "G.170"; "G.175" -> "G.172"; "G.174" -> "G.173"; "G.175" -> "G.174"; "G.177" -> "G.175"; "G.177" -> "G.176"; }

Required for

G.205, G.207, G.213, G.214, G.215, G.216, G.218, G.223, G.229, G.232, G.234, G.236, G.237, G.238, G.239, G.240, G.241, G.243, G.244, G.245, G.376, G.377, G.378, G.379, G.381, G.382, G.383, G.384, G.385, G.386, G.389, G.390, G.393, G.394, G.395, G.396, G.397, G.398, G.399, G.400, G.401, G.402, G.403, G.404, G.405, G.406, G.407, G.408, G.409, G.410, G.411, G.412, G.413, G.414, G.415, G.416, G.417, G.418, G.419, G.420, G.421, G.423, G.425, G.427, G.429, G.431, G.433, G.434, G.435, G.436, G.437, G.438, G.439, G.440, G.441, G.442, G.443, G.444, G.445, G.446, G.447, G.448, G.449, G.450, G.451, G.452, G.453, G.457, G.458, G.459, G.460, G.461, G.462, G.463, G.464, G.465, G.466, G.467, G.468, G.470, G.472, G.474, G.476, G.477, G.478, G.479, G.480, G.481, G.482, G.483, G.484, G.485, G.486, G.487, G.488, G.489, G.490, G.491, G.492, G.493, G.494, G.495, G.496, G.497, G.498, G.499, G.500, G.501, G.528, G.536, G.551, G.552, G.555, G.556, G.557, G.558, G.559, G.563, G.565, G.570, G.571, G.572, G.573, G.577, G.578, G.584, G.586, G.587, G.588, G.589, G.592, G.597, G.600, G.601