On Propositions I.4 through I.8
This next group of propositions includes two congruence propositions for triangles, I.4 and I.8, and two propositions about isosceles triangles, I.5 and I.6. Proposition I.7 is only used in I.8 and could have been made part of I.8, but was probably separated in order to reduce the length of the proof in I.8.
Proposition I.4
If two triangles have two sides equal to two sides respectively, and have the angles contained by the equal straight lines equal, then they also have the base equal to the base, the triangle equals the triangle, and the remaining angles equal the remaining angles respectively, namely those opposite the equal sides.
This is the familiar side-angle-side congruence proposition for triangles. When two triangles have two sides and the included angle equal, then the remaining sides, angle, and area are also equal, that is to say, they're congruent. Symbolically, given triangles ABC and DEF with AB = DE, AC = DF, and angle BAC = angle EDF, then the rest of the parts of the triangles are the same.
Euclid's proof of this proposition relies on the "principle of superposition". This principle is not supported by his postulates, and so it would be more appropriate to take I.4 as a postulate than pretend that it is adequately justified by its proof. For more discussion on this point, see the Guide for I.4.
There will be two other congruence propositions: I.8, side-side-side, and I.26, side and two angles.
Proposition I.5
In isosceles triangles the angles at the base equal one another, and, if the equal straight lines are produced further, then the angles under the base equal one another.
An isosceles triangle is defined in I.Def.20 as a triangle with two equal sides.
In the figure AB = AC, so triangle ABC is isosceles.
One of the properties of such triangles is that they also have two equal angles, the base angles of the triangle, angles ABC and ACB. That's the first part of the statement of Proposition I.5. The other conclusion is that the angles supplementary to the base angles are also equal, that is, angles DBC and ECB are equal.
Guide to Book I, continued
Previous page of the Guide
Book I Introduction
© 1999
D.E.Joyce
Clark University