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.

Let *ABC* and *DEF* be two triangles having the two sides *AB* and *AC* equal to the two sides *DE* and *DF* respectively, namely *AB* equal to *DE* and *AC* equal to *DF,* and the angle *BAC* equal to the angle *EDF.*

I say that the base *BC* also equals the base *EF,* the triangle *ABC* equals the triangle *DEF,* and the remaining angles equal the remaining angles respectively, namely those opposite the equal sides, that is, the angle *ABC* equals the angle *DEF,* and the angle *ACB* equals the angle *DFE.*

If the triangle *ABC* is superposed on the triangle *DEF,* and if the point *A* is placed on the point *D* and the straight line *AB* on *DE,* then the point *B* also coincides with *E,* because *AB* equals *DE.*

Again, *AB* coinciding with *DE,* the straight line *AC* also coincides with *DF,* because the angle *BAC* equals the angle *EDF.* Hence the point *C* also coincides with the point *F,* because *AC* again equals *DF.*

But *B* also coincides with *E,* hence the base *BC* coincides with the base *EF* and equals it.

Thus the whole triangle *ABC* coincides with the whole triangle *DEF* and equals it.

And the remaining angles also coincide with the remaining angles and equal them, the angle *ABC* equals the angle *DEF,* and the angle *ACB* equals the angle *DFE.*

Therefore *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.*

Q.E.D.

For more discussion of congruence theorems see the note after proposition I.26, the last of the congruence propositions.

Euclid frequently refers to one side of a triangle as its “base,” leaving the other two named “sides.” Any one of the sides might be chosen as the base, but once chosen, it remains the base for the rest of the discussion. This is simply a linguistic device to save words.

It is not clear what is meant by “superposing a triangle on a triangle” means. It has been variously interpreted as actually moving one triangle to cover the other or as simply associating parts of one triangle with parts of the other. For the two triangles illustrated in the figure, you can actually slide one over the other in a continuous motion within the plane. Note, however, that if one triangle is the mirror image of the other, then any continuous motion would require moving one triangle outside of the plane. But the triangles don’t have to be same plane to begin with, and they often are not in the same plane when this proposition is invoked in the books on solid geometry.

Whatever the intended meaning of superposition may be, there are no postulates to allow any conclusions based on superposition. One possibility is to add postulates based on a group of transformations of space, or if restricted to plane geometry, on a group of transformations of the plane. Charles Dodgson (a.k.a. Lewis Carroll) would have said that using group theory is not appropriate to an elementary exposition of Euclidean geometry. Heath has described a more elementary conservative basis in his commentary on this proposition.

Yet another alternative is to simply take this proposition as a postulate, or part of it as a postulate. For instance, Hilbert in his *Foundations of Geometry* takes as given that under the hypotheses of this proposition that the remaining angles equal the remaining angles. Then, Hilbert proves that the base equals the base.

Although the two triangles in this proposition appear to be in the same plane, that is not necessary. In Proposition XI.4 and many others in Book XI this proposition is applied to pairs of triangles in different planes.