Проведем к стороне большего основания высоты BE и CF. Рассмотрим прямоугольные треугольники BED и AFC у них AC = BD (по условию), BE = CF (так как EBCF прямоугольник) ⇒ ΔBED = ΔAFC по катету и гипотенузе, следовательно AF = DE.
Заметим, что AE = AF - EF и FD = DE - EF, отсюда AE = FD.
Рассмотрим теперь прямоугольные треугольники ABE и CFD
у них BE = EF и AE = FD ⇒ ΔABE = ΔCFD ⇒ AB = CD следовательно, трапеция ABCD - равнобедренная