Опишите и докажите свойства ортоцентра, центров вписанной и описанной окружностей треугольника при движении одной вершины по данной линии (например, по окружности или по прямой); какие траектории описывают эти центры?
Кратко опишу общую постановку и затем рассмотрю два типичных примера (вершина AAA движется по прямой или по окружности). Пусть вершины треугольника обозначены A,B,CA,B,CA,B,C; в рассуждениях удобно считать B=(−c,0), C=(c,0)B=(-c,0),\;C=(c,0)B=(−c,0),C=(c,0) (т. е. середина BCBCBC в начале координат, перпендикулярный биссектор — ось OyOyOy). Обозначим центры: OOO — описанный, HHH — ортоцентр, III — вписанный. 1) Общие факты (коротко, доказательства очевидны) - Описанный центр OOO всегда лежит на перпендикулярном биссекторе стороны BCBCBC. Доказательство: центр окружности, проходящей через BBB и CCC, равноудален от BBB и CCC ⇒ лежит на биссекторе. - Вписанный III даётся векторной формулой (барицентр по длинам сторон) I=aA+bB+cCa+b+c,
I=\frac{aA+bB+cC}{a+b+c}, I=a+b+caA+bB+cC,
где a=∣BC∣, b=∣CA∣, c=∣AB∣a=|BC|,\;b=|CA|,\;c=|AB|a=∣BC∣,b=∣CA∣,c=∣AB∣. - Ортоцентр и описанный связаны линейно: H=A+B+C−2O.
H=A+B+C-2O. H=A+B+C−2O.
(Доказательство: в координатах с началом в OOO радиус-векторы вершин имеют модуль RRR, сумма этих векторов равна радиусу-вектору ортоцентра относительно OOO.) 2) Параметризация при общей установке Пусть A=(u,v)A=(u,v)A=(u,v) (переменная точка). Тогда из равенства OA=OBOA=OBOA=OB (и O=(0,t)O=(0,t)O=(0,t)) получаем u2+(v−t)2=c2+t2 ⟹ t=u2+v2−c22v.
u^2+(v-t)^2=c^2+t^2\;\Longrightarrow\; t=\frac{u^2+v^2-c^2}{2v}. u2+(v−t)2=c2+t2⟹t=2vu2+v2−c2.
Отсюда: - Описанный центр O=(0,t)O=(0,t)O=(0,t) однозначно определяется AAA формулой выше; следовательно для любых движений AAA траектория OOO — подмножество прямой перпендикулярного биссектора x=0x=0x=0, конкретно множество точек { (0,t) ∣ t=u2+v2−c22v для (u,v)∈Γ },
\Big\{\,(0,t)\ \Big|\ t=\frac{u^2+v^2-c^2}{2v}\text{ для }(u,v)\in\Gamma\,\Big\}, {(0,t)t=2vu2+v2−c2для(u,v)∈Γ},
где Γ\GammaΓ — кривая, по которой движется AAA. - Ортоцентр по формуле H=A+B+C−2OH=A+B+C-2OH=A+B+C−2O даёт координаты H=(u, v−2t).
H=(u,\;v-2t). H=(u,v−2t).
Подставляя выражение для ttt, Hx=u,Hy= v−u2+v2−c2v=c2−u2v.
H_x=u,\qquad H_y=\;v-\frac{u^2+v^2-c^2}{v}=\frac{c^2-u^2}{v}. Hx=u,Hy=v−vu2+v2−c2=vc2−u2.
- Вписанный III через стороны даётся нелинейно (корни квадратные: b=∣CA∣=(u−c)2+v2b=|CA|=\sqrt{(u-c)^2+v^2}b=∣CA∣=(u−c)2+v2 и т. д.), поэтому его зависимость от AAA — немероприятно выражаемая рационально функция. 3) Случай: AAA движется по прямой v=ku+bv=k u+bv=ku+b
- Для описанного центра: подставка в формулу для ttt даёт рациональную функцию t(u)=u2+(ku+b)2−c22(ku+b).
t(u)=\frac{u^2+(k u+b)^2-c^2}{2(ku+b)}. t(u)=2(ku+b)u2+(ku+b)2−c2.
Следовательно OOO описывает некоторый отрезок (или луч, или множество точек) на прямой x=0x=0x=0 — именно те ttt для которых существует uuu. Это тривиальный факт: OOO всегда на x=0x=0x=0; при движении AAA по прямой OOO монотонно изменяет координату ttt по указанной формуле (возможны разрывы в точках, где v=0v=0v=0). - Для ортоцентра: подставка v=ku+bv=ku+bv=ku+b в предыдущую формулу даёт параметризацию H(u)=(u, c2−u2ku+b).
H(u)=\bigl( u,\; \frac{c^2-u^2}{k u+b}\bigr). H(u)=(u,ku+bc2−u2).
Устраняя параметр uuu получаем уравнение второго порядка для координат (X,Y)(X,Y)(X,Y) точки HHH: X2+kXY+bY−c2=0.
X^2 + k X Y + bY - c^2 =0. X2+kXY+bY−c2=0.
Это уравнение коники (квадратическое) в плоскости. Следовательно при движении вершины AAA по прямой траектория ортоцентра — коника (во многих типичных случаев — парабола). Доказательство получено прямой подстановкой и исключением параметра. - Для вписанного: подстановка v=ku+bv=ku+bv=ku+b в выражение I=aA+bB+cCa+b+cI=\dfrac{aA+bB+cC}{a+b+c}I=a+b+caA+bB+cC приводит к уравнению, содержащему корни вида (u±c)2+(ku+b)2\sqrt{(u\pm c)^2+(ku+b)^2}(u±c)2+(ku+b)2. После устранения корней обычно получается алгебраическая кривая более высокого порядка (типично кубика или кривая 4-го порядка). Таким образом общий вид траектории III — сложная алгебраическая кривая (обычно не коника). 4) Случай: AAA движется по окружности Γ\GammaΓ
Пусть Γ: u2+(v−s)2=r2\Gamma:\;u^2+(v-s)^2=r^2Γ:u2+(v−s)2=r2 (центр на оси OyOyOy). Тогда из формулы для tttt=2sv+(r2−s2)−c22v=s+r2−s2−c22v,
t=\frac{2s v + (r^2-s^2)-c^2}{2v}=s+\frac{r^2-s^2-c^2}{2v}, t=2v2sv+(r2−s2)−c2=s+2vr2−s2−c2,
т. е. ttt выражается через 1/v1/v1/v. Значит: - Описанный центр O=(0,t)O=(0,t)O=(0,t) пробегает некоторый отрезок/дугу на прямой x=0x=0x=0 — это множество центров окружностей, проходящих через B,CB,CB,C и имеющих пересечения с Γ\GammaΓ. Граница этого множества соответствует центрам окружностей, проходящих через B,CB,CB,C и касающихся Γ\GammaΓ. - Ортоцентр: подстановка в H=(u, v−2t)H=(u,\;v-2t)H=(u,v−2t) даёт параметризацию H(u)=(u, v−2t(v))H(u)=\bigl(u,\;v-2t(v)\bigr)H(u)=(u,v−2t(v)) с условием u2+(v−s)2=r2u^2+(v-s)^2=r^2u2+(v−s)2=r2. После исключения параметра получаем квадратическое (т. е. коническое) уравнение для HHH. Следовательно в общем случае ортоцентр снова описывает конику (для специальных симметрий — окружность, эллипс или парабола). Частный простой случай: если центр Γ\GammaΓ совпадает с серединой MMM отрезка BCBCBC (т. е. s=0s=0s=0), то u2+v2=r2u^2+v^2=r^2u2+v2=r2 и из формулы получается простая параметризация, дающая в результате снова окружность (гомотетия/сдвиг); поэтому при этой симметрии HHH движется по окружности. - Вписанный III зависит от длин сторон (см. формулу в п.1). Для AAA на окружности уравнение траектории III опять будет алгебраическим, общего случая порядка ≥3; в специальных симметричных случаях (напр., если окружность Γ\GammaΓ располагается особым образом относительно B,CB,CB,C) может получиться коника или окружность. 5) Выводы и правила «на практике» - Описанный центр всегда движется по перпендикулярному биссектору стороны, содержащей две фиксированные вершины; поэтому его траектория — подмножество этой прямой (точки, соответствующие центрам окружностей через фиксированные B,CB,CB,C пересекающих исходную линию/окружность). - Ортоцентр связан с AAA и OOO линейно (H=A+B+C−2OH=A+B+C-2OH=A+B+C−2O); как следствие, при движении AAA по прямой или по окружности траектория HHH — коника (в общем положении). В частных симметричных случаях — парабола, окружность и т. п. - Вписанный центр зависит от длин сторон и потому описывает более сложную алгебраическую кривую; общая степень обычно ≥3, но в специальных конфигурациях тоже может стать коникой или окружностью. Если нужно, могу: - привести полные выводы (полное исключение параметра и явные уравнения коник) для конкретного числового примера (задать c,k,bc,k,bc,k,b или конкретную окружность Γ\GammaΓ), или - вывести уравнение траектории для III в конкретном частном случае.
1) Общие факты (коротко, доказательства очевидны)
- Описанный центр OOO всегда лежит на перпендикулярном биссекторе стороны BCBCBC. Доказательство: центр окружности, проходящей через BBB и CCC, равноудален от BBB и CCC ⇒ лежит на биссекторе.
- Вписанный III даётся векторной формулой (барицентр по длинам сторон)
I=aA+bB+cCa+b+c, I=\frac{aA+bB+cC}{a+b+c},
I=a+b+caA+bB+cC , где a=∣BC∣, b=∣CA∣, c=∣AB∣a=|BC|,\;b=|CA|,\;c=|AB|a=∣BC∣,b=∣CA∣,c=∣AB∣.
- Ортоцентр и описанный связаны линейно:
H=A+B+C−2O. H=A+B+C-2O.
H=A+B+C−2O. (Доказательство: в координатах с началом в OOO радиус-векторы вершин имеют модуль RRR, сумма этих векторов равна радиусу-вектору ортоцентра относительно OOO.)
2) Параметризация при общей установке
Пусть A=(u,v)A=(u,v)A=(u,v) (переменная точка). Тогда из равенства OA=OBOA=OBOA=OB (и O=(0,t)O=(0,t)O=(0,t)) получаем
u2+(v−t)2=c2+t2 ⟹ t=u2+v2−c22v. u^2+(v-t)^2=c^2+t^2\;\Longrightarrow\; t=\frac{u^2+v^2-c^2}{2v}.
u2+(v−t)2=c2+t2⟹t=2vu2+v2−c2 . Отсюда:
- Описанный центр O=(0,t)O=(0,t)O=(0,t) однозначно определяется AAA формулой выше; следовательно для любых движений AAA траектория OOO — подмножество прямой перпендикулярного биссектора x=0x=0x=0, конкретно множество точек
{ (0,t) ∣ t=u2+v2−c22v для (u,v)∈Γ }, \Big\{\,(0,t)\ \Big|\ t=\frac{u^2+v^2-c^2}{2v}\text{ для }(u,v)\in\Gamma\,\Big\},
{(0,t) t=2vu2+v2−c2 для (u,v)∈Γ}, где Γ\GammaΓ — кривая, по которой движется AAA.
- Ортоцентр по формуле H=A+B+C−2OH=A+B+C-2OH=A+B+C−2O даёт координаты
H=(u, v−2t). H=(u,\;v-2t).
H=(u,v−2t). Подставляя выражение для ttt,
Hx=u,Hy= v−u2+v2−c2v=c2−u2v. H_x=u,\qquad H_y=\;v-\frac{u^2+v^2-c^2}{v}=\frac{c^2-u^2}{v}.
Hx =u,Hy =v−vu2+v2−c2 =vc2−u2 . - Вписанный III через стороны даётся нелинейно (корни квадратные: b=∣CA∣=(u−c)2+v2b=|CA|=\sqrt{(u-c)^2+v^2}b=∣CA∣=(u−c)2+v2 и т. д.), поэтому его зависимость от AAA — немероприятно выражаемая рационально функция.
3) Случай: AAA движется по прямой v=ku+bv=k u+bv=ku+b - Для описанного центра: подставка в формулу для ttt даёт рациональную функцию
t(u)=u2+(ku+b)2−c22(ku+b). t(u)=\frac{u^2+(k u+b)^2-c^2}{2(ku+b)}.
t(u)=2(ku+b)u2+(ku+b)2−c2 . Следовательно OOO описывает некоторый отрезок (или луч, или множество точек) на прямой x=0x=0x=0 — именно те ttt для которых существует uuu. Это тривиальный факт: OOO всегда на x=0x=0x=0; при движении AAA по прямой OOO монотонно изменяет координату ttt по указанной формуле (возможны разрывы в точках, где v=0v=0v=0).
- Для ортоцентра: подставка v=ku+bv=ku+bv=ku+b в предыдущую формулу даёт параметризацию
H(u)=(u, c2−u2ku+b). H(u)=\bigl( u,\; \frac{c^2-u^2}{k u+b}\bigr).
H(u)=(u,ku+bc2−u2 ). Устраняя параметр uuu получаем уравнение второго порядка для координат (X,Y)(X,Y)(X,Y) точки HHH:
X2+kXY+bY−c2=0. X^2 + k X Y + bY - c^2 =0.
X2+kXY+bY−c2=0. Это уравнение коники (квадратическое) в плоскости. Следовательно при движении вершины AAA по прямой траектория ортоцентра — коника (во многих типичных случаев — парабола). Доказательство получено прямой подстановкой и исключением параметра.
- Для вписанного: подстановка v=ku+bv=ku+bv=ku+b в выражение I=aA+bB+cCa+b+cI=\dfrac{aA+bB+cC}{a+b+c}I=a+b+caA+bB+cC приводит к уравнению, содержащему корни вида (u±c)2+(ku+b)2\sqrt{(u\pm c)^2+(ku+b)^2}(u±c)2+(ku+b)2 . После устранения корней обычно получается алгебраическая кривая более высокого порядка (типично кубика или кривая 4-го порядка). Таким образом общий вид траектории III — сложная алгебраическая кривая (обычно не коника).
4) Случай: AAA движется по окружности Γ\GammaΓ Пусть Γ: u2+(v−s)2=r2\Gamma:\;u^2+(v-s)^2=r^2Γ:u2+(v−s)2=r2 (центр на оси OyOyOy). Тогда из формулы для ttt t=2sv+(r2−s2)−c22v=s+r2−s2−c22v, t=\frac{2s v + (r^2-s^2)-c^2}{2v}=s+\frac{r^2-s^2-c^2}{2v},
t=2v2sv+(r2−s2)−c2 =s+2vr2−s2−c2 , т. е. ttt выражается через 1/v1/v1/v. Значит:
- Описанный центр O=(0,t)O=(0,t)O=(0,t) пробегает некоторый отрезок/дугу на прямой x=0x=0x=0 — это множество центров окружностей, проходящих через B,CB,CB,C и имеющих пересечения с Γ\GammaΓ. Граница этого множества соответствует центрам окружностей, проходящих через B,CB,CB,C и касающихся Γ\GammaΓ.
- Ортоцентр: подстановка в H=(u, v−2t)H=(u,\;v-2t)H=(u,v−2t) даёт параметризацию H(u)=(u, v−2t(v))H(u)=\bigl(u,\;v-2t(v)\bigr)H(u)=(u,v−2t(v)) с условием u2+(v−s)2=r2u^2+(v-s)^2=r^2u2+(v−s)2=r2. После исключения параметра получаем квадратическое (т. е. коническое) уравнение для HHH. Следовательно в общем случае ортоцентр снова описывает конику (для специальных симметрий — окружность, эллипс или парабола).
Частный простой случай: если центр Γ\GammaΓ совпадает с серединой MMM отрезка BCBCBC (т. е. s=0s=0s=0), то u2+v2=r2u^2+v^2=r^2u2+v2=r2 и из формулы получается простая параметризация, дающая в результате снова окружность (гомотетия/сдвиг); поэтому при этой симметрии HHH движется по окружности.
- Вписанный III зависит от длин сторон (см. формулу в п.1). Для AAA на окружности уравнение траектории III опять будет алгебраическим, общего случая порядка ≥3; в специальных симметричных случаях (напр., если окружность Γ\GammaΓ располагается особым образом относительно B,CB,CB,C) может получиться коника или окружность.
5) Выводы и правила «на практике»
- Описанный центр всегда движется по перпендикулярному биссектору стороны, содержащей две фиксированные вершины; поэтому его траектория — подмножество этой прямой (точки, соответствующие центрам окружностей через фиксированные B,CB,CB,C пересекающих исходную линию/окружность).
- Ортоцентр связан с AAA и OOO линейно (H=A+B+C−2OH=A+B+C-2OH=A+B+C−2O); как следствие, при движении AAA по прямой или по окружности траектория HHH — коника (в общем положении). В частных симметричных случаях — парабола, окружность и т. п.
- Вписанный центр зависит от длин сторон и потому описывает более сложную алгебраическую кривую; общая степень обычно ≥3, но в специальных конфигурациях тоже может стать коникой или окружностью.
Если нужно, могу:
- привести полные выводы (полное исключение параметра и явные уравнения коник) для конкретного числового примера (задать c,k,bc,k,bc,k,b или конкретную окружность Γ\GammaΓ), или
- вывести уравнение траектории для III в конкретном частном случае.