Для доказательства этого утверждения, мы воспользуемся тремя фактами:
Пересекающиеся отрезки AB и CD создают два вертикальных угла, угол CAD и угол ACB.
Если луч AD является биссектрисой угла CAD, то угол CAD равен углу BAD и углу ACD.
Если луч BC является биссектрисой угла ACB, то угол ACB равен углу BCD и углу BCA.
Из условия имеем, что отрезки AC, CB и BD являются биссектрисами углов CAD и ACB. Нам нужно доказать, что луч AB является биссектрисой угла CAD и луч CD является биссектрисой угла ACB.
Для начала рассмотрим угол CAD. Из факта 1 и факта 2 следует, что угол CAD равен углу BAD и углу ACD. Мы также знаем, что отрезки AC и CB являются биссектрисами угла CAD. Поэтому имеем:
угол CAD = угол BAD + угол ACD AC является биссектрисой угла CAD, поэтому угол BAD = угол DAC CB является биссектрисой угла CAD, поэтому угол ACD = угол DCA
Теперь мы можем заменить углы BAD и ACD, и получаем:
угол CAD = угол DAC + угол DCA
Но угол DAC и угол DCA - это два смежных дополнительных угла, и они равны. Поэтому:
угол DAC = угол DCA = x (пусть x - это значение угла)
Из этого следует:
угол CAD = x + x = 2x
Теперь рассмотрим угол ACB. Из факта 1 и факта 3 следует, что угол ACB равен углу BCD и углу BCA. Мы также знаем, что отрезки CB и BD являются биссектрисами угла ACB. Поэтому имеем:
угол ACB = угол BCD + угол BCA CB является биссектрисой угла ACB, поэтому угол BCD = угол DCB BD является биссектрисой угла ACB, поэтому угол BCA = угол DCB
Теперь мы можем заменить углы BCD и BCA, и получаем:
угол ACB = угол DCB + угол DCB
Но угол DCB - это два смежных дополнительных угла, и они равны. Поэтому:
угол DCB = угол DCB = y (пусть y - это значение угла)
Из этого следует:
угол ACB = y + y = 2y
Таким образом, мы доказали, что угол CAD равен 2x, а угол ACB равен 2y.
Теперь докажем, что луч AB является биссектрисой угла CAD. Для этого нужно показать, что угол BAD равен углу DAC. Но мы уже доказали, что угол BAD равен углу DAC и углу CAD. Поэтому для угла BAD имеем:
угол BAD = угол DAC
Таким образом, луч AB является биссектрисой угла CAD.
Аналогично, можно показать, что луч CD является биссектрисой угла ACB, используя рассуждения, аналогичные приведенным выше.
Таким образом, мы доказали, что луч AB является биссектрисой угла CAD, а луч CD является биссектрисой угла ACB.
