En R3 hasta un signo, el volumen de un tetraedro con vértices en →v0=→0 , →v1 , →v2 y →v3 viene dado por a triple producto escalar : \verb/Volume/ = \frac16 \left| \vec{v}_1 \cdot ( \vec{v}_2 \times \vec{v}_3 ) \right| Si se construye un 3 \times 3 matriz \Delta cuyo i^{th} es igual a \vec{v}_i la fórmula anterior se convierte en
\verb/Volume/ = \frac16 | \det\Delta |
Sea G(\vec{v}_1,\vec{v}_2,\vec{v}_3) = \Delta^T\Delta sea el Matriz Gram asociados a los vectores \vec{v}_1 , \vec{v}_2 y \vec{v}_3 . A efectos de esta pregunta, se trata simplemente de un 3 \times 3 cuya entrada en la fila i , columna j es igual a \vec{v}_i\cdot\vec{v}_j . Dado que estos dependen únicamente de los productos internos, la expresión sigue funcionando incluso cuando los puntos pertenecen a un espacio de dimensión superior.
En términos de la matriz de Gram, los 3 volúmenes de un tetraedro con vértices \vec{u}_0 , \vec{u}_1 , \vec{u}_2 , \vec{u}_3 \in \mathbb{R}^n para cualquier n \ge 3 es igual a
\verb/Volume/ = \frac16\sqrt{\det G(\vec{v}_1,\vec{v}_2,\vec{v}_3)} \quad\text{ where }\quad \vec{v}_i = \vec{u}_i - \vec{u}_0
Para el problema que nos ocupa
\begin{cases} \vec{v}_1 = (-2,2,0,0)\\ \vec{v}_2 = (\phantom{+}2,0,1,0)\\ \vec{v}_3 = (-2,4,0,0) \end{cases} \implies G(\vec{v}_1,\vec{v}_2,\vec{v}_3) = \begin{bmatrix} \vec{v}_1\cdot\vec{v}_1 & \vec{v}_1\cdot\vec{v}_2 & \vec{v}_1\cdot\vec{v}_3\\ \vec{v}_2\cdot\vec{v}_1 & \vec{v}_2\cdot\vec{v}_2 & \vec{v}_2\cdot\vec{v}_3\\ \vec{v}_3\cdot\vec{v}_1 & \vec{v}_3\cdot\vec{v}_2 & \vec{v}_3\cdot\vec{v}_3\\ \end{bmatrix} = \begin{bmatrix} 8 & -4 & 12 \\ -4 & 5 & -4 \\ 12 & -4 & 20 \end{bmatrix}
Esto conduce a \verb/Volume/ = \frac16 \sqrt{\left|\begin{matrix} 8 & -4 & 12 \\ -4 & 5 & -4 \\ 12 & -4 & 20 \end{matrix}\right|} = \frac16\sqrt{16} = \frac{2}{3}
Actualización
Para una fórmula alternativa del volumen, podemos aplicar Fórmula de Cauchy-Binet a \det(\Delta^T\Delta) y descomponerla como suma de cuadrados de determinantes de 3 \times 3 submatrices de \Delta . Más concretamente, dejemos que \vec{r}_1, \vec{r}_2, \ldots, \vec{r}_n \in \mathbb{R}^3 sean los vectores fila de \Delta tenemos \det(G) = \det(\Delta^T\Delta) = \sum_{1 \le i < j < k \le n} | \vec{r}_i \cdot ( \vec{r}_j \times \vec{r}_k )|^2
En n = 4 el volumen de un tetraedro es
\verb/Volume/ = \frac16\sqrt{ | \vec{r}_1 \cdot ( \vec{r}_2 \times \vec{r}_3 )|^2 +| \vec{r}_1 \cdot ( \vec{r}_2 \times \vec{r}_4 )|^2 +| \vec{r}_1 \cdot ( \vec{r}_3 \times \vec{r}_4 )|^2 +| \vec{r}_2 \cdot ( \vec{r}_3 \times \vec{r}_4 )|^2}
Para el problema que nos ocupa, \begin{cases} \vec{r}_1 = (-2,2,-2)\\ \vec{r}_2 = (2,0,4)\\ \vec{r}_3 = (0,1,0)\\ \vec{r}_4 = (0,0,0) \end{cases} . Desde \vec{r}_4 = \vec{0} sólo sobrevive un producto triple y \verb/Volume/ = \frac16 | \vec{r}_1 \cdot (\vec{r}_2 \times \vec{r}_3)| = \frac16 \left|\begin{bmatrix} -2 & 2 & -2\\ 2 & 0 & 4\\ 0 & 1 & 0 \end{bmatrix}\right| = \frac{|(-2)4 - (-2)(2)|}{6} = \frac23 La misma respuesta que antes. En general, esto ilustra si un componente de u_k es la misma, entonces algunos vectores fila \vec{r}_k = \vec{0} . Hasta una constante, la fórmula del volumen vuelve a reducirse a un triple producto escalar.
0 votos
Habiendo movido un vértice al origen, se podría encontrar una transformación rígida (es decir, una transformación correspondiente a la matriz ortogonal) que gire el tetraedro movido en R3 y luego utiliza la fórmula del producto cruzado que conozcas. Otra posibilidad es calcular las distancias entre pares de puntos y utilizar la fórmula Determinante de Cayley-Menger .