■葉序らせん(その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}
===================================