四面体求角

  今天工作的时候碰到一个数学问题，我把它叫做四面体求角，估计这个问题有现成的解答，但是为了加深理解，我还是自己求解了一遍。话不多说，先放个图：
  图中有$\alpha$、$\beta$、$\theta$三个角，$\alpha \in (0,\pi )$是斜面角，$\beta \in (0,\pi )$是底面三角形的内角，$\theta \in (0,\frac{\pi }{2})$是竖直面直角三角形内角。知道其中两个，求另一个，这就是我所说的四面体求角的问题。不妨假设已知$\alpha$角和$\beta$角，求$\theta$角。
  假设顶部斜边的长度为$l$并假设底部斜边的长度与顶部斜边的长度相等，即$l_2=l$，其他的四条边都用$l$来表示，则有：

1. $h_1=l\mathrm{s}\mathrm{i}\mathrm{n}\theta$
2. $h_2=l\mathrm{c}\mathrm{o}\mathrm{s}\theta$
3. $h_3^2=h_2^2+l_2^2-2h_2{l}_2\mathrm{c}\mathrm{o}\mathrm{s}\beta \Rightarrow h_3^2=(l\mathrm{c}\mathrm{o}\mathrm{s}\theta {)}^2+l^2-2l^2\mathrm{c}\mathrm{o}\mathrm{s}\theta \mathrm{c}\mathrm{o}\mathrm{s}\beta$
4. $l_3^2=h_1^2+h_3^2=(l\mathrm{s}\mathrm{i}\mathrm{n}\theta {)}^2+(l\mathrm{c}\mathrm{o}\mathrm{s}\theta {)}^2+l^2-2l^2\mathrm{c}\mathrm{o}\mathrm{s}\theta \mathrm{c}\mathrm{o}\mathrm{s}\beta =2l^2(1-\mathrm{c}\mathrm{o}\mathrm{s}\theta \mathrm{c}\mathrm{o}\mathrm{s}\beta )$
5. $l_3^2=l^2+l_2^2-2l{l}_2\mathrm{c}\mathrm{o}\mathrm{s}\alpha =2l^2(1-\mathrm{c}\mathrm{o}\mathrm{s}\alpha )$

  从上面的最后两个表达式可以得到：
$$2l^2(1-\mathrm{c}\mathrm{o}\mathrm{s}\theta \mathrm{c}\mathrm{o}\mathrm{s}\beta )=2l^2(1-\mathrm{c}\mathrm{o}\mathrm{s}\alpha )$$
  整理之后可以得到：
$$\mathrm{c}\mathrm{o}\mathrm{s}\alpha =\mathrm{c}\mathrm{o}\mathrm{s}\theta \mathrm{c}\mathrm{o}\mathrm{s}\beta$$
  至此，四面体求角的问题已经解决，只要把已知的两个角的值代入$\mathrm{c}\mathrm{o}\mathrm{s}\alpha =\mathrm{c}\mathrm{o}\mathrm{s}\theta \mathrm{c}\mathrm{o}\mathrm{s}\beta$中就可以求解另一个角的值。