coincide with the point F, and the side Ac with the side Dr, which is equal to it.

Then, since the angle r is equal to the angle c (by hyp.), Also, because AC is the side BC will fall on the side EF equal to DF, and BC equal to EF (by hyp.), the point A will coincide with the point D, and the point B with the point E; consequently the side AB will coincide with the side DE. Therefore the two triangles are identical, and have all their other corresponding parts equal (ax. 9), namely, the side AB equal to the side DE, the angle A to the angle D, and the angle B to the angle E. Q. E D.

THEOREM IL

WHEN TWO Triangles have Two Angles and the included Side in the one, equal to Two Angles and the included Side in the other, the Triangles are Identical, or have their other sides and angle equal

Let the two triangles ABC, DEF, have the angie A equal to the angle D, the angle в equal to the angle E, and the side AB equal to the side DE; then these two triangles will be identical.

C

F

A

B D E

For, conceive the triangle ABC to be placed on the triangle DEF, in such manner that the side AB may fall exactly on the equal side DE Then, since the angle A is equal to the angle D (by hyp.), the side AC must fall on the side DF; and, in like manner, because the angle в is equal to the angle E, the side BC must fall on the side EF. Thus the three sides of the triangle ABC will be exactly placed on the three sides of the triangle DEF consequently the two triangles are identical (ax. 9), having the other two sides AC, BC, equal to the two DF EF, and the remaining angle c equal to the remaining angle F. Q. E. D.

THEOREM III

In an Isosceles triangle, the Angles at the Base are equal. Or, if a Triangle have Two Sides equal, their Opposite Angles will also be equal.

If the triangle ABC have the side Ac equal to the side BC: then will the angle B be equal to the angle A

For, conceive the angle c to be bisected, or divided into two equal parts by the line CD making the angle ACD equal to the angle BCD.

Then, the two triangles ACD, BCD, have two sides and the contained angle of the one, equal to two sides and the contained angle of the other, viz. the side Ac equal to BC, the angle ACD equal to BCD, and the side CD common; therefore these two triangles are identical, or equal in all respects (th. 1); and consequently the angle A equal to the angle B. q. E. D.

Corol. 1. Hence the line which bisects the verticle angle of an isosceles triangle, bisects the base, and is also perpendicular to it.

Corol. 2. Hence too it appears, that every equilateral triangle, is also equiangular, or has all its angles equal.

THEOREM IV.

WHEN a Triangle has Two of its Angles equal, the Sides Opposite to them are also equal.

If the triangle ABC, have the angle A equal to the angle B, it will also have the side AC equal to the side BC.

For, conceive the side AB to be bisected

in the point D, making AD equal to DB;

C

and join Dc, dividing the whole triangle into A D B the two triangles ACD, BCD. Also conceive

the triangle ACD to be turned over upon the triangle BCD, so that AD may fall on BD.

Then, because the line AD is equal to the line DB (by hyp.), the point A coincides with the point B, and the point D with the point D. Also, because the angle a is equal to the angle

by (hyp.), the line ac will fall on the line BC, and the extremity c of the side AC will coincide with the extremity & of the side BC, because nc is common to both; consequently the side AC is equal to Bc. Q. E. D.

Corol. Hence every equiangular triangle is also equilateral.

THEOREM V.

WHEN TWO Triangles have all the Three Sides in the one, equal to all the Three Sides in the other, the Triangles are Identical, or have also their Three Angles equal, each to each, Let the two triangles ABC, ABD,

have their three sides respectively equal, viz. the side AB equal to AB, AC to AD, and BC to BD; then shall the two trianglesbeidentical,orhave their angles equal, viz. those angles

*This demonstration of Theorem iv. does not appear to me to be

Conclusive. EDITOR.

that

that are opposite to the equal sides; namely, the angle BAC to the angle BAD, the angle ABC to the angle ABD, and the angle c to the angle D.

For, conceive the two triangles to be joined together by their longest equal sides, and draw the line CD.

Then, in the triangle ACD, because the side ac is equal to AD (by hyp.), the angle ACD is equal to the angle ADC (th. 3). In like manner, in the triangle BCD, the angle BCD is equal to the angle BDC, because the side BC is equal Hence then, the angle ACD being equal to the angle ADC, and the angle BCD to the angle BDC, by equal additions the sum of the two angles ACD, BCD, is equal to the sum of the two ADC, BDC, (ax. 2), that is, the whole angle ACB equal to the whole angle ADB.

to BD.

