Треугольники ABD и ACB подобны по двум углам. Значит, CA : AB = AB : AD = CD : AD. С другой стороны, по свойству биссектрисы треугольника CA : AB = CE : BE. Поэтому CD : AD = CE: BE. Отсюда и из теоремы о пропорциональных отрезках следует, что DE || AB.
CA : AB = CE : BE. Поэтому CD : AD = CE: BE.
Отсюда и из теоремы о пропорциональных отрезках следует, что DE || AB.