Для доказательства, что \(AD = CD\), воспользуемся теорией биссектрисы и некоторыми известными свойствами треугольников.
Пусть \(D\) - точка на биссектрисе угла \(ABC\). По свойству биссектрисы \( \frac{AD}{DC} = \frac{AB}{BC} \). Подставляя известные значения, получаем: \[ \frac{AD}{DC} = \frac{AB}{BC} = \frac{2}{4} = \frac{1}{2} \] Если обозначить \(AD = x\), то \(DC = 2x\), и тогда \(AC = AD + DC = x + 2x = 3x\).
Теперь обратим внимание на треугольник \(CDE\) и его свойства: Так как угол \(CED = 90^\circ\), по теореме Пифагора в треугольнике \(CDE\) имеем: \[ CE^2 + DE^2 = CD^2 \] Где \(DE = 1\), поэтому: \[ CE^2 + 1^2 = CD^2 \] Таким образом, \[ CE^2 + 1 = CD^2 \]
Также, так как угол \(BDE\) прямой (поскольку \(BE = 3\) и \(DE = 1\)), можем воспользоваться теоремой Пифагора для треугольника \(BDE\): \[ BD^2 + DE^2 = BE^2 \] Но \(BE = 3\) и \(DE = 1\), поэтому: \[ BD^2 + 1^2 = 3^2 \] Это значит, \[ BD^2 + 1 = 9 \Rightarrow BD^2 = 8 \Rightarrow BD = 2\sqrt{2} \]
Теперь воспользуемся ранее найденным соотношением для \(AD\) и \(DC\): Поскольку \(AC = AD + DC\), мы можем выразить \(CD\): Используя свойства угла \(ABC\), у нас: \[ AB = 2, BC = 4 \Rightarrow AC = AD + DC = 3x \text{, где } x = AD \]
Для завершения доказательства подставим все найденные соотношения: У нас есть \(AC\) как \(x + 2x = 3x\). Таким образом, \(AD = x\) и \(CD = 2x\).
Из вышеизложенного видно, что \(AD = x\) и \(DC = x\), что дает: \[ AD = CD. \]
В результате мы доказали, что \(AD = CD\). ○