Прямоугольные треугольники ABC и ABD имеют общую гипотенузу AB. Известно, что BA — биссектриса угла CBD. Докажите, что AB — биссектриса угла CAD.

Давай докажем это шаг за шагом:

1. Что нам дано?
   1. Треугольники ABC и ABD — прямоугольные (углы C и D равны 90°).
   2. У них общая гипотенуза AB.
   3. BA — биссектриса угла CBD. Это значит, что угол CBA = угол DBA.
2. Что нужно доказать? Что AB — биссектриса угла CAD. Это значит, что нужно доказать, что угол CAB = угол DAB.
3. Рассмотрим треугольники ABC и ABD:
   1. У них есть общая гипотенуза AB.
   2. Углы C и D равны 90°.
   3. Мы знаем, что угол CBA = угол DBA (по условию, так как BA — биссектриса CBD).
4. Применяем признаки равенства прямоугольных треугольников:
   Треугольники ABC и ABD равны по гипотенузе и острому углу (AB — общая гипотенуза, угол CBA = угол DBA).
5. Что следует из равенства треугольников?
   Если треугольники равны, то все их соответствующие элементы равны. Следовательно:
   • AC = AD (соответствующие катеты).
   • BC = BD (соответствующие катеты).
   • Угол CAB = угол DAB (соответствующие острые углы).
6. Делаем вывод:
   Так как угол CAB = угол DAB, то отрезок AB делит угол CAD на два равных угла. По определению, это означает, что AB является биссектрисой угла CAD.

Что и требовалось доказать.