■シュレーフリの公式と直角三角錐(その25)
双曲四面体の体積と辺の長さや面角との基本的な関係に、シュレーフリの関係式がある。
Vを双曲四面体Tの体積、Eをその辺、Eの長さをL、Eでの面角をθとする。
このとき
∂V/∂θ=-L/2
が成り立つ。
===================================
シュレーフリは、微分関係式
df(α、β、γ)=(4/π^2)adα
df(α、β、γ)=(4/π^2)(adα+bdβ+cdγ)
を示した
===================================