If two triangles have the two sides equal to two sides respectively, and have also the base equal to the base, they will also have the angles equal which are contained by the equal straight lines.
若两个三角形的三边分别相等，则它们的角也分别相等。
三角形 ABC 与 DEF 三边对应相等。把 ABC 平移到 EF 上，G 是假设两边不重合时的另一位置——由命题 7 不存在。
正文图形由校订坐标生成；点、线、角、圆可与证明和问答联动。
Let ABC, DEF be two triangles having the two sides AB, AC equal to the two sides DE, DF respectively, namely AB to DE, and AC to DF; and let them have the base BC equal to the base EF; I say that the angle BAC is also equal to the angle EDF. For, if the triangle ABC be applied to the triangle DEF, and if the point B be placed on the point E and the straight line BC on EF, the point C will also coincide with F, because BC is equal to EF.
把一个三角形放到另一个上，使一条相等边重合。
Then, BC coinciding with EF, BA, AC will also coincide with ED, DF; for, if the base BC coincides with the base EF, and the sides BA, AC do not coincide with ED, DF but fall beside them as EG, GF, then, given two straight lines constructed on a straight line (from its extremities) and meeting in a point, there will have been constructed on the same straight line (from its extremities), and on the same side of it, two other straight lines meeting in another point and equal to the former two respectively, namely each to that which has the same extremity with it.
另外两条对应边也相等，所以端点只能落在同一位置；否则会违反 euclid-elements/book1-prop-007。
But they cannot be so constructed. [I. 7] Therefore it is not possible that, if the base BC be applied to the base EF, the sides BA, AC should not coincide with ED, DF; they will therefore coincide, so that the angle BAC will also coincide with the angle EDF, and will be equal to it.
三个端点重合后，三角形整体重合。
If therefore etc.
由公理 4，对应角相等。
不看完整证明，说明本命题中为什么不能只凭图形直观看出结论。请至少提到一个前提和一个要证关系：若两个三角形的三边分别相等，则它们的角也分别相等。
看一个提示
- 先写“已知什么”，再写“要证什么”。
- 把你用到的定义、公设或前文命题编号写出来。