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