Стереометрический кейс: в усечённом треугольном призмовом теле известны основания и высота. Исследуйте условия, при которых внутренняя диагональ минимума длины проходит через центр тяжести основания, и обоснуйте геометрически
Поставим систему координат так, чтобы плоскость нижнего основания была z=0z=0z=0 и её центр тяжести (центроид) совпадал с началом координат OOO. Обозначим векторы вершин нижнего треугольника AiA_iAi через ai∈R2\mathbf a_i\in\mathbb R^2ai∈R2 (в плоскости z=0z=0z=0), а вершины верхнего (параллельного и подобного) треугольника через bj∈R2\mathbf b_j\in\mathbb R^2bj∈R2 в плоскости z=hz=hz=h. Так как основания подобны, существует коэффициент подобия s>0s>0s>0, поворот в плоскости RRR и вектор сдвига c\mathbf cc такие, что bj=sRaσ(j)+c,
\mathbf b_j=sR\mathbf a_{\sigma(j)}+\mathbf c, bj=sRaσ(j)+c,
где σ\sigmaσ — соответствие вершин. Длина внутренней диагонали, соединяющей вершину Ak(ak,0)A_k(\mathbf a_k,0)Ak(ak,0) и вершину Bl(bl,h)B_l(\mathbf b_l,h)Bl(bl,h), равна Lkl=h2+∥bl−ak∥2=h2+∥sRaσ(l)+c−ak∥2.
L_{kl}=\sqrt{h^2+\|\mathbf b_l-\mathbf a_k\|^2}=\sqrt{h^2+\|sR\mathbf a_{\sigma(l)}+\mathbf c-\mathbf a_k\|^2}. Lkl=h2+∥bl−ak∥2=h2+∥sRaσ(l)+c−ak∥2. Условие, чтобы рассматриваемая диагональ проходила через центроид OOO, означает наличие t∈(0,1)t\in(0,1)t∈(0,1) с (1−t)ak+tbl=0,
(1-t)\mathbf a_k+t\mathbf b_l=\mathbf0, (1−t)ak+tbl=0,
т.е. bl=μakдля некоторого μ>0.
\mathbf b_l=\mu\mathbf a_k\quad\text{для некоторого }\mu>0. bl=μakдлянекоторогоμ>0. Теперь геометрическое исследование и окончательный вывод. 1) Достаточность. Если верхнее основание получается из нижнего однородным гомотетическим растяжением (возможно с поворотом), центр гомотетии совпадает с центроидом OOO. В частности, при c=0\mathbf c=\mathbf0c=0 и R=IR=IR=I имеем bi=sai\mathbf b_i=s\mathbf a_ibi=sai. Тогда все отрезки AiBiA_iB_iAiBi (соответствующие вершины) проходят через OOO. Их длины равны Lii=h2+(s−1)2∥ai∥2.
L_{ii}=\sqrt{h^2+(s-1)^2\|\mathbf a_i\|^2}. Lii=h2+(s−1)2∥ai∥2.
Минимальная из этих длин достигается при том iii, для которого ∥ai∥\|\mathbf a_i\|∥ai∥ минимально (т. е. вершина ближе всего к центроиду). Таким образом при центральной гомотетии с центром в центроиде кратчайшая внутренняя диагональ — это один из отрезков AiBiA_iB_iAiBi, и она проходит через центроид. 2) Необходимость. Пусть некоторый кратчайший внутренний диагональ AkBlA_kB_lAkBl проходит через центроид. Тогда в плоскости основания bl\mathbf b_lbl и ak\mathbf a_kak коллинеарны с центром в OOO, т.е. bl=μak\mathbf b_l=\mu\mathbf a_kbl=μak. Но так как верхнее и нижнее основания подобны, соответствие вершин задаётся гомотетией с некоторым центром (единственным пересечением прямых, соединяющих соответствующие вершины). Наличие хотя бы одной такой прямой, проходящей через OOO, и тот факт, что центр гомотетии единственен, означает, что этот центр совпадает с OOO. Следовательно соответствие вершин — центральная гомотетия с центром в центроиде, и кратчайшая диагональ является соответствующим отрезком между парой соответствующих вершин. Итог (кратко): внутренний диагональ минимальной длины проходит через центр тяжести основания тогда и только тогда, когда верхнее и нижнее треугольные основания находятся в центральной подобии с центром в этом центре тяжести (т. е. верхнее основание получается из нижнего гомотетией с центром в центроиде); кратчайшая диагональ в этом случае — отрезок между соответствующими вершинами, ближайшими к центроиду.
bj=sRaσ(j)+c, \mathbf b_j=sR\mathbf a_{\sigma(j)}+\mathbf c,
bj =sRaσ(j) +c, где σ\sigmaσ — соответствие вершин.
Длина внутренней диагонали, соединяющей вершину Ak(ak,0)A_k(\mathbf a_k,0)Ak (ak ,0) и вершину Bl(bl,h)B_l(\mathbf b_l,h)Bl (bl ,h), равна
Lkl=h2+∥bl−ak∥2=h2+∥sRaσ(l)+c−ak∥2. L_{kl}=\sqrt{h^2+\|\mathbf b_l-\mathbf a_k\|^2}=\sqrt{h^2+\|sR\mathbf a_{\sigma(l)}+\mathbf c-\mathbf a_k\|^2}.
Lkl =h2+∥bl −ak ∥2 =h2+∥sRaσ(l) +c−ak ∥2 .
Условие, чтобы рассматриваемая диагональ проходила через центроид OOO, означает наличие t∈(0,1)t\in(0,1)t∈(0,1) с
(1−t)ak+tbl=0, (1-t)\mathbf a_k+t\mathbf b_l=\mathbf0,
(1−t)ak +tbl =0, т.е.
bl=μakдля некоторого μ>0. \mathbf b_l=\mu\mathbf a_k\quad\text{для некоторого }\mu>0.
bl =μak для некоторого μ>0.
Теперь геометрическое исследование и окончательный вывод.
1) Достаточность. Если верхнее основание получается из нижнего однородным гомотетическим растяжением (возможно с поворотом), центр гомотетии совпадает с центроидом OOO. В частности, при c=0\mathbf c=\mathbf0c=0 и R=IR=IR=I имеем bi=sai\mathbf b_i=s\mathbf a_ibi =sai . Тогда все отрезки AiBiA_iB_iAi Bi (соответствующие вершины) проходят через OOO. Их длины равны
Lii=h2+(s−1)2∥ai∥2. L_{ii}=\sqrt{h^2+(s-1)^2\|\mathbf a_i\|^2}.
Lii =h2+(s−1)2∥ai ∥2 . Минимальная из этих длин достигается при том iii, для которого ∥ai∥\|\mathbf a_i\|∥ai ∥ минимально (т. е. вершина ближе всего к центроиду). Таким образом при центральной гомотетии с центром в центроиде кратчайшая внутренняя диагональ — это один из отрезков AiBiA_iB_iAi Bi , и она проходит через центроид.
2) Необходимость. Пусть некоторый кратчайший внутренний диагональ AkBlA_kB_lAk Bl проходит через центроид. Тогда в плоскости основания bl\mathbf b_lbl и ak\mathbf a_kak коллинеарны с центром в OOO, т.е. bl=μak\mathbf b_l=\mu\mathbf a_kbl =μak . Но так как верхнее и нижнее основания подобны, соответствие вершин задаётся гомотетией с некоторым центром (единственным пересечением прямых, соединяющих соответствующие вершины). Наличие хотя бы одной такой прямой, проходящей через OOO, и тот факт, что центр гомотетии единственен, означает, что этот центр совпадает с OOO. Следовательно соответствие вершин — центральная гомотетия с центром в центроиде, и кратчайшая диагональ является соответствующим отрезком между парой соответствующих вершин.
Итог (кратко): внутренний диагональ минимальной длины проходит через центр тяжести основания тогда и только тогда, когда верхнее и нижнее треугольные основания находятся в центральной подобии с центром в этом центре тяжести (т. е. верхнее основание получается из нижнего гомотетией с центром в центроиде); кратчайшая диагональ в этом случае — отрезок между соответствующими вершинами, ближайшими к центроиду.