G.202 there magnitudes others

V.20

If there be three magnitudes, and others equal to them in multitude, which taken two and two are in the same ratio, and if :term:`ex aequali <G.174>` the first be greater than the third, the fourth is greater than the sixth; if equal, equal; and, if less, less.
there_magnitudes_others(A, B, C, D)
given there be three magnitudes A, B, C, others D, E, F equal to them in multitude, which taken two and two are in the same ratio, so that
prove D will also be greater than F
A B C D E F
given there be three magnitudes A, B, C, others D, E, F equal to them in multitude, which taken two and two are in the same ratio, so that
assert As A is to B, so is D to E,
assert And
assert As B is to C, so is E to F
assert let A be greater than C ex aequali
assert If A = C, =
assert if less, less
∵ unequal_magnitudes_greaterassert A > C, and B is some other magnitude, and the greater has to the same a greater ratio than the less has
assert A has to B a greater ratio than C has to B
assert But, as A is to B, so is D to E, and, as C is to B, inversely, so is F to E
∵ magnitude_ratio_greaterassert D has also to E a greater ratio than F has to E
∵ magnitudes_ratio_greaterassert But, of magnitudes which have a ratio to the same, that which has a greater ratio is greater
assert D > F
assert Similarly we can prove that, if A = C, D will also = F
∴ if less, less

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.1" [label="G.1", tooltip="G.1 (I.def.1): A point A is that which has no part.", fillcolor="#224422", URL="../G.1/index.html", target="_top"]; "G.2" [label="G.2", tooltip="G.2 (I.def.2): A line [ A B ] is a projection of a relationship of two points A, B.", fillcolor="#224422", URL="../G.2/index.html", target="_top"]; "G.3" [label="G.3", tooltip="G.3 (I.def.3): The extremities of a segment / A B / are points A, B.", fillcolor="#224422", URL="../G.3/index.html", target="_top"]; "G.8" [label="G.8", tooltip="G.8 (I.def.13): A boundary is the extremity of anything.", fillcolor="#224422", URL="../G.8/index.html", target="_top"]; "G.9" [label="G.9", tooltip="G.9 (I.def.14): A figure is that which is contained by any boundary or boundaries.", fillcolor="#224422", URL="../G.9/index.html", target="_top"]; "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.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.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.184" [label="G.184", tooltip="G.184 (V.def.4): Magnitudes are said tohave a ratio to one another which are capable, when multiplied, of exceeding one another.", fillcolor="#224422", URL="../G.184/index.html", target="_top"]; "G.185" [label="G.185", tooltip="G.185 (V.def.7): When, of theequimultiples, 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 th...", fillcolor="#224422", URL="../G.185/index.html", target="_top"]; "G.186" [label="G.186", tooltip="G.186 (V.8): Of unequal magnitudes, the greater has to the same a greater ratio than the less has; and the same has to the less a greater ratio than it has to the greater.", fillcolor="#222244", URL="../G.186/index.html", target="_top"]; "G.188" [label="G.188", tooltip="G.188 (V.10): Of magnitudes which have a ratio to the same, that which has a greater ratio is greater; and that to which the same has a greater ratio is less.", fillcolor="#222244", URL="../G.188/index.html", target="_top"]; "G.191" [label="G.191", tooltip="G.191 (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 ...", fillcolor="#222244", URL="../G.191/index.html", target="_top"]; "G.202" [label="G.202", tooltip="G.202 (V.20): If there be three magnitudes, and others equal to them in multitude, which taken two and two are in the same ratio, and if ex aequali the first be greater than the third, the fourt...", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", URL="index.html", target="_top"]; "G.2" -> "G.1"; "G.3" -> "G.1"; "G.3" -> "G.2"; "G.8" -> "G.3"; "G.9" -> "G.8"; "G.188" -> "G.9"; "G.170" -> "G.169"; "G.171" -> "G.170"; "G.176" -> "G.170"; "G.183" -> "G.170"; "G.185" -> "G.170"; "G.186" -> "G.170"; "G.191" -> "G.170"; "G.186" -> "G.171"; "G.174" -> "G.173"; "G.188" -> "G.173"; "G.202" -> "G.174"; "G.180" -> "G.176"; "G.183" -> "G.176"; "G.188" -> "G.176"; "G.191" -> "G.176"; "G.202" -> "G.176"; "G.183" -> "G.180"; "G.182" -> "G.181"; "G.183" -> "G.182"; "G.202" -> "G.182"; "G.188" -> "G.183"; "G.186" -> "G.184"; "G.188" -> "G.184"; "G.202" -> "G.184"; "G.186" -> "G.185"; "G.188" -> "G.185"; "G.191" -> "G.185"; "G.202" -> "G.185"; "G.188" -> "G.186"; "G.202" -> "G.186"; "G.202" -> "G.188"; "G.202" -> "G.191"; }

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