Для доказательства того, что в треугольнике ABC с прямым углом C и проведенной биссектрисой AD выполняется неравенство CD < BD, давайте рассмотрим следующее:
Пусть треугольник ABC имеет точку D, где AD - биссектриса угла CAB.
Из определения биссектрисы следует, что угол CAD = угол DAB.
Поскольку угол C прямой, то угол CAD и угол DAB дополняются до 90 градусов.
Таким образом, у нас получается, что треугольники ADC и ADB прямоугольные, где у них один из острых углов равен углу CAD (или DAB).
Поскольку угол CAD равен углу DAB, подобные треугольники ADC и ADB.
Из теории подобных треугольников мы знаем, что соответственные стороны пропорциональны. Таким образом, CD/BD = AD/AB.
Поскольку AD - биссектриса, она делит сторону AB на отрезки в пропорции BC/AC.
Получаем CD/BD = AC/BC.
Так как AD - биссектриса, то AD < AB, а значит AC < BC.
Следовательно, CD/BD = AC/BC < 1.
Отсюда вытекает, что CD < BD в треугольнике ABC с проведенной биссектрисой AD.
Таким образом, доказано неравенство CD < BD в данном треугольнике.