Дано: BC || AD, BF = DE, ∠AED = ∠CFB.
Доказать: AB || CD.
Доказательство:
- Т.к. BF = DE, то BF + FE = DE + FE, следовательно, BE = DF.
- Рассмотрим треугольники ΔAED и ΔCFB. В них:
- AE = CF (т.к. ∠AED = ∠CFB по условию),
- ∠AED = ∠CFB (по условию),
- DE = BF (по условию).
- Следовательно, ΔAED = ΔCFB по первому признаку равенства треугольников (по двум сторонам и углу между ними).
- Из равенства треугольников следует равенство углов: ∠DAE = ∠BCF.
- Т.к. BC || AD, то ∠BCA = ∠CAD как внутренние накрест лежащие углы при параллельных прямых BC и AD и секущей AC.
- ∠BAC = ∠BCA + ∠DAE = ∠CAD + ∠BCF = ∠DCF.
- Сумма односторонних углов ∠BAC и ∠ACD при прямых AB и CD и секущей AC равна 180°, ∠BAC + ∠ACD = ∠DAE + ∠CAD + ∠ACD = ∠DAE + 180° - ∠CDA, но это верно, только если ∠CDA = ∠CAD.
- Тогда ∠BAC + ∠ACD = 180°, следовательно, AB || CD (по признаку параллельности прямых, если сумма внутренних односторонних углов равна 180°, то прямые параллельны).
Что и требовалось доказать.
Ответ: Доказано.