Ответ:

По рисунку E лежит на AB, а D — на AC. Тогда BE = AB − AE, а CD = AC − AD. Из AB = AC и AE = AD следует:

BE = AB − AE = AC − AD = CD.

Если в обрезанном заключении требуется доказать BE = CD, это следует из равенства данных отрезков. Чтобы проверить полную формулировку, нужен фрагмент с продолжением после «что B…».