PROPOSITION XXIII. PROBLEM. At a given point in a given straight line, to make an angle equal to a given angle. B K Let A be the given pt., BC the given line, DEF the given .. It is reqd. to make at pt. A an angle =_DEF. With centre A, and distance AG, describe O GLM. Join AL and HL. Ax. 1. and :: HL=HK, .. HL=FD. Ax. 1. Then in As LAH, DEF, :: LA=DE, and AH-EF, and HL=FD; ...LAH=6DEF. .: an angle LAH has been made at pt. A as was reqd. Q« E. F. ; 1. c. NOTE.—We here give the proof of a theorem, necessary to the proof of Prop. XXIV. and applicable to several propositions in Book III. PROPOSITION D.. THEOREM. Every straight line, drawn from the vertex of a triangle to the base, is less than the greater of the two sides, or than either, if they be equal. B In the A ABC, let the side AC be not less than AB. PROPOSITION XXIV. THEOREM. If two triangles have two sides of the one equal to two sides of the other, each to each, but the angle contained by the two sides of one of them greater than the angle contained by the two sides equal to them of the other ; the base of that which has the greater angle must be greater than the base of the other. In the As ABC, DEF, let AB=DE and AC=DF, Then must BC be greater than EF. and make DG=AC or DF, and join EG, GF. Then ::: AB=DE, and AC=DG, and 2 BAC= _EDG, ..BC=EG, I. 4. Again, :: DG=DF, .:EFG is greater than 2 DGF; much more then . EFG is greater than 2 EGF; .. EG is greater than EF. I. 19. But EG=BC; .:. BC is greater than EF. Q. E, D. I. A. * This line was added by Simson to obviate a defect in Euclid's proof. Without this condition, three distinct cases must be discussed. With the condition, we can prove that F must lie below EG. For since DF is not less than DE, and DG is drawn equal to DF, DG is not less than DE. Hence by Prop. D, any line drawn from D to meet EG is less than DG, and therefore DF, being equal to DG, must extend beyond EG. For another method of proving the Proposition, see p. 113. PROPOSITION XXV. THEOREM. If two triangles have two sides of the one equal to two sides of the other, each to each, but the base of the one greater than the base of the other; the angle also, contained by the sides of that which has the greater base, must be greater than the angle contained by the sides equal to them of the other. In the As ABC, DEF, and let BC be greater than EF. Then must 2 BAC be greater than 2 EDF. For 2 BAC is greater than, equal to, or less than 2 EDF. Now BAC cannot= EDF, for then, by 1. 4, BC would=EF; which is not the case. And – BAС cannot be less than 2 EDF, for then, by 1. 24, BC would be less than EF; which is not the case ; ...BAC must be greater than - EDF. Q. E. D. NOTE.—In Prop. XXVI. Euclid includes two cases, in which two triangles are equal in all respects ; viz., when the following parts are equal in the two triangles : 1. Two angles and the side between them. Of these we have already proved the first case, in Prop. B, so that we have only the second case left, to form the subject of Prop. XXVI., which we shall prove by the method of superposition. For Euclid's proof of Prop. XXVI., see rp. 114-115. If two triangles have two angles of the one equal to two angles of the other, each to each, and one side equal to one side, those sides being opposite to equal angles in each ; then must the | ; triangles be equal in all respects. In As ABC, DEF, let ABC= 2 DEF, and - ACB= 2 DFE, and AB=DE. Then must BC=EF, and AC=DF, and 2 BAC= EDF. Suppose - DEF to be applied to A ABC, so that D coincides with A, and DE falls on AB. and :: _DEF= 1 ABC,.. EF will fall on BC. I. 4. ..LAHB= L ACB, the extr. = the intr. and opposite 6, which is impossible. .:F does not fall between B and C. Similarly, it may be shewn that F does not fall on BC produced. .: F coincides with C, and .. BC=EF; .. AC=DF, and 2 BAC= _ EDF, I. 4. and .. the triangles are equal in all respects. Q. E. D. |