Book XI. a Take in each of the straight lines AB, AC, AD any points B, C, n D, and join BC, CD, DB. then, because the folid angle at B is contained by the three plain angles CBA, ABD, DBC, any two t a. 10. 11. them are greater than the third; therefore the angles CBA, ABI are greater than the angle DBC. for the fame reafon, the angles BCA, ACD are greater than the angle DCB; and the angles CDA, ADB greater than BDC. wherefore the fix angles CBA, ABD, BCA, ACD, CDA, ADB are greater than the three angles DBC, BCD, CDB. but the three angles DBC, BCD, CDB b. 32. 1. are equal to two right angles b, therefore D A B the fix angles CBA, ABD, BCA, ACD, Next, Let the folid angle at A be contained by any number of plane angles BAC, CAD, DAE, EAF, FAB; thefe together are lefs than four right angles. Let the planes in which the angles are be cut by a plane, and let the common fections of it with those planes be BC, CD, DE, EF, FB. and A angles at the bafes of the triangles are together greater than all the angles angles of the polygon. and because all the angles of the triangles Book XI. are together equal to twice as many right angles as there are triangles b; that is, as there are fides in the polygon BCDEF; and b. 32. 1. that all the angles of the polygon together with four right angles are likewife equal to twice as many right angles as there are fides in the polygons; therefore all the angles of the triangles are equal to all the c. 1. Cor. angles of the polygon together with four right angles. But all the angles at the bafes 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 folid angle at A, are less than four right angles. Therefore every folid angle,&c. Q. E. D. 32. I. PROP. XXII. THEOR. IF every two of three plane angles be greater than the see N. third, and if the straight lines which contain them be all equal; a triangle may be made of the ftraight 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 ftraight 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 are equal; AC, DF, GK are alfo equal", a. 4. 1. and any two of them greater than the third. but if the angles are not all equal, let the angle ABC be not lefs than either of the two at E, H; therefore the straight line AC is not lefs than either of the other c Book XI. other two DF, GK; and it is plain that AC together with either of the other two must be greater than the third. alfo DF with GK b.4.or 24.1. are greater than AC. for, at the point B in the straight line AB c. 23. 1. make the 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 GHK is equal to ABL, therefore the remaining angle at E is e greater than the angle LBC. and because the two fides LB, BC are equal to the two DE, EF, and that the angle DEF is greater than d. 24. 1. the angle LBC, the base DF is greater than the base LC. and it has been proved that GK is equal to AL; therefore DF and GK e. 20. 1. are greater than AL and LC. but AL and LC are greater than AC; much more then are DF and GK greater than AC. Wherefore every two of the ftraight lines AC, DF, GK are greater than f. 12. 1. the third, and therefore a triangle may be made f the fides of which fhall be equal to AC, DF, GK. Q. E. D. Sée N. PRO P. XXIII. PRO B. To make a folid angle which fhall 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 lefs than four right angles. It is required, to make a folid angle contained by three plane angles equal to ABC, DEF, GHK, each to each. From From the ftraight lines containing the angles, cut off AB, BC, Book XI. DE, EF, GH, HK all equal to one another; and join AC, DF, GK. then a triangle may be made of three ftraight lines equal to a. 21. 1. AC, DF, GK. let this be the triangle LMNb, fo that AC be equal to b. 22. 1. LM, DF to MN, and GK to LN; and about the triangle LMN defcribe a circle, and find its center X, which will either be within c. 5. 4. the triangle, or in one of its fides, or without it. R L First, Let the center X be within the triangle, and join LX, MX, NX. AB is greater than LX. if not, AB muft either be equal to, or lefs than LX; firft, let it be equal. then because AB is equal to LX, and that AB is alfo 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 bafe LM; wherefore the angle ABC is equal to the angle LXM. for the fame reafon the angle DEF is d. a. i. 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, MXN, NXL. but the three angles LXM, MXN, NXL are equal to four right angles; therefore alfo the three angles ABC, DEF, GHK are equal to four right angles. but, M by the hypothefis, they are lefs than four right angles; which is abfurd. therefore AB is not equal to LX. but neither can AB be lefs thari LX. for, if poffible, let it be lefs, and upon the straight line LM, on the fide of it on which is the center X, defcribe the triangle LOM, the fides LO, OM of which are equal to AB, EC; and because the bafe LM is equal to the bafe AC, the anglè LOM is equal e. 1. Cof. 19. 1. N ទេ Book XI. to the angle ABC. and AB, that is LO, by the hypothefis, is leís than LX; wherefore LO, OM fall within the triangle LXM; for, 4. . . if they fell upon its fides, or without it, they would be equal to, or greater f. 11. 1. than LX, XM f. therefore the angle LOM, that is, the angle ABC is the angle DEF is greater than the fore the three angles ABC, DEF, GHK are greater than thrée angles L R L R N LXM, MXN, NXL; that is, than four right angles. but the famé angles ABC, DEF, GHK are lefs than four right angles; which is abfurd. therefore AB is not lefs than LX, and it has been proved that it is not equal to LX; wherefore AB is greater than LX. Next, Let the center X of the circle fall in one of the fides of the triangle, viz. in MN, and join XL. in this cafe alfo A B is greater than LX. if not, AB is either equal to LX or lefs than it. firft, let it be equal to LX therefore AB and BC, that is, DE and EF are equal to MX and XL, that is to MN. but, by the conftruction, MN is equal to DF; therefore DE, EF are equal to DF, 40. 1. which is impoffiblet. wherefore AB is not equal to LX; nor is it lefs; M X for then, much more, an abfurdity would follow. therefore AB is greater than LX. But let the center X of the circle fall without the triangle LMN, and join LX, MX, NX. In this cafe likewife AB is greater than LX. if not, it is either equal to, or lefs than LX. first, let it be equal; it may be proved, in the fame manner as in the firft cafe, 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 alfo the angle MXN is greater than DEF. and be daufe DE, EF are equal to MX, XN, and the bafe DF to the bafe MN, |