Если провести через точку 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; так как напротив большего угла в треугольнике лежит большая сторона.
Якщо даний чотирикутник розділити діагоналлю (наприклад АС) на два трикутники, то якщо з"єднати попарно середини сторін (точки М і N, та К і Р) отримаємо середні лінії трикутників, які паралельні третій стороні, тобто діагоналі, а отже паралельні між собою (МN || KP). Якщо провести у чотирикутнику і іншу діагональ (ВД), то аналогічно отримаємо, що МК || NP. Отже отримали чотирикутник МNPK у якому сторони попарно паралельні, як відомо такий чотирикутник - це паралелограм, а у паралелограма протилежні кути - рівні, що й треба було довести.
∠AKB = ∠DBC; это - внутренние накрест лежащие углы; а
∠DBC = ∠ABD; так как BD - биссектриса
получилось, что треугольник AKB - равнобедренный.
Теперь понятно, что для того, чтобы прямая AD пересекла BС в точке C за точкой D, то есть чтобы существовал треугольник ABC, нужно, чтобы точка D лежала ближе к B, чем K.
Отсюда ∠ADB > ∠AKB = ∠ABD; и AB > AD; так как напротив большего угла в треугольнике лежит большая сторона.
Якщо провести у чотирикутнику і іншу діагональ (ВД), то аналогічно отримаємо, що МК || NP.
Отже отримали чотирикутник МNPK у якому сторони попарно паралельні, як відомо такий чотирикутник - це паралелограм, а у паралелограма протилежні кути - рівні, що й треба було довести.