Доказательство:
Пусть угол ADB равен x, угол ABD равен y.
Так как угол B тупой, то y > 90 градусов.
Также из условия известно, что AD - биссектриса угла BAC.
Из данного свойства биссектрисы следует, что угол BAD равен углу CAD.
Таким образом, у нас имеется два равных угла ADB и BAD, каждый из которых равен x.
Теперь в треугольнике ADB сумма углов равна 180 градусов:
x + x + y = 180
2x + y = 180
Учитывая, что y > 90, мы можем заключить, что 2x < 90.
То есть, x < 45.
Рассмотрим треугольник ABD. По неравенству треугольника у нас справедливо:
AB + BD > AD
AB + AB*sinx > AD
AB(1 + sinx) > AD
Так как sinx > sin45 (так как x < 45), то 1 + sinx > 1 + sin45 > 1 + 1/sqrt(2) > 1 + 1/1.41 > 2.41 > 2.
Значит, AB(1 + sinx) > 2AB > AD.
Таким образом, мы доказали, что AD больше чем AB.
Доказательство:
Пусть угол ADB равен x, угол ABD равен y.
Так как угол B тупой, то y > 90 градусов.
Также из условия известно, что AD - биссектриса угла BAC.
Из данного свойства биссектрисы следует, что угол BAD равен углу CAD.
Таким образом, у нас имеется два равных угла ADB и BAD, каждый из которых равен x.
Теперь в треугольнике ADB сумма углов равна 180 градусов:
x + x + y = 180
2x + y = 180
Учитывая, что y > 90, мы можем заключить, что 2x < 90.
То есть, x < 45.
Рассмотрим треугольник ABD. По неравенству треугольника у нас справедливо:
AB + BD > AD
AB + AB*sinx > AD
AB(1 + sinx) > AD
Так как sinx > sin45 (так как x < 45), то 1 + sinx > 1 + sin45 > 1 + 1/sqrt(2) > 1 + 1/1.41 > 2.41 > 2.
Значит, AB(1 + sinx) > 2AB > AD.
Таким образом, мы доказали, что AD больше чем AB.