Итак, Тогда ЕС=АС.
Тогда FС=АС.
Если СF=АС и СЕ=АС, то треугольник ЕСF равнобедренный и биссектриса угла ЕСF является и высотой этого треугольника.
То есть CG перпендикулярна EF. Но биссектриса угла ЕСF параллельна биссектрисе угла ВАD, так как соответственные стороны этих углов параллельны.
Следовательно, биссектриса угла ВАD перпендикулярна прямой EF, что и требовалось доказать.
