PROP. VIII. THEOR. GEN. ENUN.-If two triangles have two sides of the one equal to two sides of the other, each to each, and have likewise their bases equal; the angle which is contained by the two sides of the one shall be equal to the angle contained by the two sides, equal to them, of the other. PART. ENUN.-Let ABC, DEF be two As, having the sides AB, AC to the two sides DE, DF, each to each; likewise let the base BC =base EF; then BAC shall be = EDF. DEMONST.-(By supraposition). 2. Now BC coinciding with EF, AB, AC shall also coincide with DE, DF. For if AB, AC, do not coincide with DE, DF, but take another direction, as, for instance, GE, GF, then upon the same base EF, and upon the same side of it, there can be two AS DEF, GEF, which have their sides terminated in one extremity of <S ECD, FDC, upon the other side of the base BCD CD, are equal. (Prop. V.) BDCBCD. 2. Also that they are =. D E F BCD, BC = BD, .. ▲ BDC = Now, if in 3. But it has been shown that BDC is > < BCD, which is impossible. The third case, in which the vertex of one ▲ is upon a side of the other, needs no demonstration. (See figure to Prop. VI.) Wherefore, upon the same base, and on the same side of it, &c.-Q. E. D. In the same way it may be proved that, if the sides BC, BD are equal, then AC, AD cannot be equal; and the student will do well to work out the demonstration. The proof includes what is called a demonstration á fortiori. C Euclid has established this theorem for the sole purpose of proving the next, to which it may therefore be considered as a Lemma; i. e. a proposition which is merely preparatory to the demonstration of another. The limitation that the two triangles should be upon the same side of the base is manifestly essential; for upon A the other side of the base AB, a ▲ ABD may be constructed in every respect similar and to the AABC. (Prop. IV.) PROP. VIII. THEOR. GEN. ENUN.-If two triangles have two sides of the one equal to two sides of the other, each to each, and have likewise their bases equal; the angle which is contained by the two sides of the one shall be equal to the angle contained by the two sides, equal to them, of the other. PART. ENUN.-Let ABC, DEF be two As, having the sides AB, AC = to the two sides DE, DF, each to each; likewise let the base BC base EF; then BAC shall be = EDF. DEMONST. (By supraposition). = 1. For if the ▲ ABC be applied to the a DEF, so that the pt. в be on E, and the st. line BC on EF, the pt. c shall coin cide with F, be cause BC= EF. (Hyp.) A A B F 2. Now BC coinciding with EF, AB, AC shall also coincide with DE, DF. For if AB, AC, do not coincide with DE, DF, but take another direction, as, for instance, GE, GF, then upon the same base EF, and upon the same side of it, there can be two AS DEF, GEF, which have their sides terminated in one extremity of the base to one another, and also those which are terminated in the other extremity, which is impossible. (Prop. VII.) 3. If.. the base BC coincides with Er, the sides AB, AC must coincide with DE, DF; and .. also the BAC coincides with EDF, and is to it. Wherefore, if two have two sides, &c.Q. E. D. This Proposition is the converse of the former part of the fourth. It contains the second condition of equality of two or more As; and the coincidence of the 4s contained by the two equal sides being proved, the equality of the areas and the remaining 4 follows from the Fourth Proposition. PROP. IX. PROB. GEN. ENUN.-To bisect a given rectilineal angle; that is, to divide it into two equal angles. PART. ENUN.-Let BAC be the gn. rectilineal 4; then it is required to bisect it. CONST.-In AB take any pt. D, and from AC cut off AE = AD. (Prop. III.) Join DE; and upon it describe an equilateral ▲ DEF. (Prop. I.) Join AF. The st. line AF bisects the BAC. DEMONST.-Because AD AE, * B D F and AF is common to AS DAF, EAF, .. the two sides DA, AF = EA, AF, each to each; and the base DF base EF (Const.); .. DAF =EAF. (Prop. VIII.) line, the DBE = EBA (Def. 10); .. the DBE CBE: i. e. the <= >, which is impossible. Therefore two straight lines cannot have a common segment.-Q. E. D. A E B D This corollary is placed by Euclid himself among the Axioms, and the simple proof, deduced from the Eleventh Proposition, was added by Dr. Simson. From the plain fact, however, that two straight lines cannot meet in more than one pt. without coinciding altogether, it is clear that a segment, or part cut (seco) from one straight line, cannot possibly belong to another also. With respect to the Proposition itself, it is clear that, if the gn. pt. be at or near the extremity of the line, it will be necessary to produce it: but if such production be impossible or inconvenient, the following method may be used : Ls to it. st. line; then it GEN. ENUN.-Through the extremity of a given finite straight line to draw a straight line at rt. PART. ENUN.-Let AB be a gn. finite is required to draw through в a st. line at rt. 4s to AB. 4s to AB CONST.-In AB take any pt. c, and through c draw CD at rt. (Prop. XI.), and make (Prop. III.) Bisect the CD = CB. D BCD in the st. line cE. (Prop. IX.) Again, through B D draw DE at rt. 4 to CD (Prop. XI.), meeting CE in E. Join BE (Post. 1). Then BE will be at rt. 4s to AB. DEMONST.-Because CB CD, and CE is common to the AECB, ECD; .. the two sides BC, CE = DC, CE, each to each, and the BCE = 4 DCE; .. the CBE = L |