正四面体の内接球の半径