Для того чтобы доказать равенство \( AB^2 = BC \cdot BD \) в равнобедренном треугольнике \( ABC \) с основанием \( AB \), проведем биссектрису \( AD \) из вершины \( A \) к стороне \( BC \), и при этом предполагаем, что \( AD = CD \).
- Поскольку \( ABC \) — это равнобедренный треугольник, то \( AB = AC \).
- Мы знаем, что \( AD \) является биссектрисой, следовательно, она делит угол \( BAC \) на два равных угла: \( \angle BAD = \angle CAD \).
- Учитывая, что \( AD = CD \) и \( AB = AC \), можно рассмотреть треугольник \( ACD \) и треугольник \( ABD \).
- В треугольнике \( ACD \) осталось рассмотреть \( \triangle ACD \) и \( \triangle ADB \) с \( AD = CD \) и углом \( C \).
Теперь воспользуемся теоремой о биссектрисе, которая утверждает, что отношение отрезков, на которые делится сторона, будет равно отношению смежных сторон:
\[ \frac{AB}{AC} = \frac{BD}{DC}. \]
Поскольку \( AB = AC \), то:
\[ \frac{BD}{DC} = 1 \implies BD = DC. \]
Обозначим \( BD = DC = x \). Тогда \( BC = BD + DC = x + x = 2x \).
Теперь выражаем длину \( AB \) через \( x \):
Используя свойства равнобедренного треугольника и по теореме о биссектрисе, получаем:
\[ AB^2 = AD^2 + BD^2 \]
Так как \( AD = CD \), то:
\[ AB^2 = DC^2 + BD^2. \]
Теперь можем записать:
\[ AB^2 = x^2 + x^2 = 2x^2. \]
С другой стороны, учитывая \( BC = 2x \):
\[ BC \cdot BD = (2x) \cdot x = 2x^2. \]
Таким образом, мы приходим к выводу, что:
\[ AB^2 = BC \cdot BD, \]
что и требовалось доказать.
Следовательно, равенство \( AB^2 = BC \cdot BD \) выполнено.