Угол АОД=углу СОВ как вертикальные...
АО (АОД)=ОВ (СОВ), ОД (АОД)=ОС (СОВ).
имеем две стороны одного треугольника и угол между ними = двум сторонам другого треугольника и углу между ними... 1 признак раверства треугольников. следовательно треугольники равны.
Ну, если на глаз, то примерно вот так:
С-(A ∧B∧C)
∧- понимать как знак пересечения
Элементы множества С без элементов, которые одновременно входя в множестов А, В и С
Сначала давайте докажем, что треугольник BCD подобен треугольнику BEA:
Угол В общий;
Угол BEA=BDC=90'
=> треугольник BCD подобен треугольнику BEA по первому признаку подобия треугольников.
-----
Честно, не знаю как дальше, но, возможно, если AB=BC, то BE=BD, что и требовалось доказать
Применена теорема Пифагора