有没有这样的公式？叫什么三斜角公式的？

有一个的、、我们老师管它叫歪歪角公式、、官方的名称我也不知道、、是立体几何，空间向量那里用到的、、你可以看看选修2-1

有的，不过好像不叫三斜角公式。这是立体几何里的一个公式。具体证明还是找高二的数学书看看吧。