PROPOSITION XII. PROBLEM. To draw a straight line perpendicular to a given straight line of unlimited length, from a given point without it. Let AB be the given st. line, which may be produced any length both ways, and let C be the given pt. without it. It is required to draw a st. line from C | AB. C A H E Constr. Take any pt. D on the other side of AB, and from centre C at distance CD, describe O EGF meeting AB, produced if necessary, in F and G; (post. 3) bisect FG in H, (i. 10) and join CH, CF, CG. Then the st. line CH shall be I the given st. line AB. Dem. :: FH = HG (constr.), and HC is common to As FHC, GHC; the two sides FH, HC = GH, HC, each to each; and base CF= base CG; (def. 15) .. LFHC = L GHC (i. 8), and these are adj. 2 s. But, when a st. line standing on another st. line makes the adj. Ls equal to each other, each of these Zs is called a rt. L; and the st. line which stands on the other is called a I to it. (def. 10) Therefore from the given pt. C a perpendicular CH has been drawn to the given straight line AB. Q. E. F. [If the straight line were not of unlimited length, it might not meet the circle.] If the perpendicular from the vertex of a triangle on the base bisect the base, the triangle is isosceles. PROPOSITION XIII. THEOREM. The angles which one straight line makes with another on one side of it, are either two right angles, or are together equal to two right angles. Let the st. line AB make with CD, on one side of it, the Ls CBA, ABD. Then these are either two rt. Ls, or are together = two rt. Ls. A V D B B For, if – CBA= _ DBA, each of them is a rt. L. (def. 10) Constr. But if _ CBA be not: < DBA, from B draw BEI CD. (i. 11) Dem. Then, 2s CBE, EBD are two rt. Zs. (def. 10) And : CBE= Ls CBA, ABE, add _ EBD to each; .. Ls CBE, EBD = the three Zs CBA, ABE, EBD. (ax. 2) Again :: _ DBA = the two Ls DBE, EBA, add L ABC to each ; .. Ls DBA, ABC = the three xs DBE, EBA, ABC. (ax. 2) But _s CBE, EBD have been proved = the same three Z s. iLs CBE, EBD= Ls DBA, ABC; (ax. 1) but CBE, EBD are two rt. LS; :: DBA, ABC are together = two rt. Ls. Therefore, when a straight line, &c. Q. E. D. [The learner should find out for himself the hypothesis and conclusion in this theorem, and in all which follow.] DB meets the straight line ABC in B; BE, BF bisect the angles DBC, ABD. Show that FBE is a right angle. PROPOSITION XIV. THEOREM. If at a point in a straight line, two other straight lines, on the opposite sides of it, make the adjacent angles together equal to two right angles ; these two straight lines shall be in one and the same straight line. At the pt. B in the st. line AB, let the two st. lines BC, BD on the opposite sides of AB, make the adj. Ls ABC, ABD together = two rt. Ls. Then BD shall be in the same st. line with CB. For, if BD be not in the same st. line with CB, let BE be in the same st. line with it. Dem. Then :: AB makes with the st. line CBE, on one side of it, Ls CBA, ABE; .. these _s are together = two rt. LS; (i. 13) but Zs CBA, ABD are together = two rt. Zs: (hyp.) .: L CBA, ABE= Ls CBA, ABD; (ax, 11) take away from each of these equals Z CBA, and the rem. L ABE= rem. L ABD: (ax, 3) the less = the greater, which is impossible; .. BE is not in the same st. line with CB. And in the same way it may be demonstrated, that no other can be in the same st. line with it but BD, which therefore is in the same st. line with CB. Therefore, if at a point, &c. Q. E. D. PROPOSITION XV. THEOREM. If two straight lines cut one another, the vertical, or opposite angles shall be equal. Let the two st. lines AB, CD cut one another at E. Then shall Z AEC = L DEB, and L CEB = L AED. -B Dem. .: AE makes with CD at E Ls CEA, AED; these s together = two rt. Zs. (i. 13); Again ::: DE makes with AB at E Zs AED, DEB; these Zs also together = two rt. Ls. (i. 13) but Zs CEA, AED have been shown together = two rt. Ls; .. Zs CEA, AED= LS AED, DEB; take away from each of these equals the common LAED, and remaining L CEA= remaining _ DEB. (ax. 3) In the same way it may be demonstrated that < CEB = / AED. Therefore, if two straight lines, &c. Q. E. D. Cor. 1. From this it is manifest, that if two st. lines cut each other, the Ls which they make at the pt. where they cut, together = four rt s. Cor. 2. And consequently that all the Ls made by any number of lines, meeting at one pt., together = four rt. Ls. [The learner should work out the corollaries. No construction is required in this theorem: no more lines are needed than those specified in the particular enunciation.] |