— GEOMETOR • elements

G.4 segment

A segment / A B / is a portion of a line [ A B ] between two points A, B on the line.

G.7 plane surface

A plane surface lies evenly with the lines on itself.

A circle ( A B ) is a plane figure contained by one arc defined by a center A and a point B establishing its defining radius / A B /, such that all segments / A B /, / A C /, / A D / falling upon the arc from A are equal.

G.12 rectilineal figures

Rectilineal figures are contained by segments: trilateral by three, quadrilateral by four, and multilateral by more than four.

G.14 construct a segment

Construct a segment / A B / between any two points A, B.

G.17 construct an equilateral triangle

Construct an equilateral triangle on a given segment.

G.18 extend a segment

Extend a segment / A B / continuously along a line [ A B ] to / B C /.

G.20 transfer a segment to a point

Construct at a given point a segment equal to a given segment.

G.21 cut off an equal segment

Cut off from the greater of two unequal segments a segment equal to the less.

G.22 plane angle

A plane angle is the inclination to one another of two lines or arcs in a plane that meet and do not lie on the same line.

G.24 congruent triangles by SAS

Triangles with two sides and the included angle equal are congruent (SAS).

G.25 base angles of an isosceles triangle

In an isosceles triangle, the angles at the base are equal, and if the equal sides are extended, the angles under the base are equal.

G.28 uniqueness of triangle sides on a base

On the same segment and on the same side, there cannot be constructed two distinct triangles with both pairs of conterminous sides equal.

G.29 congruent triangles by SSS

Triangles with all three corresponding sides equal have their corresponding angles equal (SSS).

G.31 bisect an angle

Bisect a given angle.

G.32 bisect a segment

Bisect a given segment.

G.33 right angle and perpendicular

When a segment standing on a line makes the adjacent angles equal, each of the equal angles is a right angle, and the standing segment is perpendicular to the line.

G.34 construct a perpendicular at a point on a line

Construct a segment at right angles to a given line from a given point on it.

G.35 construct a perpendicular from a point to a line

Construct a perpendicular to a given line from a given point not on it.

G.37 adjacent angles on a line sum to two right angles

A segment standing on a line makes either two right angles or adjacent angles summing to two right angles.

G.39 supplementary adjacent angles form a line

If two segments at a point on a line on opposite sides make adjacent angles summing to two right angles, the two segments are collinear.

G.40 vertical angles are equal

Intersecting lines make their vertical angles equal.

G.41 exterior angle of a triangle is greater than interior

In any triangle, if one side is extended, the exterior angle is greater than either opposite interior angle.

G.46 interior segments of a triangle

Segments constructed from the endpoints of one side of a triangle to an interior point have a lesser sum but contain a greater angle than the other two sides.

G.47 construct a triangle from three segments

Construct a triangle from three segments equal to three given segments satisfying the triangle inequality.

G.48 construct an angle equal to a given angle

Construct on a given line at a given point an angle equal to a given angle.

G.49 hinge theorem

If two triangles have two sides equal to two sides respectively, the one with the greater included angle has the greater base.

G.50 converse hinge theorem

If two triangles have two sides equal to two sides respectively, the one with the greater base has the greater included angle.

G.52 parallel lines

Parallel lines are lines in the same plane which, extended indefinitely in both directions, do not meet.

G.53 equal alternate interior angles imply parallel lines

If a transversal cutting two lines makes the alternate interior angles equal, the lines are parallel.

G.54 equal corresponding angles imply parallel lines

If a transversal cutting two lines makes the exterior angle equal to the opposite interior angle, or interior angles on the same side supplementary, the lines are parallel.

G.55 parallel postulate

Two lines intersected by a transversal with interior angles on one side summing to less than two right angles meet on that side.

G.56 transversal angles of parallel lines

A transversal cutting parallel lines makes alternate interior angles equal, exterior and opposite interior angles equal, and same-side interior angles supplementary.

G.57 lines parallel to the same line are parallel

Lines parallel to the same line are parallel to one another.

