§ 3. Признаки равенства треугольников → номер 4
Т. к. ∠АСВ = ∠ECD (т. к. они вертикальные), ЕС = СВ, АС = CD (по построению), то ΔАСВ = ΔECD (по 1-му признаку ра-венства треугольников).
В равных треугольниках против равных углов лежат равные стороны. Таким образом, АВ = ED.