В треугольнике ABC с биссектрисой BK мы знаем, что отрезок BK делит угол ABC на два равных угла. Таким образом, отрезок BK является биссектрисой угла ABC.
Из определения биссектрисы следует, что точка K делит сторону AC таким образом, что отношение отрезков AK и KC равно отношению сторон AB и BC. То есть, AK/KC = AB/BC.
Теперь рассмотрим треугольник CBK. По свойству биссектрисы, отрезок CK делит угол BCK на два равных угла. Таким образом, отрезок CK является биссектрисой угла BCK.
Из этого следует, что отрезки BC и CK также будут иметь отношение, аналогичное отношению отрезков AB и BK, то есть BC/KC = AB/BK.
Из этих двух равенств следует, что BC/KC = AB/BK = AK/KC. Следовательно, отрезок BC равен отрезку CK.