PROPOSITION 17. THEOREM. Straight lines which are cut by parallel planes are cut proportionally. H Let the st. lines AB, CD be cut by the three par planes Join AC, BD, AD; join EX, XF. Then because the two par planes KL, MN are cut by the plane ABD, ... the common sections EX, BD are par. XI. 16. And because the two par' planes GH, KL are cut by the plane DAC, the common sections XF, AC are par!. XI. 16. Now since EX is par' to BD, a side of the A ABD, ... AE : EB :: AX : XD. VI. 2. Again because XF is par' to AC, a side of the A DAC, .:: AX : XD :: CF : FD. VI. 2. Hence AE : EB :: CF : FD. v. 1. Q.E.D. DEFINITION. One plane is perpendicular to another plane, when any straight line drawn in one of the planes perpendicular to their common section is also perpendicular to the other plane. [Book xi. Def. 6.] PROPOSITION 18. THEOREM. If a straight line is perpendicular to a plane, then every plane which passes through the straight line is also perpendicular to the given plane. Let the st. line AB be perp. to the plane XY; Then shall the plane De be perp. to the plane XY. XI. 3. From F, any point in CE, draw FG in the plane DE perp. to CE. 1. 11. Then because AB is perp. to the plane XY, Нур. .. AB is also perp. to CE, which meets it in that plane, XI. Def. 1. that is, the 2 ABF is a rt, angle. But the _ GFB is also a rt. angle; Constr. .. GF is par' to AB. I. 28. And AB is perp. to the plane XY, Нур. .. GF is also perp. to the plane XY. XI. 8. Hence it has been shewn that any st. line GF drawn in the plane De perp. to the common section CE is also perp. to the plane XY. .. the plane DE is perp. to the plane XY. XI. Def. 6. 6 Q.E.D. EXERCISE. Shew that two planes are perpendicular to one another when the dihedral angie [see xi. Def. 7] formed by them is a right angle. PROPOSITION 19. THEOREM. If two intersecting planes are each perpendicular to a third plane, their common section shall also be perpendicular to that plane. E, A Let each of the planes AB, BC be perp. to the plane ADC, and let BD be their common section. Then shall BD be perp. to the plane ADC. For if not, from D draw in the plane AB the st. line DE perp. to AD, the common section of the planes ADB, ADC: 1. 11. and from D draw in the plane BC the st. line DF perp. to DC, the common section of the planes BDC, ADC. Then because the plane BA is perp. to the plane ADC, Hyp. and DE is drawn in the plane BA perp. to AD the common section of these planes, Constr. .. DE is perp. to the plane ADC. XI. Def. 6. Similarly DF is perp. to the plane ADC. .-. from the point D two st. lines are drawn perp. to the plane ADC; which is impossible. XI. 13. Hence DB cannot be otherwise than perp. to the plane ADC. Q.E.D. PROPOSITION 20. THEOREM. Of the three plane angles which form a trihedral angle, any two are together greater than the third. Let the trihedral angle at A be formed by the three plane 2' BAD, DAC, BAC. Then shall any two of them, such as the 48 BAD, DAC, be together greater than the third, the 2 BAC. CASE I. If the - BAC is less than, or equal to, either of the < BAD, DAC; it is evident that the < BAD, DAC are together greater than the L BAC. CASE II. But if the _ BAC is greater than either of the < BAD, DAC; then at the point A in the plane BAC make the 2 BAE equal to the BAD; and cut off AE equal to AD. Through E, and in the plane BAC, draw the st. line BEC cutting AB, AC at B and c: join DB, DC. Then in the A$ BAD, BAE, since BA, AD = BA, AE, respectively, Constr. and the L BAD=the 2 BAE ; Constr. .:. BD = BE. I. 4. Again in the A BDC, since BD, DC are together greater than BC, I. 20. And in the A: DAC, EAC, because DA, AC=EA, AC respectively, Constr. but DC is greater than EC ; Proved. .. the 2 DAC is greater than the 2 EAC. I. 25. But the 2 BAD= the _ BAE ; Constr. the two 4 BAD, DAC are together greater than the < BAC. Q.E.D. PROPOSITION 21. THEOREM. Every (convex) solid angle is formed by plane angles which are together less than four right angles. S E B X Let the solid angle at S be formed by the plane 2" ASB, BSC, CSD, DSE, ESA. Then shall the sum of these plane angles be less than four rt. angles. |