В пространстве дано тетраэдр ABCD; предложите несколько способов доказать, что медианные сечения через вершину A имеют равные площади между собой и обсудите, при каких условиях это не выполняется
Надо уточнить термин: я предполагаю, что «медианные сечения через вершину AAA» — это три сечения плоскостями, каждая из которых проходит через AAA и через два середины сторон треугольника противоположной грани BCDBCDBCD. Обозначим середины MBC,MCD,MDBM_{BC},M_{CD},M_{DB}MBC,MCD,MDB. Тогда сечения — треугольники AMBCMCD, AMCDMDB, AMDBMBCA M_{BC}M_{CD},\; A M_{CD}M_{DB},\; A M_{DB}M_{BC}AMBCMCD,AMCDMDB,AMDBMBC. Ниже даю несколько способов доказать соотношение площадей и обсуждаю, когда равенство выполняется или нет. 1) Прямое геометрическое наблюдение (самое простое). - В треугольнике BCDBCDBCD отрезок MBCMCDM_{BC}M_{CD}MBCMCD — середина между сторонами BCBCBC и CDCDCD, поэтому MBCMCD∥BD,∣MBCMCD∣=12∣BD∣.M_{BC}M_{CD}\parallel BD,\qquad |M_{BC}M_{CD}|=\tfrac12|BD|.MBCMCD∥BD,∣MBCMCD∣=21∣BD∣.
- Высота треугольника AMBCMCDA M_{BC}M_{CD}AMBCMCD, опущенная на базу MBCMCDM_{BC}M_{CD}MBCMCD, равна расстоянию от AAA до прямой BDBDBD (параллельные прямые имеют одинаковую расстоянию от точки). - Значит Area(AMBCMCD)=12⋅∣MBCMCD∣⋅dist(A,BD)=12⋅12∣BD∣⋅dist(A,BD).
\operatorname{Area}(A M_{BC}M_{CD})=\tfrac12\cdot |M_{BC}M_{CD}|\cdot\operatorname{dist}(A,BD) =\tfrac12\cdot\tfrac12|BD|\cdot\operatorname{dist}(A,BD). Area(AMBCMCD)=21⋅∣MBCMCD∣⋅dist(A,BD)=21⋅21∣BD∣⋅dist(A,BD).
Но Area(ABD)=12∣BD∣⋅dist(A,BD)\operatorname{Area}(ABD)=\tfrac12|BD|\cdot\operatorname{dist}(A,BD)Area(ABD)=21∣BD∣⋅dist(A,BD), следовательно Area(AMBCMCD)=12Area(ABD).
\operatorname{Area}(A M_{BC}M_{CD})=\tfrac12\operatorname{Area}(ABD). Area(AMBCMCD)=21Area(ABD).
Аналогично Area(AMCDMDB)=12Area(ABC),Area(AMDBMBC)=12Area(ACD).
\operatorname{Area}(A M_{CD}M_{DB})=\tfrac12\operatorname{Area}(ABC),\qquad \operatorname{Area}(A M_{DB}M_{BC})=\tfrac12\operatorname{Area}(ACD). Area(AMCDMDB)=21Area(ABC),Area(AMDBMBC)=21Area(ACD).
Отсюда очевидно: эти три медианных сечения равны между собой тогда и только тогда, когда равны площади трёх граней с общей вершиной AAA: Area(ABD)=Area(ABC)=Area(ACD).
\operatorname{Area}(ABD)=\operatorname{Area}(ABC)=\operatorname{Area}(ACD). Area(ABD)=Area(ABC)=Area(ACD). 2) Координатный (векторный) метод. - Положим векторы b,c,d,a \mathbf b,\mathbf c,\mathbf d,\mathbf ab,c,d,a для вершин B,C,D,AB,C,D,AB,C,D,A. Тогда mBC=b+c2,mCD=c+d2,
\mathbf m_{BC}=\tfrac{\mathbf b+\mathbf c}{2},\quad \mathbf m_{CD}=\tfrac{\mathbf c+\mathbf d}{2}, mBC=2b+c,mCD=2c+d,
и площадь AMBCMCDA M_{BC}M_{CD}AMBCMCD равна половине нормы векторного произведения Area(AMBCMCD)=12∥ (mBC−a)×(mCD−a) ∥=14∥ (b+c−2a)×(c+d−2a) ∥.
\operatorname{Area}(A M_{BC}M_{CD})=\tfrac12\bigl\|\,( \mathbf m_{BC}-\mathbf a)\times(\mathbf m_{CD}-\mathbf a)\,\bigr\| =\tfrac14\bigl\|\,( \mathbf b+\mathbf c-2\mathbf a)\times( \mathbf c+\mathbf d-2\mathbf a)\,\bigr\|. Area(AMBCMCD)=21(mBC−a)×(mCD−a)=41(b+c−2a)×(c+d−2a).
Раскрывая и используя свойства векторного произведения, получаем (после упрощения) Area(AMBCMCD)=12Area(ABD),
\operatorname{Area}(A M_{BC}M_{CD})=\tfrac12\operatorname{Area}(ABD), Area(AMBCMCD)=21Area(ABD),
и аналогично для других двух. Это даёт ту же необходимую и достаточную условие равенства площадей, что и в пункте 1. 3) Аффинный / подобие подход. - Отрезок, соединяющий середины двух сторон треугольника, параллелен третьей стороне и вдвое её короче — это свойство аффинности. По аффинным преобразованиям отношение площадей сохраняется, поэтому переход от треугольника ABDABDABD к треугольнику AMBCMCDA M_{BC}M_{CD}AMBCMCD даёт коэффициент площади 1/21/21/2. Это снова даёт формулы пункта 1 и вывод о критерии равенства. Когда равенство выполняется и когда не выполняется. - Равенство всех трёх медианных сечений через AAA выполняется тогда и только тогда, когда площади трёх граней, смежных с AAA, равны: Area(ABD)=Area(ABC)=Area(ACD).
\operatorname{Area}(ABD)=\operatorname{Area}(ABC)=\operatorname{Area}(ACD). Area(ABD)=Area(ABC)=Area(ACD).
- В частности, это верно для правильного (регулярного) тетраэдра и для тетраэдров, у которых вершина AAA расположена так, что соответствующие три грани имеют равные площади. - В общем случае (обычный асимметричный тетраэдр) грани с общей вершиной AAA имеют разные площади, и тогда медианные сечения тоже имеют разные площади. - Тривиальные исключения: вырождённый тетраэдр (все четыре точки в одной плоскости) или вырожденные конфигурации, где какая‑то грань имеет нулевую площадь — тогда формулы теряют смысл. Кратко: три «медианных» треугольника через AAA, полученные соединением AAA с парами середин сторон противоположной грани, имеют площади Area(AMBCMCD)=12Area(ABD),и т.д.,
\operatorname{Area}(A M_{BC}M_{CD})=\tfrac12\operatorname{Area}(ABD),\quad\text{и т.д.}, Area(AMBCMCD)=21Area(ABD),ит.д.,
поэтому они равны между собой тогда и только тогда, когда равны площади граней ABD,ABC,ACDABD,ABC,ACDABD,ABC,ACD.
AMBCMCD, AMCDMDB, AMDBMBCA M_{BC}M_{CD},\; A M_{CD}M_{DB},\; A M_{DB}M_{BC}AMBC MCD ,AMCD MDB ,AMDB MBC .
Ниже даю несколько способов доказать соотношение площадей и обсуждаю, когда равенство выполняется или нет.
1) Прямое геометрическое наблюдение (самое простое).
- В треугольнике BCDBCDBCD отрезок MBCMCDM_{BC}M_{CD}MBC MCD — середина между сторонами BCBCBC и CDCDCD, поэтому
MBCMCD∥BD,∣MBCMCD∣=12∣BD∣.M_{BC}M_{CD}\parallel BD,\qquad |M_{BC}M_{CD}|=\tfrac12|BD|.MBC MCD ∥BD,∣MBC MCD ∣=21 ∣BD∣. - Высота треугольника AMBCMCDA M_{BC}M_{CD}AMBC MCD , опущенная на базу MBCMCDM_{BC}M_{CD}MBC MCD , равна расстоянию от AAA до прямой BDBDBD (параллельные прямые имеют одинаковую расстоянию от точки).
- Значит
Area(AMBCMCD)=12⋅∣MBCMCD∣⋅dist(A,BD)=12⋅12∣BD∣⋅dist(A,BD). \operatorname{Area}(A M_{BC}M_{CD})=\tfrac12\cdot |M_{BC}M_{CD}|\cdot\operatorname{dist}(A,BD)
=\tfrac12\cdot\tfrac12|BD|\cdot\operatorname{dist}(A,BD).
Area(AMBC MCD )=21 ⋅∣MBC MCD ∣⋅dist(A,BD)=21 ⋅21 ∣BD∣⋅dist(A,BD). Но Area(ABD)=12∣BD∣⋅dist(A,BD)\operatorname{Area}(ABD)=\tfrac12|BD|\cdot\operatorname{dist}(A,BD)Area(ABD)=21 ∣BD∣⋅dist(A,BD), следовательно
Area(AMBCMCD)=12Area(ABD). \operatorname{Area}(A M_{BC}M_{CD})=\tfrac12\operatorname{Area}(ABD).
Area(AMBC MCD )=21 Area(ABD). Аналогично
Area(AMCDMDB)=12Area(ABC),Area(AMDBMBC)=12Area(ACD). \operatorname{Area}(A M_{CD}M_{DB})=\tfrac12\operatorname{Area}(ABC),\qquad
\operatorname{Area}(A M_{DB}M_{BC})=\tfrac12\operatorname{Area}(ACD).
Area(AMCD MDB )=21 Area(ABC),Area(AMDB MBC )=21 Area(ACD). Отсюда очевидно: эти три медианных сечения равны между собой тогда и только тогда, когда равны площади трёх граней с общей вершиной AAA:
Area(ABD)=Area(ABC)=Area(ACD). \operatorname{Area}(ABD)=\operatorname{Area}(ABC)=\operatorname{Area}(ACD).
Area(ABD)=Area(ABC)=Area(ACD).
2) Координатный (векторный) метод.
- Положим векторы b,c,d,a \mathbf b,\mathbf c,\mathbf d,\mathbf ab,c,d,a для вершин B,C,D,AB,C,D,AB,C,D,A. Тогда
mBC=b+c2,mCD=c+d2, \mathbf m_{BC}=\tfrac{\mathbf b+\mathbf c}{2},\quad
\mathbf m_{CD}=\tfrac{\mathbf c+\mathbf d}{2},
mBC =2b+c ,mCD =2c+d , и площадь AMBCMCDA M_{BC}M_{CD}AMBC MCD равна половине нормы векторного произведения
Area(AMBCMCD)=12∥ (mBC−a)×(mCD−a) ∥=14∥ (b+c−2a)×(c+d−2a) ∥. \operatorname{Area}(A M_{BC}M_{CD})=\tfrac12\bigl\|\,( \mathbf m_{BC}-\mathbf a)\times(\mathbf m_{CD}-\mathbf a)\,\bigr\|
=\tfrac14\bigl\|\,( \mathbf b+\mathbf c-2\mathbf a)\times( \mathbf c+\mathbf d-2\mathbf a)\,\bigr\|.
Area(AMBC MCD )=21 (mBC −a)×(mCD −a) =41 (b+c−2a)×(c+d−2a) . Раскрывая и используя свойства векторного произведения, получаем (после упрощения)
Area(AMBCMCD)=12Area(ABD), \operatorname{Area}(A M_{BC}M_{CD})=\tfrac12\operatorname{Area}(ABD),
Area(AMBC MCD )=21 Area(ABD), и аналогично для других двух. Это даёт ту же необходимую и достаточную условие равенства площадей, что и в пункте 1.
3) Аффинный / подобие подход.
- Отрезок, соединяющий середины двух сторон треугольника, параллелен третьей стороне и вдвое её короче — это свойство аффинности. По аффинным преобразованиям отношение площадей сохраняется, поэтому переход от треугольника ABDABDABD к треугольнику AMBCMCDA M_{BC}M_{CD}AMBC MCD даёт коэффициент площади 1/21/21/2. Это снова даёт формулы пункта 1 и вывод о критерии равенства.
Когда равенство выполняется и когда не выполняется.
- Равенство всех трёх медианных сечений через AAA выполняется тогда и только тогда, когда площади трёх граней, смежных с AAA, равны:
Area(ABD)=Area(ABC)=Area(ACD). \operatorname{Area}(ABD)=\operatorname{Area}(ABC)=\operatorname{Area}(ACD).
Area(ABD)=Area(ABC)=Area(ACD). - В частности, это верно для правильного (регулярного) тетраэдра и для тетраэдров, у которых вершина AAA расположена так, что соответствующие три грани имеют равные площади.
- В общем случае (обычный асимметричный тетраэдр) грани с общей вершиной AAA имеют разные площади, и тогда медианные сечения тоже имеют разные площади.
- Тривиальные исключения: вырождённый тетраэдр (все четыре точки в одной плоскости) или вырожденные конфигурации, где какая‑то грань имеет нулевую площадь — тогда формулы теряют смысл.
Кратко: три «медианных» треугольника через AAA, полученные соединением AAA с парами середин сторон противоположной грани, имеют площади
Area(AMBCMCD)=12Area(ABD),и т.д., \operatorname{Area}(A M_{BC}M_{CD})=\tfrac12\operatorname{Area}(ABD),\quad\text{и т.д.},
Area(AMBC MCD )=21 Area(ABD),и т.д., поэтому они равны между собой тогда и только тогда, когда равны площади граней ABD,ABC,ACDABD,ABC,ACDABD,ABC,ACD.