Рассмотрим треугольники BCD и ACD.
Следовательно, треугольники BCD и ACD равны по первому признаку равенства треугольников (по двум сторонам и углу между ними).
Из равенства треугольников следует равенство соответствующих сторон: BD = AD.
Ответ: Доказано, что BD = AD.