Построение, критерии и формулы. 1) Условие существования (и невырожденности). Пусть даны длины медиан ma,mb,mc>0m_a,m_b,m_c>0ma,mb,mc>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) Построение (конструктивное доказательство существования). Пусть pa=23ma,pb=23mb,pc=23mc.
p_a=\tfrac{2}{3}m_a,\qquad p_b=\tfrac{2}{3}m_b,\qquad p_c=\tfrac{2}{3}m_c. pa=32ma,pb=32mb,pc=32mc.
Так как ma,mb,mcm_a,m_b,m_cma,mb,mc удовлетворяют неравенствам треугольника, то то же верно и для pa,pb,pcp_a,p_b,p_cpa,pb,pc. Постройте треугольник с длинами сторон pa,pb,pcp_a,p_b,p_cpa,pb,pc и обозначьте последовательно его векторы сторон (в замкнутом порядке) как u⃗,v⃗,w⃗\vec u,\vec v,\vec wu,v,w (тогда u⃗+v⃗+w⃗=0\vec u+\vec v+\vec w=0u+v+w=0 и ∣u⃗∣=pa, ∣v⃗∣=pb, ∣w⃗∣=pc|\vec u|=p_a,\ |\vec v|=p_b,\ |\vec w|=p_c∣u∣=pa,∣v∣=pb,∣w∣=pc). Возьмём произвольную точку GGG и отложим от неё векторы u⃗,v⃗,w⃗\vec u,\vec v,\vec wu,v,w (в том же порядке) к точкам A,B,CA,B,CA,B,C. Тогда медиана из вершины AAA равна расстоянию от AAA до середины отрезка BCBCBC: AMa=∣ GA⃗−GB⃗+GC⃗2∣=32∣u⃗∣=32pa=ma.
AM_a=\left|\,\vec{GA}-\tfrac{\vec{GB}+\vec{GC}}{2}\right| =\tfrac{3}{2}|\vec u|=\tfrac{3}{2}p_a=m_a. AMa=GA−2GB+GC=23∣u∣=23pa=ma.
Аналогично для других медиан. Таким образом получен требуемый треугольник. 3) Единственность. Векторы u⃗,v⃗,w⃗\vec u,\vec v,\vec wu,v,w (с заданными длинами и условием u⃗+v⃗+w⃗=0\vec u+\vec v+\vec w=0u+v+w=0) образуют замкнутую цепочку и задают треугольник единственным образом с точностью до движения плоскости (конгруэнции). Следовательно исходный треугольник с заданными медианами единственен с точностью до положения в плоскости и симметрии. 4) Формулы для сторон через медианы. Из формулы Апполония ma2=2b2+2c2−a24,mb2=2c2+2a2−b24,mc2=2a2+2b2−c24,
m_a^2=\tfrac{2b^2+2c^2-a^2}{4},\quad m_b^2=\tfrac{2c^2+2a^2-b^2}{4},\quad m_c^2=\tfrac{2a^2+2b^2-c^2}{4}, ma2=42b2+2c2−a2,mb2=42c2+2a2−b2,mc2=42a2+2b2−c2,
решая систему получаем a2=49(−ma2+2mb2+2mc2),
a^2=\tfrac{4}{9}\bigl(-m_a^2+2m_b^2+2m_c^2\bigr), a2=94(−ma2+2mb2+2mc2),b2=49(2ma2−mb2+2mc2),
b^2=\tfrac{4}{9}\bigl(2m_a^2-m_b^2+2m_c^2\bigr), b2=94(2ma2−mb2+2mc2),c2=49(2ma2+2mb2−mc2).
c^2=\tfrac{4}{9}\bigl(2m_a^2+2m_b^2-m_c^2\bigr). c2=94(2ma2+2mb2−mc2).
Следовательно a=232mb2+2mc2−ma2,b=232mc2+2ma2−mb2,c=232ma2+2mb2−mc2,
a=\tfrac{2}{3}\sqrt{2m_b^2+2m_c^2-m_a^2},\quad b=\tfrac{2}{3}\sqrt{2m_c^2+2m_a^2-m_b^2},\quad c=\tfrac{2}{3}\sqrt{2m_a^2+2m_b^2-m_c^2}, a=322mb2+2mc2−ma2,b=322mc2+2ma2−mb2,c=322ma2+2mb2−mc2,
и радиканд должен быть положителен (строго для невырожденного треугольника). Коротко: данная конструкция даёт существование и единственность при выполнении неравенств треугольника для ma,mb,mcm_a,m_b,m_cma,mb,mc; стороны выражаются формулами выше.
1) Условие существования (и невырожденности). Пусть даны длины медиан ma,mb,mc>0m_a,m_b,m_c>0ma ,mb ,mc >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) Построение (конструктивное доказательство существования). Пусть
pa=23ma,pb=23mb,pc=23mc. p_a=\tfrac{2}{3}m_a,\qquad p_b=\tfrac{2}{3}m_b,\qquad p_c=\tfrac{2}{3}m_c.
pa =32 ma ,pb =32 mb ,pc =32 mc . Так как ma,mb,mcm_a,m_b,m_cma ,mb ,mc удовлетворяют неравенствам треугольника, то то же верно и для pa,pb,pcp_a,p_b,p_cpa ,pb ,pc . Постройте треугольник с длинами сторон pa,pb,pcp_a,p_b,p_cpa ,pb ,pc и обозначьте последовательно его векторы сторон (в замкнутом порядке) как u⃗,v⃗,w⃗\vec u,\vec v,\vec wu,v,w (тогда u⃗+v⃗+w⃗=0\vec u+\vec v+\vec w=0u+v+w=0 и ∣u⃗∣=pa, ∣v⃗∣=pb, ∣w⃗∣=pc|\vec u|=p_a,\ |\vec v|=p_b,\ |\vec w|=p_c∣u∣=pa , ∣v∣=pb , ∣w∣=pc ). Возьмём произвольную точку GGG и отложим от неё векторы u⃗,v⃗,w⃗\vec u,\vec v,\vec wu,v,w (в том же порядке) к точкам A,B,CA,B,CA,B,C. Тогда
медиана из вершины AAA равна расстоянию от AAA до середины отрезка BCBCBC:
AMa=∣ GA⃗−GB⃗+GC⃗2∣=32∣u⃗∣=32pa=ma. AM_a=\left|\,\vec{GA}-\tfrac{\vec{GB}+\vec{GC}}{2}\right|
=\tfrac{3}{2}|\vec u|=\tfrac{3}{2}p_a=m_a.
AMa = GA−2GB+GC =23 ∣u∣=23 pa =ma . Аналогично для других медиан. Таким образом получен требуемый треугольник.
3) Единственность. Векторы u⃗,v⃗,w⃗\vec u,\vec v,\vec wu,v,w (с заданными длинами и условием u⃗+v⃗+w⃗=0\vec u+\vec v+\vec w=0u+v+w=0) образуют замкнутую цепочку и задают треугольник единственным образом с точностью до движения плоскости (конгруэнции). Следовательно исходный треугольник с заданными медианами единственен с точностью до положения в плоскости и симметрии.
4) Формулы для сторон через медианы. Из формулы Апполония
ma2=2b2+2c2−a24,mb2=2c2+2a2−b24,mc2=2a2+2b2−c24, m_a^2=\tfrac{2b^2+2c^2-a^2}{4},\quad m_b^2=\tfrac{2c^2+2a^2-b^2}{4},\quad m_c^2=\tfrac{2a^2+2b^2-c^2}{4},
ma2 =42b2+2c2−a2 ,mb2 =42c2+2a2−b2 ,mc2 =42a2+2b2−c2 , решая систему получаем
a2=49(−ma2+2mb2+2mc2), a^2=\tfrac{4}{9}\bigl(-m_a^2+2m_b^2+2m_c^2\bigr),
a2=94 (−ma2 +2mb2 +2mc2 ), b2=49(2ma2−mb2+2mc2), b^2=\tfrac{4}{9}\bigl(2m_a^2-m_b^2+2m_c^2\bigr),
b2=94 (2ma2 −mb2 +2mc2 ), c2=49(2ma2+2mb2−mc2). c^2=\tfrac{4}{9}\bigl(2m_a^2+2m_b^2-m_c^2\bigr).
c2=94 (2ma2 +2mb2 −mc2 ). Следовательно
a=232mb2+2mc2−ma2,b=232mc2+2ma2−mb2,c=232ma2+2mb2−mc2, a=\tfrac{2}{3}\sqrt{2m_b^2+2m_c^2-m_a^2},\quad
b=\tfrac{2}{3}\sqrt{2m_c^2+2m_a^2-m_b^2},\quad
c=\tfrac{2}{3}\sqrt{2m_a^2+2m_b^2-m_c^2},
a=32 2mb2 +2mc2 −ma2 ,b=32 2mc2 +2ma2 −mb2 ,c=32 2ma2 +2mb2 −mc2 , и радиканд должен быть положителен (строго для невырожденного треугольника).
Коротко: данная конструкция даёт существование и единственность при выполнении неравенств треугольника для ma,mb,mcm_a,m_b,m_cma ,mb ,mc ; стороны выражаются формулами выше.