三棱锥的体积推导的副本