PROP. C. THEOR. SOLID figures contained by the same number of equal and similar planes alike situated, and having none of their solid angles contained by more than three plane angles; are equal and similar to one another.* Let AG, KQ be two solid figures contained by the same number of similar and equal planes, alike situated, viz. let the plane AC be similar and equal to the plane KM; the plane AF to KP; BG to LQ; GD to QN; DE to NO; and lastly, FH similar and equal to PR: the solid figure AG is equal and similar to the solid figure KQ. Because the solid angle at A is contained by the three plane angles BAD, BAE, EAD, which, by the hypothesis, are equal to the plane angles LKN, LKO, OKN, which contain the solid angle at K, each to each; therefore the solid angle at A is equal (B. 11.) to the solid angle at K: in the same manner, the other solid angles of the figures are equal to one another. If, then, the solid figure AG be applied to the solid figure KQ, first, the plane figure AC being applied to the plane figure KM: the H G R E F Q P M L : they are equal and similar: therefore the straight lines AD, DC, CB, coincide with KN, NM, ML, each with each; and the points A, D, C, B, with the points K, N, M, L and the solid angle at A coincides with (B. 11.) the solid angle at K; wherefore the plane AF coincides with the plane KP, and the figure AF with the figure KP, because they are equal and similar to one another: therefore the straight lines AE, EF, FB, coincide with KO, OP, PL; and the points E, F, with the points O, P. In the same manner, the figure AH coincides with the figure KR, and the straight line DH with NR, and the point H with the point R and because the solid angle at B is equal to the solid angle at L, it may be proved, in the same manner, that the figure BG coincides with the * See Note. figure LQ, and the straight line CG with MQ, and the point G with the point Q: since, therefore, all the planes and sides of the solid figure AG coincide with the planes and sides of the solid figure KQ, AG is equal and similar to KQ: and, in the same manner, any other solid figures whatever contained by the same number of equal and similar planes, alike situated, and having none of their solid angles contained by more than three plane angles, may be proved to be equal and similar to one another. Q. E. D. PROP. XXIV. THEOR. Ir a solid be contained by six planes, two and two of which are parallel; the opposite planes are similar and equal parallelograms.* Let the solid CDGH be contained by the parallel planes AC, GF; BG, CE; FB, AE: its opposite planes are similar and equal parallelograms. B H G C F Because the parallel planes BG, CE are cut by the plane AC, their common sections AB, CD are parallel (16. 11.). Again, because the two parallel planes BF, AE are cut by the plane AC, their common section AD, BC are parallel (16. 11.); and AB is parallel to CD; therefore AC is a parallelogram. In like manner, it may be proved that each of the figures CE, FG, GB, BF, AE is a parallelogram: join AH, DF; and because AB is parallel to DC, and BH to CF; the two straight lines AB, BH, which meet one another, are parallel to DC and CF which meet one another, and are not in the same plane D with the other two: wherefore they contain equal angles (10. 11.); the angle ABH is therefore equal to the angle DCF; and because AB, BH are equal to DC, CF, and the angle ABH equal to the angle DCF; therefore the base AH is equal (4. 1.) to the base DF, and the triangle ABH to the triangle DCF: and the parallelogram BG is double (34. 1.) of the triangle ABH, and the parallelogram CE double of the triangle DCF; therefore the parallelogram BG is equal and similar to the parallelogram CE. In the same manner it may be proved, that the parallelogram AC * Sce Note. E is equal and similar to the parallelogram GF, and the parallelogram AE to BF. Therefore, if a solid, &c. Q. E. D. PROP. XXV. THEOR. IF a solid parallelopiped be cut by a plane parallel to two of its opposite planes, it divides the whole into two solids, the base of one of which shall be to the base of the other, as the one solid is to the other.* Let the solid parallelopiped ABCD be cut by the plane EV, which is parallel to the opposite planes AR, HD; and divides the whole into the two solids ABFV, EGCD; as the base AEFY of the first is to the base EHCF of the other; so is the solid ABFV to the solid EGCD. Produce AH both ways, and take any number of straight lines HM, MN, each equal to EH, and any number AK, KL each equal to EA, and complete the parallelograms LO, KY, HQ, MS, and the solids LP, KR, HU, MT: then because the straight lines LK, KA, AE are all equal, the parallelograms LO, KY, AF are equal (36. 1.): and likewise the parallelograms KX, BK, AG, (36. 1.); as also (24. 11.) the parallelograms LZ, KP, AR, because they are opposite planes: for the same reason the parallelograms EC, HQ, MS are equal (36. 1.); and the parallelograms HG, HI, IN, as also (24. 11.) HD, MU, NT; therefore three planes of the solid LP, are equal and similar to three planes of the solid KR, as also to three planes of the solid AV: but the three planes opposite to these three are equal and similar (24. 11.) to them in the several solids, and none of their solid angles are contained by more than three plane angles: therefore the three solids LP, KR, AV are equal (C. 11.) to one another: for the same reason, the three solids ED, HU, MT are equal to one another: therefore what multiple soever the base LF * See Note. is of the base AF, the same multiple is the solid LV of the solid AV for the same reason, whatever multiple the base NF is of the base HF, the same multiple is the solid NV of the solid ED; and if the base LF, be equal to the base NF, the solid LV is equal (C. 11.) to the solid NV; and if the base LF be greater than the base NF, the solid LV is greater than the solid NV; and if less, less since then there are four magnitudes, viz. the two bases AF, FH, and the two solids AV, : ED, and of the base AF and solid AV, the base LF and solid LV are any equimultiples whatever; and of the base FH and solid ED, the base FN and solid NV are any equimultiples whatever; and it has been proved, that if the base LF is greater than the base FN, the solid LV is greater than the solid NV; and if equal, equal; and if less, less. Therefore (5. def. 5.) as the base AF is to the base FH, so is the solid AV to the solid ED. Wherefore, if a solid, &c. Q. E. D. PROP. XXVI. PROB. Ar a given point in a given straight line, to make a solid angle equal to a given solid angle contained by three plane angles.* Let AB be a given straight line, A a given point in it, and D a given solid angle contained by the three plane angles EDC, EDF, FDC: it is required to make at the point A in the straight line AB a solid angle equal to the solid angle D. In the straight line DF take any point F, from which draw (11. 11.) GF perpendicular to the plane EDC, meeting that plane in G; join DG, and at the point A in the straight line AB make (23. 1.) the angle BAL equal to the angle EDC, and in the plane BAL make the angle BAK equal to the angle EDG: then make AK equal to DG, and from the point K erect (12. 11.) KH * See Note. at right angles to the plane BAL; and make KH equal to GF, and join AH: then the solid angle at A, which is contained by the three plane angles BAL, BAH, HAL, is equal to the solid angle at D contained by the three plane angles EDC, EDF, FDC. Take the equal straight lines AB, DE, and join HB, KB, FE, GE: and because FG is perpendicular to the plane EDC, it makes right angles (3. def. 11.) with every straight line meeting it in that plane: therefore each of the angles FGD, FGE is a right angle: for the same reason, HKA, HKB, are right angles : and because KA, AB are equal to GD, DE, each to each, and contain equal angles, therefore the base BK is equal (4. 1.) to the base EG: and KH is equal to GF, and HKB, FGE are right angles, therefore HB is equal (4. 1.) to FE: again, because AK, KH are equal to DG, GF, and contain right angles, the base AH is equal to the base DF; and AB is equal to DE; therefore HA, AB are equal to FD, DE, and the base HB is equal to the base FE, therefore the angle BAH is equal (8. 1.) to the angle EDF: for the same reason, the angle HAL is equal to the angle B FDC. Because if AL and DC be made equal, and KL, HL, GC, FC A D E L K G H F C be joined, since the whole angle BAL is equal to the whole EDC, and the parts of them BAK, EDG are, by the construction, equal: therefore the remaining angle KAL is equal to the remaining angle GDC: and because KA, AL are equal to GD, DC, and contain equal angles, the base KL is equal (4. 1.) to the base GC and KH is equal to GF, so that LK, KH are equal to CG, GF, and they contain right angles: therefore the base HL is equal to the base FC: again, because HA, AL are equal to FD, DC, and the base HL to the base FC, the angle HAL is equal (S. 1.) to the angle FDC: therefore, because the three plane angles BAL, BAH, HAL, which contain the solid angle at A, are equal to the three plane angles EDC, EDF, FDC, which contain the solid angle at D, each to each, and are situated in the same order, the solid angle at A is equal (B. 11.) to the solid angle at D. Therefore, at a given point in a given straight line, a solid angle has been made equal to a given solid angle contained by three plane angles. Which was to be done. Ff |