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