В треугольнике CDE сумма углов равна 180°. Найдем угол ∠E:
\[ \angle E = 180° - \angle C - \angle D = 180° - 90° - 30° = 60° \]EF — биссектриса угла ∠E, поэтому она делит его пополам:
\[ \angle CEF = \angle DEF = \frac{\angle E}{2} = \frac{60°}{2} = 30° \]Теперь рассмотрим треугольник DEF. У нас есть:
Так как \( \angle D = \angle DEF \), то треугольник DEF является равнобедренным с основанием DF.
В равнобедренном треугольнике DEF углы при основании равны (\( \angle D = \angle DEF = 30° \)). Следовательно, стороны, лежащие напротив этих углов, равны:
\[ DE = DF \]Теперь рассмотрим треугольник CDE:
В прямоугольном треугольнике катет, лежащий напротив угла в 30°, равен половине гипотенузы. Это катет CF:
\[ CF = \frac{1}{2} DE \]Так как \( DE = DF \), то
\[ CF = \frac{1}{2} DF \]Следовательно, отрезок CF в два раза меньше отрезка DF.