Различия

Показаны различия между двумя версиями страницы.

--- math-public:distance_in_tetr [2022/01/28 22:33] – [Теорема] labreslav
+++ math-public:distance_in_tetr [2022/02/03 00:46] (текущий) – labreslav
@@ Строка 6: / Строка 6: @@
 ====Доказательство:====
 {{ :math-public:untitled-1.jpg?700|}}
+Рассмотрим основной случай, когда $\varphi\neq 90^\circ$ и $\angle PEK\neq 90^\circ$ (угол $\angle PEK$ будет построен в ходе доказательства).
 Проведем через вершину $A$ прямую $l$, параллельную прямой $BC$, и опустим на нее перпендикуляр $PE$ из точки $P$. Таким образом, получим, что $AE\parallel BC$, а значит $\angle PAE = \angle(AP, BC) = \varphi$.
@@ Строка 21: / Строка 23: @@
 Итак, $\rho = \dfrac{2\cdot PH\cdot S(ABC)}{a\cdot b\cdot\sin{\varphi}}$.
+В остальных случаях, когда углы $\varphi$ или $\angle PEK$ могут быть прямыми, тот же результат получается аналогичным образом с той лишь разницей, что некоторые точки из приведённого доказательства могут совпадать.
+Например, если $\varphi = 90^\circ,$ то $A=E$, а если $\angle PEK = 90^\circ,$ то $T=E=H$.
 Обратим внимание, что тогда $PH\cdot S(ABC) = \dfrac{1}{2}\cdot\rho\cdot a\cdot b\cdot \sin{\varphi}$. В левой части этого равенства стоит произведение высоты тетраэдра на площадь грани, к которой эта высота проведена.