H XF DE at right angles to CE; and EX, BD, are parallel (16. 11.). For the same reason, because the two parallel planes GH, KL C A are cut by the plane AXFC, the G common sections AC, XF, are parallel: and because EX is parallel to BD, a side of the triangle ABD, as AE to EB, so is (2. 6.) AX to XD. Again, because XF L E is parallel to AC, a side of the triangle ABC, as, AX to XD, so K is CF to FD: and it was proved that AX is to XD, as AE to I B В IN EB; therefore (11. 5.), as AE to M EB, so is CF to FD.. Wherefore, if two straight lines, &c. Q. E. D. PROP. XVIII. THEOR. Ir a straight line be at right angles to a plane, every plane which passes through it shall be at right angles to Let the straight line AB be at right angles to a plane CK ; every plane which passes through AB shall be at right angles to the plane CK. Let any plane DE pass through AB, and let CE be the common section of the planes DE, CK; take any point F in CE, from which draw FG in the plane D G A H that plane. because ÅB is perpendicular to the plane CK, therefore it is also perpendicular to every straight line in that plane meeting it (3. def. 11.); and consequently it is perpendicular to CE: wherefore ABF is a right angle ; but GFB is likewise a right angle': therefore AB is parallel (28. 1.) to FG. And AB is at right angles to the plane CK: therefore FG is also at right angles to the same plane (8. 11.). But one plane is at right angles to another plane when the straight lines drawn in one of the planes at right angles to their common section, are С B E Dd also at right angles to the other plane (4. def. 11.): and any straight line FG in the plane DE, which is at right angles to CE the common section of the planes, has been proved to be perpendicular to the other plane CK ; therefore the plane DE is at right angles to the plane CK. In like manner, it may be proved that all the planes which pass through AB are at right angles to the plane CK. Therefore, if a straight line, &c. Q. E. D. PROP. XIX. THEOR. Ir two plancs cutting one another be each of them perpendicular to a third plane; their common section shall be perpendicular to the same plane. Let the two planes AB, BC be each of them perpendicular to a third plane, and let BD be the common section of the first two; BD is perpendicular to the third plane. If it be not, from the point D draw, in the plane AB, the straight line DE at right angles to AD the common section of the plane AB with the third plane; and in the plane BC draw DF at right angles to CD the common section of the plane BC with the third plane. And because the plane B AB is perpendicular to the third plane, and DE is drawn in the plane AB at right angles to AD their common section, DE is perpendicular to the third plane (4. def. 11.). In E F D C TY L PROP. XX. THEOR. If a solid angle be contained by three plane angles, any two of them are greater than the third.* Let the solid angle at A be contained by the three plane angles, BAC, CAD, ÞAB. Any two of them are greater than the third. If the angles BAC, CAD, DAB be all equal, it is evident that any two of them are greater than the third. But if they be not, let BAC be that angle which is not less than either of the other two, and is greater than one of them DAB; and at the point A in the straight line AB, make, in the plane which passes through BA, AC, the angle BAE equal (23. 1.) to the angle DAB; and make AE equal to AD, and through E draw BĚC cutting AB, AC in the points B, C, and join DB, DC. And because DA is equal to AE, and AB is common, the two DA, AB are equal to the two EA, AB, and the angle DAB is equal to the angle EAB: therefore the base DB is equal (4. 1.) to the base A BE. And because BD, DC are greater (20. 1.) than CB, and one of them, BD, has been proved equal to BE a part of CB, B E C therefore the other DC is greater than the remaining part EC. And because DA is equal to EA, and AC common, but the base DC greater than the base EC : therefore the angle DAC is greater (25. 1.) than the angle EAC : and, by the construction, the angle DAB is equal to the angle BAE ; wherefore the angles DAB, DAC are together greater than BAE, EAC, that is, than the angle BAC. But BAC is not less than either of the angles DAB, BAC: therefore BAC, with either of them, is greater than the other. Wherefore, if'a solid angle, &c. Q. E. D. PROP. XXI. THEOR. Every solid angle is contained by plane angles which together are less than four right angles. First , let the solid angle at A be contained by three plane angles BAC, CAD, DAB. These three together are less than four right angles. • See Note. Take in each of the straight lines AB, AC, AD any points B, Α. C Next, let the solid angle at A be contained by any number of plane angles BAC, CAD, DAE, EAF, FAB; these together are less than four right angles. Let the planes in which the angles are, be cut by a plane, and let the common section of it with those A F E the angles which are at the bases of the triangles, having the common vertex D A, are greater than the third angle at the same point, which is one of the angles of the polygon BCDEF: therefore all the angles at the bases of the triangles are together greater than all the angles of the polygon: and because all the angles of the triangles are together equal to twice as many right angles as there are triangles (32. B C TY L' 1.); that is, as there are sides in the polygon BCDEF: and that all the angles of the polygon, together with four right angles, are likewise equal to twice as many right angles as there are sides in the polygon (1. Cor. 32. 1.): therefore all the angles of the triangles are equal to all the angles of the polygon together with four right angles. But all the angles at the bases of the triangles are greater than all the angles of the polygon, as has been proved. Wherefore the remaining angles of the triangles, viz. those at the vertex, which contain the solid angle at A, are less than four right angles. Therefore every solid angle, &c. R. E. D. PROP. XXII. THEOR. If every two of three plane angles be greater than the third, and if the straight lines which contain them be all equal; a triangle may be made of the straight lines that join the extremities of those equal straight lines.* third. Let ABC, DEF, GHK be three plane angles, whereof every two are greater than the third, and are contained by the equal straight lines AB, BC, DE, EF, GH, HK; if their extremities be joined by the straight lines AC, DF, GK, a triangle may be made of three straight lines equal to AC, DF, GK; that is, every two of them together greater than the If the angles at B, E, H are equal: AC, DI, GK are also equal 4. 1.), and any two of them greater than the third : but if the angles be 'not all equal, let the angle ABC be not less than either of the two at E, H; therefore the straight line AC is not less than either of the other two DF, GK (4. Cor. 24. 1.); and it is plain that AC, together with either of the other two, must be greater than the third: also, DF, with GK, are greater than AC: for at the point B in the straight line AB make (23. 1.) the • See Note. |