Треугольники О1АО2 и О1ВО2 равны по трем сторонам, тогда равны углы при вершине О1. О1Х - биссектриса равнобедренного треугольника, а значит, и высота.
Треугольники О1АО2 и О1ВО2 равны по трем сторонам, тогда равны углы при вершине О1. О1Х - биссектриса равнобедренного треугольника, а значит, и высота.