Elementa

Euclid

Elementa

Euclid · Elem 11 · perseus-eng2 · More by Euclid

Choose a text id="mobileReaderAuthor" class="mobile-reader-author" href="/authors/euclid" aria-label="More works by Euclid"> â€”

â‹¯

Primary version Secondary version

Original / primary: Perseus Eng2

11.def.1.p4797

A solid is that which has length, breadth, and depth.

11.def.2.p4798

An extremity of a solid is a surface.

11.def.3.p4799

A straight line is at right angles to a plane, when it makes right angles with all the straight lines which meet it and are in the plane.

11.def.4.p4800

A plane is at right angles to a plane when the straight lines drawn, in one of the planes, at right angles to the common section of the planes are at right angles to the remaining plane.

11.def.5.p4801

The inclination of a straight line to a plane is, assuming a perpendicular drawn from the extremity of the straight line which is elevated above the plane to the plane, and a straight line joined from the point thus arising to the extremity of the straight line which is in the plane, the angle contained by the straight line so drawn and the straight line standing up.

11.def.6.p4802

The inclination of a plane to a plane is the acute angle contained by the straight lines drawn at right angles to the common section at the same point, one in each of the planes.

11.def.7.p4803

A plane is said to be similarly inclined to a plane as another is to another when the said angles of the inclinations are equal to one another.

11.def.8.p4804

Parallel planes are those which do not meet.

11.def.9.p4805

Similar solid figures are those contained by similar planes equal in multitude.

11.def.10.p4806

Equal and similar solid figures are those contained by similar planes equal in multitude and in magnitude.

11.def.11.p4807

A solid angle is the inclination constituted by more than two lines which meet one another and are not in the same surface, towards all the lines.

11.def.11.p4808

Otherwise: A solid angle is that which is contained by more than two plane angles which are not in the same plane and are constructed to one point.

11.def.12.p4809

A pyramid is a solid figure, contained by planes, which is constructed from one plane to one point.

11.def.13.p4810

A prism is a solid figure contained by planes two of which, namely those which are opposite, are equal, similar and parallel, while the rest are parallelograms.

11.def.14.p4811

When, the diameter of a semicircle remaining fixed, the semicircle is carried round and restored again to the same position from which it began to be moved, the figure so comprehended is a sphere.

11.def.15.p4812

The axis of the sphere is the straight line which remains fixed and about which the semicircle is turned.

11.def.16.p4813

The centre of the sphere is the same as that of the semicircle.

11.def.17.p4814

A diameter of the sphere is any straight line drawn through the centre and terminated in both directions by the surface of the sphere.

11.def.18.p4815

When, one side of those about the right angle in a right-angled triangle remaining fixed, the triangle is carried round and restored again to the same position from which it began to be moved, the figure so comprehended is a cone.

11.def.18.p4816

And, if the straight line which remains fixed be equal to the remaining side about the right angle which is carried round, the cone will be right-angled; if less, obtuse-angled; and if greater, acute-angled.

11.def.19.p4817

The axis of the cone is the straight line which remains fixed and about which the triangle is turned.

11.def.20.p4818

And the base is the circle described by the straight line which is carried round.

11.def.21.p4819

When, one side of those about the right angle in a rectangular parallelogram remaining fixed, the parallelogram is carried round and restored again to the same position from which it began to be moved, the figure so comprehended is a cylinder.

11.def.22.p4820

The axis of the cylinder is the straight line which remains fixed and about which the parallelogram is turned.

11.def.23.p4821

And the bases are the circles described by the two sides opposite to one another which are carried round.

11.def.24.p4822

Similar cones and cylinders are those in which the axes and the diameters of the bases are proportional.

11.def.25.p4823

A cube is a solid figure contained by six equal squares.

11.def.26.p4824

An octahedron is a solid figure contained by eight equal and equilateral triangles.

11.def.27.p4825

An icosahedron is a solid figure contained by twenty equal and equilateral triangles.

11.def.28.p4826

A dodecahedron is a solid figure contained by twelve equal, equilateral, and equiangular pentagons.

11.prop.1.p4827

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

11.prop.1.p4828

For, if possible, let a part AB of the straight line ABC be in the plane of reference, and a part BC in a plane more elevated.

11.prop.1.p4829

There will then be in the plane of reference some straight line continuous with AB in a straight line.

11.prop.1.p4830

Let it be BD; therefore AB is a common segment of the two straight lines ABC, ABD: which is impossible, inasmuch as, if we describe a circle with centre B and distance AB, the diameters will cut off unequal circumferences of the circle.

11.prop.1.p4831

Therefore a part of a straight line cannot be in the plane of reference, and a part in a plane more elevated. Q. E. D.

11.prop.1.p4831

1

11.prop.1.p4831

2

11.prop.2.p4832

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

11.prop.2.p4833

For let the two straight lines AB, CD cut one another at the point E; I say that AB, CD are in one plane, and every triangle is in one plane.

11.prop.2.p4834

For let points F, G be taken at random on EC, EB, let CB, FG be joined, and let FH, GK be drawn across; I say first that the triangle ECB is in one plane.

11.prop.2.p4835

For, if part of the triangle ECB, either FHC or GBK, is in the plane of reference, and the rest in another, a part also of one of the straight lines EC, EB will be in the plane of reference, and a part in another.

11.prop.2.p4836

But, if the part FCBG of the triangle ECB be in the plane of reference, and the rest in another, a part also of both the straight lines EC, EB will be in the plane of reference and a part in another: which was proved absurd. [XI. 1]

11.prop.2.p4837

Therefore the triangle ECB is in one plane.

11.prop.2.p4838

But, in whatever plane the triangle ECB is, in that plane also is each of the straight lines EC, EB, and, in whatever plane each of the straight lines EC, EB is, in that plane are AB, CD also. [XI. 1]

11.prop.2.p4839

Therefore the straight lines AB, CD are in one plane, and every triangle is in one plane. Q. E. D.

11.prop.3.p4840

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

11.prop.3.p4841

For let the two planes AB, BC cut one another, and let the line DB be their common section; I say that the line DB is a straight line.

11.prop.3.p4842

For, if not, from D to B let the straight line DEB be joined in the plane AB, and in the plane BC the straight line DFB.

11.prop.3.p4843

Then the two straight lines DEB, DFB will have the same extremities, and will clearly enclose an area: which is absurd.

11.prop.3.p4844

Therefore DEB, DFB are not straight lines.

11.prop.3.p4845

Similarly we can prove that neither will there be any other straight line joined from D to B except DB the common section of the planes AB, BC.

11.prop.3.p4846

Therefore etc. Q. E. D.

11.prop.4.p4847

If a straight line be set up at right angles to two straight lines which cut one another, at their common point of section, it will also be at right angles to the plane through them.

11.prop.4.p4848

For let a straight line EF be set up at right angles to the two straight lines AB, CD, which cut one another at the point E, from E; I say that EF is also at right angles to the plane through AB, CD.

11.prop.4.p4849

For let AE, EB, CE, ED be cut off equal to one another, and let any straight line GEH be drawn across through E, at random; let AD, CB be joined, and further let FA, FG, FD, FC, FH, FB be joined from the point F taken at random lton EFgt.

11.prop.4.p4850

Now, since the two straight lines AE, ED are equal to the two straight lines CE, EB, and contain equal angles, [I. 15] therefore the base AD is equal to the base CB, and the triangle AED will be equal to the triangle CEB; [I. 4] so that the angle DAE is also equal to the angle EBC.

11.prop.4.p4851

But the angle AEG is also equal to the angle BEH; [I. 15] therefore AGE, BEH are two triangles which have two angles equal to two angles respectively, and one side equal to one side, namely that adjacent to the equal angles, that is to say, AE to EB; therefore they will also have the remaining sides equal to the remaining sides. [I. 26]

11.prop.4.p4852

Therefore GE is equal to EH, and AG to BH.

11.prop.4.p4853

And, since AE is equal to EB, while FE is common and at right angles, therefore the base FA is equal to the base FB. [I. 4]

11.prop.4.p4854

For the same reason FC is also equal to FD.

11.prop.4.p4855

And, since AD is equal to CB, and FA is also equal to FB, the two sides FA, AD are equal to the two sides FB, BC respectively; and the base FD was proved equal to the base FC; therefore the angle FAD is also equal to the angle FBC. [I. 8]

11.prop.4.p4856

And since, again, AG was proved equal to BH, and further FA also equal to FB, the two sides FA, AG are equal to the two sides FB, BH.

11.prop.4.p4857

And the angle FAG was proved equal to the angle FBH; therefore the base FG is equal to the base FH. [I. 4]

11.prop.4.p4858

Now since, again, GE was proved equal to EH, and EF is common, the two sides GE, EF are equal to the two sides HE, EF; and the base FG is equal to the base FH; therefore the angle GEF is equal to the angle HEF. [I. 8]

11.prop.4.p4859

Therefore each of the angles GEF, HEF is right.

11.prop.4.p4860

Therefore FE is at right angles to GH drawn at random through E.

11.prop.4.p4861

Similarly we can prove that FE will also make right angles with all the straight lines which meet it and are in the plane of reference.

11.prop.4.p4862

But a straight line is at right angles to a plane when it makes right angles with all the straight lines which meet it and are in that same plane; [XI. Def. 3] therefore FE is at right angles to the plane of reference.

11.prop.4.p4863

But the plane of reference is the plane through the straight lines AB, CD.

11.prop.4.p4864

Therefore FE is at right angles to the plane through AB, CD.

11.prop.4.p4865

Therefore etc. Q. E. D.

11.prop.5.p4866

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

11.prop.5.p4867

For let a straight line AB be set up at right angles to the three straight lines BC, BD, BE, at their point of meeting at B; I say that BC, BD, BE are in one plane.

11.prop.5.p4868

For suppose they are not, but, if possible, let BD, BE be in the plane of reference and BC in one more elevated; let the plane through AB, BC be produced; it will thus make, as common section in the plane of reference, a straight line. [XI. 3]

