■シュレーフリの公式と直角三角錐(その92)
【1】ファウルハーバーの定理(四平方の定理)
辺(p,q,r)が1点において直交する四面体において,3つの面の面積をa,b,c,斜面の面積をdとすると
(△ABC)^2=(△OAB)^2+(△OBC)^2+(△OCA)
a^2+b^2+c^2=d^2
===================================
【2】ファウルハーバーの定理の証明
斜面の方程式は
x/p+y/q+z/r=1
したがって,原点(0,0,0)から斜面までの距離は
1/(1/p^2+1/q^2+1/r^2)^1/2
四面体の体積をVとすると
3V=d/(1/p^2+1/q^2+1/r^2)^1/2=ap=bq=cr=pqr
d^2=(pqr)^2・(1/p^2+1/q^2+1/r^2)
=(qr)^2+(rp)^2+)pq)^2
=a^2+b^2+c^2
===================================
一般に
V=1/n・S・H
H=(Σh^-2)^-1/2
より
S^2=S1^2+S2^2+・・・+Sn^2
が得られる
===================================