Для доказательства, что луч AC — биссектриса угла ВАД, нужно показать, что угол BAC равен углу CAD. Рассмотрим, что AB = AD и BC = CD, значит, треугольники ABC и ACD равнобедренные. Углы при основании равны. Угол BAC равен углу ACB. Угол CAD равен углу ACD. Углы ACB и ACD равны, так как они смежные. Следовательно, угол BAC равен углу CAD, что доказывает, что AC — биссектриса угла ВАД.