For, if it does not, let it, if possible, fallelsewhere, as EF; Book XI. " and let it meet the plane AB in the point F; and from F drawa, in the plane AB, a perpendicular FG to DA, which a 12. 1. " is also perpendicular to the plane CD; and join EG: then b 4. def. 11. "because FG is perpendicular to the plane CD, and the C "straight line EG, which is in "that plane, meets it; therefore "FGE is a right angle: but EF is also at right angles to the plane AB; and therefore A "EFG is a right angle: where"fore two of the angles of the "triangle EFG are equal toge E c 3. def. 11. D B "ther to two right angles; which is absurd: therefore the "perpendicular from the point E to the plane AB, does not "fall elsewhere than upon the straight line AD; it therefore "falls upon it. If therefore a plane," &c. Q. E. D. PROP. XXXIX. THEOR. IN a solid parallelopiped, if the sides of two of the See Note. opposite planes be divided each into two equal parts, the common section of the planes passing through the points of division, and the diameter of the solid parallelopiped cut each other into two equal parts. b 9.11. Book XI. DC; therefore, because KL, BA, are each of them parallel to DC, and not in the same plane with it, KL is parallel to BA: and because KL, MN are each of them parallel to BA, and not in the same plane with it, KL is parallel to MN; wherefore KL, MN are in onc plane. In like manner, it may be proved, that XO, PR are in one plane. Let YS be the common section of the planes KN, XR; and DG the diameter of the solid parallelopiped AF: YS and DG do meet, and cut one another into two equal parts. € 29. 1. d 4. 1. e 14. 1. a 33: 1. f 15. 1. g 26.1. Join DY, YE, BS, SG. Because DX is parallel to OE, the alternate angles DXY, YOE are equal to one another: and because DX is equal D to OE, and XY to YO, and contain K F and also equal and parallel to EG; therefore DB is equal and parallel to EG: and DE, BG join their extremities; therefore DE is equal and parallel a to BG: and DG, YS are drawn from points in the one, to points in the other; and are therefore in one plane whence it is manifest, that DG, YS must meet one another; let them meet, in T and because DE is parallel to BG, the alternate angles EDT, BGT are equals; and the angle DTY is equal to the angle GTS: therefore in the triangles DTY, GTS there are two angles in the one equal to two angles in the other, and one side equal to one side, opposite to two of the equal angles, viz. DY to GS; for they are the halves of DE, BG: therefore the remaining sides are equals, each to each. Wherefore DT is equal to TG, and YT equal to TS. Wherefore, if in a solid, &c. Q. E. D. PROP. XL. THEOR. If there be two triangular prisms of the same altitude, the base of one of which is a parallelogram, and the base of the other a triangie; if the parallelogram be double of the triangle, the prisms shall be equal to one another. Let the prisms ABCDEF, GHKLMN be of the same altitude, the first wherefore is contained by the two triangles ABE, CDF, and the three parallelograms AD, DE, EC; and the other by the two triangles GHK, LMN and the three parallelograms LH, HN, NG; and let one of them have a parallelogram AF, and the other a triangle GHK for its base; if the parallelogram AF be double of the triangle GHK, the prism ABCDEF is equal to the prism GHKLMN. Complete the solids AX, GO; and because the parallelogram AF is double of the triangle GHK; and the parallelogram HK Book XI, a 34. 1. double a of the same triangle; therefore the parallelogram AF is equal to HK. But solid parallelopipeds upon equal bases, and of the same altitude, are equal to one another. Therefore the b 31. 11. solid AX is equal to the solid GO; and the prism ABCDEF is halfe of the solid AX; and the prism GHKLMN half of c 28. 11. the solid GO. Therefore the prism ABCDEF is equal to the prism GHKLMN. Wherefore, if there be two, &c. Q. E. D. THE ELEMENTS OF EUCLID. BOOK XII. LEMMA I. Book XII. Which is the first proposition of the tenth book, and is necessary to some of the propositions of this book. Sce Note. IF from the greater of two unequal magnitudes, there be taken more than its half, and from the re mainder more than its half, and so on; there shall at length remain a magnitude less than the least of the proposed magnitudes. D Let AB and C be two unequal magnitudes, of which AB is the greater. If from AB there be taken more than its half, and from the remainder more than its half, and so on; there shall at length remain a magnitude less than C. K For C may be multiplied so, as at length to A that EG taken from DE is not greater than its half, but BH ta- Book XII. ken from AB is greater than its half; therefore the remainder GD is greater than the remainder HA. Again, because GD is greater than HA, and that GF is not greater than the half of GD, bút HK is greater than the half of HA; therefore the remainder FD is greater than the remainder AK. And FD is equal to C, therefore C is greater than AK; that is, AK is less than C. Q. E. D. And if only the halves be taken away, the same thing may in the same way be demonstrated. PROP. I. THEOR. SIMILAR polygons inscribed in circles are to one another as the squares of their diameters." Let ABCDE, FGHKL be two circles, and in them the similar polygons ABCDE, FGHKL; and let BM, GN be the diameters of the circles; as the square of BM is to the square of GN, so is the polygon ABCDE to the polygon FGHKL. Join BE, AM, GL, FN: and because the polygon ABCDE is similar to the polygon FGHKL, and similar polygons are divided into similar triangles; the triangles ABE, FGL are simi c lar and equiangular b; and therefore the angle AEB is equal b 6. 6. to the angle FLG: but AEB is equal to AMB, because they c 21. 3, stand upon the same circumference; and the angle FLG is, for the same reason, equal to the angle FNG: therefore also the angle AMB is equal to FNG: and the right angle BAM is equal to the right angle GFN; wherefore the remaining d 31. 3. angles in the triangles ABM, FGN are equal, and they are |