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

16S^2+16abcdcos^2θ=−(a^4+b^4+c^4+d^4)+2b^2c^2+2a^2d^2+2a^2b^2+2b^2d^2+2a^2c^2+2c^2d^2+8abcd

は(その9)と一致.

 結局,ブレットシュナイダーの公式が正しいことが確かめられたことになる.

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

  S=1/2・d1d2sinφ

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

  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

 対角線の長さ(あるいは4辺の長さ)と面積(あるいは4角)の与えられた四角形の対角線の交角は

  sinφ=2S/d1d2

により与えられるという結論自体は正しい.

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