11.prop.5.p4869

Let it make BF.

11.prop.5.p4870

Therefore the three straight lines AB, BC, BF are in one plane, namely that drawn through AB, BC.

11.prop.5.p4871

Now, since AB is at right angles to each of the straight lines BD, BE, therefore AB is also at right angles to the plane through BD, BE. [XI. 4]

11.prop.5.p4872

But the plane through BD, BE is the plane of reference; therefore AB is at right angles to the plane of reference.

11.prop.5.p4873

Thus AB will also make right angles with all the straight lines which meet it and are in the plane of reference. [XI. Def. 3]

11.prop.5.p4874

But BF which is in the plane of reference meets it; therefore the angle ABF is right.

11.prop.5.p4875

But, by hypothesis, the angle ABC is also right; therefore the angle ABF is equal to the angle ABC.

11.prop.5.p4876

And they are in one plane: which is impossible.

11.prop.5.p4877

Therefore the straight line BC is not in a more elevated plane; therefore the three straight lines BC, BD, BE are in one plane.

11.prop.5.p4878

Therefore, if a straight line be set up at right angles to three straight lines, at their point of meeting, the three straight lines are in one plane. Q. E. D.

11.prop.6.p4879

If two straight lines be at right angles to the same plane, the straight lines will be parallel.

11.prop.6.p4880

For let the two straight lines AB, CD be at right angles to the plane of reference; I say that AB is parallel to CD.

11.prop.6.p4881

For let them meet the plane of reference at the points B, D, let the straight line BD be joined, let DE be drawn, in the plane of reference, at right angles to BD, let DE be made equal to AB, and let BE, AE, AD be joined.

11.prop.6.p4882

Now, since AB is at right angles to the plane of reference, it will also make right angles with all the straight lines which meet it and are in the plane of reference. [XI. Def. 3]

11.prop.6.p4883

But each of the straight lines BD, BE is in the plane of reference and meets AB; therefore each of the angles ABD, ABE is right.

11.prop.6.p4884

For the same reason each of the angles CDB, CDE is also right.

11.prop.6.p4885

And, since AB is equal to DE, and BD is common, the two sides AB, BD are equal to the two sides ED, DB; and they include right angles; therefore the base AD is equal to the base BE. [I. 4]

11.prop.6.p4886

And, since AB is equal to DE, while AD is also equal to BE, the two sides AB, BE are equal to the two sides ED, DA; and AE is their common base; therefore the angle ABE is equal to the angle EDA. [I. 8]

11.prop.6.p4887

But the angle ABE is right; therefore the angle EDA is also right; therefore ED is at right angles to DA.

11.prop.6.p4888

But it is also at right angles to each of the straight lines BD, DC; therefore ED is set up at right angles to the three straight lines BD, DA, DC at their point of meeting; therefore the three straight lines BD, DA, DC are in one plane. [XI. 5]

11.prop.6.p4889

But, in whatever plane DB, DA are, in that plane is AB also, for every triangle is in one plane; [XI. 2] therefore the straight lines AB, BD, DC are in one plane.

11.prop.6.p4890

And each of the angles ABD, BDC is right; therefore AB is parallel to CD. [I. 28]

11.prop.6.p4891

Therefore etc. Q. E. D.

11.prop.7.p4892

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

11.prop.7.p4893

Let AB, CD be two parallel straight lines, and let points E, F be taken at random on them respectively; I say that the straight line joining the points E, F is in the same plane with the parallel straight lines.

11.prop.7.p4894

For suppose it is not, but, if possible, let it be in a more elevated plane as EGF, and let a plane be drawn through EGF; it will then make, as section in the plane of reference, a straight line. [XI. 3]

11.prop.7.p4895

Let it make it, as EF; therefore the two straight lines EGF, EF will enclose an area: which is impossible.

11.prop.7.p4896

Therefore the straight line joined from E to F is not in a plane more elevated; therefore the straight line joined from E to F is in the plane through the parallel straight lines AB, CD.

11.prop.7.p4897

Therefore etc. Q. E. D.

11.prop.8.p4898

If two straight lines be parallel, and one of them be at right angles to any plane, the remaining one will also be at right angles to the same plane.

11.prop.8.p4899

Let AB, CD be two parallel straight lines, and let one of them, AB, be at right angles to the plane of reference; I say that the remaining one, CD, will also be at right angles to the same plane.

11.prop.8.p4900

For let AB, CD meet the plane of reference at the points B, D, and let BD be joined; therefore AB, CD, BD are in one plane. [XI. 7]

11.prop.8.p4901

Let DE be drawn, in the plane of reference, at right angles to BD, let DE be made equal to AB, and let BE, AE, AD be joined.

11.prop.8.p4902

Now, since AB is at right angles to the plane of reference, therefore AB is also at right angles to all the straight lines which meet it and are in the plane of reference; [XI. Def. 3] therefore each of the angles ABD, ABE is right.

11.prop.8.p4903

And, since the straight line BD has fallen on the parallels AB, CD, therefore the angles ABD, CDB are equal to two right angles. [I. 29]

11.prop.8.p4904

But the angle ABD is right; therefore the angle CDB is also right; therefore CD is at right angles to BD.

11.prop.8.p4905

And, since AB is equal to DE, and BD is common, the two sides AB, BD are equal to the two sides ED, DB; and the angle ABD is equal to the angle EDB, for each is right; therefore the base AD is equal to the base BE.

11.prop.8.p4906

And, since AB is equal to DE, and BE to AD, the two sides AB, BE are equal to the two sides ED, DA respectively, and AE is their common base; therefore the angle ABE is equal to the angle EDA.

11.prop.8.p4907

But the angle ABE is right; therefore the angle EDA is also right; therefore ED is at right angles to AD.

11.prop.8.p4908

But it is also at right angles to DB; therefore ED is also at right angles to the plane through BD, DA. [XI. 4]

11.prop.8.p4909

Therefore ED will also make right angles with all the straight lines which meet it and are in the plane through BD, DA.

11.prop.8.p4910

But DC is in the plane through BD, DA, inasmuch as AB, BD are in the plane through BD, DA, [XI. 2] and DC is also in the plane in which AB, BD are.

11.prop.8.p4911

Therefore ED is at right angles to DC, so that CD is also at right angles to DE.

11.prop.8.p4912

But CD is also at right angles to BD.

11.prop.8.p4913

Therefore CD is set up at right angles to the two straight lines DE, DB which cut one another, from the point of section at D; so that CD is also at right angles to the plane through DE, DB. [XI. 4]

11.prop.8.p4914

But the plane through DE, DB is the plane of reference; therefore CD is at right angles to the plane of reference.

11.prop.8.p4915

Therefore etc. Q. E. D.

11.prop.9.p4916

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

11.prop.9.p4917

For let each of the straight lines AB, CD be parallel to EF, not being in the same plane with it; I say that AB is parallel to CD.

11.prop.9.p4918

For let a point G be taken at random on EF, and from it let there be drawn GH, in the plane through EF, AB, at right angles to EF, and GK in the plane through FE, CD again at right angles to EF.

11.prop.9.p4919

Now, since EF is at right angles to each of the straight lines GH, GK, therefore EF is also at right angles to the plane through GH, GK. [XI. 4]

11.prop.9.p4920

And EF is parallel to AB; therefore AB is also at right angles to the plane through HG, GK. [XI. 8]

11.prop.9.p4921

For the same reason CD is also at right angles to the plane through HG, GK; therefore each of the straight lines AB, CD is at right angles to the plane through HG, GK.

11.prop.9.p4922

But if two straight lines be at right angles to the same plane, the straight lines are parallel; [XI. 6] therefore AB is parallel to CD.

11.prop.10.p4923

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

11.prop.10.p4924

For let the two straight lines AB, BC meeting one another be parallel to the two straight lines DE, EF meeting one another, not in the same plane; I say that the angle ABC is equal to the angle DEF.

11.prop.10.p4925

For let BA, BC, ED, EF be cut off equal to one another, and let AD, CF, BE, AC, DF be joined.

11.prop.10.p4926

Now, since BA is equal and parallel to ED, therefore AD is also equal and parallel to BE. [I. 33]

11.prop.10.p4927

For the same reason CF is also equal and parallel to BE.

11.prop.10.p4928

Therefore each of the straight lines AD, CF is equal and parallel to BE.

11.prop.10.p4929

But straight lines which are parallel to the same straight line and are not in the same plane with it are parallel to one another; [XI. 9] therefore AD is parallel and equal to CF.

11.prop.10.p4930

And AC, DF join them; therefore AC is also equal and parallel to DF. [I. 33]

11.prop.10.p4931

Now, since the two sides AB, BC are equal to the two sides DE, EF, and the base AC is equal to the base DF, therefore the angle ABC is equal to the angle DEF. [I. 8]

11.prop.10.p4932

Therefore etc.

11.prop.11.p4933

From a given elevated point to draw a straight line perpendicular to a given plane.

11.prop.11.p4934

Let A be the given elevated point, and the plane of reference the given plane; thus it is required to draw from the point A a straight line perpendicular to the plane of reference.

11.prop.11.p4935

Let any straight line BC be drawn, at random, in the plane of reference, and let AD be drawn from the point A perpendicular to BC. [I. 12]

11.prop.11.p4936

If then AD is also perpendicular to the plane of reference, that which was enjoined will have been done.

11.prop.11.p4937

But, if not, let DE be drawn from the point D at right angles to BC and in the plane of reference, [I. 11] let AF be drawn from A perpendicular to DE, [I. 12] and let GH be drawn through the point F parallel to BC. [I. 31]

11.prop.11.p4938

Now, since BC is at right angles to each of the straight lines DA, DE, therefore BC is also at right angles to the plane through ED, DA. [XI. 4]

11.prop.11.p4939

And GH is parallel to it; but, if two straight lines be parallel, and one of them be at right angles to any plane, the remaining one will also be at right angles to the same plane; [XI. 8] therefore GH is also at right angles to the plane through ED, DA.

