■等面単体の体積(その173)

 等面四面体が単位球に内接するための条件は

  a^2+b^2+c^2=8,a^2+b^2>c^2

である.

 (その166)〜(その170)では,球面三角法の公式

 cosC=(cosc−cosa・cosb)/sina・sinb

を用いて失敗したが,(その172)では

  cosc=(cosAcosB+cosC)/sinAsinB

を用いて簡単に示すことができた.

===================================

 cosC=(cosc−cosa・cosb)/sina・sinb

は以前から知っていたが,

  cosc=(cosAcosB+cosC)/sinAsinB

は初めて.ものは使い様ということになる.

===================================