Чего тут доказывать-то? треугольники ADF и ADE составляют треугольник AEF. эти два треугольника можно наложить один на другой, т.к. одна сторона у них общая, углы EAD и FAD равны из свойства биссектрисы, углы ADE и ADF равны из условия перпендикулярности прямой а и отрезка EF. раз два треугольника равны то и стороны AE и AF равны, а это означает, что треугольник AEF равнобедренный