正四面体构型空间利用率的推导