Рассмотрите тетраэдр ABCD; пусть из вершины A опущены высоты на плоскости BCD, и образованы трехмерные орты; найдите условие, при котором сумма квадратов длин высот из всех вершин минимальна, и докажите его
Обозначим через SA,SB,SC,SDS_A,S_B,S_C,S_DSA,SB,SC,SD площади граней BCD,ACD,ABD,ABCBCD,ACD,ABD,ABCBCD,ACD,ABD,ABC, через hA,hB,hC,hDh_A,h_B,h_C,h_DhA,hB,hC,hD соответствующие высоты, объём тетраэдра VVV. Тогда для каждой вершины V=13SAhA,т.е.hA=3VSA,
V=\tfrac13 S_A h_A,\quad\text{т.е.}\quad h_A=\frac{3V}{S_A}, V=31SAhA,т.е.hA=SA3V,
и аналогично для остальных. Следовательно ∑вершиныh2=∑X∈{A,B,C,D}9V2SX2=9V2∑X1SX2.
\sum_{\text{вершины}} h^2=\sum_{X\in\{A,B,C,D\}}\frac{9V^2}{S_X^2}=9V^2\sum_{X}\frac{1}{S_X^2}. вершины∑h2=X∈{A,B,C,D}∑SX29V2=9V2X∑SX21. Итак при фиксированном объёме VVV задача сводится к минимизации ∑1/SX2\sum 1/S_X^2∑1/SX2 по положительным величинам SXS_XSX (площади граней). Функция x↦1/x2x\mapsto 1/x^2x↦1/x2 выпукла на (0,∞)(0,\infty)(0,∞), поэтому при симметричной задаче минимум достигается при равенстве аргументов (по принципу симметрии или по нестрогой форме неравенства Йенсена). Следовательно минимум достигается тогда и только тогда, когда SA=SB=SC=SD.
S_A=S_B=S_C=S_D. SA=SB=SC=SD. Геометрически это означает: площади всех четырёх граней равны. В частности, если дополнительно требовать равенства рёбер, то это даёт регулярный тетраэдр; в общем же равенство площадей граней соответствует дисфеноидному (isosceles) тетраэдру, у которого все четыре грани равновелики (и попарно конгруэнтны). Краткая схема доказательства с неравенствами (альтернативный вариант): пользуясь тождеством SXhX=3VS_Xh_X=3VSXhX=3V и неравенством Коши–Шварца для векторов (hX)(h_X)(hX) и (SX)(S_X)(SX) получаем (∑hX2)(∑SX2)≥(∑hXSX)2=(12V)2,
\Big(\sum h_X^2\Big)\Big(\sum S_X^2\Big)\ge\Big(\sum h_XS_X\Big)^2=(12V)^2, (∑hX2)(∑SX2)≥(∑hXSX)2=(12V)2,
откуда ∑hX2≥144V2∑SX2.
\sum h_X^2\ge\frac{144V^2}{\sum S_X^2}. ∑hX2≥∑SX2144V2.
При фиксированном VVV правая часть минимальна тогда, когда ∑SX2\sum S_X^2∑SX2 максимальна, а для заданной симметрии максимум ∑SX2\sum S_X^2∑SX2 достигается при SA=SB=SC=SDS_A=S_B=S_C=S_DSA=SB=SC=SD. Это снова даёт условие равенства площадей граней как необходимое и достаточное условие для минимума суммы квадратов высот.
V=13SAhA,т.е.hA=3VSA, V=\tfrac13 S_A h_A,\quad\text{т.е.}\quad h_A=\frac{3V}{S_A},
V=31 SA hA ,т.е.hA =SA 3V , и аналогично для остальных. Следовательно
∑вершиныh2=∑X∈{A,B,C,D}9V2SX2=9V2∑X1SX2. \sum_{\text{вершины}} h^2=\sum_{X\in\{A,B,C,D\}}\frac{9V^2}{S_X^2}=9V^2\sum_{X}\frac{1}{S_X^2}.
вершины∑ h2=X∈{A,B,C,D}∑ SX2 9V2 =9V2X∑ SX2 1 .
Итак при фиксированном объёме VVV задача сводится к минимизации ∑1/SX2\sum 1/S_X^2∑1/SX2 по положительным величинам SXS_XSX (площади граней). Функция x↦1/x2x\mapsto 1/x^2x↦1/x2 выпукла на (0,∞)(0,\infty)(0,∞), поэтому при симметричной задаче минимум достигается при равенстве аргументов (по принципу симметрии или по нестрогой форме неравенства Йенсена). Следовательно минимум достигается тогда и только тогда, когда
SA=SB=SC=SD. S_A=S_B=S_C=S_D.
SA =SB =SC =SD .
Геометрически это означает: площади всех четырёх граней равны. В частности, если дополнительно требовать равенства рёбер, то это даёт регулярный тетраэдр; в общем же равенство площадей граней соответствует дисфеноидному (isosceles) тетраэдру, у которого все четыре грани равновелики (и попарно конгруэнтны).
Краткая схема доказательства с неравенствами (альтернативный вариант): пользуясь тождеством SXhX=3VS_Xh_X=3VSX hX =3V и неравенством Коши–Шварца для векторов (hX)(h_X)(hX ) и (SX)(S_X)(SX ) получаем
(∑hX2)(∑SX2)≥(∑hXSX)2=(12V)2, \Big(\sum h_X^2\Big)\Big(\sum S_X^2\Big)\ge\Big(\sum h_XS_X\Big)^2=(12V)^2,
(∑hX2 )(∑SX2 )≥(∑hX SX )2=(12V)2, откуда
∑hX2≥144V2∑SX2. \sum h_X^2\ge\frac{144V^2}{\sum S_X^2}.
∑hX2 ≥∑SX2 144V2 . При фиксированном VVV правая часть минимальна тогда, когда ∑SX2\sum S_X^2∑SX2 максимальна, а для заданной симметрии максимум ∑SX2\sum S_X^2∑SX2 достигается при SA=SB=SC=SDS_A=S_B=S_C=S_DSA =SB =SC =SD . Это снова даёт условие равенства площадей граней как необходимое и достаточное условие для минимума суммы квадратов высот.