To prove the Base Angles Theorem using the isosceles triangle \( \triangle ABC \), Easton should focus on the two smaller triangles formed by the midpoint \( D \) of \( BC \).
The two triangles he should consider are \( \triangle ABD \) and \( \triangle ACD \). Both of these triangles have the following characteristics:
- \( AB \cong AC \) (given that \( \triangle ABC \) is isosceles)
- \( AD \) is common to both triangles.
- \( BD \cong CD \) because \( D \) is the midpoint of \( BC \).
Thus, the criteria for the SSS (Side-Side-Side) Triangle Congruence Theorem is satisfied.
Therefore, the correct option is:
Option #2: \( \triangle ABD \cong \triangle ACD \) by the SSS Triangle Congruence Theorem.