Постройте и исследуйте геометрическое место точек M в треугольнике ABC, для которых разность площадей треугольников AMB и CMB равна заданной величине k; как меняется множество при изменении k
Коротко: геометрическое место — прямая, параллельная ACACAC. При движении параметра kkk эта прямая сдвигается параллельно ACACAC; внутри треугольника её пересечение — отрезок (при крайних kkk — точка), при больших ∣k∣|k|∣k∣ решений нет. Доказательство и детали (сжато). Обозначим ориентированные площади треугольников через [⋅][\cdot][⋅]. Для точки MMM имеем [AMB]−[CMB]=12det(M−B, C−A).
[AMB]-[CMB]=\tfrac12\det(M-B,\;C-A). [AMB]−[CMB]=21det(M−B,C−A).
Поэтому условие [AMB]−[CMB]=k[AMB]-[CMB]=k[AMB]−[CMB]=k эквивалентно det(M−B, C−A)=2k.(1)
\det(M-B,\;C-A)=2k. \tag{1} det(M−B,C−A)=2k.(1)
Выражение (1) линейно по координатам MMM: это уравнение прямой. Поскольку детерминант с вектором C−AC-AC−A фиксирован, все решения лежат на прямой, направление которой параллельно C−AC-AC−A (и значит параллельно ACACAC). Интерпретация через расстояние. Пусть ∣AC∣|AC|∣AC∣ — длина стороны ACACAC, и ddd — ориентированное расстояние от точки BBB до искомой прямой (положительное по одной стороне от ACACAC). Тогда det(M−B, C−A)=∣AC∣⋅d,
\det(M-B,\;C-A)=|AC|\cdot d, det(M−B,C−A)=∣AC∣⋅d,
откуда по (1) d=2k∣AC∣.
d=\frac{2k}{|AC|}. d=∣AC∣2k.
То есть прямая — это прямая, параллельная ACACAC, удалённая от BBB на расстояние 2k/∣AC∣2k/|AC|2k/∣AC∣ (с учётом знака). Диапазон kkk. При MMM внутри (или на границе) треугольника функция k=[AMB]−[CMB]k=[AMB]-[CMB]k=[AMB]−[CMB] достигает экстремумов в вершинах: k(A)=[AMB]−[CMB]M=A=0−[ABC]=−S,
k(A)=[A M B]-[C M B]_{M=A}=0-[ABC]=-S, k(A)=[AMB]−[CMB]M=A=0−[ABC]=−S,k(C)=[ABC]−0=+S,
k(C)=[ABC]-0=+S, k(C)=[ABC]−0=+S,
где S=[ABC]S=[ABC]S=[ABC] — площадь треугольника ABCABCABC. Следовательно допустимый интервал k∈[−S, S].
k\in[-S,\;S]. k∈[−S,S].
- Если ∣k∣>S|k|>S∣k∣>S, пересечений с треугольником нет. - Если ∣k∣<S|k|<S∣k∣<S, пересечение — непустой отрезок (прямая параллельна ACACAC пересекает треугольник по отрезку). - Если k=Sk=Sk=S или k=−Sk=-Sk=−S, пересечение вырождается в единственную точку (M=CM=CM=C при k=Sk=Sk=S, M=AM=AM=A при k=−Sk=-Sk=−S). - Важный случай k=0k=0k=0: прямая проходит через BBB; это множество точек, для которых площади AMBAMBAMB и CMBCMBCMB равны. Уравнение в координатах. При координатах A(ax,ay), B(bx,by), C(cx,cy)A(a_x,a_y),\;B(b_x,b_y),\;C(c_x,c_y)A(ax,ay),B(bx,by),C(cx,cy) условие (1) можно записать как (cx−ax)(my−by)−(cy−ay)(mx−bx)=2k,
(c_x-a_x)(m_y-b_y)-(c_y-a_y)(m_x-b_x)=2k, (cx−ax)(my−by)−(cy−ay)(mx−bx)=2k,
что явно задаёт прямую, параллельную вектору (cx−ax,cy−ay)(c_x-a_x,c_y-a_y)(cx−ax,cy−ay). Это всё.
Доказательство и детали (сжато).
Обозначим ориентированные площади треугольников через [⋅][\cdot][⋅]. Для точки MMM имеем
[AMB]−[CMB]=12det(M−B, C−A). [AMB]-[CMB]=\tfrac12\det(M-B,\;C-A).
[AMB]−[CMB]=21 det(M−B,C−A). Поэтому условие [AMB]−[CMB]=k[AMB]-[CMB]=k[AMB]−[CMB]=k эквивалентно
det(M−B, C−A)=2k.(1) \det(M-B,\;C-A)=2k. \tag{1}
det(M−B,C−A)=2k.(1) Выражение (1) линейно по координатам MMM: это уравнение прямой. Поскольку детерминант с вектором C−AC-AC−A фиксирован, все решения лежат на прямой, направление которой параллельно C−AC-AC−A (и значит параллельно ACACAC).
Интерпретация через расстояние. Пусть ∣AC∣|AC|∣AC∣ — длина стороны ACACAC, и ddd — ориентированное расстояние от точки BBB до искомой прямой (положительное по одной стороне от ACACAC). Тогда
det(M−B, C−A)=∣AC∣⋅d, \det(M-B,\;C-A)=|AC|\cdot d,
det(M−B,C−A)=∣AC∣⋅d, откуда по (1)
d=2k∣AC∣. d=\frac{2k}{|AC|}.
d=∣AC∣2k . То есть прямая — это прямая, параллельная ACACAC, удалённая от BBB на расстояние 2k/∣AC∣2k/|AC|2k/∣AC∣ (с учётом знака).
Диапазон kkk. При MMM внутри (или на границе) треугольника функция k=[AMB]−[CMB]k=[AMB]-[CMB]k=[AMB]−[CMB] достигает экстремумов в вершинах:
k(A)=[AMB]−[CMB]M=A=0−[ABC]=−S, k(A)=[A M B]-[C M B]_{M=A}=0-[ABC]=-S,
k(A)=[AMB]−[CMB]M=A =0−[ABC]=−S, k(C)=[ABC]−0=+S, k(C)=[ABC]-0=+S,
k(C)=[ABC]−0=+S, где S=[ABC]S=[ABC]S=[ABC] — площадь треугольника ABCABCABC. Следовательно допустимый интервал
k∈[−S, S]. k\in[-S,\;S].
k∈[−S,S]. - Если ∣k∣>S|k|>S∣k∣>S, пересечений с треугольником нет.
- Если ∣k∣<S|k|<S∣k∣<S, пересечение — непустой отрезок (прямая параллельна ACACAC пересекает треугольник по отрезку).
- Если k=Sk=Sk=S или k=−Sk=-Sk=−S, пересечение вырождается в единственную точку (M=CM=CM=C при k=Sk=Sk=S, M=AM=AM=A при k=−Sk=-Sk=−S).
- Важный случай k=0k=0k=0: прямая проходит через BBB; это множество точек, для которых площади AMBAMBAMB и CMBCMBCMB равны.
Уравнение в координатах. При координатах A(ax,ay), B(bx,by), C(cx,cy)A(a_x,a_y),\;B(b_x,b_y),\;C(c_x,c_y)A(ax ,ay ),B(bx ,by ),C(cx ,cy ) условие (1) можно записать как
(cx−ax)(my−by)−(cy−ay)(mx−bx)=2k, (c_x-a_x)(m_y-b_y)-(c_y-a_y)(m_x-b_x)=2k,
(cx −ax )(my −by )−(cy −ay )(mx −bx )=2k, что явно задаёт прямую, параллельную вектору (cx−ax,cy−ay)(c_x-a_x,c_y-a_y)(cx −ax ,cy −ay ).
Это всё.