PROPOSITION XXIX. ( Argument ad absurdum).' Theorem. If a straight line fall upon two parallel straight lines, it makes the alternate angles equal to one another, and the exterior angle equal to the interior and opposite upon the same side; and the two interior angles upon the same side together equal to two right angles. the exterande and .. that _ AGH = _ GHD. 4. Prove that ZS EGB = L GHD, that ZS EGB + BGH = US BGH + GHD, that Z8 BGH + GHD = 2 right Zs. * The proof of this proposition depends on what is called the 12th Axiom, which, however, is so far from being an Axiom, that it is a Theorem quite as much in need of demon. stration as that which it is here brought forward to establish. The author is happy to state that the following proof of it has been pronounced to be generally satisfactory by most competent authority : PROPOSITION XXX.. Theorem. Straight lines which are parallel to the same straight line are parallel to one another. Proved by showing that the alternate ZS AGK, GKD are equal. PROPOSITION. “ If a right line meet two right lines, so as to make the two interior angles on the same side of it taken together less than two right angles, these right lines being continually produced, shall at length meet on that side on which are the angles which are less than two right angles.” Let the right line EF meet the two right lines AB, CD; and let the ZS BKL, KLD be together < 2 right Zs; MG then shall AB, CB meet, if produced far enough, towards the points B and D. Since lines which, when they are produced ever so far, and do not meet, are parallel lines; it is plain that lines which are not parallel will meet, if produced sufficiently; for, if not, they would be parallel by the definition. Now, let gh, a line passing through the point k in which EF cuts AB be such that ZS HKL + Z KLD = 2 right Zs, .. by Proposition XXVIII. GH || CD, .. AB is not || CD. For it cuts * GH, which is || CD, in the point k, * An axiom is here implied, which is as self-evident as any employed in Euclid ; viz., that through the same point there cannot be drawn two straight lines which shall both be parallel to the same straight line. PROPOSITION XXXI. Problem. To draw a straight line through a given point parallel to a Č given straight line. PROPOSITION XXXII. Theorem. If a side of any triangle be produced, the exterior angle is equal to the two interior and opposite angles; and the three interior angles of every triangle are equal to two right angles. Steps of the Demonstration. 1. Prove that the altern. Z BAC = alternate / ACE, And since AB, CD are not parallels, they will meet. Demon. Again, AB and cd will meet on that side of EF on which are the Zs which are < 2 right Zs; For suppose them to meet on the other side of EF, as in m, then KML would be a A ; And since ZS AKL + BKL = 2 right Zs, 13. 1 and Zs CLK + DLK = 2 right Zs, s .. the 4 ZS AKL + CLK + BKL + DLK = 4 right Zs, of which ZS BKL + DLK < 2 right Zs, Hypoth. i. LS AKL + CLK > 2 right Zs, and these, on the above supposition, and .. the supposition is false; Wherefore, if a right line, &c. &c. Q. E. D. 2. Prove that exterior ZECD = int. & opp. Z ABC, that whole ex. 2 ACD = 2 int. & opp. 28, CAB + ABC, that ZS ACD + ACB = Zs CAB + ABC + BCA, 5. that Zs ABC + BCA + CAB = 2 rt. Zs. Obs. The two corollaries which follow this proposition are of great use, and therefore necessary to be learned; there is one point in the first which may appear strange to a beginner, viz., that the Zs at the vertex F, are said to be equal .. y to 4 right Zs; but by in------ specting the annexed figure he will perceive that the Zs above the straight line MN are together equal to 2 right Zs (by Prop. XIII. 1.), and also the s below mn are together equal to 2 right Zs (by the same Proposition.) Hence all the ZS EFM + DFE + CFD + NFC + BFN + AFB + MFA = 4 right Zs, and since / EFM + ZMFA = whole / EFA, and < CFN + BFN = whole CFB, .. when the line mn is removed, the Zs round the point F will still be together = 4rt. Zs. PROPOSITION XXXIII. Theorem. The straight lines which join the extremities of equal and parallel straight lines towards the same parts are also themselves equal and parallel. PROPOSITION XXXIV. lelograms are equal to one ano- Steps of the Demonstration. 1. Prove that in As ABC, BCD, ZS ABC, BCA = Zs BCD, CBD, ea. to ea., the adjacent side BC being common, CAB = BDC 3. PROPOSITION XXXV. Theorem. Parallelograms upon the same base, and between the same parallels, are equal to each other. |