Для доказательства AC=BD воспользуемся теоремой о среднем перпендикуляре.
Поскольку точка O является серединой отрезка CD, то CO = DO. Также, по условию, отрезки AO и BO равны, следовательно, треугольники ACO и BDO равны по стороне-по стороне-по стороне.
Из равенства треугольников следует, что угол ACO равен углу BDO (по свойству равных треугольников). Таким образом, углы ACO и BDO являются вертикально противоположными и равны.
Теперь рассмотрим треугольники AOC и BOD. У них есть две равные стороны (AO=BO и CO=DO), и углы ACO и BDO равны. По теореме о среднем перпендикуляре, такие треугольники равны, а значит, AC=BD.
Таким образом, доказано, что AC=BD.