G.58 construct a line parallel to a given line

Construct through a given point a line parallel to a given line.

G.59 exterior angle and angle sum of a triangle

In any triangle, an exterior angle equals the sum of the two opposite interior angles, and the three interior angles sum to two right angles.

G.60 segments joining equal and parallel segments

Segments joining the endpoints of equal and parallel segments in the same directions are themselves equal and parallel.

G.61 diameter of a circle

A diameter of a circle is any segment drawn through the center and terminated in both directions by the arc of the circle; it bisects the circle.

G.62 opposite sides, angles, and diagonal of a parallelogram

In a parallelogram, opposite sides and opposite angles are equal, and the diagonal bisects the area.

G.65 parallelograms on equal bases in the same parallels

Parallelograms on equal bases and in the same parallels are equal in area.

G.68 equal triangles on the same base are in the same parallels

Equal triangles on the same base and on the same side lie in the same parallels.

G.69 equal triangles on equal bases are in the same parallels

Equal triangles on equal bases and on the same side lie in the same parallels.

G.71 construct a parallelogram equal to a triangle

Construct, in a given angle, a parallelogram equal in area to a given triangle.

G.73 apply a parallelogram equal to a triangle on a segment

Apply to a given segment, in a given angle, a parallelogram equal in area to a given triangle.

G.74 construct a parallelogram equal to a polygon

Construct, in a given angle, a parallelogram equal in area to a given polygon.

G.75 construct a square on a segment

Construct a square on a given segment.

G.79 Pythagorean theorem

In a right-angled triangle, the square on the hypotenuse equals the sum of the squares on the two legs (Pythagorean Theorem).

G.80 converse of the Pythagorean theorem

If the square on one side of a triangle equals the sum of the squares on the other two sides, the angle contained by those two sides is right.

G.81 contained rectangle

Any rectangular parallelogram is said to be:term:**contained** <contained-rectangle> by the two:term:segments <G.4> containing the:term:right angle <G.33>.

G.82 distributive law of rectangles

If one of two segments is cut into any number of parts, the rectangle contained by the two segments equals the sum of the rectangles contained by the uncut segment and each of the parts.

G.83 square equals sum of rectangles on parts

If a segment is cut at random, the sum of the rectangles contained by the whole and each of the parts equals the square on the whole.

G.84 rectangle on whole and part

If a segment is cut at random, the rectangle contained by the whole and one of the parts equals the rectangle contained by the parts together with the square on that part.

G.85 square of a sum

If a segment is cut at random, the square on the whole equals the squares on the parts together with twice the rectangle contained by the parts.

G.87 rectangle on unequal parts plus square on difference

If a segment is cut into equal and unequal parts, the rectangle contained by the unequal parts together with the square on the segment between the points of section equals the square on the half.

G.88 rectangle on bisected and extended segment

If a segment is bisected and a segment is added to it in a line, the rectangle contained by the whole with the added segment and the added segment together with the square on the half equals the square on the segment made up of the half and the added segment.

G.89 square of a difference

If a segment is cut at random, the sum of the squares on the whole and on one of the parts equals twice the rectangle contained by the whole and that part together with the square on the remaining part.

G.90 four rectangles plus square on difference

If a segment is cut at random, four times the rectangle contained by the whole and one of the parts together with the square on the remaining part equals the square on the whole and the first part as one segment.

G.91 sum of squares on unequal parts

If a segment is cut into equal and unequal parts, the sum of the squares on the unequal parts is double the sum of the square on the half and the square on the segment between the points of section.

G.92 sum of squares on bisected and extended segment

If a segment is bisected and a segment is added to it in a line, the sum of the squares on the whole with the added segment and on the added segment is double the sum of the square on the half and the square on the half with the added segment.

G.93 cut a segment in extreme and mean ratio

Cut a given segment so that the rectangle contained by the whole and one of the segments equals the square on the remaining segment.

G.94 law of cosines for obtuse triangles