11.prop.11.p4940

Therefore GH is also at right angles to all the straight lines which meet it and are in the plane through ED, DA. [XI. Def. 3]

11.prop.11.p4941

But AF meets it and is in the plane through ED, DA; therefore GH is at right angles to FA, so that FA is also at right angles to GH.

11.prop.11.p4942

But AF is also at right angles to DE; therefore AF is at right angles to each of the straight lines GH, DE.

11.prop.11.p4943

But, if a straight line be set up at right angles to two straight lines which cut one another, at the point of section, it will also be at right angles to the plane through them; [XI. 4] therefore FA is at right angles to the plane through ED, GH.

11.prop.11.p4944

But the plane through ED, GH is the plane of reference; therefore AF is at right angles to the plane of reference.

11.prop.11.p4945

Therefore from the given elevated point A the straight line AF has been drawn perpendicular to the plane of reference. Q. E. F.

11.prop.12.p4946

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

11.prop.12.p4947

Let the plane of reference be the given plane, and A the point in it; thus it is required to set up from the point A a straight line at right angles to the plane of reference.

11.prop.12.p4948

Let any elevated point B be conceived, from B let BC be drawn perpendicular to the plane of reference, [XI. 11] and through the point A let AD be drawn parallel to BC. [I. 31]

11.prop.12.p4949

Then, since AD, CB are two parallel straight lines, while one of them, BC, is at right angles to the plane of reference, therefore the remaining one, AD, is also at right angles to the plane of reference. [XI. 8]

11.prop.12.p4950

Therefore AD has been set up at right angles to the given plane from the point A in it.

11.prop.13.p4951

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

11.prop.13.p4952

For, if possible, from the same point A let the two straight lines AB, AC be set up at right angles to the plane of reference and on the same side, and let a plane be drawn through BA, AC; it will then make, as section through A in the plane of reference, a straight line. [XI. 3]

11.prop.13.p4953

Let it make DAE; therefore the straight lines AB, AC, DAE are in one plane.

11.prop.13.p4954

And, since CA is at right angles to the plane of reference, it will also make right angles with all the straight lines which meet it and are in the plane of reference. [XI. Def. 3]

11.prop.13.p4955

But DAE meets it and is in the plane of reference; therefore the angle CAE is right.

11.prop.13.p4956

For the same reason the angle BAE is also right; therefore the angle CAE is equal to the angle BAE.

11.prop.13.p4957

And they are in one plane: which is impossible.

11.prop.13.p4958

Therefore etc. Q. E. D.

11.prop.14.p4959

Planes to which the same straight line is at right angles will be parallel.

11.prop.14.p4960

For let any straight line AB be at right angles to each of the planes CD, EF; I say that the planes are parallel.

11.prop.14.p4961

For, if not, they will meet when produced.

11.prop.14.p4962

Let them meet; they will then make, as common section, a straight line. [XI. 3]

11.prop.14.p4963

Let them make GH; let a point K be taken at random on GH, and let AK, BK be joined.

11.prop.14.p4964

Now, since AB is at right angles to the plane EF, therefore AB is also at right angles to BK which is a straight line in the plane EF produced; [XI. Def. 3] therefore the angle ABK is right.

11.prop.14.p4965

For the same reason the angle BAK is also right.

11.prop.14.p4966

Thus, in the triangle ABK, the two angles ABK, BAK are equal to two right angles: which is impossible. [I. 17]

11.prop.14.p4967

Therefore the planes CD, EF will not meet when produced; therefore the planes CD, EF are parallel. [XI. Def. 8]

11.prop.14.p4968

Therefore planes to which the same straight line is at right angles are parallel. Q. E. D.

11.prop.15.p4969

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

11.prop.15.p4970

For let the two straight lines AB, BC meeting one another be parallel to the two straight lines DE, EF meeting one another, not being in the same plane; I say that the planes produced through AB, BC and DE, EF will not meet one another.

11.prop.15.p4971

For let BG be drawn from the point B perpendicular to the plane through DE, EF [XI. 11], and let it meet the plane at the point G; through G let GH be drawn parallel to ED, and GK parallel to EF. [I. 31]

11.prop.15.p4972

Now, since BG is at right angles to the plane through DE, EF, therefore it will also make right angles with all the straight lines which meet it and are in the plane through DE, EF. [XI. Def. 3]

11.prop.15.p4973

But each of the straight lines GH, GK meets it and is in the plane through DE, EF; therefore each of the angles BGH, BGK is right.

11.prop.15.p4974

And, since BA is parallel to GH, [XI. 9] therefore the angles GBA, BGH are equal to two right angles. [I. 29]

11.prop.15.p4975

But the angle BGH is right; therefore the angle GBA is also right; therefore GB is at right angles to BA.

11.prop.15.p4976

For the same reason GB is also at right angles to BC.

11.prop.15.p4977

Since then the straight line GB is set up at right angles to the two straight lines BA, BC which cut one another, therefore GB is also at right angles to the plane through BA, BC. [XI. 4]

11.prop.15.p4978

But planes to which the same straight line is at right angles are parallel; [XI. 14] therefore the plane through AB, BC is parallel to the plane through DE, EF.

11.prop.15.p4979

Therefore, if two straight lines meeting one another be parallel to two straight lines meeting one another, not in the same plane, the planes through them are parallel. Q. E. D.

11.prop.16.p4980

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

11.prop.16.p4981

For let the two parallel planes AB, CD be cut by the plane EFGH, and let EF, GH be their common sections; I say that EF is parallel to GH.

11.prop.16.p4982

For, if not, EF, GH will, when produced, meet either in the direction of F, H or of E, G.

11.prop.16.p4983

Let them be produced, as in the direction of F, H, and let them, first, meet at K.

11.prop.16.p4984

Now, since EFK is in the plane AB, therefore all the points on EFK are also in the plane AB. [XI. 1]

11.prop.16.p4985

But K is one of the points on the straight line EFK; therefore K is in the plane AB.

11.prop.16.p4986

For the same reason K is also in the plane CD; therefore the planes AB, CD will meet when produced.

11.prop.16.p4987

But they do not meet, because they are, by hypothesis, parallel; therefore the straight lines EF, GH will not meet when produced in the direction of F, H.

11.prop.16.p4988

Similarly we can prove that neither will the straight lines EF, GH meet when produced in the direction of E, G.

11.prop.16.p4989

But straight lines which do not meet in either direction are parallel. [I. Def. 23]

11.prop.16.p4990

Therefore EF is parallel to GH.

11.prop.16.p4991

Therefore etc. Q. E. D.

11.prop.17.p4992

If two straight lines be cut by parallel planes, they will be cut in the same ratios.

11.prop.17.p4993

For let the two straight lines AB, CD be cut by the parallel planes GH, KL, MN at the points A, E, B and C, F, D; I say that, as the straight line AE is to EB, so is CF to FD.

11.prop.17.p4994

For let AC, BD, AD be joined, let AD meet the plane KL at the point O, and let EO, OF be joined.

11.prop.17.p4995

Now, since the two parallel planes KL, MN are cut by the plane EBDO, their common sections EO, BD are parallel. [XI. 16]

11.prop.17.p4996

For the same reason, since the two parallel planes GH, KL are cut by the plane AOFC, their common sections AC, OF are parallel. [id.]

11.prop.17.p4997

And, since the straight line EO has been drawn parallel to BD, one of the sides of the triangle ABD, therefore, proportionally, as AE is to EB, so is AO to OD. [VI. 2]

11.prop.17.p4998

Again, since the straight line OF has been drawn parallel to AC, one of the sides of the triangle ADC, proportionally, as AO is to OD, so is CF to FD. [id.]

11.prop.17.p4999

But it was also proved that, as AO is to OD, so is AE to EB; therefore also, as AE is to EB, so is CF to FD. [V. 11]

11.prop.17.p5000

Therefore etc. Q. E. D.

11.prop.18.p5001

If a straight line be at right angles to any plane, all the planes through it will also be at right angles to the same plane.

11.prop.18.p5002

For let any straight line AB be at right angles to the plane of reference; I say that all the planes through AB are also at right angles to the plane of reference.

11.prop.18.p5003

For let the plane DE be drawn through AB, let CE be the common section of the plane DE and the plane of reference, let a point F be taken at random on CE, and from F let FG be drawn in the plane DE at right angles to CE. [I. 11]

11.prop.18.p5004

Now, since AB is at right angles to the plane of reference, AB is also at right angles to all the straight lines which meet it and are in the plane of reference; [XI. Def. 3] so that it is also at right angles to CE; therefore the angle ABF is right.

11.prop.18.p5005

But the angle GFB is also right; therefore AB is parallel to FG. [I. 28]

11.prop.18.p5006

But AB is at right angles to the plane of reference; therefore FG is also at right angles to the plane of reference. [XI. 8]

11.prop.18.p5007

Now a plane is at right angles to a plane, when the straight lines drawn, in one of the planes, at right angles to the common section of the planes are at right angles to the remaining plane. [XI. Def. 4]

11.prop.18.p5008

And FG, drawn in one of the planes DE at right angles to CE, the common section of the planes, was proved to be at right angles to the plane of reference; therefore the plane DE is at right angles to the plane of reference.

11.prop.18.p5009

Similarly also it can be proved that all the planes through AB are at right angles to the plane of reference.

11.prop.18.p5010

Therefore etc. Q. E. D.

11.prop.19.p5011

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

11.prop.19.p5012

For let the two planes AB, BC be at right angles to the plane of reference, and let BD be their common section; I say that BD is at right angles to the plane of reference.

11.prop.19.p5013

For suppose it is not, and from the point D let DE be drawn in the plane AB at right angles to the straight line AD, and DF in the plane BC at right angles to CD.

11.prop.19.p5014

Now, since the plane AB is at right angles to the plane of reference, and DE has been drawn in the plane AB at right angles to AD, their common section, therefore DE is at right angles to the plane of reference. [XI. Def. 4]

11.prop.19.p5015

