3 its bafe, and the other a triangle that is half of the parallelogram, Book XII. the parallelogram EBFG for its base, and the straight line KH 1. 49. 11. fame altitude, because they are between the parallel m planes ABC, m. 15. 11. Book XII. See N. 4.2. 6. b. 21. 6. IF PROP. IV. THEOR. there be two pyramids of the fame altitude, upon triangular bafes, and each of them be divided into two equal pyramids fimilar to the whole pyranid, and alfo into two equal prifms; and if each of these pyramids be divide 1 in the fame manner as the first two, and to on. as the bafe of one of the first two pyramids is to the bafe of the other, fo fhall all the pifins in one of them be to all the prifms in the other, that are produced by the fame number of divifions. Let there be two pyramids of the fame altitude upon the triangular bafes ABC, DEF, and having their vertices in the points G, H; and let each of them be divided into two equal pyramids fimilar to the whole, and into two equal prifms; and let each of the pyramids thus made be conceived to be divided in the like manner, and fo on. as the bafe ABC is to the base DEF, fo are all the prifms in the pyramid ABCG to all the prifins in the pyramid DEFH made by the fame number of divifions. Make the fame conftruction as in the foregoing propofition. and because BX is equal to XC, and AL to LC, therefore XL is parallel to AB, and the triangle ABC fimilar to the triangle LXC. for the fame reason, the triangle DEF is fimilar to RVF. and because BC is double of CX, and EF double of FV, therefore BC is to CX, as EF to FV. and upon BC, CX are defcribed the fimilar and fimilarly fituated rectilineal figures ABC, LXC; and upon EF, FV, in like manner, are described the fimilar figures DEF, RVF. therefore as the triangle ABC is to the triangle LXC, fob is the triangle DEF to the triangle RVF, and, by permutation, as the triangle ABC to the triangle DEF, fo is the triangle LXC to the triangle RVF. and becaufe the planes ABC, OMN, as alfo the planes c. 15. 11. DEF, STY are parallel, the perpendiculars drawn from the points G, H to the bafes ABC, DEF, which, by the Hypothesis, are equal to one another, shall be cut each into two equal parts by the planes OMN, STY, because the straight lines GC, HF are cut into two equal parts in the points N, Y by the fame planes. therefore the prifins LXCOMN, RVFSTY are of the fame altitude; and d. 17. 11. ! J therefore as the bafe LXC to the bafe RVF; that is, as the triangle Book XII. ABC to the triangle DEF, fo is the prifin having the triangle LXC for its bafe, and OMN the triangle oppofite to it, to the prifm of e. Cor. 32. which the bafe is the triangle RVF, and the oppofite triangle STY. II. and because the two prifms in the pyramid ABCG are equal to one of which the bafe is the parallelogram PEVR, and opposite fide TS, to the prifm of which the bafe is the triangle RVF, and oppo- LXCOMN together are unto the prifm LXCOMN; fo are the Book XII. ABC to the bafe DEF, fo are the two prifins in the pyramid ABCO to the two prifins in the pyramid DEFH; and fo are the two prifms in the pyramid OMNG to the two prifms in the pyramid STYH; and fo are all four to all four. and the fame thing may be fhewn of the prisms made by dividing the pyramids AKLO and DPRS, and of all made by the fame number of divifions. Sce N. 2. 3. 12. b. 4. 12. C. 34. 5. PYR PROP. V. THEO R. Q. E. D. YRAMIDS of the fame altitude which have triangular bafes, are to one another as their bafes. Let the pyramids of which the triangles ABC, DEF are the bafes, and of which the vertices are the points G, H, be of the fame altitude. as the bafe ABC to the base DEF, fo is the pyramid ABCG to the pyramid DEFH. a For, if it be not fo, the bafe ABC must be to the bafe DEF, as the pyramid ABCG to a folid either lefs than the pyramid DEFH, or greater than it *. First, let it be to a folid less than it, viz. to the folid Q. and divide the pyramid DEFH into two equal pyramids, fimilar to the whole, and into two equal prifms. therefore thefe two prisms are greater than the half of the whole pyramid. and, again, let the pyramids made by this divifion be in like manner divided, and fo on, until the pyramids which remain undivided in the pyramid DEFH be, all of them together, lefs than the excefs of the pyramid DEFH above the folid Q. let thefe, for example, be the pyramids DPRS, STYH. therefore the prifms, which make the reft of the pyramid DEFH, are greater than the folid Q divide likewife the pyramid ABCG in the fame manner, and into as many parts, as the pyramid DEFH. therefore as the bafe ABC to the bafe DEF, fob are the prifms in the pyramid ABCG to the prifms in the pyramid DEFH. but as the bafe ABC to the bafe DEF, fo, by hypothefis, is the pyramid ABCG to the folid Q; and therefore, as the pyramid ABCG to the folid Q, fo are the prifms in the pyramid ABCG to the prifms in the pyramid DEFH. but the pyramid APCG is greater than the prifms contained in it; wherefore alfo the folid Q is greater than the prifms in the pyramid DEFH. but it is alfo lefs, which is impoffible. * This may be explained the fame way as at the note in Propofition 2. im the like cafe. I therefore the bafe ABC is not to the bafe DEF, as the pyramid Book XII. DEFH to fome folid t, which must be lefs than the pyramid d. 14. 5. This may be explained the fame way as the like at the mark f in Prop. 2. |