| In an isosceles triangle the angles at the base are equal. |
| |
| Let ABC be an isosceles triangle in which side AB is equal to side AC; |
| |
| then angle ABC is equal to angle ACB. |
 |
| |
| Let us conceive of this triangle as two triangles -- the triangles ABC |
| |
| and ACB -- and let us argue as follows. |
| |
| Since AB is equal to AC, and AC to AB, |
(Hypothesis) |
| |
| then the two sides BA, AC are equal to the two sides CA, AB respectively; |
| |
| and angle BAC is equal to angle CAB, because it is the same. |
| |
| Therefore those angles are equal that are opposite the equal sides: (S.A.S.) |
| |
| angle ABC, opposite side AC, is equal to angle ACB, opposite the equal side AB. |
| |
| Therefore, in an isosceles triangle the angles at the base are equal. |
| |
| Which is what we wanted to show. |