In obtuse-angled triangles, the square on the side subtending the obtuse angle is greater than the sum of the squares on the sides containing the obtuse angle by twice the rectangle contained by one of those sides and the projection of the other upon it.

G.95 law of cosines for acute triangles

In acute-angled triangles, the square on the side subtending an acute angle is less than the sum of the squares on the sides containing the acute angle by twice the rectangle contained by one of those sides and the projection of the other upon it.

G.97 construct a square equal to a polygon

Construct a square equal in area to a given rectilineal figure.

G.98 find the center of a circle

Find the center of a given circle.

G.99 chord of a circle lies within the circle

The segment joining any two points on the arc of a circle falls within the circle.

G.100 diameter bisects chord iff perpendicular

A segment through the center of a circle bisects a chord not through the center if and only if it cuts the chord at right angles.

G.101 intersecting chords not through the center do not bisect

In a circle, two intersecting chords that do not both pass through the center do not bisect one another.

G.105 distances to a circle from an eccentric diameter point

From an eccentric point on the diameter of a circle, the greatest segment to the arc passes through the center, the least is the remainder of the diameter, and segments nearer the center are greater than those more remote, with at most two equal segments on opposite sides.

G.106 distances to a circle from an exterior point

From a point outside a circle, of segments falling on the concave arc the greatest passes through the center and nearer ones are greater, while on the convex arc the least lies between the point and the diameter and nearer ones are less, with at most two equal segments.

G.107 point with three equal segments to a circle is the center

A point within a circle from which more than two equal segments fall on the circle is the center of the circle.

G.108 two circles intersect in at most two points

A circle does not intersect another circle at more than two points.

G.109 line of centers of internally touching circles

If two circles touch one another internally, the line joining their centers passes through the point of contact.

G.110 line of centers of externally touching circles

If two circles touch one another externally, the segment joining their centers passes through the point of contact.

G.111 line tangent to a circle

A:term:segment <G.4> is said to:term:**touch a circle** <tangent-to-circle> which, meeting the:term:circle <G.10> and being produced, does not cut the circle.

G.112 two circles touch at most at one point

A circle does not touch another circle at more than one point, whether internally or externally.

G.113 chords equally distant from the center

In a:term:circle <G.10>segments are said to be:term:**equally distant from the center** <equally-distant-from-center> when the:term:perpendiculars <G.33> drawn to them from the:term:center <center> are equal.

G.114 equal chords are equidistant from the center

In a circle, chords are equal if and only if they are equally distant from the center.

G.115 chord at greater distance from the center

And that:term:segment <G.4> is said to be:term:**at a greater distance** <greater-distance-from-center> on which the greater:term:perpendicular <G.33> falls.

G.116 diameter is the greatest chord

Of chords in a circle, the diameter is the greatest, and a chord nearer the center is always greater than one more remote.

G.117 angle of a circle segment

An:term:**angle of a segment** <angle-of-segment> is that contained by a:term:segment <G.4> and a arc of a:term:circle <G.10>.

G.118 perpendicular at extremity of a diameter is tangent

The line drawn at right angles to the diameter of a circle from its extremity falls outside the circle, no other line can be interposed between it and the arc, and the angle of the semicircle is greater than any acute rectilineal angle.

G.119 draw a tangent to a circle from a point

From a given point, construct a line tangent to a given circle.

G.120 radius to point of contact is perpendicular to tangent

If a line touches a circle, the segment joined from the center to the point of contact is perpendicular to the tangent.

G.121 perpendicular to tangent at contact passes through center

If a line touches a circle, the line drawn at right angles to the tangent from the point of contact passes through the center of the circle.

G.122 sector of a circle

A:term:**sector of a circle** <sector-of-circle> is the:term:figure <G.9> which, when an:term:angle <G.22> is constructed at the:term:center <center> of the:term:circle <G.10>, is contained by the:term:segments <G.4> containing the angle and the arc cut off by them.

G.123 inscribed angle theorem

In a circle, the angle at the center is double the angle at the circumference when the angles have the same arc as base.