Similarly we can prove that DF is also at right angles to the plane of reference.

11.prop.19.p5016

Therefore from the same point D two straight lines have been set up at right angles to the plane of reference on the same side: which is impossible. [XI. 13]

11.prop.19.p5017

Therefore no straight line except the common section DB of the planes AB, BC can be set up from the point D at right angles to the plane of reference.

11.prop.19.p5018

Therefore etc. Q. E. D.

11.prop.20.p5019

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

11.prop.20.p5020

For let the solid angle at A be contained by the three plane angles BAC, CAD, DAB; I say that any two of the angles BAC, CAD, DAB, taken together in any manner, are greater than the remaining one.

11.prop.20.p5021

If now the angles BAC, CAD, DAB are equal to one another, it is manifest that any two are greater than the remaining one.

11.prop.20.p5022

But, if not, let BAC be greater, and on the straight line AB, and at the point A on it, let the angle BAE be constructed, in the plane through BA, AC, equal to the angle DAB; let AE be made equal to AD, and let BEC, drawn across through the point E, cut the straight lines AB, AC at the points B, C; let DB, DC be joined.

11.prop.20.p5023

Now, since DA is equal to AE, and AB is common, two sides are equal to two sides; and the angle DAB is equal to the angle BAE; therefore the base DB is equal to the base BE. [I. 4]

11.prop.20.p5024

And, since the two sides BD, DC are greater than BC, [I. 20] and of these DB was proved equal to BE, therefore the remainder DC is greater than the remainder EC.

11.prop.20.p5025

Now, since DA is equal to AE, and AC is common, and the base DC is greater than the base EC, therefore the angle DAC is greater than the angle EAC. [I. 25]

11.prop.20.p5026

But the angle DAB was also proved equal to the angle BAE; therefore the angles DAB, DAC are greater than the angle BAC.

11.prop.20.p5027

Similarly we can prove that the remaining angles also, taken together two and two, are greater than the remaining one.

11.prop.20.p5028

Therefore etc. Q. E. D.

11.prop.21.p5029

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

11.prop.21.p5030

Let the angle at A be a solid angle contained by the plane angles BAC, CAD, DAB; I say that the angles BAC, CAD, DAB are less than four right angles.

11.prop.21.p5031

For let points B, C, D be taken at random on the straight lines AB, AC, AD respectively, and let BC, CD, DB be joined.

11.prop.21.p5032

Now, since the solid angle at B is contained by the three plane angles CBA, ABD, CBD, any two are greater than the remaining one; [XI. 20] therefore the angles CBA, ABD are greater than the angle CBD.

11.prop.21.p5033

For the same reason the angles BCA, ACD are also greater than the angle BCD, and the angles CDA, ADB are greater than the angle CDB; therefore the six angles CBA, ABD, BCA, ACD, CDA, ADB are greater than the three angles CBD, BCD, CDB.

11.prop.21.p5034

But the three angles CBD, BDC, BCD are equal to two right angles; [I. 32] therefore the six angles CBA, ABD, BCA, ACD, CDA, ADB are greater than two right angles.

11.prop.21.p5035

And, since the three angles of each of the triangles ABC, ACD, ADB are equal to two right angles, therefore the nine angles of the three triangles, the angles CBA, ACB, BAC, ACD, CDA, CAD, ADB, DBA, BAD are equal to six right angles; and of them the six angles ABC, BCA, ACD, CDA, ADB, DBA are greater than two right angles; therefore the remaining three angles BAC, CAD, DAB containing the solid angle are less than four right angles.

11.prop.21.p5036

Therefore etc. Q. E. D.

11.prop.22.p5037

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 straight lines, it is possible to construct a triangle out of the straight lines joining the extremities of the equal straight lines.

11.prop.22.p5038

Let there be three plane angles ABC, DEF, GHK, of which two, taken together in any manner, are greater than the remaining one, namely the angles ABC, DEF greater than the angle GHK, the angles DEF, GHK greater than the angle ABC, and, further, the angles GHK, ABC greater than the angle DEF; let the straight lines AB, BC, DE, EF, GH, HK be equal, and let AC, DF, GK be joined; I say that it is possible to construct a triangle out of straight lines equal to AC, DF, GK, that is, that any two of the straight lines AC, DF, GK are greater than the remaining one.

11.prop.22.p5039

Now, if the angles ABC, DEF, GHK are equal to one another, it is manifest that, AC, DF, GK being equal also, it is possible to construct a triangle out of straight lines equal to AC, DF, GK.

11.prop.22.p5040

But, if not, let them be unequal, and on the straight line HK, and at the point H on it, let the angle KHL be constructed equal to the angle ABC; let HL be made equal to one of the straight lines AB, BC, DE, EF, GH, HK, and let KL, GL be joined.

11.prop.22.p5041

Now, since the two sides AB, BC are equal to the two sides KH, HL, and the angle at B is equal to the angle KHL, therefore the base AC is equal to the base KL. [I. 4]

11.prop.22.p5042

And, since the angles ABC, GHK are greater than the angle DEF, while the angle ABC is equal to the angle KHL, therefore the angle GHL is greater than the angle DEF.

11.prop.22.p5043

And, since the two sides GH, HL are equal to the two sides DE, EF, and the angle GHL is greater than the angle DEF, therefore the base GL is greater than the base DF. [I. 24]

11.prop.22.p5044

But GK, KL are greater than GL.

11.prop.22.p5045

Therefore GK, KL are much greater than DF.

11.prop.22.p5046

But KL is equal to AC; therefore AC, GK are greater than the remaining straight line DF.

11.prop.22.p5047

Similarly we can prove that AC, DF are greater than GK, and further DF, GK are greater than AC.

11.prop.22.p5048

Therefore it is possible to construct a triangle out of straight lines equal to AC, DF, GK. Q. E. D.

11.prop.23.p5049

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

11.prop.23.p5050

Let the angles ABC, DEF, GHK be the three given plane angles, and let two of these, taken together in any manner, be greater than the remaining one, while, further, the three are less than four right angles; thus it is required to construct a solid angle out of angles equal to the angles ABC, DEF, GHK.

11.prop.23.p5051

Let AB, BC, DE, EF, GH, HK be cut off equal to one another, and let AC, DF, GK be joined; it is therefore possible to construct a triangle out of straight lines equal to AC, DF, GK. [XI. 22]

11.prop.23.p5052

Let LMN be so constructed that AC is equal to LM, DF to MN, and further GK to NL, let the circle LMN be described about the triangle LMN, let its centre be taken, and let it be O; let LO, MO, NO be joined; I say that AB is greater than LO.

11.prop.23.p5053

For, if not, AB is either equal to LO, or less.

11.prop.23.p5054

First, let it be equal.

11.prop.23.p5055

Then, since AB is equal to LO, while AB is equal to BC, and OL to OM, the two sides AB, BC are equal to the two sides LO, OM respectively; and, by hypothesis, the base AC is equal to the base LM; therefore the angle ABC is equal to the angle LOM. [I. 8]

11.prop.23.p5056

For the same reason the angle DEF is also equal to the angle MON, and further the angle GHK to the angle NOL; therefore the three angles ABC, DEF, GHK are equal to the three angles LOM, MON, NOL.

11.prop.23.p5057

But the three angles LOM, MON, NOL are equal to four right angles; therefore the angles ABC, DEF, GHK are equal to four right angles.

11.prop.23.p5058

But they are also, by hypothesis, less than four right angles: which is absurd.

11.prop.23.p5059

Therefore AB is not equal to LO.

11.prop.23.p5060

I say next that neither is AB less than LO.

11.prop.23.p5061

For, if possible, let it be so, and let OP be made equal to AB, and OQ equal to BC, and let PQ be joined.

11.prop.23.p5062

Then, since AB is equal to BC, OP is also equal to OQ, so that the remainder LP is equal to QM.

11.prop.23.p5063

Therefore LM is parallel to PQ, [VI. 2] and LMO is equiangular with PQO; [I. 29] therefore, as OL is to LM, so is OP to PQ; [VI. 4] and alternately, as LO is to OP, so is LM to PQ. [V. 16]

11.prop.23.p5064

But LO is greater than OP; therefore LM is also greater than PQ.

11.prop.23.p5065

But LM was made equal to AC; therefore AC is also greater than PQ.

11.prop.23.p5066

Since, then, the two sides AB, BC are equal to the two sides PO, OQ, and the base AC is greater than the base PQ, therefore the angle ABC is greater than the angle POQ. [I. 25]

11.prop.23.p5067

Similarly we can prove that the angle DEF is also greater than the angle MON, and the angle GHK greater than the angle NOL.

11.prop.23.p5068

Therefore the three angles ABC, DEF, GHK are greater than the three angles LOM, MON, NOL.

11.prop.23.p5069

But, by hypothesis, the angles ABC, DEF, GHK are less than four right angles; therefore the angles LOM, MON, NOL are much less than four right angles.

11.prop.23.p5070

But they are also equal to four right angles: which is absurd.

11.prop.23.p5071

Therefore AB is not less than LO.

11.prop.23.p5072

And it was proved that neither is it equal; therefore AB is greater than LO.

11.prop.23.p5073

Let then OR be set up from the point O at right angles to the plane of the circle LMN, [XI. 12] and let the square on OR be equal to that area by which the square on AB is greater than the square on LO; [Lemma] let RL, RM, RN be joined.

11.prop.23.p5074

Then, since RO is at right angles to the plane of the circle LMN, therefore RO is also at right angles to each of the straight lines LO, MO, NO.

11.prop.23.p5075

And, since LO is equal to OM, while OR is common and at right angles, therefore the base RL is equal to the base RM. [I. 4]

11.prop.23.p5076

For the same reason RN is also equal to each of the straight lines RL, RM; therefore the three straight lines RL, RM, RN are equal to one another.

11.prop.23.p5077

Next, since by hypothesis the square on OR is equal to that area by which the square on AB is greater than the square on LO, therefore the square on AB is equal to the squares on LO, OR.

