Так как точка о является серединой отрезков ав и со, то отрезок оа равен отрезку ов и отрезку ос. Также отрезок ов равен отрезку оо (по определению середины отрезка) и отрезку об, так как точка о лежит на отрезке об и является его серединой.

Итак, мы имеем:
oa = ov = os
ov = oo = ob

Заметим, что треугольник асо – это равнобедренный треугольник, так как оa = os. Аналогично, треугольник dbo – также равнобедренный, так как оb = oo.

Таким образом, мы доказали, что треугольники асо и dbo равнобедренные и у них равны соответственно две стороны и угол между ними.