G.192 magnitude ratio greater — Heath

V.14

If a first magnitude have to a second the same ratio as a third has to a fourth, and the first be greater than the third, the second will also be greater than the fourth ; if equal, equal ; and if less, less.

For let a first magnitude A have the same ratio to a second B as a third C has to a fourth D ; and let A be greater than C ;

I say that B is also greater than D.

A B C D

For, since A is greater than C, and B is another, chance, magnitude,

[G.186]therefore A has to B a greater ratio than C has to B.

But, as A is to B, so is C to D ;

[G.191]therefore C has also to D a greater ratio than C has to B.
[G.188]But that to which the same has a greater ratio is less ;
therefore D is less than B ; so that B is greater than D.

Similarly we can prove that, if A be equal to C, B will also be equal to D ; and, if A be less than C, B will also be less than D.

Therefore etc.

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.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.192" [label="G.192", tooltip="G.192 (V.14): If a first magnitude have to a second the same ratio as a third has to a fourth, and the first be greater than the third, the second is greater than the fourth; if equal, equal; an...", 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.188" -> "G.173"; "G.180" -> "G.176"; "G.183" -> "G.176"; "G.188" -> "G.176"; "G.191" -> "G.176"; "G.192" -> "G.176"; "G.183" -> "G.180"; "G.182" -> "G.181"; "G.183" -> "G.182"; "G.188" -> "G.183"; "G.186" -> "G.184"; "G.188" -> "G.184"; "G.186" -> "G.185"; "G.188" -> "G.185"; "G.191" -> "G.185"; "G.192" -> "G.185"; "G.188" -> "G.186"; "G.192" -> "G.186"; "G.192" -> "G.188"; "G.192" -> "G.191"; }

Required for

G.195, G.199, G.201, G.206, G.207, G.208, G.213, G.214, G.215, G.216, G.218, G.223, G.229, G.231, G.232, G.234, 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.528, 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.583, G.584, G.586, G.587, G.588, G.589, G.592, G.597, G.600, G.601