Подобны треугольники АВС и АВD, поскольку
угол АDB = угол CAB; измеряется половиной дуги АВ в окружности О2
угол BAD = угол ACB; измеряется половиной дуги АВ в окружности О1
поэтому АС/СВ = AD/AB; AC/AB = AD/BD; перемножаем :)))
AC^2/BC = AD^2/BD; это всё :))))