Ax. 1. (and its opp. sides are equal; EB, JAB Also AD meets the ||s AB, DE, TM, Prop. 28. <BAD+▲ ADE = 2 rt. s Constr. Ax. 3. Prop. 33. Ax. 1. ms thes ABE, BED, are rt. Ls, ..the figure ADEB is rectangular and equilat. Def. 30... the figure is a square, and descr. on AB. COR.-Every TM that has one rt. ▲, has PROP. XXXIX. THEOR. 47.1 Eu. In any right-angled triangle, the square which Let ABC be a rt. angled, having the rt. = On BC, BA, AC, descr. the squares BE, Prop. 38. GB, HC.* = 2 rt. s. CA is in the same str. line with AG. For the same reason AB is in the same str. line with AH, and DBC = FBA, ea. being a rt. • Def. 30. Add to each / ABC; .. whole DBA = whole / FBC, AB, BD = FB, BC, ea. to ea. ▲ DBA = ▲ FBC, ABDA FBC. Ax. 2. Def. 30. Prop. 4. Again, BL = 2 ABD and between Prop.35. Cor. 2. Squares and parallelograms are frequently expressed, for the sake of brevity, by the letters at their opposite angles; and the square on any line, as BC, is represented by BC2. In the same way, by joining AE, BK, it can be proved that whole square Ax. 2. i. e. CL square HC. BDEC = square GB+square HC, Wherefore, in any right-angled triangle, &c. If one side of a triangle be produced, and the exterior angle, also one of the interior and opposite angles, be each of them bisected; the remaining interior and opposite angle will be double the angle made by the bisecting lines. Let CBA be a A. Prod. BC to D, and let the ext. ACD be bisected by the str. line CE, and the int. and opp. ABC by the str. line BE. BAC2 BEC. Then will 1st. The lines CE, BE, will meet in some point, as E. For EBC + ≤ ECB; Prop. 12. S. but ECD+ ▲ ECB= 2 rt. Zs, EBC+ ECB < 2 rt. .. CE, BE, will meet on the the str. line BC on which the 2ndly. In ext.DCE = same side of Ax. 12. ABC is. the int. and opp. / s, Prop.31. .. 24 DCE or DCA = : 2 / CBE+2 / BEC · ▲ ABC+ ▲ BAC; Prop.31. BEC. Ax. 1. .. ZABC+2 BAC = ZABC+2 from these equals take ABC Wherefore, if one side of a triangle, &c. Note. This proposition is introduced on account of the explanation that it affords of the principle upon which the sextant depends. Ax. 3. DEFINITIONS. I. EVERY right-angled parallelogram, or rectangle, is said to be contained by any two of the straight lines which contain one of the right angles. II. In every parallelogram, any of the parallelograms about a diameter, together with the two complements, is called a a Gnomon. 'Thus the parallelogram HG, together with the complements AF, FC is the Gnomon; which is more briefly expressed by the letters AGK or EHC, which are at the opposite angles of the parallelograms which make the gnomon.' N.B.-The rectangle contained by any two straight lines AB, AĎ, is generally expressed by the words "rectangle of AB and AD;" or by "AB. AD." PROP. XLI. THEOR. 1. 2 Eu. If there be two straight lines, one of which is divided into any number of parts; the rect |