Ответ на вопрос
Обозначения. Пусть на сторонах \(AB,BC,CA\) внешне построены квадраты \(ABKL,\;BCMN,\;CAOP\). Обозначим центры этих квадратов через
\[
O_{c}\ \text{— центр квадрата на }AB,\qquad
O_{a}\ \text{— центр квадрата на }BC,\qquad
O_{b}\ \text{— центр квадрата на }CA.
\]
(Индекс совпадает с вершиной треугольника, противолежащей стороне квадрата.)
1) Базовые свойства центров (очевидные и всегда верные).
- Каждый центр лежит на перпендикуляре к соответствующей стороне через её середину:
\[
O_c\ \text{--- середина диагонали квадрата }ABKL\Rightarrow O_cM_{AB}\perp AB,
\]
где \(M_{AB}\) — середина \(AB\).
- Центр равноудалён от концов соответствующей стороны:
\[
O_cA=O_cB=\frac{AB}{\sqrt2},\qquad
O_aB=O_aC=\frac{BC}{\sqrt2},\qquad
O_bC=O_bA=\frac{CA}{\sqrt2}.
\]
2) Угловые соотношения у вершины треугольника.
Каждый отрезок из вершины к центру квадрата на прилежащей стороне образует с этой стороной угол \(45^\circ\). Поэтому для вершины \(A\)
\[
\angle (AO_b,AC)=45^\circ,\qquad \angle (AB,AO_c)=45^\circ,
\]
и следовательно
\[
\angle O_bAO_c=180^\circ-(45^\circ+ \angle A +45^\circ)=90^\circ-\angle A.
\]
Аналогично циклически:
\[
\angle O_cBO_a=90^\circ-\angle B,\qquad \angle O_aCO_b=90^\circ-\angle C.
\]
Из этого сразу: если \(\angle A=90^\circ\), то точки \(O_b,A,O_c\) коллинеарны; если \(\angle A0\).
3) Симметрические и равенственные случаи (условия на форму \(ABC\)).
- Если \(AB=AC\) (треугольник \(ABC\) равнобедрен в \(A\)), то точки \(O_b\) и \(O_c\) симметричны относительно биссектрисы/высоты из \(A\). Следовательно треугольник \(O_aO_bO_c\) симметричен относительно той же прямой и, в частности, он равнобедрен при вершине \(O_a\):
\[
AB=AC \Longrightarrow O_aO_b=O_aO_c.
\]
Аналогично для равенств других пар сторон: \(BC=BA\Rightarrow O_bO_c=O_bO_a\) и т.д.
- Если \(ABC\) правильный (равносторонний), то по симметрии треугольник центров \(O_aO_bO_c\) также равносторонний (и повернут относительно исходного).
4) Общая векторная формула (рабочий инструмент для дальнейших проверок).
Введём векторные координаты вершин \(A=a,\;B=b,\;C=c\) и поворот на \(+90^\circ\) обозначим оператором \(R\). Тогда центр квадрата на стороне \(BC\) даётся формулой
\[
O_a=\frac{b+c}{2}+\frac{1}{2}R(c-b),
\]
и циклически
\[
O_b=\frac{c+a}{2}+\frac{1}{2}R(a-c),\qquad
O_c=\frac{a+b}{2}+\frac{1}{2}R(b-a).
\]
Эти формулы позволяют алгебраически исследовать любые соотношения (параллельность, перпендикулярность, равенство отрезков) между отрезками с концами в центрах: достаточно выписать векторные разности \(O_i-O_j\) и исследовать их скалярные или векторные произведения.
5) Критерии прямоугольности и равнобедренности треугольника центров.
- Прямоугольность (например, в вершине \(O_a\)) эквивалентна ортогональности векторов:
\[
\triangle O_aO_bO_c\ \text{прямой в }O_a \iff (O_b-O_a)\cdot (O_c-O_a)=0.
\]
Подставляя выражения из пункта 4, получаем конкретное алгебраическое условие на векторы \(a,b,c\); это условие можно развернуть в формулу через длины сторон и косинусы углов (после раскрытия скалярных произведений). Таким образом формулировка критерия: прямой треугольник центров тогда и только тогда, когда векторы \(a,b,c\) удовлетворяют указанному скалярному уравнению.
- Равнобедренность, например \(O_aO_b=O_aO_c\), эквивалентно:
\[
|O_b-O_a|^2=|O_c-O_a|^2,
\]
и после подстановки формул из пункта 4 даёт конкретное условие на стороны/углы \(ABC\). В частности, по симметрии уже отмечено, что
\[
AB=AC \implies O_aO_b=O_aO_c,
\]
но это не единственное возможное решение уравнения; общее условие записывается в виде многочлена от скалярных произведений \(a\cdot b,\ a\cdot c,\ b\cdot c\) (или через длины сторон и косинусы).
6) Примеры и следствия.
- Если \(ABC\) равносторонний, то центры образуют равносторонний треугольник (по симметрии).
- Если \(ABC\) равнобедрен в \(A\) (то есть \(AB=AC\)), то треугольник центров равнобедрен в вершине \(O_a\).
- Для проверки конкретного случая (например, при заданных численных координатах вершин) достаточно воспользоваться формулами пункта 4 и проверить условия из пункта 5 (скалярное уравнение для прямого угла или равенства квадратов длин).
Краткое резюме:
- Всегда: \(O_cA=O_cB=\tfrac{AB}{\sqrt2}\) и \(\angle O_bAO_c=90^\circ-\angle A\) (и циклически).
- Симметрия \(ABC\) по оси даёт соответствующую симметрию у треугольника центров; равенство сторон \(ABC\) даёт равенство соответствующих отрезков между центрами.
- Точные критерии прямоугольности и равнобедренности треугольника центров формулируются через векторные равенства
\(\ (O_b-O_a)\cdot(O_c-O_a)=0\) и \(|O_b-O_a|=|O_c-O_a|\), где \(O_a,O_b,O_c\) заданы формулами
\(\displaystyle O_a=\frac{b+c}{2}+\frac{1}{2}R(c-b)\) и т.д.; раскрывая эти равенства, получают условия через длины сторон и углы \(ABC\).
Если нужно — могу развернуть один из пунктов: 1) дать полное алгебраическое разложение критерия прямого угла в вершине \(O_a\) в виде формулы через длины сторон; либо 2) привести наглядную иллюстрацию с численным примером.
Еще