>>409
別に正四面体とか関係なく、成り立つと思うが……

単に、cosの定義だべさ