§ 3. Признаки равенства треугольников → номер 36
ΔADC, ΔACB, ΔCBD, ΔBDA являются равнобедренными по определению (т. к. у них 2 стороны равны), таким образом, биссектрисы АО, ОВ, СО, OD являются высотами соответствующих треугольников.
Следовательно, АО ⊥ CD и ОВ ⊥ CD, а это по т. 2.3. возможно лишь если АВ ⊥ CD, что и требовалось доказать.