■ブレットシュナイダーの公式(その2)

  S=((s−a)(s−b)(s−c)(s−d)−abcdcos^2θ)^1/2

S^2=|(−a+b+c+d)(a−b+c+d)(a+b−c+d)(a+b+c−d)/8−abcdcos^2θ|

において,θは対角のなす角度の半分である.

 これから対角線のなす角度φを求めることができるだろうか?

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

  S=1/2・d1d2sinφ

  d1^2=a^2+b^2−2abcosα=c^2+d^2−2cdcosγ

  d2^2=b^2+c^2−2bccosβ=d^2+a^2−2dacosδ

  α+β+γ+δ=2π

  (β+δ)/2=θ,(α+γ)/2=π−θ

  cosα=(a^2+b^2−d1^2)/2ab

  cosγ=(c^2+d^2−d1^2)/2cd

  cosβ=(b^2+c^2−d2^2)/2bc

  cosδ=(d^2+a^2−d2^2)/2da

cosαcosγ=(a^2+b^2−d1^2)(c^2+d^2−d1^2)/4abcd

cosβcosδ=(b^2+c^2−d2^2)(d^2+a^2−d2^2)/4abcd

 また,4辺の中点を連結した平行四辺形の面積は元の四角形の1/2であるから

  1/8{absinα+cdsinγ+bcsinβ+dasinδ)=S/2

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

[まとめ]sinφをa,b,c,d,d1,d2で表せることはわかった.ここで,すぐ気づくのはトレミーの定理

  ac+bd=d1d2

である.d1,d2も消去できればよいのであるが・・・.

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