Чтобы доказать, что угол \( ABE = угол ADF \) и треугольник \( ABE \) равен треугольнику \( CDF \), воспользуемся данными о равенстве отрезков и свойствами биссектрис.
Дано:
- \( AB = CD \)
- \( BD = AC \)
- \( BE \) — биссектриса угла \( ABC \)
- \( DF \) — биссектриса угла \( ADC \)
Докажем, что угол \( ABE = угол ADF \): Поскольку \( BE \) является биссектрисой угла \( ABC \), угол \( ABE \) равен углу \( CBA \). Аналогично, поскольку \( DF \) является биссектрисой угла \( ADC \), угол \( ADF \) равен углу \( CDA \). Из равенства отрезков \( AB = CD \) и равенства отрезков \( BD = AC \) следует, что треугольники \( ABE \) и \( CDF \) имеют равные углы:
- \( угол ABE = угол CBA \)
- \( угол ADF = угол CDA \)
Поэтому \( угол ABE = угол ADF \).
Теперь мы можем доказать, что треугольник \( ABE \) равен треугольнику \( CDF \): Используя критерий равенства треугольников по двум сторонам и углу между ними (SAS):
- \( AB = CD \) — одна пара сторон.
- \( AC = BD \) — вторая пара сторон.
- \( угол ABE = угол ADF \) — угол между ними.
Таким образом, по критериям равенства треугольников у нас есть: \[ \triangle ABE \cong \triangle CDF \]
Окончательное утверждение: \( угол ABE = угол ADF \) и \( \triangle ABE = \triangle CDF \) доказаны.