G.126 segment of a circle

A:term:**segment of a circle** <segment-of-circle> is the:term:figure <G.9> contained by a:term:segment <G.4> and a arc of a:term:circle <G.10>.

G.128 no two similar unequal circle segments on the same chord

On the same segment and on the same side of it, there cannot be constructed two similar and unequal segments of circles.

G.129 similar circle segments on equal chords are equal

Similar segments of circles on equal segments are equal to one another.

G.130 complete a circle from a given segment

Given a segment of a circle, complete the full circle of which it is a segment.

G.132 angle standing on an arc

And, when the:term:segments <G.4> containing the:term:angle <G.22> cut off a arc, the angle is said to:term:**stand upon** <stand-upon-arc> that arc.

G.133 equal angles stand on equal arcs

In equal circles, equal angles stand on equal arcs, whether they stand at the centers or at the circumferences.

G.134 angles standing on equal arcs are equal

In equal circles, angles standing on equal arcs are equal to one another, whether they stand at the centers or at the circumferences.

G.135 equal chords cut off equal arcs

In equal circles, equal chords cut off equal arcs, the greater equal to the greater and the less to the less.

G.136 equal arcs are subtended by equal chords

In equal circles, equal arcs are subtended by equal chords.

G.137 bisect an arc

Bisect a given arc of a circle.

G.138 angle in a circle segment

An:term:**angle in a segment** <angle-in-segment> is the:term:angle <G.22> which, when a:term:point <G.1> is taken on the arc of the segment and:term:segments <G.4> are joined from it to the:term:extremities <G.6> of the segment which is the:term:**base of the segment** <base-of-segment>, is contained by the segments so joined.

G.139 Thales’ theorem and angles in circle segments

In a circle, the angle in a semicircle is right, the angle in a greater segment is acute, and the angle in a lesser segment is obtuse.

G.140 alternate segment theorem

If a line touches a circle and a chord is drawn from the point of contact, the angles which the chord makes with the tangent equal the angles in the alternate segments of the circle.

G.141 construct a circle segment on a chord admitting a given angle

On a given segment, construct a segment of a circle admitting an angle equal to a given rectilineal angle.

G.142 cut off a circle segment admitting a given angle

From a given circle, cut off a segment admitting an angle equal to a given rectilineal angle.

G.143 intersecting chords theorem

If two chords in a circle intersect one another, the rectangle contained by the segments of one equals the rectangle contained by the segments of the other.

G.144 tangent-secant theorem

If from a point outside a circle a secant and a tangent are drawn, the rectangle contained by the whole secant and its external segment equals the square on the tangent.

G.145 converse of the tangent-secant theorem

If from a point outside a circle a secant and a segment to the circle are drawn such that the rectangle on the whole secant and its external part equals the square on the segment, the segment is tangent to the circle.

G.146 segment fitted into a circle

A:term:segment <G.4> is said to be:term:**fitted into a circle** <fitted-into-circle> when its:term:extremities <G.6> are on the arc of the:term:circle <G.10>.

G.147 fit a chord in a circle equal to a segment

Fit into a given circle a chord equal to a given segment not greater than the diameter of the circle.

G.149 inscribe a triangle in a circle equiangular with a triangle

Inscribe in a given circle a triangle equiangular with a given triangle.

G.151 circumscribe a triangle about a circle equiangular with a triangle

Circumscribe about a given circle a triangle equiangular with a given triangle.

G.154 inscribe a circle in a triangle

Inscribe a circle in a given triangle.

G.157 circumscribe a circle about a triangle

Circumscribe a circle about a given triangle.

G.158 inscribe a square in a circle

Inscribe a square in a given circle.

G.159 circumscribe a square about a circle

Circumscribe a square about a given circle.

G.160 inscribe a circle in a square

Inscribe a circle in a given square.

G.161 circumscribe a circle about a square

Circumscribe a circle about a given square.

G.162 construct a golden isosceles triangle

