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