对角线长公式.如题.是关于正四面体长的计算功式。