$${O_1O = \dfrac{AB}{2}}$$