>>445
半径１の球の球面三角形ＡＢＣの面積はＡ＋Ｂ＋Ｃ−π。
正四面体の二面でできる角はａｒｃｃｏｓ（１／３）だから
切り取られる面積は３ａｒｃｃｏｓ（１／３）−πで
体積は（３ａｒｃｃｏｓ（１／３）−π）／３。