Sidebilder
PDF
ePub

† 11. 1.

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 shall be perpendicular to the third plane.

B

EF

D

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 AB is perpendicular to the third plane, and DE is drawn in the plane AB at right angles to AD their com• 4 Def. 11. mon section, DE is perpendicular to the third plane: in the same manner it may be proved, that DF is perpendicular to the third plane; wherefore, from the point D, two straight lines stand at right angles to the third plane, upon the same side of it; which is impossible: therefore, from the point D, there cannot be any straight line at right angles to the third plane, except BD the common section of the planes AB, BC; therefore BD is perpendicular to the third plane. Wherefore, if two planes, &c.

13. 11.

Sce N.

* 23. 1.

4. 1.

PROPOSITION XX.

A

Q. E. D.

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, DAB: any two of them shall be 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 are 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 to the angle DAB; and make AE equal to AD, and through E, draw BEC 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, each to each; and the angle DAB is equal to the angle EAB; therefore the base DB is equal

B

*

D

EC

to the base

• 25. 1.

BE: and because BD, DC are greater than CB, and one of 20. 1. them BD has been proved equal to BE a part of CB, therefore the other DC is greater than the remaining part EC: and † 5 Ax. because DA is equal to AE, and AC common, but the base DC greater than the base EC, therefore the angle DAC is greater' 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 an- 4 Ax. gle BAC: but BAC is not less than either of the angles DAB, DAC; therefore BAC with either of them is greater than the other. Wherefore, if a solid angle, &c. Q. E. d.

PROPOSITION 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, shall be less than four right angles.

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 two of them are greater than the third; therefore the 20. 11. 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, B CDA, ADB are greater than the three angles 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, CAD, DAB, which contain the solid angle at A, are less than four right angles.

32. 1.

[blocks in formation]

Next, let the solid angle at A be contained by any number of plane angles BAC, CAD, DAE, EAF, FAB: these shall together be less than four right angles.

B

E

D

Let the planes in which the angles are, be cut by a plane, and let the common sections 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. those 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; 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, 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; 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. Q. E. D.

*

See N.

PROPOSITION XXII.

THEOR.-If every two of three plane angles be greater than the third, and if the straight lines which contain them be all cqual, a triangle may be made of the straight lines that join the extremities of those equal straight lines.

Let ABC, DEF, GHK be the three plane angles, whereof every two are greater than the third, and let them be 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 shall together be greater than the third.

If the angles at B, E, H, are equal, AC, DF, GK are also equal, and any two of them greater than the third: but if • 4. 1. the angles are not all equal,

[merged small][subsumed][subsumed][subsumed][ocr errors][subsumed][merged small]

therefore it is plain that AC, together with either of the other two, must be greater than the third: also DF, with GK shall be greater than AC; for at the point B, in the straight line AB, make the angle ABL equal to the angle GHK, and make • 23. I. 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, each to each, and the angle ABL to the angle GHK, the base AL is equal to the base GK: and because the † 4. 1. angles at E, H, are greater + than the angle ABC, of which the ↑ Hyp. angle at H is equal to ABL, therefore the remaining angle at E is greater than the angle LBC: and because the two sides † 5 Ax. LB, BC are equal to the two DE, EF, each to each, and that the angle DEF is greater than 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 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

24. 1. † 4 Ax.

20. 1.

of these straight lines AC, DF, GK, are greater than the third; and, therefore, a triangle may be made *, the sides of which 22. 1. shall be equal to AC, DF, GK. Q. E. D.

PROPOSITION XXIII.

PROB. To make a solid angle which shall be contained by See N. three given plane angles, any two of them being greater † † 20. 11. than the third, and all three together + less than four right † 21. 11. angles.

Let the three given plane angles be ABC, DEF, GHK, any two of which are greater than the third, and all of them to

* 22. 11.

* 22. 1.

• 5.4. † 1. 3.

8.1.

gether, 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.

[blocks in formation]

Ада

A

DF, GK: then a triangle may be made

of three straight lines equal to AC, DF, GK: let this be the triangle LMN*, so that AC be equal to LM, DF to MN, and GK to LN; and about the triangle LMN describe a circle and find † its centre X, which will be either within the triangle, or in one of its sides, or without it.

*

M

TR

First, let the centre X be within the triangle, and join LX, MX, NX AB shall be 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 LXM*: for the same 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, MXN, NXL: but the three angles LXM, MXN, NXL are *2 Cor. 15. 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. But neither 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, of which, two of the sides LO, OM are equal to AB, BC: and because the base LM is equal to the base AC, the angle LOM is equal to the angle ABC: and AB, that is LO, is, by the hypothesis 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, XM; therefore the angle LOM, that is the angle ABC, is greater than the angle LXM: in the same manner it may be proved, that the angle DEF is greater than

1.

† 22.1.

8. 1.

21. 1.

* 21. 1.

« ForrigeFortsett »