■葉序らせん(その102)

 次に中心Oを求めなければならない.

  OA=OB=OC=OD

(x−ξ)^2+b^2s^2=(x+ξ)^2+c^2/4

−4xξ+b^2s^2−c^2/4=0

を満たすξが求まる.

  A(x−ξ,bs,−bc)

  D(x−ξ,−bs,bc)

  C(−x−ξ,c/2,s/2)

  B(−x−ξ,−c/2,−s/2)

  E(α−ξ,−γs,γc)

  O(0,0,0)

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

cos(∠COD)=(−x^2+ξ^2−bsc/2)/{((x−ξ)^2+b^2s^2)((x+ξ)^2+c^2/4)}^1/2

cos(∠AOB)=(−x^2+ξ^2−bsc/2)/{((x−ξ)^2+b^2s^2)((x+ξ)^2+c^2/4)}^1/2

∠COD=∠AOB

−4xξ+b^2s^2−c^2/4=0を代入すると,

(x−ξ)^2+b^2s^2)=x^2+ξ^2−2xξ+b^2s^2

=x^2+ξ^2−b^2s^2/2+c^2/8+b^2s^2

=x^2+ξ^2+b^2s^2/2+c^2/8

(x+ξ)^2+c^2/4=x^2+ξ^2+2xξ+c^2/4

=x^2+ξ^2+b^2s^2/2−c^2/8+c^2/4

=x^2+ξ^2+b^2s^2/2+c^2/8

どちらも等しい.

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

∠COD=∠AOBであるが,=∠BOCが成り立つかどうかはわからない.

  C(−x−ξ,c/2,s/2)

  B(−x−ξ,−c/2,−s/2)

cos(∠BOC)={(x+ξ)^2−c^2/4}/{(x+ξ)^2+c^2/4}

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