三棱锥的外接球-垂面模型等