13665. В треугольнике ABC
проведены биссектрисы AD
и BE
. Оказалось, что AB+BD=AE+BE
. Докажите, что либо \angle ABC=2\angle ACB
, либо \angle ABC=120^{\circ}
.
Решение. Первый способ. Обозначим \angle CBE=\angle ABE=\alpha
.
На продолжении стороны AB
за точку B
отложим отрезок BF=BD
. Тогда BE
— биссектриса внешнего угла при вершине B
равнобедренного треугольника DBF
, поэтому (см. задачу 1174) BE\parallel DF
, и
\angle BFD=\angle BDF=\angle DBE=\alpha.
Пусть F'
— точка, симметричная точке F
относительно прямой AD
. Угол симметричен относительно прямой, содержащей его биссектрису, поэтому F'
лежит на прямой AC
, и
\angle EF'D=\angle BF'D=\angle EBD=\alpha.
Тогда
AB+BD=AE+BE~\Leftrightarrow
\Leftrightarrow~AE+BE=AF=AF'=AE+EF~\Leftrightarrow~BE=F'E.
1. Предположим, что точки B
, D
и F'
лежат на одной прямой. Тогда точка F'
совпадает с C
, поэтому треугольник BEC
равнобедренный. Значит,
\angle ACB=\angle ECB=\angle CBE=\alpha=\frac{1}{2}\angle ABC.
2. Пусть теперь точки B
, D
и F'
не лежат на одной прямой. Тогда треугольник BDF'
(как и треугольник BEF'
) равнобедренный, поэтому
BD=DF'=DF.
Значит, треугольник BDF
равносторонний, и \angle DBF=60^{\circ}
. Следовательно, \angle ABC=120^{\circ}
.
Второй способ. Обозначим BC=a
, AC=b
, AB=c
, \angle ACB=\gamma
. Тогда (см. задачи 1509 и 4021)
BD=\frac{ac}{b+c},~AE=\frac{bc}{a+c},~BE=\frac{2ac\cos\frac{\beta}{2}}{a+c}.
Значит,
AB+BD=AE+BE~\Leftrightarrow~c+\frac{ac}{b+c}=\frac{bc}{a+c}+\frac{2ac\cos\frac{\beta}{2}}{a+c}~\Leftrightarrow
\Leftrightarrow~\frac{a^{2}-b^{2}+c^{2}+2ac+ab}{b+c}=2a\cos\frac{\beta}{2},
а так как по теореме косинусов
a^{2}-b^{2}+c^{2}=2ac\cos\frac{\beta}{2},
то после деления обеих частей последнего равенства на a
, получаем
\frac{2c(1+\cos\beta)+b}{b+c}=2\cos\frac{\beta}{2},~\mbox{или}~\frac{4c\cos^{2}\frac{\beta}{2}+b}{b+c}=2\cos\frac{\beta}{2}.
Решив относительно \cos\frac{\beta}{2}
уравнение
4c\cos^{2}\frac{\beta}{2}-2(b+c)\cos\frac{\beta}{2}+b=0,
получим \cos\frac{\beta}{2}=\frac{1}{2}
или \cos\frac{\beta}{2}=\frac{b}{2c}
.
В первом случае \beta=120^{\circ}
.
Если \cos\frac{\beta}{2}=\frac{b}{2c}
, то
\frac{b}{c}=\frac{\sin\beta}{\sin\gamma}~\Rightarrow~\cos\frac{\beta}{2}=\frac{b}{2c}=\frac{\sin\frac{\beta}{2}\cos\frac{\beta}{2}}{\sin\gamma}~\Rightarrow~\sin\frac{\beta}{2}=\sin\gamma~\Rightarrow~\beta=2\gamma.
Примечание. Верно и обратное, если в треугольнике ABC
угол при вершине B
равен 120^{\circ}
или этот угол вдвое больше угла при вершине C
, то AB+BD=AE+BE
, где AD
и BE
— биссектрисы треугольника.
Источник: Журнал «Crux Mathematicorum». — 2001, № 1, задача 2501 (2000, с. 45), с. 52