用向量法求解一道三棱锥外接球问题