Construct an isosceles triangle having each of the angles at the base double the remaining angle.

G.163 inscribe a regular pentagon in a circle

Inscribe an equilateral and equiangular pentagon in a given circle.

G.164 circumscribe a regular pentagon about a circle

Circumscribe an equilateral and equiangular pentagon about a given circle.

G.165 inscribe a circle in a regular pentagon

Inscribe a circle in a given equilateral and equiangular pentagon.

G.166 circumscribe a circle about a regular pentagon

Circumscribe a circle about a given equilateral and equiangular pentagon.

G.167 inscribe a regular hexagon in a circle

Inscribe an equilateral and equiangular hexagon in a given circle.

G.168 inscribe a regular pentadecagon in a circle

Inscribe an equilateral and equiangular fifteen-angled figure in a given circle.

G.210 triangles parallelograms height

Triangles and parallelograms which are under the same height are to one another as their bases.

G.211 segment drawn parallel

If a segment be drawn parallel to one of the sides of a triangle, it will cut the sides of the triangle proportionally; and, if the sides of the triangle be cut proportionally, the line joining the points of section is parallel to the remaining side of the triangle.

G.212 angle triangle bisected

If an angle of a triangle be bisected and the segment cutting the angle cut the base also, the segments of the base will have the same ratio as the remaining sides of the triangle; and, if the segments of the base have the same ratio as the remaining sides of the triangle, the segment joined from the vertex to the point of section will bisect the angle of the triangle.

G.213 equiangular triangles sides

In equiangular triangles the sides about the equal angles are proportional, and those are corresponding sides which subtend the equal angles.

G.214 triangles sides proportional

If two triangles have their sides proportional, the triangles is equiangular and will have those angles equal which the corresponding sides subtend.

G.215 triangles angle equal

If two triangles have one angle equal to one angle and the sides about the equal angles proportional, the triangles is equiangular and will have those angles equal which the corresponding sides subtend.

G.216 triangles angle equal

If two triangles have one angle equal to one angle, the sides about other angles proportional, and the remaining angles either both less or both not less than a right angle, the triangles is equiangular and will have those angles equal, the sides about which are proportional.

G.218 right angled triangle

If in a right-angled triangle a perpendicular be drawn from the right angle to the base, the triangles adjoining the perpendicular are similar both to the whole and to one another.

G.219 cut nth part

From a given segment to cut off a prescribed part.

G.220 cut similarly

Cut a given uncut segment similarly to a given cut segment.

G.221 third proportional

To two given segments to find a third proportional.

G.222 fourth proportional

To three given segments to find a fourth proportional.

G.223 mean proportional

To two given segments to find a mean proportional.

G.225 equal equiangular parallelograms

In equal and equiangular parallelograms the sides about the equal angles are reciprocally proportional; and equiangular parallelograms in which the sides about the equal angles are reciprocally proportional are equal.

G.226 equal triangles angle

In equal triangles which have one angle equal to one angle the sides about the equal angles are reciprocally proportional; and those triangles which have one angle equal to one angle, and in which the sides about the equal angles are reciprocally proportional, are equal.

G.227 segments proportional rectangle

If four segments be proportional, the rectangle contained by the extremes is equal to the rectangle contained by the means; and, if the rectangle contained by the extremes equals the rectangle contained by the means, the four segments is proportional.

G.228 segments proportional rectangle

If three segments be proportional, the rectangle contained by the extremes is equal to the square on the mean; and, if the rectangle contained by the extremes equals the square on the mean, the three segments is proportional.

G.229 describe on a given segment a rectilinear figure

Describe on a given segment a rectilinear figure similar and similarly situated to a given rectilinear figure.

G.231 similar triangles duplicate

Similar triangles are to one another in the duplicate ratio of the corresponding sides.

G.234 segments proportional polygons

If four segments be proportional, the polygons similar and similarly described upon them is proportional; and, if the polygons similar and similarly described upon them be proportional, the segments will themselves also be proportional.

G.235 equiangular parallelograms ratio

