6102. Дан равнобедренный треугольник ABC
с углом 12^{\circ}
между боковыми сторонами AB
и AC
. Точки D
и E
лежат на сторонах AC
и AB
соответственно, причём \angle CBD=42^{\circ}
и \angle BCE=18^{\circ}
. Докажите, что \angle EDB=12^{\circ}
Решение. Положим AB=AC=1
. Высота равнобедренного треугольника, проведённая из вершины A
, является медианой и биссектрисой, поэтому BC=2\sin6^{\circ}
.
Пусть прямая, проведённая через точку C
перпендикулярно AC
, пересекает прямую AB
в точке F
, а прямая, проведённая через точку E
перпендикулярно AC
, пересекает прямую AC
в точке G
. Тогда
\angle AFC=90^{\circ}-12^{\circ}=78^{\circ}.
Поскольку
\angle ABC=\angle ACB=\frac{1}{2}(180^{\circ}-12^{\circ})=84^{\circ},
то
\angle FEC=\angle BEC=180^{\circ}-84^{\circ}-18^{\circ}=78^{\circ}=\angle AFC=\angle EFC.
Тогда из равнобедренного треугольника ECF
и прямоугольного треугольника ACF
получаем
CE=CF=AC\tg\angle BAC=\tg12^{\circ}.
Кроме того,
\angle ACE=90^{\circ}-\angle ECF=90^{\circ}-(180^{\circ}-2\cdot78^{\circ})=66^{\circ},
\angle DBE=\angle CBE-\angle CBD=84^{\circ}-42^{\circ}=42^{\circ},
поэтому BD
— биссектриса треугольника ABC
. Тогда (см. задачу 1509)
CD=\frac{CD}{AC}=\frac{BC}{AB+BC}=\frac{2\sin6^{\circ}}{1+2\sin6^{\circ}}=\frac{\sin6^{\circ}}{\frac{1}{2}+\sin6^{\circ}}=
=\frac{\sin6^{\circ}}{\sin30^{\circ}+\sin6^{\circ}}=\frac{\sin6^{\circ}}{2\sin18^{\circ}\cos12^{\circ}}.
Докажем теперь, что GC=GD
, или CG=\frac{1}{2}CD
. Действительно,
GC=\frac{1}{2}CD~\Leftrightarrow~EC\cos66^{\circ}=\frac{1}{2}CD~\Leftrightarrow~CF\cos66^{\circ}=\frac{1}{2}CD~\Leftrightarrow~
~\Leftrightarrow~\tg12^{\circ}\cos66^{\circ}=\frac{1}{2}CD~\Leftrightarrow~\tg12^{\circ}\cos66^{\circ}=\frac{\sin6^{\circ}}{4\sin18^{\circ}\cos12^{\circ}}~\Leftrightarrow~
~\Leftrightarrow~4\sin12^{\circ}\sin18^{\circ}\sin24^{\circ}=\sin6^{\circ}~\Leftrightarrow~
~\Leftrightarrow~8\cos6^{\circ}\sin18^{\circ}\sin24^{\circ}=1~\Leftrightarrow~4\sin18^{\circ}(2\sin24^{\circ}\cos6^{\circ}=1~\Leftrightarrow~
~\Leftrightarrow~4\sin18^{\circ}(\sin30^{\circ}+\sin18^{\circ})=1~\Leftrightarrow~2\sin18^{\circ}+4\sin^{2}18^{\circ}=1~\Leftrightarrow~
~\Leftrightarrow~\sin18^{\circ}=\frac{\sqrt{5}-1}{4}.
Последнее равенство верно (см. задачу 1494). Значит, CG=GD
, поэтому треугольник CDE
равнобедренный. Следовательно,
\angle EDB=\angle EDC-\angle BDC=\angle ECD-(\angle BAC+\angle DBE)=
=66^{\circ}-(12^{\circ}+42^{\circ})=12^{\circ}
Что и требовалось доказать.