PROPOSITION XXVII. THEOREM. 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. Let the st. line EF, falling on the st. lines AB, CD, Then must AB be || to CD. For if not, AB and CD will meet, if produced, either towards B, D, or towards A, C. Let them be produced and meet towards B, D in K. .. 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. I. Let the st. line EF, falling on st. lines AB, CD, make I. LEGB corresponding 4 GHD, or II. 48 BGH, GHD together=two rt. 4 s. Then, in either case, AB must be || to CD. • LEGB is given = ▲ GHD, and EGB is known to be 4 AGH, .. LAGH=▲ GHD; and these are alternates; .. AB is | to CD. Hyp. I. 15. I. 27. II. :: 48 BGH, GHD together=two rt. 4 s, Hyp. I. 13. and 48 BGH, AGH together=two rt. 4 s, .. 4s BGH, AGH togethers BGH, GHD together; .. LAGH▲ GHD; .. AB is to CD. 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 :— "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. Then 48 AGH, BGH together-two rt. 4s, I. 13. and 4s GHD, BGH are together less than two rt. 4 s, .. ▲ AGH is greater than ▲ GHD. Make MGH= ▲ GHD, and produce MG to N. Then the alternate s MGH, GHD are equal, 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. 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. Let the st. line EF fall on the parallel st. lines AB, CD. Then must I. LS BGH, GHD together=two rt. 4 s. III. ▲ EGB=corresponding ▲ GHD. I. 48 BGH, GHD cannot be together less than two rt. 4 s, for then AB and CD would meet if produced towards B and D, which cannot be, for they are parallel. Post. 6. Nor can 4s BGH, GHD be together greater than two rt. LS, for then 48 AGH, GHC would be together less than two rt. 48, I. 13. and AB, CD would meet if produced towards A and C Post. 6 which cannot be, for they are parallel, :. 48 BGH, GHD together=two rt. 4 s. II. 4s BGH, GHD together=two rt. ≤ s, and 48 BGH, AGH together=two rt. ≤ s, I. 13. Ax. 3. .. 48 BGH, AGH together 28 BGH, GHD together, 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`: equal. Hypothesis. If two sides of a triangle be equal. Conclusion. The angles opposite those sides must also be The converse of this is the Theorem I. B. Cor.: equal. Hypothesis. If two angles of a triangle be equal. |