Для начала, обозначим точку пересечения отрезков AB и CD как точку P.
Для того чтобы доказать, что луч AB является биссектрисой угла CAD, нам нужно показать, что отношение длин отрезков AC и CB равно отношению длин отрезков AP и PB.
Используя теорему пересекающихся отрезков, мы можем утверждать, что:
AC / CB = AD / DB
Теперь посмотрим на треугольник ABC. Если мы разделим его высоту AP на две части в точке P, то получим два треугольника: APB и APC. Соответственно, высота AD также будет разделена на две части в точке P, и мы получим два треугольника: APD и CPD.
Теперь сравним эти два треугольника:
APB и APC: поскольку высота AP разделена на равные части в точке P, и отношение длин отрезков AC и CB также равно, то эти два треугольника будут подобными.
APD и CPD: аналогично предыдущему случаю, эти два треугольника также будут подобными.
Таким образом, получаем, что:
APB ~ APC и APD ~ CPD
Теперь, заметим, что отношение длин отрезков AP и PB в треугольнике APB является тем же, что и отношение длин отрезков AC и CB в треугольнике ABC:
AP / PB = AC / CB
Аналогично, отношение длин отрезков AP и PD в треугольнике APD является тем же, что и отношение длин отрезков AC и CD в треугольнике ABC:
AP / PD = AC / CD
Таким образом, мы получаем, что:
AP / PB = AC / CB = AC / CD = AP / PD
Из этого следует, что:
AP / PB = AP / PD
Из чего следует, что угол CAD делится прямой AP на две равные части и, следовательно, луч AB является биссектрисой угла CAD.
Аналогично, можно доказать, что луч CD является биссектрисой угла ACB.
