Доказательство:
- Т.к. AD - биссектриса угла BAC, то ∠BAD = ∠CAD.
- Т.к. DE || AC, то ∠EDA = ∠CAD как накрест лежащие углы.
- Из пунктов 1 и 2 следует, что ∠BAD = ∠EDA.
- В треугольнике ADE углы BAD и EDA равны, следовательно, этот треугольник равнобедренный (по признаку равнобедренного треугольника).
Что и требовалось доказать.