△ABCの∠Aの角の二等分線とBCの交点をMとすると、
BM=CMならば、AB=ACを証明しなさい。

いや、もっと簡単に角の二等分線の性質である
BA:AC=BM:MC
を使うとそのままAB=ACが証明されるのですね。