Если провести через точку A прямую параллельно BC, то она пересечет BD в точке K таким образом, что AK = AB. Это потому, что ∠AKB = ∠DBC; это - внутренние накрест лежащие углы; а ∠DBC = ∠ABD; так как BD - биссектриса получилось, что треугольник AKB - равнобедренный. Теперь понятно, что для того, чтобы прямая AD пересекла BС в точке C за точкой D, то есть чтобы существовал треугольник ABC, нужно, чтобы точка D лежала ближе к B, чем K. Отсюда ∠ADB > ∠AKB = ∠ABD; и AB > AD; так как напротив большего угла в треугольнике лежит большая сторона.
Рассмотрим треугольники BOC и DOA:
AO=0C и BO=OD- по условию;
<BOC = <DOA-как вертикальные;
треугольник ВОС = треугольнику DОА - по двум сторонам и углу между ними.
• В равных треугольниках углы, лежащие напротив равных сторон, равны.
<CBO лежит напротив ОС;
<ADO лежит напротив АО;
OC = AO следует <EBO = <ADO.
<CBO и <ADO - накрест лежащие углы при пересечении ВС и AD с секущей BD.
Раз <CBO=<ADO, то по признаку параллельности прямых получим, что вс|| AD. Что и требовалось доказать.
∠AKB = ∠DBC; это - внутренние накрест лежащие углы; а
∠DBC = ∠ABD; так как BD - биссектриса
получилось, что треугольник AKB - равнобедренный.
Теперь понятно, что для того, чтобы прямая AD пересекла BС в точке C за точкой D, то есть чтобы существовал треугольник ABC, нужно, чтобы точка D лежала ближе к B, чем K.
Отсюда ∠ADB > ∠AKB = ∠ABD; и AB > AD; так как напротив большего угла в треугольнике лежит большая сторона.