A ⃗ , B ⃗ , C ⃗ , D ⃗ \vec A,\vec B,\vec C,\vec D A , B , C , D をそれぞれ O A → , O B → , O C → , O D → \overrightarrow{OA},\overrightarrow{OB},\overrightarrow{OC},\overrightarrow{OD} O A , O B , O C , O D と書く。すべて単位ベクトルであり、A ⃗ ⋅ B ⃗ = 1 2 \displaystyle \vec A\cdot\vec B=\frac12 A ⋅ B = 2 1 である。そこで P ⃗ = A ⃗ + B ⃗ , Q ⃗ = A ⃗ − B ⃗ \vec P=\vec A+\vec B,\qquad \vec Q=\vec A-\vec B P = A + B , Q = A − B とおくと ∣ P ⃗ ∣ 2 = ∣ A ⃗ ∣ 2 + 2 A ⃗ ⋅ B ⃗ + ∣ B ⃗ ∣ 2 = 3 , ∣ Q ⃗ ∣ 2 = ∣ A ⃗ ∣ 2 − 2 A ⃗ ⋅ B ⃗ + ∣ B ⃗ ∣ 2 = 1 , P ⃗ ⋅ Q ⃗ = 0. |\vec P|^2=|\vec A|^2+2\vec A\cdot\vec B+|\vec B|^2=3,\quad
|\vec Q|^2=|\vec A|^2-2\vec A\cdot\vec B+|\vec B|^2=1,\quad
\vec P\cdot\vec Q=0. ∣ P ∣ 2 = ∣ A ∣ 2 + 2 A ⋅ B + ∣ B ∣ 2 = 3 , ∣ Q ∣ 2 = ∣ A ∣ 2 − 2 A ⋅ B + ∣ B ∣ 2 = 1 , P ⋅ Q = 0. また、与えられた内積条件から Q ⃗ ⋅ C ⃗ = A ⃗ ⋅ C ⃗ − B ⃗ ⋅ C ⃗ = 0 , Q ⃗ ⋅ D ⃗ = A ⃗ ⋅ D ⃗ − B ⃗ ⋅ D ⃗ = 0. \vec Q\cdot\vec C=\vec A\cdot\vec C-\vec B\cdot\vec C=0,\qquad
\vec Q\cdot\vec D=\vec A\cdot\vec D-\vec B\cdot\vec D=0. Q ⋅ C = A ⋅ C − B ⋅ C = 0 , Q ⋅ D = A ⋅ D − B ⋅ D = 0. したがって P ⃗ , C ⃗ , D ⃗ \vec P,\vec C,\vec D P , C , D はいずれも Q ⃗ \vec Q Q に垂直な平面に属する。この平面内で e ⃗ = P ⃗ 3 \displaystyle
\vec e=\frac{\vec P}{\sqrt3} e = 3 P とし、e ⃗ \vec e e に垂直な単位ベクトルを f ⃗ \vec f f とする。この二方向を座標軸とする直交座標でベクトルを表す。
まず P ⃗ ⋅ C ⃗ = A ⃗ ⋅ C ⃗ + B ⃗ ⋅ C ⃗ = − 6 2 \displaystyle
\vec P\cdot\vec C=\vec A\cdot\vec C+\vec B\cdot\vec C=-\frac{\sqrt6}{2} P ⋅ C = A ⋅ C + B ⋅ C = − 2 6 なので e ⃗ ⋅ C ⃗ = − 1 / 2 \vec e\cdot\vec C=-1/\sqrt2 e ⋅ C = − 1/ 2 。さらに ∣ C ⃗ ∣ = 1 |\vec C|=1 ∣ C ∣ = 1 より、ε = 1 \varepsilon=1 ε = 1 または ε = − 1 \varepsilon=-1 ε = − 1 として C ⃗ = − 1 2 e ⃗ + ε 2 f ⃗ \displaystyle
\vec C=-\frac{1}{\sqrt2}\vec e+\frac{\varepsilon}{\sqrt2}\vec f C = − 2 1 e + 2 ε f と表せる。一方、P ⃗ ⋅ D ⃗ = 2 k \vec P\cdot\vec D=2k P ⋅ D = 2 k だから、ある実数 y y y により D ⃗ = 2 k 3 e ⃗ + y f ⃗ \displaystyle
\vec D=\frac{2k}{\sqrt3}\vec e+y\vec f D = 3 2 k e + y f と書ける。条件 C ⃗ ⋅ D ⃗ = 1 / 2 \vec C\cdot\vec D=1/2 C ⋅ D = 1/2 に代入すると − 2 k 6 + ε y 2 = 1 2 , ε y = 1 2 + 2 k 3 . \displaystyle
-\frac{2k}{\sqrt6}+\frac{\varepsilon y}{\sqrt2}=\frac12,
\qquad \varepsilon y=\frac1{\sqrt2}+\frac{2k}{\sqrt3}. − 6 2 k + 2 ε y = 2 1 , ε y = 2 1 + 3 2 k . ∣ D ⃗ ∣ = 1 |\vec D|=1 ∣ D ∣ = 1 を用いて y 2 y^2 y 2 を消去すれば 1 = 4 k 2 3 + y 2 = 4 k 2 3 + ( 1 2 + 2 k 3 ) 2 , \displaystyle \begin{aligned}
1&=\frac{4k^2}{3}+y^2\\
&=\frac{4k^2}{3}+\left(\frac1{\sqrt2}+\frac{2k}{\sqrt3}\right)^2,
\end{aligned} 1 = 3 4 k 2 + y 2 = 3 4 k 2 + ( 2 1 + 3 2 k ) 2 , すなわち 16 k 2 + 4 6 k − 3 = 0. 16k^2+4\sqrt6\,k-3=0. 16 k 2 + 4 6 k − 3 = 0. この二次方程式の解は k = − 6 ± 3 2 8 . \displaystyle
k=\frac{-\sqrt6\pm3\sqrt2}{8}. k = 8 − 6 ± 3 2 . k > 0 k>0 k > 0 なので正の解を選び、 k = 3 2 − 6 8 . \displaystyle
\boxed{k=\frac{3\sqrt2-\sqrt6}{8}}. k = 8 3 2 − 6 .