PROPOSITION XXVII. THEOREM. E B A f C Η D If a straight line, falling upon two other straight lines, make the alternate angles equal to one another; these two straight lines must be parallel. K Let the st. line EF, falling on the st. lines AB, CD, make the alternate s AGH, GHD equal. Then must AB be || to CD. Let them be produced and meet towards B, D in K. Then GHK is a ▲ ; For if not, AB and CD will meet, if produced, either towards B, D, or towards A, C. and .. 4 AGH is greater than 4 GHD. But which is impossible. I. 16. Hyp. .. AB, CD do not meet when produced towards B, D. In like manner it may be shewn that they do not meet when produced towards A, C. .. AB and CD are parallel. Def. 26. Q. E. D. PROPOSITION XXVIII. THEOREM. If a straight line, falling upon two other straight lines, make the exterior angle equal to the interior and opposite upon the same side of the line, or make the interior angles upon the same side together equal to two right angles; the two straight lines are parallel to one another. A а I. II. Let the st. line EF, falling on st. lines AB, CD, make I. LEGB= corresponding ▲ GHD, or II. ¿s BGH, GHD together=two rt. 4 s. LEGB is given ▲ GHD, and EGB is known to be AGH, .. LAGH= L GHD ; and these are alternate <s; .. AB is to CD. * 48 BGH, GHD together=two rt. ▲ s, and 4s BGH, AGH together=two rt. ≤ s, .. LS BGH, AGH together 4 s BGH, GHD together; .. 4 AGH= ▲ GHD; 4 .. AB is to CD. Нур. I. 15. I. 27. Hyp. I. 13. I. 27. Q. E. D. NOTE 5. On the Sixth Postulate. In the place of Euclid's Sixth Postulate many modern writers on Geometry propose, as more evident to the senses, the following Postulate :— 66 "Two straight lines which cut one another cannot BOTH be parallel to the same straight line." If this be assumed, we can prove Post. 6, as a Theorem, thus: Let the line EF falling on the lines AB, CD make the s BGH, GHD together less than two rt. 4 s. Then must AB, CD meet when produced towards B, D. For if not, suppose AB and CD to be parallel. I. 13. and 4 s GHD, BGH are together less than two rt. 4 s, Make MGH= ▲ GHD, and produce MG to N. I. 27. Thus two lines MN, AB which cut one another are both parallel to CD, which is impossible. .. AB and CD are not parallel. It is also clear that they meet towards B, D, because GB lies between GN and HD. Q. E. D. A PROPOSITION XXIX. THEOREM. If a straight line fall upon two parallel straight lines, it makes the two interior angles upon the same side together equal to two right angles, and also the alternate angles equal to one another, and also the exterior angle equal to the interior and opposite upon the same side. E B LE Let the st. line EF fall on the parallel st. lines AB, CD. Then must III. AGH= ▲ GHD, I. 4s BGH, GHD together=two rt. 4 s. III. I. 4s BGH, GHD cannot be together less than two rt. 4s, for then AB and CD would meet if produced towards B and D, Post. 6. which cannot be, for they are parallel. Nor can s BGH, GHD be together greater than two rt. 4s, for then s AGH, GHC would be together less than which cannot be, for they are parallel, :. 48 BGH, GHD together=two rt. 4 s. and ▲ AGH= 2 EGB, .. 4 EGB= 4 GHD. II. 4s BGH, GHD together=two rt. 4s, I. 13. and 4s BGH, AGH together=two rt. 4s, .. ¿s BGH, AGH together= 4s BGH, GHD together, and.. AGH= ▲ GHD. Ax. 3. I. 15. Ax. 1. Q. E. D. EXERCISES. 1. If through a point, equidistant from two parallel straight lines, two straight lines be drawn cutting the parallel straight lines; they will intercept equal portions of those lines. 2. If a straight line be drawn, bisecting one of the angles of a triangle, to meet the opposite side; the straight lines drawn from the point of section, parallel to the other sides and terminated by those sides, will be equal. 3. If any straight line joining two parallel straight lines be bisected, any other straight line, drawn through the point of bisection to meet the two lines, will be bisected in that point. NOTE. One Theorem (A) is said to be the converse of another Theorem (B), when the hypothesis in (A) is the conclusion in (B), and the conclusion in (A) is the hypothesis in (B). For example, the Theorem I. A. may be stated thus: Hypothesis. If two sides of a triangle be equal. Conclusion. The angles opposite those sides must also be equal. The converse of this is the Theorem I. B. Cor.: Hypothesis. If two angles of a triangle be equal. Conclusion. The sides opposite those angles must also be |