Since then, the two sides AC, CB, are equal to the two sides AD, DB, each to each, (by hyp.), and their contained angles ACB, ADB, also equal, the two triangles ABC, ABD, are identical (th. 1), and have the other angles equal, viz. the angle BAC to the angle BAD, and the angle ABC to the angle ABD. QE. D.

THEOREM VI.

WHEN One Line meets another, the Angles which it makes on the Same Side of the other, are together equal to Two Right Angles.

Let the line AB meet the line CD: then will the two angles ABC, ABD,taken together, be equal to two right angles.

For, first. when the two angles ABC, ABD, are equal to each other, they are both of them right angles (def. 15.)

E

C B D

But when the angles are unequal, suppose BE drawn perpendicular to CD. Then, since the two angles EBC. EBD, are right angles (def. 15), and the angle EBD is equal to the two angles EBA, ABD, together (ax. 8), the three angles, EBC, EBA, and ABD. are equal to two right Angles.

But the two angles EBC, EBA, are together equal to the angle ABC (ax 8). Consequently the two angles abc, abd, are also equal to two right angles. Q. E. D.

Corol. 1. Hence also, conversely, if the two angles ABC, ABD, on both sides of the line AB, make up together two right angles, then CB and BD form one continued right

line CD.

Corol

Corol. 2. Hence, all the angles which can be made, at any point B, by any number of lines, on the same side of the right line CD, are, when taken all together, equal to two right angles.

Corol. 3, And, as all the angles that can be made on the other side of the line CD are also equal to two right angles; therefore all the angles that can be made quite round a point B, by any number of lines, are equal to four right angles.

F

Corol. 4 Hence also the whole circumference of a circle, being the sum of the measures of all the angles that can be made about the centre F (def. 57), is the measure of four right angles. Consequently, a semicircle, or 180 degrees, is the measure of two right angles; and a quadrant, or 90 degrees, the measure of one right angle.

THEOREM VII.

WHEN two Lines Intersect each other, the Opposite Angles

are equal.

Let the two lines AB, CD, intersect in the point E; then will the angle AEC be equal to the angle BED, and the angle AED equal to the angle CEB.

For since the line CE meets the line AB, the two angles AEC, BEC, taken together, are equal to two right angles (th. 6).

In like manner, the line BE, meeting the line CD, makes the two angles BEC, BED, equal to two right angles.

Therefore the sum of the two angles AEC, BEC, is equal to the sum of the two BEC, BED (ax. 1).

And if the angle BEC, which is common, be taken away from both these, the remaining angle AEC will be equal to the remaining angle BED (ax. 3).

And in like manner it may be shown, that the angle AED is equal to the opposite angle BEC.

THEOREM VIII.

WHEN One Side of a Triangle is produced, the Outward Angle is Greater than either of the two Inward Opposite Angles.

Let

Let ABC be a triangle, having the side AB produced to D; then will the outward angle CBD be greater than either of the inward opposite angles A

or c.

For, conceive the side BC to be bisected in the point E, and draw the line AE, producing it till EF be equal to AE; and join BF.

Then, since the two triangles AEC, BEF, have the side AE the side EF, and the side CE the side BE (by suppos.) and the included or opposite angles at E also equal (th 7), therefore those two triangles are equal in all respects (th. 1), and have the angle c the corresponding angle EBF. But the angle CBD is greater than the angle EBF; consequently the said outward angle CBD is also greater than the angle c.

In like manner, if CB be produced to G, and AB be bisected, it may be shown that the outward angle ABG, or its equal CBD, is greater than the other angle A.

THEOREM IX.

THE Greater Side, of every Triangle, is opposite to the Greater Angle; and the Greater Angle opposite to the Greater Side.

Let ABC be a triangle, having the side AB greater than the side AC; then will the angle ACB, opposite the greater side AB, be greater than the angle в, opposite the less side Ac.

A

DB

For, on the greater side AB, take the part AD equal to the less side Ac, and join CD. Then, since BCD is a triangle, the outward angle ADC is greater than the inward opposite angle в (th. 8). But the angle ACD is equal to the said outward angle ADC, because AD is equal to AC (th. 3). Consequently the angle ACD also is greater than the angle в. And since the angle ACD is only a part of ACB, much more must the whole angle ACB be greater than the angle B. Q. E. D.

Again, conversely, if the angle c be greater than the angle B, then will the side AB, opposite the former, be greater than the side AC, opposite the latter.

For, if AB be not greater than AC, it must be either equal to it, or less than it. But it cannot be equal, for

then