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