Вписанные углы BAC и BAD равны, следовательно равны дуги, на которые они опираются, ∪BC=∪BD. Диаметр делит окружность пополам. Из полуокружностей вычитаем равные дуги - получаем равные дуги, 180-∪BC=180-∪BD <=> ∪AC=∪AD. Равные дуги стягивают равные хорды, AC=AD.
