Опишите и докажите конструкцию треугольника по трём медианам, исследуйте единственность решения и обсудите методы построения с помощью циркуля и линейки и с использованием координатных преобразований
Кратко, с доказательством и конструкциями. 1) Необходимое условие существования. Пусть у треугольника ABCABCABC медианы имеют длины ma,mb,mcm_a,m_b,m_cma,mb,mc (медиана из вершины AAA длины mam_ama и т.д.). Медианы как векторы от середины противоположных сторон к вершинам удовлетворяют u⃗+v⃗+w⃗=0⃗\vec u+\vec v+\vec w=\vec0u+v+w=0, поэтому их модули могут быть сторонами некоторого треугольника. Следовательно необходимые условия — треугольные неравенства ma+mb>mc,mb+mc>ma,mc+ma>mb.
m_a+m_b>m_c,\qquad m_b+m_c>m_a,\qquad m_c+m_a>m_b. ma+mb>mc,mb+mc>ma,mc+ma>mb. 2) Алгебраическое описание и единственность. По формуле Аполлония для медиан: ma2=2b2+2c2−a24,mb2=2c2+2a2−b24,mc2=2a2+2b2−c24,
m_a^2=\frac{2b^2+2c^2-a^2}{4},\quad m_b^2=\frac{2c^2+2a^2-b^2}{4},\quad m_c^2=\frac{2a^2+2b^2-c^2}{4}, ma2=42b2+2c2−a2,mb2=42c2+2a2−b2,mc2=42a2+2b2−c2,
обозначим X=a2, Y=b2, Z=c2X=a^2,\ Y=b^2,\ Z=c^2X=a2,Y=b2,Z=c2 и A=ma2, B=mb2, C=mc2A=m_a^2,\ B=m_b^2,\ C=m_c^2A=ma2,B=mb2,C=mc2. Решая линейную систему, получаем явные формулы a2=−4A+8B+8C9,b2=8A−4B+8C9,c2=8A+8B−4C9.
a^2=\frac{-4A+8B+8C}{9},\qquad b^2=\frac{8A-4B+8C}{9},\qquad c^2=\frac{8A+8B-4C}{9}. a2=9−4A+8B+8C,b2=98A−4B+8C,c2=98A+8B−4C.
Если правые части положительны и удовлетворяют неравенствам треугольника (корни дают положительные длины и выполняется правило треугольника), то стороны a,b,ca,b,ca,b,c определены однозначно (до взаимного расположения в плоскости). Значит треугольник, если существует, единственен с точностью до конгруэнции (и зеркально-симметричен). 3) Доказательство существования (конструкция через треугольник медиан). Если данные ma,mb,mcm_a,m_b,m_cma,mb,mc удовлетворяют треугольным неравенствам, можно сначала построить «треугольник медиан» M1M2M3M_1M_2M_3M1M2M3 со сторонами ma,mb,mcm_a,m_b,m_cma,mb,mc. Рассмотрим векторы вдоль его сторон, расположенные последовательно: u⃗,v⃗,w⃗\vec u,\vec v,\vec wu,v,w (тогда u⃗+v⃗+w⃗=0⃗\vec u+\vec v+\vec w=\vec0u+v+w=0). Тогда для вершин исходного треугольника можно взять векторы a⃗=23u⃗,b⃗=23v⃗,c⃗=23w⃗,
\vec a=\tfrac{2}{3}\vec u,\qquad \vec b=\tfrac{2}{3}\vec v,\qquad \vec c=\tfrac{2}{3}\vec w, a=32u,b=32v,c=32w,
поскольку медиана, идущая к вершине AAA, пропорциональна u⃗\vec uu по модулю и направлению (коэффициент 32\tfrac3223 даёт совпадение длины медианы). Это даёт геометрическую реализацию исходного треугольника: вершины находятся в концах векторов 23u⃗,23v⃗,23w⃗\frac{2}{3}\vec u,\frac{2}{3}\vec v,\frac{2}{3}\vec w32u,32v,32w при правильном сдвиге. Следовательно треугольник существует. (Аналитически: поместив центр тяжести исходного треугольника в начало координат, вершины a⃗,b⃗,c⃗\vec a,\vec b,\vec ca,b,c связаны с медианами формулой медиана к A=32a⃗\text{медиана к }A=\tfrac32\vec aмедианакA=23a. Отсюда предыдущие рассуждения.) 4) Практические методы построения a) Классический циркуль и линейка (прямой геометрический способ). - Построить треугольник M1M2M3M_1M_2M_3M1M2M3 со сторонами ma,mb,mcm_a,m_b,m_cma,mb,mc. - Последовательно положив на плоскости векторы u⃗=M1M2→, v⃗=M2M3→, w⃗=M3M1→\vec u=\overrightarrow{M_1M_2},\ \vec v=\overrightarrow{M_2M_3},\ \vec w=\overrightarrow{M_3M_1}u=M1M2,v=M2M3,w=M3M1 (они замкнуты: u⃗+v⃗+w⃗=0\vec u+\vec v+\vec w=0u+v+w=0), получить точки, соответствующие концам этих векторов при общем начале (перенос векторов параллельным переносом). - Умножение вектора на 23\tfrac2332 на плоскости выполняется стандартно: разделить отрезок, соответствующий вектору, на три равные части (построение деления отрезка на n частей делением через вспомогательную параллельную через равномерные деления) и взять два третьих. Это даёт векторы 23u⃗,23v⃗,23w⃗\tfrac23\vec u,\tfrac23\vec v,\tfrac23\vec w32u,32v,32w. Соединив концы этих векторов, получаем искомый треугольник ABCABCABC. (Все действия выполнимы циркулем и линейкой: перенос отрезков, параллельные, деление на равные части.) b) Альтернативный (через стороны по формулам). - По формулам из пункта 2 вычислить a2,b2,c2a^2,b^2,c^2a2,b2,c2 и извлечь квадратные корни (построимо циркулем и линейкой, т.к. извлечение квадратного корня от построенной длины — стандартная конструкция). - Построить треугольник по найденным длинам сторон. Этот способ прямолинейный и удобен, когда нужны точные численные значения. c) Координатный (аналитический) метод. - Положим центр тяжести GGG в начало координат. Поместив стороны медианного треугольника как векторы u⃗,v⃗,w⃗\vec u,\vec v,\vec wu,v,w так, чтобы u⃗+v⃗+w⃗=0⃗\vec u+\vec v+\vec w=\vec0u+v+w=0, задаём вершины исходного треугольника как a⃗=23u⃗, b⃗=23v⃗, c⃗=23w⃗\vec a=\tfrac23\vec u,\ \vec b=\tfrac23\vec v,\ \vec c=\tfrac23\vec wa=32u,b=32v,c=32w. Координатно это даёт явные координаты вершин и позволяет проверить выполнение треугольных неравенств и получить геометрическое построение через переносы и гомотетии. 5) Замечания и вычеты. - Условие треугольных неравенств на ma,mb,mcm_a,m_b,m_cma,mb,mc является также достаточным для существования треугольника медиан и, следовательно, исходного треугольника. - Решение единственно с точностью до перемещений и отражения (не более двух зеркальных конфигураций). - Все операции, использованные в конструкциях (построение треугольника по трём сторонам, деление отрезка на три и взятие двух третей, перенос отрезка, извлечение квадратного корня) выполняются циркулем и линейкой, значит задача конструктивно выполнима. Короткая итоговая формула для практики: a=−4ma2+8mb2+8mc29,b=8ma2−4mb2+8mc29,c=8ma2+8mb2−4mc29.
a=\sqrt{\frac{-4m_a^2+8m_b^2+8m_c^2}{9}},\quad b=\sqrt{\frac{8m_a^2-4m_b^2+8m_c^2}{9}},\quad c=\sqrt{\frac{8m_a^2+8m_b^2-4m_c^2}{9}}. a=9−4ma2+8mb2+8mc2,b=98ma2−4mb2+8mc2,c=98ma2+8mb2−4mc2. Если эти корни положительны и удовлетворяют неравенству треугольника, искомый треугольник существует и единственен.
1) Необходимое условие существования.
Пусть у треугольника ABCABCABC медианы имеют длины ma,mb,mcm_a,m_b,m_cma ,mb ,mc (медиана из вершины AAA длины mam_ama и т.д.). Медианы как векторы от середины противоположных сторон к вершинам удовлетворяют u⃗+v⃗+w⃗=0⃗\vec u+\vec v+\vec w=\vec0u+v+w=0, поэтому их модули могут быть сторонами некоторого треугольника. Следовательно необходимые условия — треугольные неравенства
ma+mb>mc,mb+mc>ma,mc+ma>mb. m_a+m_b>m_c,\qquad m_b+m_c>m_a,\qquad m_c+m_a>m_b.
ma +mb >mc ,mb +mc >ma ,mc +ma >mb .
2) Алгебраическое описание и единственность.
По формуле Аполлония для медиан:
ma2=2b2+2c2−a24,mb2=2c2+2a2−b24,mc2=2a2+2b2−c24, m_a^2=\frac{2b^2+2c^2-a^2}{4},\quad
m_b^2=\frac{2c^2+2a^2-b^2}{4},\quad
m_c^2=\frac{2a^2+2b^2-c^2}{4},
ma2 =42b2+2c2−a2 ,mb2 =42c2+2a2−b2 ,mc2 =42a2+2b2−c2 , обозначим X=a2, Y=b2, Z=c2X=a^2,\ Y=b^2,\ Z=c^2X=a2, Y=b2, Z=c2 и A=ma2, B=mb2, C=mc2A=m_a^2,\ B=m_b^2,\ C=m_c^2A=ma2 , B=mb2 , C=mc2 . Решая линейную систему, получаем явные формулы
a2=−4A+8B+8C9,b2=8A−4B+8C9,c2=8A+8B−4C9. a^2=\frac{-4A+8B+8C}{9},\qquad
b^2=\frac{8A-4B+8C}{9},\qquad
c^2=\frac{8A+8B-4C}{9}.
a2=9−4A+8B+8C ,b2=98A−4B+8C ,c2=98A+8B−4C . Если правые части положительны и удовлетворяют неравенствам треугольника (корни дают положительные длины и выполняется правило треугольника), то стороны a,b,ca,b,ca,b,c определены однозначно (до взаимного расположения в плоскости). Значит треугольник, если существует, единственен с точностью до конгруэнции (и зеркально-симметричен).
3) Доказательство существования (конструкция через треугольник медиан).
Если данные ma,mb,mcm_a,m_b,m_cma ,mb ,mc удовлетворяют треугольным неравенствам, можно сначала построить «треугольник медиан» M1M2M3M_1M_2M_3M1 M2 M3 со сторонами ma,mb,mcm_a,m_b,m_cma ,mb ,mc . Рассмотрим векторы вдоль его сторон, расположенные последовательно: u⃗,v⃗,w⃗\vec u,\vec v,\vec wu,v,w (тогда u⃗+v⃗+w⃗=0⃗\vec u+\vec v+\vec w=\vec0u+v+w=0). Тогда для вершин исходного треугольника можно взять векторы
a⃗=23u⃗,b⃗=23v⃗,c⃗=23w⃗, \vec a=\tfrac{2}{3}\vec u,\qquad \vec b=\tfrac{2}{3}\vec v,\qquad \vec c=\tfrac{2}{3}\vec w,
a=32 u,b=32 v,c=32 w, поскольку медиана, идущая к вершине AAA, пропорциональна u⃗\vec uu по модулю и направлению (коэффициент 32\tfrac3223 даёт совпадение длины медианы). Это даёт геометрическую реализацию исходного треугольника: вершины находятся в концах векторов 23u⃗,23v⃗,23w⃗\frac{2}{3}\vec u,\frac{2}{3}\vec v,\frac{2}{3}\vec w32 u,32 v,32 w при правильном сдвиге. Следовательно треугольник существует.
(Аналитически: поместив центр тяжести исходного треугольника в начало координат, вершины a⃗,b⃗,c⃗\vec a,\vec b,\vec ca,b,c связаны с медианами формулой медиана к A=32a⃗\text{медиана к }A=\tfrac32\vec aмедиана к A=23 a. Отсюда предыдущие рассуждения.)
4) Практические методы построения
a) Классический циркуль и линейка (прямой геометрический способ).
- Построить треугольник M1M2M3M_1M_2M_3M1 M2 M3 со сторонами ma,mb,mcm_a,m_b,m_cma ,mb ,mc .
- Последовательно положив на плоскости векторы u⃗=M1M2→, v⃗=M2M3→, w⃗=M3M1→\vec u=\overrightarrow{M_1M_2},\ \vec v=\overrightarrow{M_2M_3},\ \vec w=\overrightarrow{M_3M_1}u=M1 M2 , v=M2 M3 , w=M3 M1 (они замкнуты: u⃗+v⃗+w⃗=0\vec u+\vec v+\vec w=0u+v+w=0), получить точки, соответствующие концам этих векторов при общем начале (перенос векторов параллельным переносом).
- Умножение вектора на 23\tfrac2332 на плоскости выполняется стандартно: разделить отрезок, соответствующий вектору, на три равные части (построение деления отрезка на n частей делением через вспомогательную параллельную через равномерные деления) и взять два третьих. Это даёт векторы 23u⃗,23v⃗,23w⃗\tfrac23\vec u,\tfrac23\vec v,\tfrac23\vec w32 u,32 v,32 w. Соединив концы этих векторов, получаем искомый треугольник ABCABCABC. (Все действия выполнимы циркулем и линейкой: перенос отрезков, параллельные, деление на равные части.)
b) Альтернативный (через стороны по формулам).
- По формулам из пункта 2 вычислить a2,b2,c2a^2,b^2,c^2a2,b2,c2 и извлечь квадратные корни (построимо циркулем и линейкой, т.к. извлечение квадратного корня от построенной длины — стандартная конструкция).
- Построить треугольник по найденным длинам сторон. Этот способ прямолинейный и удобен, когда нужны точные численные значения.
c) Координатный (аналитический) метод.
- Положим центр тяжести GGG в начало координат. Поместив стороны медианного треугольника как векторы u⃗,v⃗,w⃗\vec u,\vec v,\vec wu,v,w так, чтобы u⃗+v⃗+w⃗=0⃗\vec u+\vec v+\vec w=\vec0u+v+w=0, задаём вершины исходного треугольника как a⃗=23u⃗, b⃗=23v⃗, c⃗=23w⃗\vec a=\tfrac23\vec u,\ \vec b=\tfrac23\vec v,\ \vec c=\tfrac23\vec wa=32 u, b=32 v, c=32 w. Координатно это даёт явные координаты вершин и позволяет проверить выполнение треугольных неравенств и получить геометрическое построение через переносы и гомотетии.
5) Замечания и вычеты.
- Условие треугольных неравенств на ma,mb,mcm_a,m_b,m_cma ,mb ,mc является также достаточным для существования треугольника медиан и, следовательно, исходного треугольника.
- Решение единственно с точностью до перемещений и отражения (не более двух зеркальных конфигураций).
- Все операции, использованные в конструкциях (построение треугольника по трём сторонам, деление отрезка на три и взятие двух третей, перенос отрезка, извлечение квадратного корня) выполняются циркулем и линейкой, значит задача конструктивно выполнима.
Короткая итоговая формула для практики:
a=−4ma2+8mb2+8mc29,b=8ma2−4mb2+8mc29,c=8ma2+8mb2−4mc29. a=\sqrt{\frac{-4m_a^2+8m_b^2+8m_c^2}{9}},\quad
b=\sqrt{\frac{8m_a^2-4m_b^2+8m_c^2}{9}},\quad
c=\sqrt{\frac{8m_a^2+8m_b^2-4m_c^2}{9}}.
a=9−4ma2 +8mb2 +8mc2 ,b=98ma2 −4mb2 +8mc2 ,c=98ma2 +8mb2 −4mc2 .
Если эти корни положительны и удовлетворяют неравенству треугольника, искомый треугольник существует и единственен.