11.prop.23.p5078

But the square on LR is equal to the squares on LO, OR, for the angle LOR is right; [I. 47] therefore the square on AB is equal to the square on RL; therefore AB is equal to RL.

11.prop.23.p5079

But each of the straight lines BC, DE, EF, GH, HK is equal to AB, while each of the straight lines RM, RN is equal to RL; therefore each of the straight lines AB, BC, DE, EF, GH, HK is equal to each of the straight lines RL, RM, RN.

11.prop.23.p5080

And, since the two sides LR, RM are equal to the two sides AB, BC, and the base LM is by hypothesis equal to the base AC, therefore the angle LRM is equal to the angle ABC. [I. 8]

11.prop.23.p5081

For the same reason the angle MRN is also equal to the angle DEF, and the angle LRN to the angle GHK.

11.prop.23.p5082

Therefore, out of the three plane angles LRM, MRN, LRN, which are equal to the three given angles ABC, DEF, GHK, the solid angle at R has been constructed, which is contained by the angles LRM, MRN, LRN. Q. E. F.

11.prop.23.p5083

Lemma. But how it is possible to take the square on OR equal to that area by which the square on AB is greater than the square on LO, we can show as follows.

11.prop.23.p5084

Let the straight lines AB, LO be set out, and let AB be the greater; let the semicircle ABC be described on AB, and into the semicircle ABC let AC be fitted equal to the straight line LO, not being greater than the diameter AB; [IV. 1] let CB be joined

11.prop.23.p5085

Since then the angle ACB is an angle in the semicircle ACB, therefore the angle ACB is right. [III. 31]

11.prop.23.p5086

Therefore the square on AB is equal to the squares on AC, CB. [I. 47]

11.prop.23.p5087

Hence the square on AB is greater than the square on AC by the square on CB.

11.prop.23.p5088

But AC is equal to LO.

11.prop.23.p5089

Therefore the square on AB is greater than the square on LO by the square on CB.

11.prop.23.p5090

If then we cut off OR equal to BC, the square on AB will be greater than the square on LO by the square on OR. Q. E. F.

11.prop.24.p5091

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

11.prop.24.p5092

For let the solid CDHG be contained by the parallel planes AC, GF, AH, DF, BF, AE; I say that the opposite planes in it are equal and parallelogrammic.

11.prop.24.p5093

For, since the two parallel planes BG, CE are cut by the plane AC, their common sections are parallel. [XI. 16]

11.prop.24.p5094

Therefore AB is parallel to DC.

11.prop.24.p5095

Again, since the two parallel planes BF, AE are cut by the plane AC, their common sections are parallel. [XI. 16]

11.prop.24.p5096

Therefore BC is parallel to AD.

11.prop.24.p5097

But AB was also proved parallel to DC; therefore AC is a parallelogram.

11.prop.24.p5098

Similarly we can prove that each of the planes DF, FG, GB, BF, AE is a parallelogram.

11.prop.24.p5099

Let AH, DF be joined.

11.prop.24.p5100

Then, since AB is parallel to DC, and BH to CF, the two straight lines AB, BH which meet one another are parallel to the two straight lines DC, CF which meet one another, not in the same plane; therefore they will contain equal angles; [XI. 10] therefore the angle ABH is equal to the angle DCF.

11.prop.24.p5101

And, since the two sides AB, BH are equal to the two sides DC, CF, [I. 34] and the angle ABH is equal to the angle DCF, therefore the base AH is equal to the base DF, and the triangle ABH is equal to the triangle DCF. [I. 4]

11.prop.24.p5102

And the parallelogram BG is double of the triangle ABH, and the parallelogram CE double of the triangle DCF; [I. 34] therefore the parallelogram BG is equal to the parallelogram CE.

11.prop.24.p5103

Similarly we can prove that AC is also equal to GF, and AE to BF.

11.prop.24.p5104

Therefore etc. Q. E. D.

11.prop.25.p5105

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.

11.prop.25.p5106

For let the parallelepipedal solid ABCD be cut by the plane FG which is parallel to the opposite planes RA, DH; I say that, as the base AEFV is to the base EHCF, so is the solid ABFU to the solid EGCD.

11.prop.25.p5107

For let AH be produced in each direction, let any number of straight lines whatever, AK, KL, be made equal to AE, and any number whatever, HM, MN, equal to EH; and let the parallelograms LP, KV, HW, MS and the solids LQ, KR, DM, MT be completed.

11.prop.25.p5108

Then, since the straight lines LK, KA, AE are equal to one another, the parallelograms LP, KV, AF are also equal to one another, KO, KB, AG are equal to one another, and further LX, KQ, AR are equal to one another, for they are opposite. [XI. 24]

11.prop.25.p5109

For the same reason the parallelograms EC, HW, MS are also equal to one another, HG, HI, IN are equal to one another, and further DH, MY, NT are equal to one another.

11.prop.25.p5110

Therefore in the solids LQ, KR, AU three planes are equal to three planes.

11.prop.25.p5111

But the three planes are equal to the three opposite; therefore the three solids LQ, KR, AU are equal to one another.

11.prop.25.p5112

For the same reason the three solids ED, DM, MT are also equal to one another.

11.prop.25.p5113

Therefore, whatever multiple the base LF is of the base AF, the same multiple also is the solid LU of the solid AU.

11.prop.25.p5114

For the same reason, whatever multiple the base NF is of the base FH, the same multiple also is the solid NU of the solid HU.

11.prop.25.p5115

And, if the base LF is equal to the base NF, the solid LU is also equal to the solid NU; if the base LF exceeds the base NF, the solid LU also exceeds the solid NU; and, if one falls short, the other falls short.

11.prop.25.p5116

Therefore, there being four magnitudes, the two bases AF, FH, and the two solids AU, UH, equimultiples have been taken of the base AF and the solid AU, namely the base LF and the solid LU, and equimultiples of the base HF and the solid HU, namely the base NF and the solid NU, and it has been proved that, if the base LF exceeds the base FN, the solid LU also exceeds the solid NU, if the bases are equal, the solids are equal, and if the base falls short, the solid falls short.

11.prop.25.p5117

Therefore, as the base AF is to the base FH, so is the solid AU to the solid UH. [V. Def. 5] Q. E. D.

11.prop.26.p5118

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

11.prop.26.p5119

Let AB be the given straight line, A the given point on it, and the angle at D, contained by the angles EDC, EDF, FDC, the given solid angle; thus it is required to construct on the straight line AB, and at the point A on it, a solid angle equal to the solid angle at D.

11.prop.26.p5120

For let a point F be taken at random on DF, let FG be drawn from F perpendicular to the plane through ED, DC, and let it meet the plane at G, [XI. 11] let DG be joined, let there be constructed on the straight line AB and at the point A on it the angle BAL equal to the angle EDC, and the angle BAK equal to the angle EDG, [I. 23] let AK be made equal to DG, let KH be set up from the point K at right angles to the plane through BA, AL, [XI. 12] let KH be made equal to GF, and let HA be joined; I say that the solid angle at A, contained by the angles BAL, BAH, HAL is equal to the solid angle at D contained by the angles EDC, EDF, FDC.

11.prop.26.p5121

For let AB, DE be cut off equal to one another, and let HB, KB, FE, GE be joined.

11.prop.26.p5122

Then, since FG is at right angles to the plane of reference, it will also make right angles with all the straight lines which meet it and are in the plane of reference; [XI. Def. 3] therefore each of the angles FGD, FGE is right.

11.prop.26.p5123

For the same reason each of the angles HKA, HKB is also right.

11.prop.26.p5124

And, since the two sides KA, AB are equal to the two sides GD, DE respectively, and they contain equal angles, therefore the base KB is equal to the base GE. [I. 4]

11.prop.26.p5125

But KH is also equal to GF, and they contain right angles; therefore HB is also equal to FE. [I. 4]

11.prop.26.p5126

Again, since the two sides AK, KH are equal to the two sides DG, GF, and they contain right angles, therefore the base AH is equal to the base FD. [I. 4]

11.prop.26.p5127

But AB is also equal to DE; therefore the two sides HA, AB are equal to the two sides DF, DE.

11.prop.26.p5128

And the base HB is equal to the base FE; therefore the angle BAH is equal to the angle EDF. [I. 8]

11.prop.26.p5129

For the same reason the angle HAL is also equal to the angle FDC.

11.prop.26.p5130

And the angle BAL is also equal to the angle EDC.

11.prop.26.p5131

Therefore on the straight line AB, and at the point A on it, a solid angle has been constructed equal to the given solid angle at D. Q. E. F.

11.prop.27.p5132

On a given straight line to describe a parallelepipedal solid similar and similarly situated to a given parallelepipedal solid.

11.prop.27.p5133

Let AB be the given straight line and CD the given parallelepipedal solid; thus it is required to describe on the given straight line AB a parallelepipedal solid similar and similarly situated to the given parallelepipedal solid CD.

11.prop.27.p5134

For on the straight line AB and at the point A on it let the solid angle, contained by the angles BAH, HAK, KAB, be constructed equal to the solid angle at C, so that the angle BAH is equal to the angle ECF, the angle BAK equal to the angle ECG, and the angle KAH to the angle GCF; and let it be contrived that, as EC is to CG, so is BA to AK, and, as GC is to CF, so is KA to AH. [VI. 12]

11.prop.27.p5135

Therefore also, ex aequali, as EC is to CF, so is BA to AH. [V. 22]

11.prop.27.p5136

Let the parallelogram HB and the solid AL be completed.

11.prop.27.p5137

Now since, as EC is to CG, so is BA to AK, and the sides about the equal angles ECG, BAK are thus proportional, therefore the parallelogram GE is similar to the parallelogram KB.

11.prop.27.p5138

For the same reason the parallelogram KH is also similar to the parallelogram GF, and further FE to HB; therefore three parallelograms of the solid CD are similar to three parallelograms of the solid AL.

11.prop.27.p5139

