ВБ Василий Будрик-Былинский треугольники конгруэнтны по стороне и 2 углам ( 90 и углы, лежащие друг против друга при пересечении двух прямых) и значит АО=ОВ