正四面体体积、内切球、外接球相关结论推导
发布人