But the former three are both equal and similar to the three opposite parallelograms, and the latter three are both equal and similar to the three opposite parallelograms; therefore the whole solid CD is similar to the whole solid AL. [XI. Def. 9]

11.prop.27.p5140

Therefore on the given straight line AB there has been described AL similar and similarly situated to the given parallelepipedal solid CD. Q. E. F.

11.prop.28.p5141

If a parallelepipedal solid be cut by a plane through the diagonals of the opposite planes, the solid will be bisected by the plane.

11.prop.28.p5142

For let the parallelepipedal solid AB be cut by the plane CDEF through the diagonals CF, DE of opposite planes; I say that the solid AB will be bisected by the plane CDEF.

11.prop.28.p5143

For, since the triangle CGF is equal to the triangle CFB, [I. 34] and ADE to DEH, while the parallelogram CA is also equal to the parallelogram EB, for they are opposite, and GE to CH, therefore the prism contained by the two triangles CGF, ADE and the three parallelograms GE, AC, CE is also equal to the prism contained by the two triangles CFB, DEH and the three parallelograms CH, BE, CE; for they are contained by planes equal both in multitude and in magnitude. [XI. Def. 10]

11.prop.28.p5144

Hence the whole solid AB is bisected by the plane CDEF. Q. E. D.

11.prop.29.p5145

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 straight lines, are equal to one another.

11.prop.29.p5146

Let CM, CN be parallelepipedal solids on the same base AB and of the same height, and let the extremities of their sides which stand up, namely AG, AF, LM, LN, CD, CE, BH, BK, be on the same straight lines FN, DK; I say that the solid CM is equal to the solid CN.

11.prop.29.p5147

For, since each of the figures CH, CK is a parallelogram, CB is equal to each of the straight lines DH, EK, [I. 34] hence DH is also equal to EK.

11.prop.29.p5148

Let EH be subtracted from each; therefore the remainder DE is equal to the remainder HK.

11.prop.29.p5149

Hence the triangle DCE is also equal to the triangle HBK, [I. 8, 4] and the parallelogram DG to the parallelogram HN. [I. 36]

11.prop.29.p5150

For the same reason the triangle AFG is also equal to the triangle MLN.

11.prop.29.p5151

But the parallelogram CF is equal to the parallelogram BM, and CG to BN, for they are opposite; therefore the prism contained by the two triangles AFG, DCE and the three parallelograms AD, DG, CG is equal to the prism contained by the two triangles MLN, HBK and the three parallelograms BM, HN, BN.

11.prop.29.p5152

Let there be added to each the solid of which the parallelogram AB is the base and GEHM its opposite; therefore the whole parallelepipedal solid CM is equal to the whole parallelepipedal solid CN.

11.prop.29.p5153

Therefore etc. Q. E. D.

11.prop.30.p5154

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 straight lines, are equal to one another.

11.prop.30.p5155

Let CM, CN be parallelepipedal solids on the same base AB and of the same height, and let the extremities of their sides which stand up, namely AF, AG, LM, LN, CD, CE, BH, BK, not be on the same straight lines; I say that the solid CM is equal to the solid CN.

11.prop.30.p5156

For let NK, DH be produced and meet one another at R, and further let FM, GE be produced to P, Q; let AO, LP, CQ, BR be joined.

11.prop.30.p5157

Then the solid CM, of which the parallelogram ACBL is the base, and FDHM its opposite, is equal to the solid CP, of which the parallelogram ACBL is the base, and OQRP its opposite; for they are on the same base ACBL and of the same height, and the extremities of their sides which stand up, namely AF, AO, LM, LP, CD, CQ, BH, BR, are on the same straight lines FP, DR. [XI. 29]

11.prop.30.p5158

But the solid CP, of which the parallelogram ACBL is the base, and OQRP its opposite, is equal to the solid CN, of which the parallelogram ACBL is the base and GEKN its opposite; for they are again on the same base ACBL and of the same height, and the extremities of their sides which stand up, namely AG, AO, CE, CQ, LN, LP, BK, BR, are on the same straight lines GQ, NR.

11.prop.30.p5159

Hence the solid CM is also equal to the solid CN.

11.prop.30.p5160

Therefore etc. Q. E. D.

11.prop.31.p5161

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

11.prop.31.p5162

Let the parallelepipedal solids AE, CF, of the same height, be on equal bases AB, CD.

11.prop.31.p5163

I say that the solid AE is equal to the solid CF.

11.prop.31.p5164

First, let the sides which stand up, HK, BE, AG, LM, PQ, DF, CO, RS, be at right angles to the bases AB, CD; let the straight line RT be produced in a straight line with CR; on the straight line RT, and at the point R on it, let the angle TRU be constructed equal to the angle ALB, [I. 23] let RT be made equal to AL, and RU equal to LB, and let the base RW and the solid XU be completed.

11.prop.31.p5165

Now, since the two sides TR, RU are equal to the two sides AL, LB, and they contain equal angles, therefore the parallelogram RW is equal and similar to the parallelogram HL.

11.prop.31.p5166

Since again AL is equal to RT, and LM to RS, and they contain right angles, therefore the parallelogram RX is equal and similar to the parallelogram AM.

11.prop.31.p5167

For the same reason LE is also equal and similar to SU; therefore three parallelograms of the solid AE are equal and similar to three parallelograms of the solid XU.

11.prop.31.p5168

But the former three are equal and similar to the three opposite, and the latter three to the three opposite; [XI. 24] therefore the whole parallelepipedal solid AE is equal to the whole parallelepipedal solid XU. [XI. Def. 10]

11.prop.31.p5169

Let DR, WU be drawn through and meet one another at Y, let aTb be drawn through T parallel to DY, let PD be produced to a, and let the solids YX, RI be completed.

11.prop.31.p5170

Then the solid XY, of which the parallelogram RX is the base and Yc its opposite, is equal to the solid XU of which the parallelogram RX is the base and UV its opposite, for they are on the same base RX and of the same height, and the extremities of their sides which stand up, namely RY, RU, Tb, TW, Se, Sd, Xc, XV, are on the same straight lines YW, eV. [XI. 29]

11.prop.31.p5171

But the solid XU is equal to AE: therefore the solid XY is also equal to the solid AE.

11.prop.31.p5172

And, since the parallelogram RUWT is equal to the parallelogram YT for they are on the same base RT and in the same parallels RT, YW, [I. 35] while RUWT is equal to CD, since it is also equal to AB, therefore the parallelogram YT is also equal to CD.

11.prop.31.p5173

But DT is another parallelogram; therefore, as the base CD is to DT, so is YT to DT. [V. 7]

11.prop.31.p5174

And, since the parallelepipedal solid CI has been cut by the plane RF which is parallel to opposite planes, as the base CD is to the base DT, so is the solid CF to the solid RI. [XI. 25]

11.prop.31.p5175

For the same reason, since the parallelepipedal solid YI has been cut by the plane RX which is parallel to opposite planes, as the base YT is to the base TD, so is the solid YX to the solid RI. [XI. 25]

11.prop.31.p5176

But, as the base CD is to DT, so is YT to DT; therefore also, as the solid CF is to the solid RI, so is the solid YX to RI. [V. 11]

11.prop.31.p5177

Therefore each of the solids CF, YX has to RI the same ratio; therefore the solid CF is equal to the solid YX. [V. 9]

11.prop.31.p5178

But YX was proved equal to AE; therefore AE is also equal to CF.

11.prop.31.p5179

Next, let the sides standing up, AG, HK, BE, LM, CN, PQ, DF, RS, not be at right angles to the bases AB, CD; I say again that the solid AE is equal to the solid CF.

11.prop.31.p5180

For from the points K, E, G, M, Q, F, N, S let KO, ET, GU, MV, QW, FX, NY, SI be drawn perpendicular to the plane of reference, and let them meet the plane at the points O, T, U, V, W, X, Y, I, and let OT, OU, UV, TV, WX, WY, YI, IX be joined.

11.prop.31.p5181

Then the solid KV is equal to the solid QI, for they are on the equal bases KM, QS and of the same height, and their sides which stand up are at right angles to their bases. [First part of this Prop.]

11.prop.31.p5182

But the solid KV is equal to the solid AE, and QI to CF; for they are on the same base and of the same height, while the extremities of their sides which stand up are not on the same straight lines. [XI. 30]

11.prop.31.p5183

Therefore the solid AE is also equal to the solid CF.

11.prop.31.p5184

Therefore etc. Q. E. D.

11.prop.32.p5185

Parallelepipedal solids which are of the same height are to one another as their bases.

11.prop.32.p5186

Let AB, CD be parallelepipedal solids of the same height; I say that the parallelepipedal solids AB, CD are to one another as their bases, that is, that, as the base AE is to the base CF, so is the solid AB to the solid CD.

11.prop.32.p5187

For let FH equal to AE be applied to FG, [I. 45] and on FH as base, and with the same height as that of CD, let the parallelepipedal solid GK be completed.

11.prop.32.p5188

Then the solid AB is equal to the solid GK; for they are on equal bases AE, FH and of the same height. [XI. 31]

11.prop.32.p5189

And, since the parallelepipedal solid CK is cut by the plane DG which is parallel to opposite planes, therefore, as the base CF is to the base FH, so is the solid CD to the solid DH. [XI. 25]

11.prop.32.p5190

But the base FH is equal to the base AE, and the solid GK to the solid AB; therefore also, as the base AE is to the base CF, so is the solid AB to the solid CD.

11.prop.32.p5191

Therefore etc. Q. E. D.

11.prop.33.p5192

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

11.prop.33.p5193

Let AB, CD be similar parallelepipedal solids, and let AE be the side corresponding to CF; I say that the solid AB has to the solid CD the ratio triplicate of that which AE has to CF.

11.prop.33.p5194

For let EK, EL, EM be produced in a straight line with AE, GE, HE, let EK be made equal to CF, EL equal to FN, and further EM equal to FR, and let the parallelogram KL and the solid KP be completed.

11.prop.33.p5195

