原文:双半径单交线,公边边两对角公式求外接球半径公式证明