>>165
細かい論証は省くと 
ABCDが正4面体のとき
 m = 16/(3√3) ≒ 3.0792014356 7800407738 2126829343 8…