Помоги решить 7 задачку)))

Д-во: т.к АВСD - квадрат, то АВ=ВС=СD=DA. Рассмотрим треугольники АВЕ и DAE.
У них:1)АВ=DA
2)угол ВАЕ = углу ЕАD(АС-диагональ)
3)АЕ-общая
Как следует АВЕ=DAE.
Осмотрим треугольники CBF и CDF.
У их:1)CD=CB
2)угол BCF = углу DCF(АС-диагональ)
3)СF - общая
Как следует CBF=CDF.
Осмотрим треугольники DAE и CBF.
У них:1)BC=AD
2)CF=AE( по условию)
3) угол BCF = углу EAD(накрест лежащие, при BCAD, AC-секущая)
Как следует DAE=CBF.
Следовательно BCF=BAE=AED=DCF. Потому BF=FD=DE=EB. От сода следует, что BFDE - ромб(все стороны одинаковы).
Что и требовалось доказать.