G.193 parts ratio multiples — Heath
V.15
Parts have the
same ratio as the same
multiples of them taken in corresponding order.
For let / A B / be the same multiple of C that / D E / is of F ;
I say that, as C is to F , so is / A B / to / D E / .
A
G
H
B
D
K
L
E
C
F
For, since / A B / is the same multiple of C that / D E / is of F , as many magnitudes as there are in / A B / equal to C , so many are there also in / D E / equal to F .
Let / A B / be divided into the magnitudes / A G / , / G H / , / H B / equal to C , and / D E / into the magnitudes / D K / , / K L / , / L E / equal to F ; then the multitude of the magnitudes / A G / , / G H / , / H B / will be equal to the multitude of the magnitudes / D K / , / K L / , / L E / .
And, since / A G / , / G H / , / H B / are equal to one another, and / D K / , / K L / , / L E / are also equal to one another,
[G.183] therefore, as
/ A G / is to
/ D K / , so is
/ G H / to
/ K L / , and
/ H B / to
/ L E / .
Therefore, as one of the antecedents is to one of the consequents, so will all the antecedents be to all the consequents ; [G.190]
therefore, as / A G / is to / D K / , so is / A B / to / D E / .
But / A G / is equal to C and / D K / to F ;
therefore, as C is to F , so is / A B / to / D E / .
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.171" [label="G.171", tooltip="G.171 (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, ...", fillcolor="#222244", URL="../G.171/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.180" [label="G.180", tooltip="G.180 (V.def.6): Let magnitudes which have thesame ratio be calledproportional.", fillcolor="#224422", URL="../G.180/index.html", target="_top"];
"G.181" [label="G.181", tooltip="G.181 (V.def.11): The termcorresponding magnitudes is used of antecedents in relation to antecedents, and of consequents in relation to consequents.", fillcolor="#224422", URL="../G.181/index.html", target="_top"];
"G.182" [label="G.182", tooltip="G.182 (V.def.13): Inverse ratio means taking theconsequent as antecedent in relation to the antecedent as consequent.", fillcolor="#224422", URL="../G.182/index.html", target="_top"];
"G.183" [label="G.183", tooltip="G.183 (V.7): Equal magnitudes have to the same the same ratio, as also has the same to equal magnitudes.", fillcolor="#222244", URL="../G.183/index.html", target="_top"];
"G.190" [label="G.190", tooltip="G.190 (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.", fillcolor="#222244", URL="../G.190/index.html", target="_top"];
"G.193" [label="G.193", tooltip="G.193 (V.15): Parts have the same ratio as the same multiples of them taken in corresponding order.", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", URL="index.html", target="_top"];
"G.170" -> "G.169";
"G.171" -> "G.170";
"G.176" -> "G.170";
"G.183" -> "G.170";
"G.190" -> "G.170";
"G.193" -> "G.170";
"G.190" -> "G.171";
"G.180" -> "G.176";
"G.183" -> "G.176";
"G.190" -> "G.176";
"G.193" -> "G.176";
"G.183" -> "G.180";
"G.190" -> "G.180";
"G.182" -> "G.181";
"G.190" -> "G.181";
"G.193" -> "G.181";
"G.183" -> "G.182";
"G.193" -> "G.183";
"G.193" -> "G.190";
}
Required for
G.195 , G.201 , G.206 , G.208 , G.210 , G.211 , G.212 , G.213 , G.214 , G.215 , G.216 , G.218 , G.219 , G.220 , G.221 , G.222 , G.223 , G.225 , G.226 , G.227 , G.228 , G.229 , G.231 , G.232 , G.234 , G.235 , G.236 , G.237 , G.238 , G.239 , G.240 , G.241 , G.243 , G.244 , G.245 , G.377 , G.378 , 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.520 , G.528 , G.536 , G.543 , G.544 , G.546 , G.547 , G.551 , G.552 , G.554 , G.555 , G.556 , G.557 , G.558 , G.559 , G.560 , G.563 , G.565 , G.570 , G.571 , G.572 , G.573 , G.577 , G.578 , G.579 , G.580 , G.582 , G.583 , G.584 , G.586 , G.587 , G.588 , G.589 , G.592 , G.597 , G.600 , G.601