Исследуйте поведение центров вписанной и описанной окружностей треугольника при непрерывной деформации треугольника (две вершины фиксированы, третья движется по заданной кривой): какие траектории они образуют, при каких условиях пересекаются или совпадают, и как выражаются через функции координат
Кратко и по существу. Пусть фиксированы вершины A=(x1,y1)A=(x_1,y_1)A=(x1,y1) и B=(x2,y2)B=(x_2,y_2)B=(x2,y2), подвижная вершина CCC задаётся функцией времени или параметра ttt как C(t)=(x(t),y(t))C(t)=(x(t),y(t))C(t)=(x(t),y(t)). Обозначим длины сторон a=∣BC∣=(x−x2)2+(y−y2)2a=|BC|=\sqrt{(x-x_2)^2+(y-y_2)^2}a=∣BC∣=(x−x2)2+(y−y2)2, b=∣CA∣=(x−x1)2+(y−y1)2b=|CA|=\sqrt{(x-x_1)^2+(y-y_1)^2}b=∣CA∣=(x−x1)2+(y−y1)2, c=∣AB∣=(x2−x1)2+(y2−y1)2c=|AB|=\sqrt{(x_2-x_1)^2+(y_2-y_1)^2}c=∣AB∣=(x2−x1)2+(y2−y1)2. 1) Центр описанной окружности O=(u,v)O=(u,v)O=(u,v). - Геометрически: OOO — пересечение серединных перпендикуляров; так как OA=OBOA=OBOA=OB, то для любых CCC точка OOO лежит на неподвижном серединном перпендикуляре к отрезку ABABAB. Поэтому траектория центра описанной окружности при движении CCC — подмножество этой фиксированной прямой (включая точку на бесконечности при вырождении треугольника). - Координатная формула (решение системы OA2=OB2OA^2=OB^2OA2=OB2, OA2=OC2OA^2=OC^2OA2=OC2): {(x1−x2)u+(y1−y2)v=Sab,(x1−x)u+(y1−y)v=Sac,
\begin{cases} (x_1-x_2)u+(y_1-y_2)v=S_{ab},\\[4pt] (x_1-x)u+(y_1-y)v=S_{ac}, \end{cases} {(x1−x2)u+(y1−y2)v=Sab,(x1−x)u+(y1−y)v=Sac,
где Sab=12(x12−x22+y12−y22),Sac=12(x12−x2+y12−y2).
S_{ab}=\tfrac{1}{2}(x_1^2-x_2^2+y_1^2-y_2^2),\qquad S_{ac}=\tfrac{1}{2}(x_1^2-x^2+y_1^2-y^2). Sab=21(x12−x22+y12−y22),Sac=21(x12−x2+y12−y2).
Обозначим детерминант D=(x1−x2)(y1−y)−(y1−y2)(x1−x).
D=(x_1-x_2)(y_1-y)-(y_1-y_2)(x_1-x). D=(x1−x2)(y1−y)−(y1−y2)(x1−x).
Тогда (при D≠0D\neq 0D=0) u=Sab(y1−y)−(y1−y2)SacD,v=(x1−x2)Sac−Sab(x1−x)D.
u=\frac{S_{ab}(y_1-y)-(y_1-y_2)S_{ac}}{D},\qquad v=\frac{(x_1-x_2)S_{ac}-S_{ab}(x_1-x)}{D}. u=DSab(y1−y)−(y1−y2)Sac,v=D(x1−x2)Sac−Sab(x1−x).
Особые случаи: при коллинеарности A,B,CA,B,CA,B,C имеем D=0D=0D=0 — описанный центр уходит в бесконечность (радиус окружности стремится к бесконечности). 2) Центр вписанной окружности I=(Ix,Iy)I=(I_x,I_y)I=(Ix,Iy). - Геометрически: III — пересечение биссектрис; в барицентрических координатах I∝(a:b:c)I\propto (a:b:c)I∝(a:b:c). Значит в декартовых координатах Ix=ax1+bx2+cxa+b+c,Iy=ay1+by2+cya+b+c,
I_x=\frac{a x_1+b x_2+c x}{a+b+c},\qquad I_y=\frac{a y_1+b y_2+c y}{a+b+c}, Ix=a+b+cax1+bx2+cx,Iy=a+b+cay1+by2+cy,
где a,b,ca,b,ca,b,c определены выше. При плавном движении C(t)C(t)C(t) эти выражения дают гладкую (при отсутствии вырождений) кривую для I(t)I(t)I(t); она, вообще говоря, не рациональна и зависит от корней (длины сторон). 3) Свойства траекторий и условия пересечений/совпадения. - Траектории: - Траектория O(t)O(t)O(t) всегда лежит на одном и том же серединном перпендикуляре к ABABAB (то есть на прямой). В зависимости от кривой для CCC это будет некоторый (возможно ограниченный) отрезок или вся прямая; при вырождении треугольника точка может уходить в бесконечность. - Траектория I(t)I(t)I(t) — обычно гладкая кривая в плоскости, задаваемая функциями с корнями (зависит от длин сторон). В общем случае это сложная нерациональная кривая. - Когда III лежит на серединном перпендикуляре к ABABAB: это ровно условие равенства сторон AC=BCAC=BCAC=BC (треугольник с основанием ABABAB равнобедрен). Следовательно, пересечение траекторий (в смысле: в некоторый момент ttt обе точки лежат на одной прямой) происходит при таких моментах; однако совпадение O(t)=I(t)O(t)=I(t)O(t)=I(t) требует сильнейшего условия. - Совпадение O=IO=IO=I для одного и того же треугольника (то есть центр вписанной = центр описанной) происходит тогда и только тогда, когда треугольник правильный (равносторонний). Для фиксированного ABABAB это даёт не более двух положений CCC — вершины равносторонних треугольников, построенных на ABABAB по обе стороны. Формально условие O=IO=IO=I эквивалентно AC=BC=AB,
AC=BC=AB, AC=BC=AB,
и при этом OOO (он же III) лежит на серединном перпендикуляре к ABABAB в точке, равновесной для равностороннего треугольника. - Пересечения траекторий как множеств (то есть существует t1,t2t_1,t_2t1,t2 с I(t1)=O(t2)I(t_1)=O(t_2)I(t1)=O(t2)) возможны в общем случае; так как образ OOO — прямая, достаточно, чтобы образ III пересёк эту прямую. Условия для конкретных пересечений сводятся к решению уравнений Ix(t1)=u(t2)I_x(t_1)=u(t_2)Ix(t1)=u(t2), Iy(t1)=v(t2)I_y(t_1)=v(t_2)Iy(t1)=v(t2) (или если сравниваем при том же параметре — I(t)=O(t)I(t)=O(t)I(t)=O(t), см. выше). 4) Краткие замечания по гладкости и алгебраическому типу: - OOO как функция от (x,y)(x,y)(x,y) рациональна (линейно-рациональна): числители квадратичны по (x,y)(x,y)(x,y), знаменатель линейный; потому траектория вдоль фиксированной кривой C(t)C(t)C(t) задаётся рациональной функцией параметра (до вырождений). - III содержит корни (модули сторон), поэтому обычно нерациональна; при аналитическом движении C(t)C(t)C(t)I(t)I(t)I(t) аналитична, кроме вырождений (шаги через коллинеарность или касательные вырожденные случаи). Итого: описанный центр движется по одному фиксированному серединному перпендикуляру к ABABAB (формула через систему линейных уравнений приведена выше), вписанный центр движется по более сложной кривой, задаваемой барицентрической формулой с длинами сторон (тоже приведено выше); совпадение центров возможно лишь для равностороннего треугольника (при данном ABABAB — два возможных положения CCC).
Пусть фиксированы вершины A=(x1,y1)A=(x_1,y_1)A=(x1 ,y1 ) и B=(x2,y2)B=(x_2,y_2)B=(x2 ,y2 ), подвижная вершина CCC задаётся функцией времени или параметра ttt как C(t)=(x(t),y(t))C(t)=(x(t),y(t))C(t)=(x(t),y(t)). Обозначим длины сторон a=∣BC∣=(x−x2)2+(y−y2)2a=|BC|=\sqrt{(x-x_2)^2+(y-y_2)^2}a=∣BC∣=(x−x2 )2+(y−y2 )2 , b=∣CA∣=(x−x1)2+(y−y1)2b=|CA|=\sqrt{(x-x_1)^2+(y-y_1)^2}b=∣CA∣=(x−x1 )2+(y−y1 )2 , c=∣AB∣=(x2−x1)2+(y2−y1)2c=|AB|=\sqrt{(x_2-x_1)^2+(y_2-y_1)^2}c=∣AB∣=(x2 −x1 )2+(y2 −y1 )2 .
1) Центр описанной окружности O=(u,v)O=(u,v)O=(u,v).
- Геометрически: OOO — пересечение серединных перпендикуляров; так как OA=OBOA=OBOA=OB, то для любых CCC точка OOO лежит на неподвижном серединном перпендикуляре к отрезку ABABAB. Поэтому траектория центра описанной окружности при движении CCC — подмножество этой фиксированной прямой (включая точку на бесконечности при вырождении треугольника).
- Координатная формула (решение системы OA2=OB2OA^2=OB^2OA2=OB2, OA2=OC2OA^2=OC^2OA2=OC2):
{(x1−x2)u+(y1−y2)v=Sab,(x1−x)u+(y1−y)v=Sac, \begin{cases}
(x_1-x_2)u+(y_1-y_2)v=S_{ab},\\[4pt]
(x_1-x)u+(y_1-y)v=S_{ac},
\end{cases}
{(x1 −x2 )u+(y1 −y2 )v=Sab ,(x1 −x)u+(y1 −y)v=Sac , где
Sab=12(x12−x22+y12−y22),Sac=12(x12−x2+y12−y2). S_{ab}=\tfrac{1}{2}(x_1^2-x_2^2+y_1^2-y_2^2),\qquad
S_{ac}=\tfrac{1}{2}(x_1^2-x^2+y_1^2-y^2).
Sab =21 (x12 −x22 +y12 −y22 ),Sac =21 (x12 −x2+y12 −y2). Обозначим детерминант
D=(x1−x2)(y1−y)−(y1−y2)(x1−x). D=(x_1-x_2)(y_1-y)-(y_1-y_2)(x_1-x).
D=(x1 −x2 )(y1 −y)−(y1 −y2 )(x1 −x). Тогда (при D≠0D\neq 0D=0)
u=Sab(y1−y)−(y1−y2)SacD,v=(x1−x2)Sac−Sab(x1−x)D. u=\frac{S_{ab}(y_1-y)-(y_1-y_2)S_{ac}}{D},\qquad
v=\frac{(x_1-x_2)S_{ac}-S_{ab}(x_1-x)}{D}.
u=DSab (y1 −y)−(y1 −y2 )Sac ,v=D(x1 −x2 )Sac −Sab (x1 −x) . Особые случаи: при коллинеарности A,B,CA,B,CA,B,C имеем D=0D=0D=0 — описанный центр уходит в бесконечность (радиус окружности стремится к бесконечности).
2) Центр вписанной окружности I=(Ix,Iy)I=(I_x,I_y)I=(Ix ,Iy ).
- Геометрически: III — пересечение биссектрис; в барицентрических координатах I∝(a:b:c)I\propto (a:b:c)I∝(a:b:c). Значит в декартовых координатах
Ix=ax1+bx2+cxa+b+c,Iy=ay1+by2+cya+b+c, I_x=\frac{a x_1+b x_2+c x}{a+b+c},\qquad
I_y=\frac{a y_1+b y_2+c y}{a+b+c},
Ix =a+b+cax1 +bx2 +cx ,Iy =a+b+cay1 +by2 +cy , где a,b,ca,b,ca,b,c определены выше. При плавном движении C(t)C(t)C(t) эти выражения дают гладкую (при отсутствии вырождений) кривую для I(t)I(t)I(t); она, вообще говоря, не рациональна и зависит от корней (длины сторон).
3) Свойства траекторий и условия пересечений/совпадения.
- Траектории:
- Траектория O(t)O(t)O(t) всегда лежит на одном и том же серединном перпендикуляре к ABABAB (то есть на прямой). В зависимости от кривой для CCC это будет некоторый (возможно ограниченный) отрезок или вся прямая; при вырождении треугольника точка может уходить в бесконечность.
- Траектория I(t)I(t)I(t) — обычно гладкая кривая в плоскости, задаваемая функциями с корнями (зависит от длин сторон). В общем случае это сложная нерациональная кривая.
- Когда III лежит на серединном перпендикуляре к ABABAB: это ровно условие равенства сторон AC=BCAC=BCAC=BC (треугольник с основанием ABABAB равнобедрен). Следовательно, пересечение траекторий (в смысле: в некоторый момент ttt обе точки лежат на одной прямой) происходит при таких моментах; однако совпадение O(t)=I(t)O(t)=I(t)O(t)=I(t) требует сильнейшего условия.
- Совпадение O=IO=IO=I для одного и того же треугольника (то есть центр вписанной = центр описанной) происходит тогда и только тогда, когда треугольник правильный (равносторонний). Для фиксированного ABABAB это даёт не более двух положений CCC — вершины равносторонних треугольников, построенных на ABABAB по обе стороны. Формально условие O=IO=IO=I эквивалентно
AC=BC=AB, AC=BC=AB,
AC=BC=AB, и при этом OOO (он же III) лежит на серединном перпендикуляре к ABABAB в точке, равновесной для равностороннего треугольника.
- Пересечения траекторий как множеств (то есть существует t1,t2t_1,t_2t1 ,t2 с I(t1)=O(t2)I(t_1)=O(t_2)I(t1 )=O(t2 )) возможны в общем случае; так как образ OOO — прямая, достаточно, чтобы образ III пересёк эту прямую. Условия для конкретных пересечений сводятся к решению уравнений Ix(t1)=u(t2)I_x(t_1)=u(t_2)Ix (t1 )=u(t2 ), Iy(t1)=v(t2)I_y(t_1)=v(t_2)Iy (t1 )=v(t2 ) (или если сравниваем при том же параметре — I(t)=O(t)I(t)=O(t)I(t)=O(t), см. выше).
4) Краткие замечания по гладкости и алгебраическому типу:
- OOO как функция от (x,y)(x,y)(x,y) рациональна (линейно-рациональна): числители квадратичны по (x,y)(x,y)(x,y), знаменатель линейный; потому траектория вдоль фиксированной кривой C(t)C(t)C(t) задаётся рациональной функцией параметра (до вырождений).
- III содержит корни (модули сторон), поэтому обычно нерациональна; при аналитическом движении C(t)C(t)C(t) I(t)I(t)I(t) аналитична, кроме вырождений (шаги через коллинеарность или касательные вырожденные случаи).
Итого: описанный центр движется по одному фиксированному серединному перпендикуляру к ABABAB (формула через систему линейных уравнений приведена выше), вписанный центр движется по более сложной кривой, задаваемой барицентрической формулой с длинами сторон (тоже приведено выше); совпадение центров возможно лишь для равностороннего треугольника (при данном ABABAB — два возможных положения CCC).