正方体外接球半径公式推导过程