По условию, треугольники \( \triangle ABC \) и \( \triangle DEF \) — прямоугольные. Это значит, что \( \angle C = 90^{\circ} \) и \( \angle E = 90^{\circ} \).
Также дано, что \( AB = DF \) и \( BC = EF \).
Рассмотрим \( \triangle ABC \) и \( \triangle DEF \).
У нас есть:
По двум катетам (признак равенства прямоугольных треугольников), \( \triangle ABC = \triangle DEF \).
Из равенства треугольников следует равенство соответствующих углов. Следовательно, \( \angle BAC = \angle EDF \).
Углы \( \angle BAC \) и \( \angle EDF \) являются накрест лежащими при прямых \( AB \) и \( DF \) и секущей \( AD \).
Так как накрест лежащие углы равны, то прямые \( AB \) и \( DF \) параллельны.
Доказано.