Posts in category 'magnitudes'
G.169 part (measure) of a magnitude
A magnitude is a:term:**part** <part-aliquot> of a magnitude, the less of the greater, when it measures the greater.
G.170 multiple of a magnitude
The greater is a:term:**multiple** <multiple> of the less when it is:term:measured <part-aliquot> by the less.
G.171 there number magnitudes
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, that multiple also will all be of all.
G.172 magnitude multiple fifth
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 first and fifth is the same multiple of the second that the sum of the third and sixth is of the fourth.
G.173 ratio
A:term:**ratio** <ratio> is a sort of relation in respect of size between two magnitudes of the same kind.
G.174 ex aequali (equality of ratios)
A:term:ratio <G.173>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 the last among the first magnitudes, so is the first to the last among the second magnitudes; Or, in other words, it means taking the extreme terms by virtue of the removal of the intermediate terms.
G.175 magnitude multiple equimultiples
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 :term:`ex aequali <G.174>` the magnitudes taken is equimultiples respectively, the one of the second and the other of the fourth.
G.176 magnitudes in the same ratio
Magnitudes are said to:term:**be in the same ratio** <in-the-same-ratio>, the first to the second and the third to the fourth, when, if any:term:equimultiples <multiple> whatever be taken of the first and third, and any equimultiples whatever of the second and fourth, the former equimultiples alike exceed, are alike equal to, or alike fall short of, the latter equimultiples respectively taken in corresponding order.
G.177 magnitude ratio equimultiples
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.
G.178 magnitude multiple magnitude
If a magnitude be the same multiple of a magnitude that a part subtracted is of a part subtracted, the remainder is the same multiple of the remainder that the whole is of the whole.
G.179 magnitudes equimultiples magnitudes
If two magnitudes be equimultiples of two magnitudes, and any magnitudes subtracted from them be equimultiples of the same, the remainders also are either equal to the same or equimultiples of them.
G.180 proportional magnitudes
Let magnitudes which have the:term:same ratio <G.176> be called:term:**proportional** <proportional>.
G.181 corresponding magnitudes
The term:term:**corresponding magnitudes** <corresponding-magnitudes> is used of antecedents in relation to antecedents, and of consequents in relation to consequents.
G.182 invertendo (inverse ratio)
Inverse ratio means taking the:term:consequent <G.181> as antecedent in relation to the antecedent as consequent.
G.183 equal magnitudes ratio
Equal magnitudes have to the same the same ratio, as also has the same to equal magnitudes.
G.184 magnitudes having a ratio
Magnitudes are said to:term:**have a ratio** <have-a-ratio> to one another which are capable, when multiplied, of exceeding one another.
G.185 greater ratio
When, of the:term:equimultiples <multiple>, 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 the first is said to:term:**have a greater ratio** <greater-ratio> to the second than the third has to the fourth.
G.186 unequal magnitudes greater
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.
G.187 magnitudes ratio equal
Magnitudes which have the same ratio to the same are equal; and magnitudes to which the same has the same ratio are equal.
G.188 magnitudes ratio greater
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.
G.189 ratios ratio
Ratios which are the same with the same ratio are also the same with one another.
G.190 number magnitudes proportional
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.
G.191 magnitude ratio greater
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 to the second a greater ratio than the fifth to the sixth.
G.192 magnitude ratio greater
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; and if less, less.
G.193 parts ratio multiples
Parts have the same ratio as the same multiples of them taken in corresponding order.
G.194 alternando (alternate ratio)
Alternate ratio means taking the:term:antecedent <G.181> in relation to the antecedent and the consequent in relation to the consequent.
G.195 magnitudes proportional proportional
If four magnitudes be proportional, they is proportional alternately.
G.196 componendo (composition of ratio)
Composition of a ratio means taking the:term:antecedent <G.181> together with the consequent as one in relation to the consequent by itself.
G.197 separando (separation of ratio)
Separation of a ratio means taking the excess by which the:term:antecedent <G.181> exceeds the consequent in relation to the consequent by itself.
G.198 magnitudes proportional componendo
If magnitudes be proportional componendo, they is proportional separando.
G.199 magnitudes proportional separando
If magnitudes be proportional separando, they is proportional componendo.
G.200 convertendo (conversion of ratio)
Conversion of a ratio means taking the:term:antecedent <G.181> in relation to the excess by which the antecedent exceeds the consequent.
G.201 whole whole part
If, as a whole is to a whole, so is a part subtracted to a part subtracted, the remainder is to the remainder as whole to whole.
G.202 there magnitudes others
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.
G.203 perturbed proportion
A:term:**perturbed proportion** <perturbed-proportion> arises when, there being three magnitudes and another set equal to them in multitude, as:term:antecedent <G.181> is to consequent among the first magnitudes, so is antecedent to consequent among the second magnitudes, while, as the consequent is to a third among the first magnitudes, so is a third to the antecedent among the second magnitudes.
G.204 there magnitudes others
If there be three magnitudes, and others equal to them in multitude, which taken two and two together are in the same ratio, and the proportion of them be perturbed, then, if ex aequali the first magnitude is greater than the third, the fourth is greater than the sixth; if equal, equal; and if less, less.
G.205 there number magnitudes
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 is in the same ratio ex aequali.
G.206 there magnitudes others
If there be three magnitudes, and others equal to them in multitude, which taken two and two together are in the same ratio, and the proportion of them be perturbed, they is in the same ratio ex aequali.
G.207 magnitude ratio fifth
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.
G.208 magnitudes proportional greatest
If four magnitudes be proportional, the greatest and the least are greater than the remaining two.
G.230 duplicate ratio
When three magnitudes are:term:proportional <G.180>, the first is said to have to the third the:term:**duplicate ratio** <duplicate-ratio> of that which it has to the second.
G.310 triplicate ratio
When four magnitudes are < continuously >:term:proportional <G.180>, the first is said to have to the fourth the:term:**triplicate ratio** <triplicate-ratio> of that which it has to the second, and so on continually, whatever be the proportion.
G.371 unequal magnitudes set
Two unequal magnitudes being set out, if from the greater there be subtracted a magnitude greater than its half, and from that which is left a magnitude greater than its half, and if this process be repeated continually, there is left some magnitude which is less than the lesser magnitude set out.
G.372 commensurable and incommensurable magnitudes
Those magnitudes are said to be:term:**commensurable** <commensurable> which are:term:measured <G.253> by the same measure, and those:term:**incommensurable** <incommensurable> which cannot have any common measure.
G.373 less unequal magnitudes
If, when the less of two unequal magnitudes is continually subtracted in turn from the greater, that which is left never measures the one before it, the magnitudes is incommensurable.
G.374 commensurable magnitudes find
Given two commensurable magnitudes, to find their greatest common measure.
G.375 commensurable magnitudes find
Given three commensurable magnitudes, to find their greatest common measure.
G.376 commensurable magnitudes ratio
Commensurable magnitudes have to one another the ratio which a number has to a number.
G.377 magnitudes ratio number
If two magnitudes have to one another the ratio which a number has to a number, the magnitudes is commensurable.
G.378 incommensurable magnitudes ratio
Incommensurable magnitudes have not to one another the ratio which a number has to a number.
G.379 magnitudes ratio number
If two magnitudes have not to one another the ratio which a number has to a number, the magnitudes is incommensurable.
G.380 commensurable in square
Straight lines are:term:**commensurable in square** <commensurable-in-square> when the:term:squares <G.63> on them are:term:measured <G.253> by the same area, and:term:**incommensurable in square** <incommensurable-in-square> when the squares on them cannot possibly have any area as a common measure.
G.381 squares segments commensurable
The squares on segments commensurable in length have to one another the ratio which a square number has to a square number; and squares which have to one another the ratio which a square number has to a square number will also have their sides commensurable in length. But the squares on segments incommensurable in length have not to one another the ratio which a square number has to a square number; and squares which have not to one another the ratio which a square number has to a square number will not have their sides commensurable in length either.
G.382 magnitudes proportional commensurable
If four magnitudes be proportional, and the first be commensurable with the second, the third is commensurable with the fourth; and, if the first be incommensurable with the second, the third is incommensurable with the fourth.
G.383 find two segments incommensurable
Find two segments incommensurable, the one in length only, and the other in square also, with an assigned segment.
G.384 magnitudes commensurable magnitude
Magnitudes commensurable with the same magnitude are commensurable with one another also.
G.385 magnitudes commensurable incommensurable
If two magnitudes be commensurable, and the one of them be incommensurable with any magnitude, the remaining one is incommensurable with the same.
G.386 segments proportional square
If four segments be proportional, and the square on the first be greater than the square on the second by the square on a segment commensurable with the first, the square on the third is greater than the square on the fourth by the square on a segment commensurable with the third. And, if the square on the first be greater than the square on the second by the square on a segment incommensurable with the first, the square on the third is greater than the square on the fourth by the square on a segment incommensurable with the third.
G.387 commensurable magnitudes added
If two commensurable magnitudes be added together, the whole is commensurable with each of them; and, if the whole be commensurable with one of them, the original magnitudes is commensurable.
G.388 incommensurable magnitudes added
If two incommensurable magnitudes be added together, the whole is incommensurable with each of them; and, if the whole be incommensurable with one of them, the original magnitudes is incommensurable.
G.389 there unequal segments
If there be two unequal segments, and to the greater there be applied a parallelogram equal to the fourth part of the square on the less and deficient by a square figure, and if it divide it into parts which are commensurable in length, then the square on the greater is greater than the square on the less by the square on a segment commensurable with the greater. And, if the square on the greater be greater than the square on the less by the square on a segment commensurable with the greater, and if there be applied to the greater a parallelogram equal to the fourth part of the square on the less and deficient by a square figure, it will divide it into parts which are commensurable in length.
G.390 there unequal segments
If there be two unequal segments, and to the greater there be applied a parallelogram equal to the fourth part of the square on the less and deficient by a square figure, and if it divide it into parts which are incommensurable, the square on the greater is greater than the square on the less by the square on a segment incommensurable with the greater. And, if the square on the greater be greater than the square on the less by the square on a segment incommensurable with the greater, and if there be applied to the greater a parallelogram equal to the fourth part of the square on the less and deficient by a square figure, it divides it into parts which are incommensurable.
G.391 rational and irrational segments
With these hypotheses, it is proved that there exist:term:segments <G.4> infinite in multitude which are:term:commensurable <G.372> and incommensurable respectively, some in length only, and others in square also, with an assigned segment. Let then the assigned segment be called:term:**rational** <rational>, and those segments which are commensurable with it, whether in length and in square or in square only,:term:**rational** <rational>, but those which are incommensurable with it:term:**irrational** <irrational>.
G.392 rational and irrational areas
And let the:term:square <G.63> on the assigned:term:segment <G.4> be called:term:**rational** <rational> and those areas which are:term:commensurable <G.372> with it:term:**rational** <rational>, but those which are incommensurable with it:term:**irrational** <G.391>, and the segments which produce them:term:**irrational** <G.391>, that is, in case the areas are squares, the sides themselves, but in case they are any other:term:polygons <G.12>, the segments on which are described squares equal to them.
G.393 rectangle contained rational
The rectangle contained by rational segments commensurable in length is rational.
G.394 rational area applied
If a rational area be applied to a rational segment, it produces as breadth a segment rational and commensurable in length with the segment to which it is applied.
G.395 rectangle contained rational
The rectangle contained by rational segments commensurable in square only is irrational, and the side of the square equal to it is irrational. Let the latter be called medial.
G.396 square medial segment
The square on a medial segment, if applied to a rational segment, produces as breadth a segment rational and incommensurable in length with that to which it is applied.
G.397 segment commensurable medial
A segment commensurable with a medial segment is medial.
G.398 rectangle contained medial
The rectangle contained by medial segments commensurable in length is medial.
G.399 rectangle contained medial
The rectangle contained by medial segments commensurable in square only is either rational or medial.
G.400 medial area exceed
A medial area does not exceed a medial area by a rational area.
G.401 find medial segments commensurable in square only which
Find medial segments commensurable in square only which contain a rational rectangle.
G.402 find medial segments commensurable in square only which
Find medial segments commensurable in square only which contain a medial rectangle.
G.403 find two rational segments commensurable in square only
Find two rational segments commensurable in square only and such that the square on the greater is greater than the square on the less by the square on a segment commensurable in length with the greater.
G.404 find two rational segments commensurable in square only
Find two rational segments commensurable in square only and such that the square on the greater is greater than the square on the less by the square on a segment incommensurable in length with the greater.
G.405 find two medial segments commensurable in square only
Find two medial segments commensurable in square only, containing a rational rectangle, and such that the square on the greater is greater than the square on the less by the square on a segment commensurable in length with the greater.
G.406 find two medial segments commensurable in square only
Find two medial segments commensurable in square only, containing a medial rectangle, and such that the square on the greater is greater than the square on the less by the square on a segment commensurable with the greater.
G.407 find two segments incommensurable in square which make
Find two segments incommensurable in square which make the sum of the squares on them rational but the rectangle contained by them medial.
G.408 find two segments incommensurable in square which make
Find two segments incommensurable in square which make the sum of the squares on them medial but the rectangle contained by them rational.
G.409 find two segments incommensurable in square which make
Find two segments incommensurable in square which make the sum of the squares on them medial and the rectangle contained by them medial and moreover incommensurable with the sum of the squares on them.
G.410 rational segments commensurable
If two rational segments commensurable in square only be added together, the whole is irrational; and let it be called binomial.
G.411 medial segments commensurable
If two medial segments commensurable in square only and containing a rational rectangle be added together, the whole is irrational; and let it be called a first bimedial segment.
G.412 medial segments commensurable
If two medial segments commensurable in square only and containing a medial rectangle be added together, the whole is irrational; and let it be called a second bimedial segment.
G.413 segments incommensurable square
If two segments incommensurable in square which make the sum of the squares on them rational, but the rectangle contained by them medial, be added together, the whole segment is irrational: and let it be called major.
G.414 segments incommensurable square
If two segments incommensurable in square which make the sum of the squares on them medial, but the rectangle contained by them rational, be added together, the whole segment is irrational; and let it be called the side of a rational plus a medial area.
G.415 segments incommensurable square
If two segments incommensurable in square which make the sum of the squares on them medial, and the rectangle contained by them medial and also incommensurable with the sum of the squares on them, be added together, the whole segment is irrational; and let it be called the side of the sum of two medial areas.
G.416 binomial segment divided
A binomial segment is divided into its terms at one point only.
G.417 bimedial segment divided
A first bimedial segment is divided at one point only.
G.418 bimedial segment divided
A second bimedial segment is divided at one point only.
G.419 major segment divided
A major segment is divided at one and the same point only.
G.420 side rational plus
The side of a rational plus a medial area is divided at one point only.
G.421 side sum medial
The side of the sum of two medial areas is divided at one point only.
G.422 first binomial
Given a:term:rational <G.392>segment and a binomial, divided into its terms, such that the:term:square <G.63> on the greater term is greater than the square on the lesser by the square on a segment:term:commensurable <G.372> in length with the greater, then, if the greater term be commensurable in length with the rational segment set out, let the whole be called a:term:**first binomial segment** <first-binomial-straight-line>;
G.423 find the first binomial segment
Find the first binomial segment.
G.424 second binomial
But if the lesser term be:term:commensurable <G.372> in length with the:term:rational <G.392>segment set out, let the whole be called a:term:**second binomial** <second-binomial>;
G.425 find the second binomial segment
Find the second binomial segment.
G.426 third binomial
And if neither of the terms be:term:commensurable <G.372> in length with the:term:rational <G.392>segment set out, let the whole be called a:term:**third binomial** <third-binomial>.
G.427 find the third binomial segment
Find the third binomial segment.
G.428 fourth binomial
Again, if the:term:square <G.63> on the greater term be greater than the square on the lesser by the square on a:term:segment <G.4> incommensurable in length with the greater, then, if the greater term be:term:commensurable <G.372> in length with the:term:rational <G.392> segment set out, let the whole be called a:term:**fourth binomial** <fourth-binomial>;
G.429 find the fourth binomial segment
Find the fourth binomial segment.
G.430 fifth binomial
If the lesser, a:term:**fifth binomial** <fifth-binomial>;
G.431 find the fifth binomial segment
Find the fifth binomial segment.
G.432 sixth binomial
And if neither, a:term:**sixth binomial** <sixth-binomial>.
G.433 find the sixth binomial segment
Find the sixth binomial segment.
G.434 area contained rational
If an area be contained by a rational segment and the first binomial, the “side” of the area is the irrational segment which is called binomial.
G.435 area contained rational
If an area be contained by a rational segment and the second binomial, the “side” of the area is the irrational segment which is called a first bimedial.
G.436 area contained rational
If an area be contained by a rational segment and the third binomial, the “side” of the area is the irrational segment called a second bimedial.
G.437 area contained rational
If an area be contained by a rational segment and the fourth binomial, the “side” of the area is the irrational segment called major.
G.438 area contained rational
If an area be contained by a rational segment and the fifth binomial, the “side” of the area is the irrational segment called the side of a rational plus a medial area.
G.439 area contained rational
If an area be contained by a rational segment and the sixth binomial, the “side” of the area is the irrational segment called the side of the sum of two medial areas.
G.440 square binomial segment
The square on the binomial segment applied to a rational segment produces as breadth the first binomial.
G.441 square bimedial segment
The square on the first bimedial segment applied to a rational segment produces as breadth the second binomial.
G.442 square bimedial segment
The square on the second bimedial segment applied to a rational segment produces as breadth the third binomial.
G.443 square major segment
The square on the major segment applied to a rational segment produces as breadth the fourth binomial.
G.444 square side rational
The square on the side of a rational plus a medial area applied to a rational segment produces as breadth the fifth binomial.
G.445 square side sum
The square on the side of the sum of two medial areas applied to a rational segment produces as breadth the sixth binomial.
G.446 segment commensurable length
A segment commensurable in length with a binomial segment is itself also binomial and the same in order.
G.447 segment commensurable length
A segment commensurable in length with a bimedial segment is itself also bimedial and the same in order.
G.448 segment commensurable major
A segment commensurable with a major segment is itself also major.
G.449 segment commensurable side
A segment commensurable with the side of a rational plus a medial area is itself also the side of a rational plus a medial area.
G.450 segment commensurable side
A segment commensurable with the side of the sum of two medial areas is the side of the sum of two medial areas.
G.451 rational medial area
If a rational and a medial area be added together, four irrational segments arise, namely a binomial or a first bimedial or a major or a side of a rational plus a medial area.
G.452 medial areas incommensurable
If two medial areas incommensurable with one another be added together, the remaining two irrational segments arise, namely either a second bimedial or a side of the sum of two medial areas.
G.453 rational segment there
If from a rational segment there be subtracted a rational segment commensurable with the whole in square only, the remainder is irrational; and let it be called an apotome.
G.454 first apotome
Given a:term:rational <G.392>segment and an apotome, if the:term:square <G.63> on the whole be greater than the square on the annex by the square on a segment:term:commensurable <G.372> in length with the whole, and the whole be commensurable in length with the rational segment set out, let the apotome be called a:term:**first apotome** <first-apotome>.
G.455 medial segment there
If from a medial segment there be subtracted a medial segment which is commensurable with the whole in square only, and which contains with the whole a rational rectangle, the remainder is irrational. And let it be called a first apotome of a medial segment.
G.456 second apotome
But if the annex be:term:commensurable <G.372> in length with the:term:rational <G.392>segment set out, and the:term:square <G.63> on the whole be greater than that on the annex by the square on a segment commensurable with the whole, let the apotome be called a:term:**second apotome** <second-apotome>.
G.457 medial segment there
If from a medial segment there be subtracted a medial segment which is commensurable with the whole in square only, and which contains with the whole a medial rectangle, the remainder is irrational; and let it be called a second apotome of a medial segment.
G.458 segment there subtracted
If from a segment there be subtracted a segment which is incommensurable in square with the whole and which with the whole makes the squares on them added together rational, but the rectangle contained by them medial, the remainder is irrational; and let it be called minor.
G.459 segment there subtracted
If from a segment there be subtracted a segment which is incommensurable in square with the whole, and which with the whole makes the sum of the squares on them medial, but twice the rectangle contained by them rational, the remainder is irrational: and let it be called that which produces with a rational area a medial whole.
G.460 segment there subtracted
If from a segment there be subtracted a segment which is incommensurable in square with the whole and which with the whole makes the sum of the squares on them medial, twice the rectangle contained by them medial, and further the squares on them incommensurable with twice the rectangle contained by them, the remainder is irrational; and let it be called that which produces with a medial area a medial whole.
G.461 apotome only rational
To an apotome only one rational segment can be annexed which is commensurable with the whole in square only.
G.462 apotome medial segment
To a first apotome of a medial segment only one medial segment can be annexed which is commensurable with the whole in square only and which contains with the whole a rational rectangle.
G.463 apotome medial segment
To a second apotome of a medial segment only one medial segment can be annexed which is commensurable with the whole in square only and which contains with the whole a medial rectangle.
G.464 minor segment only
To a minor segment only one segment can be annexed which is incommensurable in square with the whole and which makes, with the whole, the sum of the squares on them rational but twice the rectangle contained by them medial.
G.465 segment produces rational
To a segment which produces with a rational area a medial whole only one segment can be annexed which is incommensurable in square with the whole segment and which with the whole segment makes the sum of the squares on them medial, but twice the rectangle contained by them rational.
G.466 segment produces medial
To a segment which produces with a medial area a medial whole only one segment can be annexed which is incommensurable in square with the whole segment and which with the whole segment makes the sum of the squares on them medial and twice the rectangle contained by them both medial and also incommensurable with the sum of the squares on them.
G.467 find the first apotome
Find the first apotome.
G.468 find the second apotome
Find the second apotome.
G.469 third apotome
But if neither be:term:commensurable <G.372> in length with the:term:rational <G.392>segment set out, and the:term:square <G.63> on the whole be greater than the square on the annex by the square on a segment commensurable with the whole, let the apotome be called a:term:**third apotome** <third-apotome>.
G.470 find the third apotome
Find the third apotome.
G.471 fourth apotome
Again, if the:term:square <G.63> on the whole be greater than the square on the annex by the square on a:term:segment <G.4> incommensurable with the whole, then, if the whole be:term:commensurable <G.372> in length with the:term:rational <G.392> segment set out, let the apotome be called a:term:**fourth apotome** <fourth-apotome>;
G.472 find the fourth apotome
Find the fourth apotome.
G.473 fifth apotome
If the annex be so:term:commensurable <G.372>, a:term:**fifth** <fifth-apotome>;
G.474 find the fifth apotome
Find the fifth apotome.
G.475 sixth apotome
And, if neither, a:term:**sixth** <sixth-apotome>.
G.476 find the sixth apotome
Find the sixth apotome.
G.477 area contained rational
If an area be contained by a rational segment and a first apotome, the “side” of the area is an apotome.
G.478 area contained rational
If an area be contained by a rational segment and a second apotome, the “side” of the area is a first apotome of a medial segment.
G.479 area contained rational
If an area be contained by a rational segment and a third apotome, the “side” of the area is a second apotome of a medial segment.
G.480 area contained rational
If an area be contained by a rational segment and a fourth apotome, the “side” of the area is minor.
G.481 area contained rational
If an area be contained by a rational segment and a fifth apotome, the “side” of the area is a segment which produces with a rational area a medial whole.
G.482 area contained rational
If an area be contained by a rational segment and a sixth apotome, the “side” of the area is a segment which produces with a medial area a medial whole.
G.483 square apotome applied
The square on an apotome applied to a rational segment produces as breadth a first apotome.
G.484 square apotome medial
The square on a first apotome of a medial segment applied to a rational segment produces as breadth a second apotome.
G.485 square apotome medial
The square on a second apotome of a medial segment applied to a rational segment produces as breadth a third apotome.
G.486 square minor segment
The square on a minor segment applied to a rational segment produces as breadth a fourth apotome.
G.487 square segment produces
The square on the segment which produces with a rational area a medial whole, if applied to a rational segment, produces as breadth a fifth apotome.
G.488 square segment produces
The square on the segment which produces with a medial area a medial whole, if applied to a rational segment, produces as breadth a sixth apotome.
G.489 segment commensurable length
A segment commensurable in length with an apotome is an apotome and the same in order.
G.490 segment commensurable apotome
A segment commensurable with an apotome of a medial segment is an apotome of a medial segment and the same in order.
G.491 segment commensurable minor
A segment commensurable with a minor segment is minor.
G.492 segment commensurable produces
A segment commensurable with that which produces with a rational area a medial whole is a segment which produces with a rational area a medial whole.
G.493 segment commensurable produces
A segment commensurable with that which produces with a medial area a medial whole is itself also a segment which produces with a medial area a medial whole.
G.494 rational area medial
If from a rational area a medial area be subtracted, the “side” of the remaining area becomes one of two irrational segments, either an apotome or a minor segment.
G.495 medial area rational
If from a medial area a rational area be subtracted, there arise two other irrational segments, either a first apotome of a medial segment or a segment which produces with a rational area a medial whole.
G.496 medial area there
If from a medial area there be subtracted a medial area incommensurable with the whole, the two remaining irrational segments arise, either a second apotome of a medial segment or a segment which produces with a medial area a medial whole.
G.497 apotome binomial segment
The apotome is not the same with the binomial segment.
G.498 square rational segment
The square on a rational segment applied to the binomial segment produces as breadth an apotome the terms of which are commensurable with the terms of the binomial and moreover in the same ratio; and further the apotome so arising will have the same order as the binomial segment.
G.499 square rational segment
The square on a rational segment, if applied to an apotome, produces as breadth the binomial segment the terms of which are commensurable with the terms of the apotome and in the same ratio; and further the binomial so arising has the same order as the apotome.
G.500 area contained apotome
If an area be contained by an apotome and the binomial segment the terms of which are commensurable with the terms of the apotome and in the same ratio, the “side” of the area is rational.
G.501 medial segment there
From a medial segment there arise irrational segments infinite in number, and none of them is the same as any of the preceding.