正三棱柱的外接球半径公式