Book XII. PROP. VI. THEOR. See N. PYRAMIDS of the fame altitude which have polygons for their bafes, are to one another as their bases. Let the pyramids which have the polygons ABCDE, FGHKL for their bafes, and their vertices in the points M, N, be of the fame altitude. as the bafe ABCDE to the base FGHKL, so is the pyramid ABCDEM to the pyramid FGHKLN. Divide the bafe ABCDE into the triangles ABC, ACD, ADE; and the bafe FGHKL into the triangles FGH, FHK, FKL. and upon the bafes ABC, ACD, ADE let there be as many pyramids of which the common vertex is the point M, and upon the remaining bafes as many pyramids having their common vertex in the point a. s. 12. N. therefore, fince the triangle ABC is to the triangle FGH, as * the pyramid ABCM to the pyramid FGHN; and the triangle ACD to the triangle FGH, as the pyramid ACDM to the pyramid FGHN; 24. 5. and alfo the triangle ADE to the triangle FGH, as the pyramid ADEM to the pyramid FGHN; as all the firft antecedents to their b. 2. Cor. common confequent, fob are all the other antecedents to their com mon confequent; that is, as the bafe ABCDE to the base FGH, fo is the pyramid ABCDEM to the pyramid FGHN. and for the fame reason, as the bafe FGHKL to the bafe FGH, fo is the pyramid FGHKLN to the pyramid FGHN. and, by inverfion, as the bafe FGH to the bafe FGHKL, fo is the pyramid FGHN to the pyramid FGHKLN. then becaufe as the bafe ABCDE to the bafe FGH, fo is the pyramid ABCDEM to the pyramid FGHN; and as the base FGH to the base FGHKL, fo is the pyramid FGHN to the . 22.5. pyramid FGHKLN; therefore, ex aequali, as the bafe ABCDE to the the base FGHKL, fo the pyramid ABCDEM to the pyramid Book XII. FGHKLN. Therefore pyramids, &c. Q. E. D. Εν VERY prifm having a triangular base may be divided into three pyramids that have triangular bafes, and are equal to one another. Let there be a prifm of which the bafe is the triangle ABC, and let DEF be the triangle oppofite to it. the prifm ABCDEF may be divided into three equal pyramids having triangular bafes. D F E Join BD, EC, CD; and because ABED is a parallelogram of which BD is the diameter, the triangle ABD is equal to the tri- a. 34. 1. angle EBD; therefore the pyramid of which the base is the triangle ABD, and vertex the point C, is equal b to the pyramid of which b 5. 12. the bafe is the triangle EBD, and vertex the point C. but this ryramid is the fame with the pyramid the base of which is the triangle EBC, and vertex the point D; for they are contained by the fame planes. therefore the pyramid of which the bafe is the triangle ABD, and vertex the point C, is equal to the pyramid the base of which is the triangle EBC, and vertex the point D. again, because FCBE is a parallelogram of which the diameter is CE, the triangle ECF is equal to the triangle ECB; therefore the pyramid of which the bafe is the triangle ECB, and vertex the point D, is equal to the pyramid the bafe of which is the triangle ECF,. and vertex the point D. but the pyramid of which the bafe is the triangle ECB, and vertex the point D has been proved equal to the pyramid of which the bafe is the triangle ABD, and vertex the point C. Therefore the prifm ABCDEF is divided into thrce équal pyramids having triangular bafes, viz. into the pyramids ABDC, EBDC, ECFD. and becaufe the pyramid of which the bafe is the triangle ABD, and vertex the point C, is the fame with the pyramid of which the bafe is the triangle ABC, and vertex the point D, for they are contained by the fame planes; and that the pyramid of which the bafe is the triangle ABD, and vertex the point C, has been demonstrated to be a third part of the prifin the R C A B bafe Book XII.bafe of which is the triangle ABC, and to which DEF is the op pofite triangle; therefore the pyramid of which the base is the triangle ABC, and vertex the point D, is the third part of the prism which has the fame bafe, viz. the triangle ABC, and DEF is the oppofite triangle. Q. É. D. COR. I. From this it is manifeft, that every pyramid is the third part of a prifm which has the fame base, and is of an equal altitude with it; for if the bafe of the prifm be any other figure than a triangle, it may be divided into prifms having triangular bases. COR. 2. Prifms of equal altitudes are to one another as their bafes; because the pyramids upon the fame bases, and of the fame 2. 6. 12. altitude, are to one another as their bases. # 11. Def. SIMILA c PROP. VIII. THEOR. IMILAR pyramids having triangular bafes, are one to another in the triplicate ratio of that of their homologous fides. Let the pyramids having the triangles ABC, DEF for their bafes, and the points G, H for their vertices, be fimilar and fimilarly fituated. the pyramid ABCG has to the pyramid DEFH, the triplicate ratio of that which the fide BC has to the homologous fide EF. Complete the parallelograms ABCM, GBCN, ABGK, and the folid parallelepiped BGML contained by these planes and those op A pofite to them. and in like manner complete the folid parallelepiped the the angle DEF, and the angle 'GBC to the angle HEF, and ABG Book XII. to DEH. and AB is b to BC, as DE to EF; that is, the fides about the equal angles are proportionals; wherefore the parallelogram b. 1. Def.6. BM is fimilar to EP. for the fame reason, the parallelogram BN is fimilar to ER, and BK to EX. therefore the three parallelograms BM, BN, BK are fimilar to the three EP, ER, EX. but the three BM, BN, BK are equal and fimilar to the three which are oppofite c. 14. 11, to them, and the three EP, ER, EX equal and fimilar to the three oppofite to them. wherefore the folids BGML, EHPO are contained by the fame number of fimilar planes; and their folid angles C a e are equal; and therefore the folid BGML is fimilar to the folid d. B. 11. EHPO. but fimilar folid parallelepipeds have the triplicate ratio e. 33. 11. of that which their homologous fides have. therefore the folid BGML has to the folid EHPO the triplicate ratio of that which the fide BC has to the homologous fide EF. but as the folid BCML is to the folid EHPO, fo is f the pyramid ABCG to the pyramid f. 15. 5. DEFH; because the pyramids are the fixth part of the folids, fince the prifm, which is the half of the folid parallelepiped, is triple h g. 28. 11. of the pyramid. Wherefore likewife the pyramid ABCG has to the h. 7. 12. pyramid DEFH, the triplicate ratio of that which BC has to the homologous fide EF. Q. E. D. COR. From this it is evident, that fimilar pyramids which have see N. multangular bases, are likewise to one another in the triplicate ratio of their homologous fides. for, they may be divided into fimilar pyramids having triangular bafes, because the fimilar polygons which are their bases may be divided into the fame number of fimilar triangles homologous to the whole polygons; therefore as one of the triangular pyramids in the first multangular pyramid is to one of the triangular pyramids in the other, fo are all the triangular pyramids in the first to all the triangular pyramids in the other; that is, so is the firft multangular pyramid to the other. but one triangular py-, ramid is to its fimilar triangular pyramid, in the triplicate ratio of their homologous fides; and therefore the firft multangular pyramid has to the other, the triplicate ratio of that which one of the fides of the first has to the homologous fide of the other. Book XII. TH HE bafes and altitudes of equal pyramids having triangular bafes are reciprocally proportional. and triangular pyramids of which the bafes and altitudes are reciprocally proportional, are equal to one another. Let the pyramids of which the triangles ABC, DEF are the bafes, and which have their vertices in the points G, H be equal to one another. the bafes and altitudes of the pyramids ABCG, DEFH are reciprocally proportional, viz. the bafe ABC is to the base DEF, as the altitude of the pyramid DEFH to the altitude of the pyramid ABCG. Complete the parallelograms AC, AG, GC, DF, DH, HF; and the foli parallelepipeds BGML, EHPO contained by these planes and thofe oppofite to them. and becaufe the pyramid ABCG is equal to the pyramid DEFH, and that the folid BGML is fextuple of the pyramid ABCG, and the folid EHPO fextuple of the pyramid a. 1. x. 5. DEFH; therefore the folid BGML is equal to the folid EHPO. but the bafes and altitudes of equal folid parallelepipeds are reciprob. 34. 11. cally proportional; therefore as the bafe BM to the bafe EP, fo is the altitude of the folid EHPO to the altitude of the folid BGML. c. 15. 5. but as the bafe BM to the bafe EP, fo is the triangle ABC to the tringle DEF; therefore as the triangle ABC to the triangle DEF. io is de altitude of the folld EPO to the altitude of the folid PGML. but the altitude of the folid EHPO is the fame with the altitude of the pyramid DEFH; and the altitude of the folid BGML |