Исследуйте классическую задачу: при каких условиях три высоты в тетраэдре пересекаются в одной точке (ортоцентр), и приведите примеры тетраэдров с и без этой свойства, вместе с доказательствами
Коротко: в тетраэдре ABCDABCDABCD три высоты (например из A,B,CA,B,CA,B,C) имеют общую точку тогда и только тогда, когда попарно перпендикулярны противоположные рёбра: AB⊥CD,AC⊥BD,AD⊥BC.
AB\perp CD,\qquad AC\perp BD,\qquad AD\perp BC. AB⊥CD,AC⊥BD,AD⊥BC.
В этом случае все четыре высоты пересекаются в одной точке (ортоцентр). Ниже — формулировка и доказательство, затем примеры. Определение. Высота из вершины AAA — прямая через AAA, перпендикулярная плоскости противоположного грани BCDBCDBCD. Теорема. Для невырожденного тетраэдра ABCDABCDABCD следующие утверждения эквивалентны: 1) высоты из A,B,CA,B,CA,B,C пересекаются в одной точке HHH; 2) попарно перпендикулярны противоположные рёбра: AB⊥CD, AC⊥BD, AD⊥BCAB\perp CD,\ AC\perp BD,\ AD\perp BCAB⊥CD,AC⊥BD,AD⊥BC; в этом случае также высота из DDD проходит через ту же точку HHH. Доказательство. A) (Конкуренция высот ⇒ противоп. рёбра перпендикулярны.) Пусть высоты из A,B,CA,B,CA,B,C пересекаются в HHH. Тогда (h−a)⊥плоскости BCD,(h−b)⊥пл. ACD,(h−c)⊥пл. ABD,
(h-a)\perp\text{плоскости }BCD,\quad (h-b)\perp\text{пл. }ACD,\quad (h-c)\perp\text{пл. }ABD, (h−a)⊥плоскостиBCD,(h−b)⊥пл. ACD,(h−c)⊥пл. ABD,
где строчные буквы — векторные координаты точек. В частности вектор c−dc-dc−d лежит в плоскости BCDBCDBCD, потому (h−a)⋅(c−d)=0.
(h-a)\cdot(c-d)=0. (h−a)⋅(c−d)=0.
А вектор c−dc-dc−d также лежит в плоскости ACDACDACD, значит (h−b)⋅(c−d)=0.
(h-b)\cdot(c-d)=0. (h−b)⋅(c−d)=0.
Вычитая второе из первого, получаем (a−b)⋅(c−d)=0,
(a-b)\cdot(c-d)=0, (a−b)⋅(c−d)=0,
т.е. AB⊥CDAB\perp CDAB⊥CD. Аналогично, беря соответствующие векторы, получаем AC⊥BDAC\perp BDAC⊥BD и AD⊥BCAD\perp BCAD⊥BC. B) (Противоп. рёбра перпендикулярны ⇒ высоты пересекаются.) Рассмотрим неизвестную точку HHH с координатой hhh и выпишем условия перпендикулярности высот: (h−a)⋅(b−c)=0,(h−b)⋅(c−d)=0,(h−c)⋅(d−a)=0.
(h-a)\cdot(b-c)=0,\qquad (h-b)\cdot(c-d)=0,\qquad (h-c)\cdot(d-a)=0. (h−a)⋅(b−c)=0,(h−b)⋅(c−d)=0,(h−c)⋅(d−a)=0.
Это линейная система трёх скалярных уравнений относительно трёх координат hhh: h⋅(b−c)=a⋅(b−c),h⋅(c−d)=b⋅(c−d),h⋅(d−a)=c⋅(d−a).
h\cdot(b-c)=a\cdot(b-c),\quad h\cdot(c-d)=b\cdot(c-d),\quad h\cdot(d-a)=c\cdot(d-a). h⋅(b−c)=a⋅(b−c),h⋅(c−d)=b⋅(c−d),h⋅(d−a)=c⋅(d−a).
Коэффициентная матрица имеет строки b−c, c−d, d−ab-c,\;c-d,\;d-ab−c,c−d,d−a. Для невырожденного тетраэдра эти три вектора линейно независимы, поэтому матрица невырождена и система имеет единственное решение hhh. Значит существует ровно одна точка HHH, лежащая одновременно на трёх высотах из A,B,CA,B,CA,B,C. По части A) в таком случае противоположные рёбра перпендикулярны, а потому высота из DDD также проходит через тот же HHH. (Таким образом три высоты пересечённые в точке автоматически дают ортoцентр всех четырёх высот.) Примеры. 1) Тетраэдр с ортоцентром (все противоп. рёбра перпендикулярны). Например стандартный тетраэдр с вершинами A=(0,0,0), B=(1,0,0), C=(0,1,0), D=(0,0,1).
A=(0,0,0),\ B=(1,0,0),\ C=(0,1,0),\ D=(0,0,1). A=(0,0,0),B=(1,0,0),C=(0,1,0),D=(0,0,1).
Проверка: AB=(1,0,0), CD=(0,−1,1)⇒AB⋅CD=0AB=(1,0,0),\ CD=(0,-1,1)\Rightarrow AB\cdot CD=0AB=(1,0,0),CD=(0,−1,1)⇒AB⋅CD=0; аналогично AC⋅BD=0, AD⋅BC=0AC\cdot BD=0,\ AD\cdot BC=0AC⋅BD=0,AD⋅BC=0. По теореме все высоты пересекаются в одной точке (это ортoцентр и одновременно центры симметрии для правильного расположения). 2) Тетраэдр без ортоцентра (не все противоп. рёбра перпендикулярны). Например A=(0,0,0), B=(1,0,0), C=(0,1,0), D=(1,1,1).
A=(0,0,0),\ B=(1,0,0),\ C=(0,1,0),\ D=(1,1,1). A=(0,0,0),B=(1,0,0),C=(0,1,0),D=(1,1,1).
Тогда AB=(1,0,0), CD=(0,0,1)AB=(1,0,0),\ CD=(0,0,1)AB=(1,0,0),CD=(0,0,1) и AB⋅CD=0AB\cdot CD=0AB⋅CD=0, но AC=(0,1,0), BD=(0,1,1)⇒AC⋅BD=1≠0.
AC=(0,1,0),\ BD=(0,1,1)\Rightarrow AC\cdot BD=1\neq0. AC=(0,1,0),BD=(0,1,1)⇒AC⋅BD=1=0.
Поскольку не выполнено условие попарной перпендикулярности противоположных рёбер, по теореме высоты не пересекаются в одной точке. Заключение. Необходимое и достаточное условие пересечения трёх высот тетраэдра в одной точке — попарная перпендикулярность противоположных рёбер; в этом случае тетраэдр называют ортoцентрическим и все четыре высоты имеют общую точку.
AB⊥CD,AC⊥BD,AD⊥BC. AB\perp CD,\qquad AC\perp BD,\qquad AD\perp BC.
AB⊥CD,AC⊥BD,AD⊥BC. В этом случае все четыре высоты пересекаются в одной точке (ортоцентр). Ниже — формулировка и доказательство, затем примеры.
Определение. Высота из вершины AAA — прямая через AAA, перпендикулярная плоскости противоположного грани BCDBCDBCD.
Теорема. Для невырожденного тетраэдра ABCDABCDABCD следующие утверждения эквивалентны:
1) высоты из A,B,CA,B,CA,B,C пересекаются в одной точке HHH;
2) попарно перпендикулярны противоположные рёбра: AB⊥CD, AC⊥BD, AD⊥BCAB\perp CD,\ AC\perp BD,\ AD\perp BCAB⊥CD, AC⊥BD, AD⊥BC;
в этом случае также высота из DDD проходит через ту же точку HHH.
Доказательство.
A) (Конкуренция высот ⇒ противоп. рёбра перпендикулярны.)
Пусть высоты из A,B,CA,B,CA,B,C пересекаются в HHH. Тогда
(h−a)⊥плоскости BCD,(h−b)⊥пл. ACD,(h−c)⊥пл. ABD, (h-a)\perp\text{плоскости }BCD,\quad (h-b)\perp\text{пл. }ACD,\quad (h-c)\perp\text{пл. }ABD,
(h−a)⊥плоскости BCD,(h−b)⊥пл. ACD,(h−c)⊥пл. ABD, где строчные буквы — векторные координаты точек. В частности вектор c−dc-dc−d лежит в плоскости BCDBCDBCD, потому
(h−a)⋅(c−d)=0. (h-a)\cdot(c-d)=0.
(h−a)⋅(c−d)=0. А вектор c−dc-dc−d также лежит в плоскости ACDACDACD, значит
(h−b)⋅(c−d)=0. (h-b)\cdot(c-d)=0.
(h−b)⋅(c−d)=0. Вычитая второе из первого, получаем
(a−b)⋅(c−d)=0, (a-b)\cdot(c-d)=0,
(a−b)⋅(c−d)=0, т.е. AB⊥CDAB\perp CDAB⊥CD. Аналогично, беря соответствующие векторы, получаем AC⊥BDAC\perp BDAC⊥BD и AD⊥BCAD\perp BCAD⊥BC.
B) (Противоп. рёбра перпендикулярны ⇒ высоты пересекаются.)
Рассмотрим неизвестную точку HHH с координатой hhh и выпишем условия перпендикулярности высот:
(h−a)⋅(b−c)=0,(h−b)⋅(c−d)=0,(h−c)⋅(d−a)=0. (h-a)\cdot(b-c)=0,\qquad (h-b)\cdot(c-d)=0,\qquad (h-c)\cdot(d-a)=0.
(h−a)⋅(b−c)=0,(h−b)⋅(c−d)=0,(h−c)⋅(d−a)=0. Это линейная система трёх скалярных уравнений относительно трёх координат hhh:
h⋅(b−c)=a⋅(b−c),h⋅(c−d)=b⋅(c−d),h⋅(d−a)=c⋅(d−a). h\cdot(b-c)=a\cdot(b-c),\quad h\cdot(c-d)=b\cdot(c-d),\quad h\cdot(d-a)=c\cdot(d-a).
h⋅(b−c)=a⋅(b−c),h⋅(c−d)=b⋅(c−d),h⋅(d−a)=c⋅(d−a). Коэффициентная матрица имеет строки b−c, c−d, d−ab-c,\;c-d,\;d-ab−c,c−d,d−a. Для невырожденного тетраэдра эти три вектора линейно независимы, поэтому матрица невырождена и система имеет единственное решение hhh. Значит существует ровно одна точка HHH, лежащая одновременно на трёх высотах из A,B,CA,B,CA,B,C. По части A) в таком случае противоположные рёбра перпендикулярны, а потому высота из DDD также проходит через тот же HHH. (Таким образом три высоты пересечённые в точке автоматически дают ортoцентр всех четырёх высот.)
Примеры.
1) Тетраэдр с ортоцентром (все противоп. рёбра перпендикулярны).
Например стандартный тетраэдр с вершинами
A=(0,0,0), B=(1,0,0), C=(0,1,0), D=(0,0,1). A=(0,0,0),\ B=(1,0,0),\ C=(0,1,0),\ D=(0,0,1).
A=(0,0,0), B=(1,0,0), C=(0,1,0), D=(0,0,1). Проверка: AB=(1,0,0), CD=(0,−1,1)⇒AB⋅CD=0AB=(1,0,0),\ CD=(0,-1,1)\Rightarrow AB\cdot CD=0AB=(1,0,0), CD=(0,−1,1)⇒AB⋅CD=0; аналогично AC⋅BD=0, AD⋅BC=0AC\cdot BD=0,\ AD\cdot BC=0AC⋅BD=0, AD⋅BC=0. По теореме все высоты пересекаются в одной точке (это ортoцентр и одновременно центры симметрии для правильного расположения).
2) Тетраэдр без ортоцентра (не все противоп. рёбра перпендикулярны).
Например
A=(0,0,0), B=(1,0,0), C=(0,1,0), D=(1,1,1). A=(0,0,0),\ B=(1,0,0),\ C=(0,1,0),\ D=(1,1,1).
A=(0,0,0), B=(1,0,0), C=(0,1,0), D=(1,1,1). Тогда AB=(1,0,0), CD=(0,0,1)AB=(1,0,0),\ CD=(0,0,1)AB=(1,0,0), CD=(0,0,1) и AB⋅CD=0AB\cdot CD=0AB⋅CD=0, но
AC=(0,1,0), BD=(0,1,1)⇒AC⋅BD=1≠0. AC=(0,1,0),\ BD=(0,1,1)\Rightarrow AC\cdot BD=1\neq0.
AC=(0,1,0), BD=(0,1,1)⇒AC⋅BD=1=0. Поскольку не выполнено условие попарной перпендикулярности противоположных рёбер, по теореме высоты не пересекаются в одной точке.
Заключение. Необходимое и достаточное условие пересечения трёх высот тетраэдра в одной точке — попарная перпендикулярность противоположных рёбер; в этом случае тетраэдр называют ортoцентрическим и все четыре высоты имеют общую точку.