Рассмотрим треугольник CDE. Точка K лежит на стороне CE.
Рассмотрим треугольник CKD. По условию, угол ∠CKD острый. Это означает, что \( \angle CKD < 90° \).
В треугольнике CKD, сумма углов равна 180°.
\( \angle KDC + \angle DCK + \angle CKD = 180° \)
Теперь рассмотрим треугольник CDE.
Угол ∠CDE является частью угла ∠KDC. Угол ∠CED (или ∠CE D) — это угол треугольника CDE.
Из треугольника CKD, мы знаем, что ∠CKD острый. Угол ∠CKD и угол ∠CKD являются смежными, их сумма равна 180°.
\( \angle CDK + \angle KDC + \angle CKD = 180° \)
В треугольнике CDE, внешний угол при вершине D, образованный продолжением стороны CD, будет равен сумме двух других углов. Однако, это не поможет напрямую доказать, что DE > DK.
Рассмотрим треугольник CKD. Если ∠CKD острый, то в треугольнике CKD, сторона DE (которая является стороной треугольника CDE, и лежит напротив угла ∠C) будет больше стороны DK, если ∠C < ∠CKD. Но это не всегда верно.
Переформулируем задачу. У нас есть треугольник CDE и точка K на стороне CE. Угол ∠CKD — острый. Нужно доказать DE > DK.
Рассмотрим треугольник CKD. Угол ∠CKD — острый. Угол ∠DKC — смежный с ∠CKD, поэтому ∠DKC = 180° - ∠CKD. Поскольку ∠CKD острый, то ∠DKC тупой (больше 90°).
В треугольнике CKD, напротив тупого угла ∠DKC лежит сторона CD. Напротив острого угла ∠CKD лежит сторона CD. Напротив угла ∠KDC лежит сторона CK.
Теперь посмотрим на треугольник CDE. Угол ∠CDE — это тот же угол, что и ∠KDE. Угол ∠CED — это угол E. Угол ∠DCE — это угол C.
В треугольнике CKD, мы имеем, что ∠CKD острый. Следовательно, ∠DKC тупой.
В треугольнике CDE, сторона DE лежит напротив угла ∠C. Сторона CD лежит напротив угла ∠CED. Сторона CE лежит напротив угла ∠CDE.
Рассмотрим треугольник DKЕ. В нем угол ∠DKЕ является смежным с ∠CKD, поэтому ∠DKЕ = 180° - ∠CKD, что делает его тупым. Угол ∠DEK — это угол ∠CED. Угол ∠EDK — это угол ∠EDK.
По теореме о соотношении между сторонами и углами в треугольнике: в треугольнике, против большего угла лежит большая сторона.
Рассмотрим треугольник DKЕ. Угол ∠DKЕ — тупой (так как ∠CKD острый, а ∠DKЕ и ∠CKD — смежные). Угол ∠DEK — это один из углов треугольника CDE. Угол ∠EDK — это угол ∠EDK.
В треугольнике DKЕ, угол ∠DKЕ является тупым. Это означает, что угол ∠DEK и угол ∠EDK — острые.
В треугольнике DKЕ, напротив угла ∠DEK лежит сторона DK. Напротив угла ∠EDK лежит сторона KE. Напротив тупого угла ∠DKЕ лежит сторона DE.
Так как ∠DKЕ — тупой угол в треугольнике DKЕ, то искомая сторона DE, лежащая напротив него, должна быть наибольшей стороной в этом треугольнике.
Следовательно, \( DE > DK \) и \( DE > KE \).
Доказано.