Equiangular parallelograms have to one another the ratio compounded of the ratios of their sides.

G.237 construct one and the same figure similar to

Construct one and the same figure similar to a given polygon and equal to another given polygon.

G.238 parallelogram there taken

If from a parallelogram there be taken away a parallelogram similar and similarly situated to the whole and having a common angle with it, it is about the same diameter with the whole.

G.239 parallelograms applied segment

Of all the parallelograms applied to the same segment and deficient by parallelogrammic figures similar and similarly situated to that described on the half of the segment, that parallelogram is greatest which is applied to the half of the segment and is similar to the defect.

G.240 segment apply parallelogram

To a given segment to apply a parallelogram equal to a given polygon and deficient by a parallelogrammic figure similar to a given one: thus the given polygon must not be greater than the parallelogram described on the half of the segment and similar to the defect.

G.241 segment apply parallelogram

To a given segment to apply a parallelogram equal to a given polygon and exceeding by a parallelogrammic figure similar to a given one.

G.243 extreme and mean ratio

Cut a given segment in extreme and mean ratio.

G.244 right angled triangles

In right-angled triangles the figure on the side subtending the right angle is equal to the similar and similarly described figures on the sides containing the right angle.

G.245 triangles sides proportional

If two triangles having two sides proportional to two sides be placed together at one angle so that their corresponding sides are also parallel, the remaining sides of the triangles is in a segment.

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.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.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.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.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.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.431 find the fifth binomial segment

Find the fifth binomial segment.

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.474 find the fifth apotome

Find the fifth 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.

G.502 part segment plane

A part of a segment cannot be in the plane of reference and a part in a plane more elevated.

G.503 segments cut plane

If two segments cut one another, they are in one plane, and every triangle is in one plane.

G.504 planes cut common

If two planes cut one another, their common section is a segment.

G.505 line at right angles to a plane

A:term:segment <G.4> is:term:**at right angles to a plane** <right-angles-to-plane>, when it makes:term:right angles <G.33> with all the segments which meet it and are in the:term:plane <G.7>.

G.506 segment set right

If a segment be set up at right angles to two segments which cut one another, at their common point of section, it is at right angles to the plane through them.

G.507 segment set right

If a segment be set up at right angles to three segments which meet one another, at their common point of section, the three segments are in one plane.

G.508 segments right angles

If two segments be at right angles to the same plane, the segments is parallel.

G.509 segments parallel points

If two segments be parallel and points be taken at random on each of them, the segment joining the points is in the same plane with the parallel lines.

G.510 segments parallel right

If two segments be parallel, and one of them be at right angles to any plane, the remaining one is at right angles to the same plane.

G.511 straight lines parallel

Straight lines which are parallel to the same segment and are not in the same plane with it are also parallel to one another.

G.512 segments meeting parallel

If two segments meeting one another be parallel to two segments meeting one another not in the same plane, they will contain equal angles.

G.513 elevated point draw

From a given elevated point to draw a segment perpendicular to a given plane.

G.514 set segment right

To set up a segment at right angles to a given plane from a given point in it.

G.515 point segments set

From the same point two segments cannot be set up at right angles to the same plane on the same side.

G.517 planes segment right

Planes to which the same segment is at right angles is parallel.

G.518 segments meeting parallel

If two segments meeting one another be parallel to two segments meeting one another, not being in the same plane, the planes through them are parallel.

G.519 parallel planes cut

If two parallel planes be cut by any plane, their common sections are parallel.

G.520 segments cut parallel

If two segments be cut by parallel planes, they is cut in the same ratios.

G.521 plane at right angles to a plane

A:term:**plane is at right angles to a plane** <plane-at-right-angles-to-plane> when the:term:segments <G.4> drawn, in one of the:term:planes <G.7>,:term:at right angles <G.33> to the common section of the planes are at right angles to the remaining plane.

G.522 segment right angles

If a segment be at right angles to any plane, all the planes through it is at right angles to the same plane.

G.523 planes cut right

