Углы ВАС и BAD являются вписанными углами, опирающимися на дуги ВС и BD соответственно.
Если угол ВАС = 2 * угол BAD, то дуга ВС = 2 * дуга BD.
Равные дуги стягиваются равными хордами. Следовательно, хорда АС равна хорде AD.