Чтобы доказать, что отрезок AD является биссектрисой угла BAC, воспользуемся свойством равных хорд.
Пусть точки B и C - точки пересечения хорд AB и AC с окружностью. В силу того, что AB и AC равны, углы OAB и OAC также равны .
Теперь рассмотрим треугольник OAB и треугольник OAC. Эти треугольники равны по двум сторонам и углу между ними . Следовательно, треугольники OAB и OAC равны.
Это равенство треугольников приводит к равенству углов: угол BAD равен углу CAD.
Таким образом, отрезок AD делит угол BAC пополам, то есть является биссектрисой угла BAC.