13609. Точки I_{b}
и I_{c}
— центры вневписанных окружностей треугольника ABC
, касающихся сторон AC
и AB
соответственно. Докажите, что если
I_{b}A^{2}+I_{b}C^{2}=BA^{2}+BC^{2}~\mbox{и}~I_{c}A^{2}+I_{c}B^{2}=CA^{2}+CB^{2},
то треугольник ABC
равносторонний.
Решение. Пусть I_{a}
— центр вневписанной окружности ABC
, касающейся стороны BC
. Тогда I_{a}A
, I_{b}B
и I_{c}C
— высоты остроугольного треугольника I_{a}I_{b}I_{c}
(см. задачу 4769).
Обозначим, I_{b}I_{c}=a
, I_{a}I_{c}=b
, I_{a}I_{b}=c
, а углы при вершинах I_{a}
, I_{b}
и I_{c}
треугольника I_{a}I_{b}I_{c}
— \alpha
, \beta
и \gamma
соответственно. Тогда из соответствующих прямоугольных треугольников получаем
I_{b}A=c\cos\beta,~I_{b}C=a\cos\beta,~I_{c}A=b\cos\gamma,~I_{c}B=a\cos\gamma,
а также (см. задачу 19)
BA=c\cos\gamma,~BC=a\cos\alpha,~CA=b\cos\beta,~CB=a\cos\alpha.
Значит,
I_{b}A^{2}+I_{b}C^{2}=c^{2}\cos^{2}\beta+a^{2}\cos^{2}\beta=(c^{2}+a^{2})\cos^{2}\beta,
BA^{2}+BC^{2}=c^{2}\cos^{2}\gamma+a^{2}\cos^{2}\alpha,
I_{c}A^{2}+I_{c}B^{2}=b^{2}\cos^{2}\gamma+a^{2}\cos^{2}\gamma=(b^{2}+c^{2})\cos^{2}\gamma,
CA^{2}+CB^{2}=b^{2}\cos^{2}\beta+a^{2}\cos^{2}\alpha.
Таким образом, получили систему
\syst{(c^{2}+a^{2})\cos^{2}\beta=c^{2}\cos^{2}\gamma+a^{2}\cos^{2}\alpha\\(b^{2}+c^{2})\cos^{2}\gamma=b^{2}\cos^{2}\beta+a^{2}\cos^{2}\alpha.\\}
Прибавив к обеим частям первого равенства b^{2}\cos^{2}\beta
, а к обеим частям второго — c^{2}\cos^{2}\gamma
, получим равенство
(a^{2}+b^{2}+c^{2})\cos^{2}\beta=(a^{2}+b^{2}+c^{2})\cos^{2}\gamma,
откуда \beta=\gamma
(поскольку \beta+\gamma\ne180^{\circ}
). Тогда из первое равенство системы примет вид
(c^{2}+a^{2})\cos^{2}\gamma=c^{2}\cos^{2}\gamma+a^{2}\cos^{2}\alpha,~\mbox{или}~a^{2}\cos^{2}\gamma=a^{2}\cos^{2}\alpha,
откуда \alpha=\gamma
. Значит, \alpha=\beta=\gamma
, и треугольник I_{a}I_{b}I_{c}
равносторонний, а так как
\alpha=90^{\circ}-\frac{1}{2}\angle A,~\beta=90^{\circ}-\frac{1}{2}\angle B,~\gamma=90^{\circ}-\frac{1}{2}\angle C
(см. задачу 4770), то
\angle A=180^{\circ}-2\alpha,~\angle B=180^{\circ}-2\beta,~\angle C=180^{\circ}-2\gamma.
Следовательно, \angle A=\angle B=\angle C
, и треугольник ABC
тоже равносторонний.