Рассмотрим треугольники \( \triangle DAB \) и \( \triangle CBA \).
У нас есть:
По первому признаку равенства треугольников (по двум сторонам и углу между ними), \( \triangle DAB = \triangle CBA \).
Из равенства треугольников следует равенство соответствующих сторон. Следовательно, \( AC = BD \).
Доказано.