И почему не доказано?АЕ =ЕС ,т.к треугольник равнобедренный ,углы равны ,потому что АЕ-биссектриса ( угол 1 и 2 равны по условию и равны углу 3 ,т.к треугольник АЕС равноб.) АВ по условию задачи равна половине стороны АС.АС в свою очередь основание равнобедренного треугольника ,к ней проведена высота ЕД ,которая является и медианой и биссектрисой ,значит АВ=АД=АС.