Для доказательства того, что отрезок cd меньше отрезка cb, нам необходимо воспользоваться теоремой о биссектрисе треугольника.
Теорема о биссектрисе утверждает, что биссектриса угла треугольника делит противоположную сторону в отношении к двум другим сторонам, равным отношению этих сторон. Иначе говоря, отношение отрезка cb к отрезку cd равно отношению стороны ab к стороне ac.
Итак, для доказательства того, что cd меньше cb, нам нужно доказать, что отношение стороны ab к стороне ac больше, чем отношение отрезка cb к отрезку cd.
Таким образом, мы должны доказать, что ab / ac > cb / cd.
Пусть точка d делит сторону ac в отношении, равном x, тогда ad = x ac и dc = (1 - x) ac.
По теореме о биссектрисе ab / ac = bd / dc.
Таким образом, bd / dc = ab / ac, или bd = ab * dc / ac.
Теперь у нас есть два уравнения: bd = ab dc / ac и cd = (1 - x) ac.
Подставим первое уравнение во второе: cd = (1 - x) ac = (1 - x) (ac bd / ac) = (1 - x) bd.
Теперь мы видим, что cd = (1 - x) * bd, и, так как x < 1, то 1 - x > 0, следовательно, cd < bd.
Таким образом, доказано, что отрезок cd меньше отрезка cb в треугольнике abc.