LonelyWord

最近做的东西涉及到四面体体积，已知条件是三边及其夹角（准确点说是有公共顶点的三边长度及其两两夹角），求其体积，答案是（推倒过程略）

x，y，z是长度，\alpha，\beta，\gama是角度