Краткое пояснение: Если два угла, вписанные в окружность, равны и опираются на дуги, то эти дуги равны. Равные дуги соответствуют равным хордам.
Доказательство:
- Угол ∠BAC является вписанным углом, опирающимся на дугу BC.
- Угол ∠BAD является вписанным углом, опирающимся на дугу BD.
- По условию, ∠BAC = ∠BAD.
- Так как вписанные углы равны и опираются на дуги окружности, то и величины этих дуг равны: дуга BC = дуга BD.
- Хорды, стягивающие равные дуги в одной окружности, равны.
- Следовательно, хорда AC равна хорде AD.
Доказано