Надо доказать что АЕ=ЕС в рівнобедреному трикутникуАВС(АВ=ВС) , якщо АД=ДС. есть вложение.
так как AD = DC, ED - общая, угол EDA = угол EDC, то треугольники AED и CED - равные, следовательно AE = EC