というか正八面体の高さっていったら、
ある三角形の面を底にして横から見たときの長方形部分の縦の長さ
って意味なんですかね。高さって言われても色々ある気が。