Book XI. b 32. 1. D Take in each of the straight lines AB, AC, AD any points B, C, D, and join BC, CD, DB: then, because the solid angle at B is contained by the three plane angles CBA ABD, DBC, any a 20. 11. two of them are greater a than the third; therefore the angles CBA, ABD are greater than the angle DBC: for the same reason, the angles BCA, ACD are greater than the angle DCB; and the angles CDA, ADB greater than BDC: wherefore the six angles CBA, ABD, BCA, ACD, CDA, ADB are greater than the threeangles DBC, BCD, CDB: but the three angles DBC, BCD, CDB are equal to two right angles : therefore the six angles CBA, ABD, BCA, ACD, CDA, ADB are greater than two right angles: and because the three angles of each of the triangles ABC, ACD, ADB are equal to two right angles, therefore the nine angles of these three triangles, viz. the angles CBA, BAC, ACB, ACD, CDA, DAC, ADB, DBA, BAD are equal to six right angles: of these the six angles CBA ACB, ACD, CDA, ADB, DBA are greater than two right angles: therefore the remaining three angles BAC, DAC, BAD, which contain the solid angle at A, are less than four right angles. B 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. a B A F Let the planes in which the angles are, be cut by a plane, and let the common section of it with those \planes be BC, CD, DE, EF, FB: and because the solid angle at B is contained by three plane angles CBA, ABF, FBC, of which any two are greater than the third, the angles CBA, ABF are greater than the angle FBC: for the same reason, the two plane angles at each of the points C, D, E, F, viz. the angles which are at the bases of the triangles, having the common vertex A, are greater than the third angle at the same point, which is one of the angles of the polygon BCDEF: there E D fore all the angles at the bases of the triangles are together c 1. Cor. greater than all the angles of the polygon: and because all the Book XI. angles of the triangles are together equal to twice as many right angles as there are triangles b; that is, as there are sides in the b 32. 1. 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 : therefore all the angles of the triangles are equal to all the angles of the po- 32. 1. lygon 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. Q. E. D. PROP. XXII. THEOR: IF every two of three plane angles be greater than See Note. 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. 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 are together greater than the third. If the angles at B, E, H be equal; AC, DF, GK are also equal, and any two of them greater than the third: but ifa 4.1. 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 b; and it is b 4. or plain that AC, together with either of the other two, must be 24. 1. greater than the third: also DF with GK are greater than AC: for, at the point B in the straight line AB make the c 23. 1. Book XI. angle ABL equal to the angle GHK, and make BL equal to one of the straight lines AB, BC, DE, EF, GH, HK, and join AL, LC; then because AB, BL are equal to GH, HK, and the angle ABL to the angle GHK, the base AL is equal to the base GK: and because the angles at E, H are greater than the angle ABC, of which the angle at H is equal to ABL; thereforethe remaining angle at E is greater than the angle LBC: and be d 24. 1. e 20. 1. f 22. 1. and cause the two sides LB, BC are equal to the two DE, EF, See Note. PROP. XXIII. PROB. TO make a solid angle which shall be contained by three given plane angles, any two of them being greater than the third, and all three together less than four right angles. Let the three given plane angles be ABC, DEF, GHK, any two of which are greater than the third, and all of them together less than four right angles. It is required to make a solid angle contained by three plane angles equal to ABC, DEF. GHK, each to each. Book XI. From the straight lines containing the angles, cut off AB, BC, DE, EF, GH, HK, all equal to one another; and join AC, DF, GK: then a triangle may be made a of three straight lines equal a 22. 11. B H D E G F K to AC, DF, GK. Let this be the triangle LMN b, so that AC b 22. 1. be equal to LM, DF to MN, and GK to LN; and about the triangle LMN describe c a circle, and find its centre X, which will c 5. 4. either be within the triangle, or in one of its sides, or without it. L R First, let the centre X be within the triangle, and join LX, MX, NX: AB is greater than LX: if not, AB must either be equal to, or less than LX; first, let it be equal: then because AB is equal to LX, and that AB is also equal to BC, and LX to XM, AB and BC are equal to LX and XM, each to each; and the base AC is, by construction, equal to the base LM: wherefore the angle ABC is equal to the angle LXMd. For the same d 8, 1. reason, the angle DEF is equal to the angle MXN, and the angle GHK to the angle NXL; therefore the three angles ABC, DEF, GHK are equal to the three angles LXM, MXŃ, NXL: but the three angles LXM, MXN, NXL are equal to four right angles *; therefore also the three angles ABC, DEF, GHK, are equal to four right angles: but, by the hypothesis, they are less than four right angles, which is absurd; therefore AB is not equal to LX: bút nei.M ther can AB be less than LX: for, if possible, let it be less, and upon the straight line LM, on the side of it on which is the centre X, describe the triangle LOM, 'Z the sides LO, OM of which are equal to AB, BC; and because the base LM is equal to the base AC, the angle LOM is equal e 2. Cor. 15. 1. d 8. 1. f 21. 1. R Book XI. to the angle ABC; and AB, that is, LO, by the hypothesis, is less than LX; wherefore LO, OM fall within the triangle LXM; for, if they fell upon its sides, or without it, they would be equal to, or greater than LX, XMf: therefore the angle LOM, that is, the angle ABC, is greater than the angle LXM f: in the same manner it may be proved that the angle DEF is greater than the angle MXN, and the angle GHK greater than the angle NXL. Therefore the three angles ABC, DEF, GHK are greater than the three angles LXM, MXN, NXL; that is, than four right angles: but the same angles ABC, DEF, GHK are less than four right angles; which is absurd: therefore M AB is not less than LX, and it has been proved that it is not equal to LX; wherefore AB is greater than LX. X R Next, let the centre X of the circle fall in one of the sides of the triangle, viz. in MN, and join XL: in this case also AB is greater than LX. If not, AB is either equal to LX, or less than it: first, let it be equal to XL: therefore AB and BC, that is, DE and EF, are equal to MX and XL, that is, to MN: but, by the construction, MN is equal to DF; therefore DE, EF are equal to DF, which is im- M † 20. 1. possible t: wherefore AB is not equal to LX; nor is it less; for L X But, let the centre X of the circle fall without the triangle LMN, and join LX, MX, NX. In this case likewise AB is greater than LX: if not, it is either equal to or less than LX: first, let it be equal; it may be proved in the same manner, as in the first case, that the angle ABC is equal to the angle MXL, and GHK to LXN; therefore the whole angle MXN is equal to the two angles ABC, GHK: but ABC and GHK are together greater than the angle DEF; therefore also the angle MXN is greater than DEF. And because DE, |