Guide

Guide: 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

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

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