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

 円に内接する場合を考える.(その4)の検算をするまでもなく

  S^2=(s−a)(s−b)(s−c)(s−d)

  s=(a+b+c+d)/2

  S=1/2・d1d2sinφ

  ac+bd=d1d2

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

  S=1/2・(ac+bd)sinφ={(s−a)(s−b)(s−c)(s−d)}^1/2

  1/4・(ac+bd)^2sin^2φ=(s−a)(s−b)(s−c)(s−d)

=1/16・(−a+b+c+d)(a−b+c+d)(a+b−c+d)(a+b+c−d)

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

[まとめ]円に内接する四角形(a,b,c,d)の対角線の交角φは

sin^2φ=(−a+b+c+d)(a−b+c+d)(a+b−c+d)(a+b+c−d)/4(ac+bd)^2

で与えられる.

 正方形(a=b=c=d=1)で検してみると,

  sin^2φ=16/4・4=1→ φ=π/2

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