If two planes which cut one another be at right angles to any plane, their common section is at right angles to the same plane.

G.525 solid angle contained

If a solid angle be contained by three plane angles, any two, taken together in any manner, are greater than the remaining one.

G.526 solid angle contained

Any solid angle is contained by plane angles less than four right angles.

G.527 there plane angles

If there be three plane angles of which two, taken together in any manner, are greater than the remaining one, and they are contained by equal segments, it is possible to construct a triangle out of the segments joining the extremities of the equal segments.

G.528 construct a solid angle out of three plane

Construct a solid angle out of three plane angles two of which, taken together in any manner, are greater than the remaining one: thus the three angles must be less than four right angles.

G.530 solid contained parallel

If a solid be contained by parallel planes, the opposite planes in it are equal and parallelogrammic.

G.531 parallelepipedal solid cut

If a parallelepipedal solid be cut by a plane which is parallel to the opposite planes, then, as the base is to the base, so will the solid be to the solid.

G.532 segment point construct

On a given segment, and at a given point on it, to construct a solid angle equal to a given solid angle.

G.536 describe on a given segment a parallelepipedal solid

Describe on a given segment a parallelepipedal solid similar and similarly situated to a given parallelepipedal solid.

G.539 parallelepipedal solids base

Parallelepipedal solids which are on the same base and of the same height, and in which the extremities of the sides which stand up are on the same segments, are equal.

G.540 parallelepipedal solids base

Parallelepipedal solids which are on the same base and of the same height, and in which the extremities of the sides which stand up are not on the same segments, are equal.

G.541 parallelepipedal solids equal

Parallelepipedal solids which are on equal bases and of the same height are equal.

G.543 similar parallelepipedal solids

Similar parallelepipedal solids are to one another in the triplicate ratio of their corresponding sides.

G.545 there equal plane

If there be two equal plane angles, and on their vertices there be set up elevated segments containing equal angles with the original segments respectively, if on the elevated segments points be taken at random and perpendiculars be drawn from them to the planes in which the original angles are, and if from the points so arising in the planes segments be joined to the vertices of the original angles, they will contain, with the elevated segments, equal angles.

G.546 segments proportional parallelepipedal

If three segments be proportional, the parallelepipedal solid formed out of the three is equal to the parallelepipedal solid on the mean which is equilateral, but equiangular with the aforesaid solid.

G.547 segments proportional parallelepipedal

If four segments be proportional, the parallelepipedal solids on them which are similar and similarly described is proportional; and, if the parallelepipedal solids on them which are similar and similarly described be proportional, the segments will themselves also be proportional.

G.549 sides opposite planes

If the sides of the opposite planes of a cube be bisected, and planes be carried through the points of section, the common section of the planes and the diameter of the cube bisect one another.

G.552 circles squares diameters

Circles are to one another as the squares on the diameters.

G.554 pyramid triangular base

Any pyramid which has a triangular base is divided into two pyramids equal and similar to one another, similar to the whole and having triangular bases, and into two equal prisms; and the two prisms are greater than the half of the whole pyramid.

G.555 there pyramids height

If there be two pyramids of the same height which have triangular bases, and each of them be divided into two pyramids equal to one another and similar to the whole, and into two equal prisms, then, as the base of the one pyramid is to the base of the other pyramid, so will all the prisms in the one pyramid be to all the prisms, being equal in multitude, in the other pyramid.

G.561 cone

When, one side of those about the:term:right angle <G.33> in a:term:right-angled triangle <G.78> remaining fixed, the:term:triangle <G.12> is carried round and restored again to the same position from which it began to be moved, the:term:figure <G.9> so comprehended is a:term:**cone** <cone>. And, if the:term:segment <G.4> which remains fixed equals the remaining side about the right angle which is carried round, the cone is:term:**right-angled** <right-angled-cone>; if less,:term:**obtuse-angled** <obtuse-angled-cone>; and if greater,:term:**acute-angled** <acute-angled-cone>.

Posts tagged 'straight-line'