PROPOSITION 24.

If a first magnitude have to a second the same ratio as a third has to a fourth, and also a fifth have to the second the same ratio as a sixth to the fourth, the first and fifth added together will have to the second the same ratio as the third and sixth have to the fourth.

Let a first magnitude AB have to a second C the same ratio as a third DE has to a fourth F; and let also a fifth BG have to the second C the same ratio as a sixth EH has to the fourth F;

I say that the first and fifth added together, AG, will have to the second C the same ratio as the third and sixth, DH, has to the fourth F.

A B G C D E H F

For since, as BG is to C, so is EH to F,

inversely, as C is to BG, so is F to EH.
Since, then, as AB is to C, so is DE to F, and, as C is to BG, so is F to EH,
[V. 22]therefore, ex aequali, as AB is to BG, so is DE to EH.

And, since the magnitudes are proportional separando, they will also be proportional componendo; [V. 18]

therefore, as AG is to GB, so is DH to HE.

But also, as BG is to C, so is EH to F;

[V. 22]therefore, ex aequali, as AG is to C, so is DH to F.
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"; "I.def.1" [label="I.def.1", fillcolor="#224422", tooltip="I.def.1: A point is that which has no part.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-1", target="_top"]; "I.def.2" [label="I.def.2", fillcolor="#224422", tooltip="I.def.2: A line is breadthless length.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-2", target="_top"]; "I.def.3" [label="I.def.3", fillcolor="#224422", tooltip="I.def.3: The extremities of a line are points.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-3", target="_top"]; "I.def.13" [label="I.def.13", fillcolor="#224422", tooltip="I.def.13: A boundary is that which is an extremity of anything.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-13", target="_top"]; "I.def.14" [label="I.def.14", fillcolor="#224422", tooltip="I.def.14: A figure is that which is contained by any boundary or boundaries.", URL="../../../../volume_I/book_i/definitions/index.html#i-def-14", target="_top"]; "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.4" [label="V.def.4", fillcolor="#224422", tooltip="V.def.4: Magnitudes are said to have a ratio to one another which are capable, when multiplied, of exceeding one another.", URL="../../definitions/index.html#v-def-4", target="_top"]; "V.def.5" [label="V.def.5", fillcolor="#224422", tooltip="V.def.5: Magnitudes are said to be in the same ratio, the first to the second and the third to the fourth, when, if any equimultiples whatever be taken of the first and third, and any…", URL="../../definitions/index.html#v-def-5", target="_top"]; "V.def.6" [label="V.def.6", fillcolor="#224422", tooltip="V.def.6: Let magnitudes which have the same ratio be called proportional.", URL="../../definitions/index.html#v-def-6", target="_top"]; "V.def.7" [label="V.def.7", fillcolor="#224422", tooltip="V.def.7: When, of the equimultiples, 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…", URL="../../definitions/index.html#v-def-7", target="_top"]; "V.def.11" [label="V.def.11", fillcolor="#224422", tooltip="V.def.11: The term corresponding magnitudes is used of antecedents in relation to antecedents, and of consequents in relation to consequents.", URL="../../definitions/index.html#v-def-11", target="_top"]; "V.def.13" [label="V.def.13", fillcolor="#224422", tooltip="V.def.13: Inverse ratio means taking the consequent as antecedent in relation to the antecedent as consequent.", URL="../../definitions/index.html#v-def-13", target="_top"]; "V.def.14" [label="V.def.14", fillcolor="#224422", tooltip="V.def.14: Composition of a ratio means taking the antecedent together with the consequent as one in relation to the consequent by itself.", URL="../../definitions/index.html#v-def-14", target="_top"]; "V.def.15" [label="V.def.15", fillcolor="#224422", tooltip="V.def.15: Separation of a ratio means taking the excess by which the antecedent exceeds the consequent in relation to the consequent by itself.", URL="../../definitions/index.html#v-def-15", 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.1" [label="V.1", fillcolor="#222244", tooltip="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…", URL="../01/index.html", 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", fillcolor="#222244", 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="../03/index.html", target="_top"]; "V.4" [label="V.4", fillcolor="#222244", tooltip="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…", URL="../04/index.html", target="_top"]; "V.7" [label="V.7", fillcolor="#222244", tooltip="V.7: Equal magnitudes have to the same the same ratio, as also has the same to equal magnitudes.", URL="../07/index.html", target="_top"]; "V.8" [label="V.8", fillcolor="#222244", tooltip="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.", URL="../08/index.html", target="_top"]; "V.10" [label="V.10", fillcolor="#222244", tooltip="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.", URL="../10/index.html", target="_top"]; "V.11" [label="V.11", fillcolor="#222244", tooltip="V.11: Ratios which are the same with the same ratio are also the same with one another.", URL="../11/index.html", target="_top"]; "V.13" [label="V.13", fillcolor="#222244", tooltip="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…", URL="../13/index.html", target="_top"]; "V.14" [label="V.14", fillcolor="#222244", tooltip="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…", URL="../14/index.html", target="_top"]; "V.17" [label="V.17", fillcolor="#222244", tooltip="V.17: If magnitudes be proportional componendo, they will also be proportional separando.", URL="../17/index.html", target="_top"]; "V.18" [label="V.18", fillcolor="#222244", tooltip="V.18: If magnitudes be proportional separando, they will also be proportional componendo.", URL="../18/index.html", target="_top"]; "V.20" [label="V.20", fillcolor="#222244", tooltip="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…", URL="../20/index.html", target="_top"]; "V.22" [label="V.22", fillcolor="#222244", tooltip="V.22: If there be any number of magnitudes whatever, and others equal to them in multitude, which taken two and two together are in the same ratio, they will also be in the same ratio…", URL="../22/index.html", target="_top"]; "V.24" [label="V.24", penwidth=2.5, color="#e8b85a", fillcolor="#4a453b", tooltip="V.24: If a first magnitude have to a second the same ratio as a third has to a fourth, and also a fifth have to the second the same ratio as a sixth to the fourth, the first and fifth…", URL="index.html", target="_top"]; "I.def.3" -> "I.def.1"; "I.def.3" -> "I.def.2"; "V.17" -> "I.def.2"; "I.def.13" -> "I.def.3"; "I.def.14" -> "I.def.13"; "V.10" -> "I.def.14"; "V.11" -> "I.def.14"; "V.def.2" -> "V.def.1"; "V.def.5" -> "V.def.2"; "V.def.7" -> "V.def.2"; "V.1" -> "V.def.2"; "V.2" -> "V.def.2"; "V.3" -> "V.def.2"; "V.4" -> "V.def.2"; "V.def.17" -> "V.def.3"; "V.10" -> "V.def.3"; "V.11" -> "V.def.3"; "V.8" -> "V.def.4"; "V.10" -> "V.def.4"; "V.def.6" -> "V.def.5"; "V.4" -> "V.def.5"; "V.7" -> "V.def.5"; "V.11" -> "V.def.5"; "V.13" -> "V.def.5"; "V.14" -> "V.def.5"; "V.20" -> "V.def.5"; "V.22" -> "V.def.5"; "V.24" -> "V.def.5"; "V.7" -> "V.def.6"; "V.17" -> "V.def.6"; "V.18" -> "V.def.6"; "V.8" -> "V.def.7"; "V.10" -> "V.def.7"; "V.13" -> "V.def.7"; "V.def.13" -> "V.def.11"; "V.def.14" -> "V.def.11"; "V.def.15" -> "V.def.11"; "V.7" -> "V.def.13"; "V.17" -> "V.def.14"; "V.18" -> "V.def.14"; "V.17" -> "V.def.15"; "V.18" -> "V.def.15"; "V.3" -> "V.def.17"; "V.20" -> "V.def.17"; "V.22" -> "V.def.17"; "V.8" -> "V.1"; "V.17" -> "V.1"; "V.3" -> "V.2"; "V.17" -> "V.2"; "V.4" -> "V.3"; "V.22" -> "V.4"; "V.10" -> "V.7"; "V.10" -> "V.8"; "V.14" -> "V.8"; "V.20" -> "V.8"; "V.14" -> "V.10"; "V.20" -> "V.10"; "V.18" -> "V.11"; "V.14" -> "V.13"; "V.20" -> "V.13"; "V.18" -> "V.14"; "V.18" -> "V.17"; "V.24" -> "V.18"; "V.22" -> "V.20"; "V.24" -> "V.22"; }


See Commentary on Proposition V.24.