Now, since the two sides KE, EL are equal to the two sides CF, FN, while the angle KEL is also equal to the angle CFN, inasmuch as the angle AEG is also equal to the angle CFN because of the similarity of the solids AB, CD, therefore the parallelogram KL is equal ltand similargt to the parallelogram CN.

11.prop.33.p5196

For the same reason the parallelogram KM is also equal and similar to CR, and further EP to DF; therefore three parallelograms of the solid KP are equal and similar to three parallelograms of the solid CD.

11.prop.33.p5197

But the former three parallelograms are equal and similar to their opposites, and the latter three to their opposites; [XI. 24] therefore the whole solid KP is equal and similar to the whole solid CD. [XI. Def. 10]

11.prop.33.p5198

Let the parallelogram GK be completed, and on the parallelograms GK, KL as bases, and with the same height as that of AB, let the solids EO, LQ be completed.

11.prop.33.p5199

Then since; owing to the similarity of the solids AB, CD, as AE is to CF, so is EG to FN, and EH to FR, while CF is equal to EK, FN to EL, and FR to EM, therefore, as AE is to EK, so is GE to EL, and HE to EM.

11.prop.33.p5200

But, as AE is to EK, so is AG to the parallelogram GK, as GE is to EL, so is GK to KL, and, as HE is to EM, so is QE to KM; [VI. 1] therefore also, as the parallelogram AG is to GK, so is GK to KL, and QE to KM.

11.prop.33.p5201

But, as AG is to GK, so is the solid AB to the solid EO, as GK is to KL, so is the solid OE to the solid QL, and, as QE is to KM, so is the solid QL to the solid KP; [XI. 32] therefore also, as the solid AB is to EO, so is EO to QL, and QL to KP.

11.prop.33.p5202

But, if four magnitudes be continuously proportional, the first has to the fourth the ratio triplicate of that which it has to the second; [V. Def. 10] therefore the solid AB has to KP the ratio triplicate of that which AB has to EO.

11.prop.33.p5203

But, as AB is to EO, so is the parallelogram AG to GK, and the straight line AE to EK [VI. 1]; hence the solid AB has also to KP the ratio triplicate of that which AE has to EK.

11.prop.33.p5204

But the solid KP is equal to the solid CD, and the straight line EK to CF; therefore the solid AB has also to the solid CD the ratio triplicate of that which the corresponding side of it, AE, has to the corresponding side CF.

11.prop.33.p5205

Therefore etc. Q. E. D.

11.prop.33.p5206

Porism. From this it is manifest that, if four straight lines be ltcontinuouslygt proportional, as the first is to the fourth, so will a parallelepipedal solid on the first be to the similar and similarly described parallelepipedal solid on the second, inasmuch as the first has to the fourth the ratio triplicate of that which it has to the second.

11.prop.34.p5207

In equal parallelepipedal solids the bases are reciprocally proportional to the heights; and those parallelepipedal solids in which the bases are reciprocally proportional to the heights are equal.

11.prop.34.p5208

Let AB, CD be equal parallelepipedal solids; I say that in the parallelepipedal solids AB, CD the bases are reciprocally proportional to the heights, that is, as the base EH is to the base NQ, so is the height of the solid CD to the height of the solid AB.

11.prop.34.p5209

First, let the sides which stand up, namely AG, EF, LB, HK, CM, NO, PD, QR, be at right angles to their bases; I say that, as the base EH is to the base NQ, so is CM to AG.

11.prop.34.p5210

If now the base EH is equal to the base NQ, while the solid AB is also equal to the solid CD, CM will also be equal to AG.

11.prop.34.p5211

For parallelepipedal solids of the same height are to one another as the bases; [XI. 32] and, as the base EH is to NQ, so will CM be to AG, and it is manifest that in the parallelepipedal solids AB, CD the bases are reciprocally proportional to the heights.

11.prop.34.p5212

Next, let the base EH not be equal to the base NQ, but let EH be greater.

11.prop.34.p5213

Now the solid AB is equal to the solid CD; therefore CM is also greater than AG.

11.prop.34.p5214

Let then CT be made equal to AG, and let the parallelepipedal solid VC be completed on NQ as base and with CT as height.

11.prop.34.p5215

Now, since the solid AB is equal to the solid CD, and CV is outside them, while equals have to the same the same ratio, [V. 7] therefore, as the solid AB is to the solid CV, so is the solid CD to the solid CV.

11.prop.34.p5216

But, as the solid AB is to the solid CV, so is the base EH to the base NQ, for the solids AB, CV are of equal height; [XI. 32] and, as the solid CD is to the solid CV, so is the base MQ to the base TQ [XI. 25] and CM to CT [VI. 1]; therefore also, as the base EH is to the base NQ, so is MC to CT.

11.prop.34.p5217

But CT is equal to AG; therefore also, as the base EH is to the base NQ, so is MC to AG.

11.prop.34.p5218

Therefore in the parallelepipedal solids AB, CD the bases are reciprocally proportional to the heights.

11.prop.34.p5219

Again, in the parallelepipedal solids AB, CD let the bases be reciprocally proportional to the heights, that is, as the base EH is to the base NQ, so let the height of the solid CD be to the height of the solid AB; I say that the solid AB is equal to the solid CD.

11.prop.34.p5220

Let the sides which stand up be again at right angles to the bases.

11.prop.34.p5221

Now, if the base EH is equal to the base NQ, and, as the base EH is to the base NQ, so is the height of the solid CD to the height of the solid AB, therefore the height of the solid CD is also equal to the height of the solid AB.

11.prop.34.p5222

But parallelepipedal solids on equal bases and of the same height are equal to one another; [XI. 31] therefore the solid AB is equal to the solid CD.

11.prop.34.p5223

Next, let the base EH not be equal to the base NQ, but let EH be greater; therefore the height of the solid CD is also greater than the height of the solid AB, that is, CM is greater than AG.

11.prop.34.p5224

Let CT be again made equal to AG, and let the solid CV be similarly completed.

11.prop.34.p5225

Since, as the base EH is to the base NQ, so is MC to AG, while AG is equal to CT, therefore, as the base EH is to the base NQ, so is CM to CT.

11.prop.34.p5226

But, as the base EH is to the base NQ, so is the solid AB to the solid CV, for the solids AB, CV are of equal height; [XI. 32] and, as CM is to CT, so is the base MQ to the base QT [VI. 1] and the solid CD to the solid CV. [XI. 25]

11.prop.34.p5227

Therefore also, as the solid AB is to the solid CV, so is the solid CD to the solid CV; therefore each of the solids AB, CD has to CV the same ratio.

11.prop.34.p5228

Therefore the solid AB is equal to the solid CD. [V. 9]

11.prop.34.p5229

Now let the sides which stand up, FE, BL, GA, HK, ON, DP, MC, RQ, not be at right angles to their bases; let perpendiculars be drawn from the points F, G, B, K, O, M, D, R to the planes through EH, NQ, and let them meet the planes at S, T, U, V, W, X, Y, a, and let the solids FV, Oa be completed; I say that, in this case too, if the solids AB, CD are equal, the bases are reciprocally proportional to the heights, that is, as the base EH is to the base NQ, so is the height of the solid CD to the height of the solid AB.

11.prop.34.p5230

Since the solid AB is equal to the solid CD, while AB is equal to BT, for they are on the same base FK and of the same height; [XI. 29, 30] and the solid CD is equal to DX, for they are again on the same base RO and of the same height; [id.] therefore the solid BT is also equal to the solid DX.

11.prop.34.p5231

Therefore, as the base FK is to the base OR, so is the height of the solid DX to the height of the solid BT. [Part 1.]

11.prop.34.p5232

But the base FK is equal to the base EH, and the base OR to the base NQ; therefore, as the base EH is to the base NQ, so is the height of the solid DX to the height of the solid BT.

11.prop.34.p5233

But the solids DX, BT and the solids DC, BA have the same heights respectively; therefore, as the base EH is to the base NQ, so is the height of the solid DC to the height of the solid AB.

11.prop.34.p5234

Therefore in the parallelepipedal solids AB, CD the bases are reciprocally proportional to the heights.

11.prop.34.p5235

Again, in the parallelepipedal solids AB, CD let the bases be reciprocally proportional to the heights, that is, as the base EH is to the base NQ, so let the height of the solid CD be to the height of the solid AB; I say that the solid AB is equal to the solid CD.

11.prop.34.p5236

For, with the same construction, since, as the base EH is to the base NQ, so is the height of the solid CD to the height of the solid AB, while the base EH is equal to the base FK, and NQ to OR, therefore, as the base FK is to the base OR, so is the height of the solid CD to the height of the solid AB.

11.prop.34.p5237

But the solids AB, CD and BT, DX have the same heights respectively; therefore, as the base FK is to the base OR, so is the height of the solid DX to the height of the solid BT.

11.prop.34.p5238

Therefore in the parallelepipedal solids BT, DX the bases are reciprocally proportional to the heights; therefore the solid BT is equal to the solid DX. [Part 1.]

11.prop.34.p5239

But BT is equal to BA, for they are on the same base FK and of the same height; [XI. 29, 30] and the solid DX is equal to the solid DC. [id.]

11.prop.34.p5240

Therefore the solid AB is also equal to the solid CD. Q. E. D.

11.prop.35.p5241

If there be two equal plane angles, and on their vertices there be set up elevated straight lines containing equal angles with the original straight lines respectively, if on the elevated straight lines 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 straight lines be joined to the vertices of the original angles, they will contain, with the elevated straight lines, equal angles.

11.prop.35.p5242

Let the angles BAC, EDF be two equal rectilineal angles, and from the points A, D let the elevated straight lines AG, DM be set up containing, with the original straight lines, equal angles respectively, namely, the angle MDE to the angle GAB and the angle MDF to the angle GAC, let points G, M be taken at random on AG, DM, let GL, MN be drawn from the points G, M perpendicular to the planes through BA, AC and ED, DF, and let them meet the planes at L, N, and let LA, ND be joined; I say that the angle GAL is equal to the angle MDN.

