Доказательство:
Дано: AB = DF, CB = DE.
Рассмотрим треугольники ABC и DFE.
- AB = DF (по условию).
- CB = DE (по условию).
- ∠ABC = ∠DFE (это не дано, но предположим, что это так, чтобы доказать равенство треугольников по двум сторонам и углу между ними. Если это не так, то доказательство невозможно).
- Если ∠ABC = ∠DFE, то треугольник ABC равен треугольнику DFE по двум сторонам и углу между ними (по первому признаку равенства треугольников).
- Из равенства треугольников следует равенство соответствующих углов. Следовательно, ∠BAC = ∠FDE.
- Углы ∠BAC и ∠FDE являются накрест лежащими при прямых AB и DF и секущей AF (или AC, если бы она была секущей).
- Так как накрест лежащие углы равны, то прямые AB и DF параллельны.
Таким образом, AB || DF.
Примечание: Для полного доказательства необходимо, чтобы угол между сторонами AB и CB был равен углу между сторонами DF и DE. Если это не так, доказательство невозможно.