Для доказательства равенства отрезков AB и CD, будем использовать свойства касательных и вписанных углов в окружности.
Поскольку окружность с центром O1 касается сторон угла в точках A и D, то отрезки AO1 и DO1 будут равны, так как они являются радиусами окружности.
Аналогично, так как окружность с центром O2 касается сторон угла в точках B и D, отрезки BO2 и DO2 также равны в силу свойств касательных к окружности.
Теперь, рассмотрим треугольники ADO1 и BDO2. У них стороны AD и BD общие (равны DO1 и DO2) и углы при вершине D равны, так как они являются вписанными углами, опирающимися на одну и ту же дугу AB.
Из равенства сторон AD = BD и углов ∠ADO1 = ∠BDO2 следует, что треугольники ADO1 и BDO2 равнобедренные.
В равнобедренных треугольниках основания равны, поэтому AB = CD. Таким образом, доказано, что AB равно CD.