Deje $k$ ser la longitud de cualquier arista de un tetraedro regular.Demostrar que el ángulo entre cualquier arista y una cara que no contiene el borde es $\arccos(\frac{1}{\sqrt3})$.
Deje que el tetraedro regular se $OABC$.Deje $O$ ser el origen y la posición de los vectores de $A,B,C$$\vec{a},\vec{b},\vec{c}$.
Vamos a encontrar el ángulo entre la cara $OAB$ y el borde de la $OC$.El ángulo entre el plano y la línea a se encuentra encontrando el ángulo entre la normal al plano y a la línea.
El avión $OAB$ es generado por los vectores $\vec{a}$$\vec{b}$.Para su normal está dado por $\vec{a}\times\vec{b}$.Y el borde de la $OC$$\vec{c}$.
Deje $\theta$ ser el ángulo entre la cara de $OAB$$OC$.Así que el ángulo entre la normal a la cara de $OAB$ $OC$ $\frac{\pi}{2}-\theta$
$\cos(\frac{\pi}{2}-\theta)=\frac{(\vec{a}\times\vec{b}).\vec{c}}{|\vec{a}\times\vec{b}||\vec{c}|}$
$\sin\theta=\frac{(\vec{a}\times\vec{b}).\vec{c}}{|\vec{a}||\vec{b}||\vec{c}|\sin\frac{\pi}{3}}$
Estoy atascado aquí y no podía resolver más.Por favor me ayude.Gracias.