EF - средняя линия трапеции, EF||AD
В равнобедренном треугольнике BFA медиана EF является высотой.
EF⊥AB => AD⊥AB
