Для доказательства данного утверждения воспользуемся теоремой косинусов.
Обозначим длины отрезков от точек A, B, C и D как AB = a, BC = b, CD = d и DA = x.
Так как угол ADB острый, то (\angle ABD < 90^\circ) и следовательно,[\cos(\angle ADB) = \frac{AB^2 + BD^2 - AD^2}{2 \cdot AB \cdot BD} > 0.]
Подставим в данное неравенство известные значения:[\cos(\angle ADB) = \frac{a^2 + b^2 - (x + d)^2}{2 \cdot a \cdot b} > 0.]
Раскроем скобки и преобразуем неравенство:[\frac{a^2 + b^2 - (x^2 + d^2 + 2 \cdot x \cdot d)}{2 \cdot a \cdot b} > 0.]
Упростим выражение:[\frac{(b - d)^2 - x^2}{2 \cdot a \cdot b} > 0.]
Так как сторона треугольника не может быть отрицательной, то (b > d). Следовательно,[(b - d)^2 > 0 \quad \text{и} \quad x^2 < (b - d)^2.]
Таким образом, имеем:[\frac{(b - d)^2 - x^2}{2 \cdot a \cdot b} > 0,]
что означает, что (b > \frac{2 \cdot a \cdot x + 2 \cdot a \cdot d}{2 \cdot b} = BD).
Таким образом, доказано, что (BC > BD).
Для доказательства данного утверждения воспользуемся теоремой косинусов.
Обозначим длины отрезков от точек A, B, C и D как AB = a, BC = b, CD = d и DA = x.
Так как угол ADB острый, то (\angle ABD < 90^\circ) и следовательно,
[
\cos(\angle ADB) = \frac{AB^2 + BD^2 - AD^2}{2 \cdot AB \cdot BD} > 0.
]
Подставим в данное неравенство известные значения:
[
\cos(\angle ADB) = \frac{a^2 + b^2 - (x + d)^2}{2 \cdot a \cdot b} > 0.
]
Раскроем скобки и преобразуем неравенство:
[
\frac{a^2 + b^2 - (x^2 + d^2 + 2 \cdot x \cdot d)}{2 \cdot a \cdot b} > 0.
]
Упростим выражение:
[
\frac{(b - d)^2 - x^2}{2 \cdot a \cdot b} > 0.
]
Так как сторона треугольника не может быть отрицательной, то (b > d). Следовательно,
[
(b - d)^2 > 0 \quad \text{и} \quad x^2 < (b - d)^2.
]
Таким образом, имеем:
[
\frac{(b - d)^2 - x^2}{2 \cdot a \cdot b} > 0,
]
что означает, что (b > \frac{2 \cdot a \cdot x + 2 \cdot a \cdot d}{2 \cdot b} = BD).
Таким образом, доказано, что (BC > BD).