— GEOMETOR • elements

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.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.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.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.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.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.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.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.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.421 side sum medial

The side of the sum of two medial areas is divided at one point only.

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.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.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.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.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.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.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.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>;

Posts tagged 'incommensurable'