∠EDx=∠ECx ⇒ ∠ADE=∠BCE
∠AED=∠BEC как вертикальные углы при пересечении двух прямых AC и BD
ED=EC по условию
Следовательно, треугольники ADE и BEC равны по двум углам и стороне между ними (2-ой признак равенства треугольников), что и требовалось доказать.