算額（その1613）
八戸市北糠塚 光龍寺 昭和54年(1979)8月18日 桑原秀夫 復元奉納
http://www.wasan.jp/aomori/koryuji.html
キーワード：正8面球
#Julia, #SymPy, #算額, #和算, #数学
直径が R の球の表面上に互いに等距離になるように 6 個の点を配置し，それらを結ぶと合同な曲面が 8 個できる。これを正 8 面球と呼ぶ。辺の長さはいかほどか。
球面上の 6 頂点は，この球に内接する一辺の長さが a の正 8 面体である。球の半径は R = a/√2 なので，a = √2R である。
正 8 面体の隣り合う頂点を A, B，重心を O としたとき，∠AOB = θ = 90° である。
using SymPy
@syms R, a, θ
eq1 = R - (√Sym(2)/2) * a
eq2 = 2R^2 - 2R^2*cos(θ) - (√Sym(2)R)^2
res = solve([eq1, eq2], (θ, a))[1]
(pi/2, sqrt(2)*R)
θ = res[1]
θ |> println
deg = θ/PI*180
deg.evalf() |> println
pi/2
90.0000000000000
A，B，O の3点を含む平面でこの外接球を切ると，切断面は半径 R の円になる。曲線ABはこの円の円周の θ/2π 倍である。
((θ/2PI) * (PI*2R)) |> println
pi*R/2
R = 6 のとき，正 8 面球の辺の長さは 9.42477796076938 である。
((θ/2PI) * (PI*2R))(R => 6).evalf() |> println
9.42477796076938