11.prop.35.p5243

Let AH be made equal to DM, and let HK be drawn through the point H parallel to GL.

11.prop.35.p5244

But GL is perpendicular to the plane through BA, AC; therefore HK is also perpendicular to the plane through. BA, AC. [XI. 8]

11.prop.35.p5245

From the points K, N let KC, NF, KB, NE be drawn perpendicular to the straight lines AC, DF, AB, DE, and let HC, CB, MF, FE be joined.

11.prop.35.p5246

Since the square on HA is equal to the squares on HK, KA, and the squares on KC, CA are equal to the square on KA, [I. 47] therefore the square on HA is also equal to the squares on HK, KC, CA.

11.prop.35.p5247

But the square on HC is equal to the squares on HK, KC; [I. 47] therefore the square on HA is equal to the squares on HC, CA.

11.prop.35.p5248

Therefore the angle HCA is right. [I. 48]

11.prop.35.p5249

For the same reason the angle DFM is also right.

11.prop.35.p5250

Therefore the angle ACH is equal to the angle DFM.

11.prop.35.p5251

But the angle HAC is also equal to the angle MDF.

11.prop.35.p5252

Therefore MDF, HAC are two triangles which have two angles equal to two angles respectively, and one side equal to one side, namely, that subtending one of the equal angles, that is, HA equal to MD; therefore they will also have the remaining sides equal to the remaining sides respectively. [I. 26]

11.prop.35.p5253

Therefore AC is equal to DF.

11.prop.35.p5254

Similarly we can prove that AB is also equal to DE.

11.prop.35.p5255

Since then AC is equal to DF, and AB to DE, the two sides CA, AB are equal to the two sides FD, DE.

11.prop.35.p5256

But the angle CAB is also equal to the angle FDE; therefore the base BC is equal to the base EF, the triangle to the triangle, and the remaining angles to the remaining angles; [I. 4] therefore the angle ACB is equal to the angle DFE.

11.prop.35.p5257

But the right angle ACK is also equal to the right angle DFN; therefore the remaining angle BCK is also equal to the remaining angle EFN.

11.prop.35.p5258

For the same reason the angle CBK is also equal to the angle FEN.

11.prop.35.p5259

Therefore BCK, EFN are two triangles which have two angles equal to two angles respectively, and one side equal to one side, namely, that adjacent to the equal angles, that is, BC equal to EF; therefore they will also have the remaining sides equal to the remaining sides. [I. 26]

11.prop.35.p5260

Therefore CK is equal to FN.

11.prop.35.p5261

But AC is also equal to DF; therefore the two sides AC, CK are equal to the two sides DF, FN; and they contain right angles.

11.prop.35.p5262

Therefore the base AK is equal to the base DN. [I. 4]

11.prop.35.p5263

And, since AH is equal to DM, the square on AH is also equal to the square on DM.

11.prop.35.p5264

But the squares on AK, KH are equal to the square on AH, for the angle AKH is right; [I. 47] and the squares on DN, NM are equal to the square on DM, for the angle DNM is right; [I. 47] therefore the squares on AK, KH are equal to the squares on DN, NM; and of these the square on AK is equal to the square on DN; therefore the remaining square on KH is equal to the square on NM; therefore HK is equal to MN.

11.prop.35.p5265

And, since the two sides HA, AK are equal to the two sides MD, DN respectively, and the base HK was proved equal to the base MN, therefore the angle HAK is equal to the angle MDN. [I. 8]

11.prop.35.p5266

Therefore etc.

11.prop.35.p5267

Porism. From this it is manifest that, if there be two equal plane angles, and if there be set up on them elevated straight lines which are equal and contain equal angles with the original straight lines respectively, the perpendiculars drawn from their extremities to the planes in which are the original angles are equal to one another. Q. E. D.

11.prop.36.p5268

If three straight lines 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.

11.prop.36.p5269

Let A, B, C be three straight lines in proportion, so that, as A is to B, so is B to C; I say that the solid formed out of A, B, C is equal to the solid on B which is equilateral, but equiangular with the aforesaid solid.

11.prop.36.p5270

Let there be set out the solid angle at E contained by the angles DEG, GEF, FED, let each of the straight lines DE, GE, EF be made equal to B, and let the parallelepipedal solid EK be completed, let LM be made equal to A, and on the straight line LM, and at the point L on it, let there be constructed a solid angle equal to the solid angle at E, namely that contained by NLO, OLM, MLN; let LO be made equal to B, and LN equal to C.

11.prop.36.p5271

Now, since, as A is to B, so is B to C, while A is equal to LM, B to each of the straight lines LO, ED, and C to LN, therefore, as LM is to EF, so is DE to LN.

11.prop.36.p5272

Thus the sides about the equal angles NLM, DEF are reciprocally proportional; therefore the parallelogram MN is equal to the parallelogram DF. [VI. 14]

11.prop.36.p5273

And, since the angles DEF, NLM are two plane rectilineal angles, and on them the elevated straight lines LO, EG are set up which are equal to one another and contain equal angles with the original straight lines respectively, therefore the perpendiculars drawn from the points G, O to the planes through NL, LM and DE, EF are equal to one another; [XI. 35, Por.] hence the solids LH, EK are of the same height.

11.prop.36.p5274

But parallelepipedal solids on equal bases and of the same height are equal to one another; [XI. 31] therefore the solid HL is equal to the solid EK.

11.prop.36.p5275

And LH is the solid formed out of A, B, C, and EK the solid on B; therefore the parallelepipedal solid formed out of A, B, C is equal to the solid on B which is equilateral, but equiangular with the aforesaid solid. Q. E. D.

11.prop.37.p5276

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

11.prop.37.p5277

Let AB, CD, EF, GH be four straight lines in proportion, so that, as AB is to CD, so is EF to GH; and let there be described on AB, CD, EF, GH the similar and similarly situated parallelepipedal solids KA, LC, ME, NG; I say that, as KA is to LC, so is ME to NG.

11.prop.37.p5278

For, since the parallelepipedal solid KA is similar to LC, therefore KA has to LC the ratio triplicate of that which AB has to CD. [XI. 33]

11.prop.37.p5279

For the same reason ME also has to NG the ratio triplicate of that which EF has to GH. [id.]

11.prop.37.p5280

And, as AB is to CD, so is EF to GH.

11.prop.37.p5281

Therefore also, as AK is to LC, so is ME to NG.

11.prop.37.p5282

Next, as the solid AK is to the solid LC, so let the solid ME be to the solid NG; I say that, as the straight line AB is to CD, so is EF to GH.

11.prop.37.p5283

For since, again, KA has to LC the ratio triplicate of that which AB has to CD, [XI. 33] and ME also has to NG the ratio triplicate of that which EF has to GH, [id.] and, as KA is to LC, so is ME to NG, therefore also, as AB is to CD, so is EF to GH.

11.prop.37.p5284

Therefore etc. Q. E. D.

11.prop.38.p5285

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.

11.prop.38.p5286

For let the sides of the opposite planes CF, AH of the cube AF be bisected at the points K, L, M, N, O, Q, P, R, and through the points of section let the planes KN, OR be carried; let US be the common section of the planes, and DG the diameter of the cube AF.

11.prop.38.p5287

I say that UT is equal to TS, and DT to TG.

11.prop.38.p5288

For let DU, UE, BS, SG be joined.

11.prop.38.p5289

Then, since DO is parallel to PE, the alternate angles DOU, UPE are equal to one another. [I. 29]

11.prop.38.p5290

And, since DO is equal to PE, and OU to UP, and they contain equal angles, therefore the base DU is equal to the base UE, the triangle DOU is equal to the triangle PUE, and the remaining angles are equal to the remaining angles; [I. 4] therefore the angle OUD is equal to the angle PUE.

11.prop.38.p5291

For this reason DUE is a straight line. [I. 14]

11.prop.38.p5292

For the same reason, BSG is also a straight line, and BS is equal to SG.

11.prop.38.p5293

Now, since CA is equal and parallel to DB, while CA is also equal and parallel to EG, therefore DB is also equal and parallel to EG. [XI. 9]

11.prop.38.p5294

And the straight lines DE, BG join their extremities; therefore DE is parallel to BG. [I. 33]

11.prop.38.p5295

Therefore the angle EDT is equal to the angle BGT, for they are alternate; [I. 29] and the angle DTU is equal to the angle GTS. [I. 15]

11.prop.38.p5296

Therefore DTU, GTS are two triangles which have two angles equal to two angles, and one side equal to one side, namely that subtending one of the equal angles, that is, DU equal to GS, for they are the halves of DE, BG; therefore they will also have the remaining sides equal to the remaining sides. [I. 26]

11.prop.38.p5297

Therefore DT is equal to TG, and UT to TS.

11.prop.38.p5298

Therefore etc. Q. E. D.

11.prop.39.p5299

If there be two prisms of equal height, and one have a parallelogram as base and the other a triangle, and if the parallelogram be double of the triangle, the prisms will be equal.

11.prop.39.p5300

Let ABCDEF, GHKLMN be two prisms of equal height, let one have the parallelogram AF as base, and the other the triangle GHK, and let the parallelogram AF be double of the triangle GHK; I say that the prism ABCDEF is equal to the prism GHKLMN.

11.prop.39.p5301

For let the solids AO, GP be completed.

11.prop.39.p5302

Since the parallelogram AF is double of the triangle GHK, while the parallelogram HK is also double of the triangle GHK, [I. 34] therefore the parallelogram AF is equal to the parallelogram HK.

11.prop.39.p5303

But parallelepipedal solids which are on equal bases and of the same height are equal to one another; [XI. 31] therefore the solid AO is equal to the solid GP.

11.prop.39.p5304

And the prism ABCDEF is half of the solid AO, and the prism GHKLMN is half of the solid GP; [XI. 28] therefore the prism ABCDEF is equal to the prism GHKLMN.

11.prop.39.p5305

Therefore etc. Q. E. D.

Reader

Word analysis

Intertext edge

Note