Угол АСD равен углу САВ, по свойству равенства треугольников (сдесь
берется треугольник АВС и АДС) : АВ=ДС, АД=БС, угол между этими
сторонами =90 градусов. угол АВD=углу ВDC по этому же свойству. Из
равенства треугольников находим еще угол ВДС=АСД, и САВ=АВД. Зная по
условию, что АБ=ДС, и углы
ВДС=АСД, и САВ=АВД, мы доказали что треугольник АВО=ДОС, а значит стороны АО=БО=ДО=СО