外接球问题四种模型