空間に原点を始点とする長さ1のベクトル

がある.

のなす角をγ,

のなす角をα,

のなす角をβとするとき,次の関係の成立することを示せ.またここで等号の成立するのはどのような場合か.
0\leq\cos^2\alpha+\cos^2\beta+\cos^2\gamma-2\cos\alpha\cos\beta\cos\gamma\leq1
(与式中辺)
等号成立は

かつ

すなわち

のとき.
つまり

が全て互いに直交するとき.

となるよう,点A,B,Cをとる.
A,Bとβを固定すると,CはOA上に中心のある円の周上を動く.
γが最大か最小となるのはBC(=

)が最大か最小となるときであり,これはCが平面OAB上にあるときに成立する.このとき,cosγ=cos(α±β)となる.
これより,cos(α+β)≦cosγ≦cos(α-β).
従って

であるから,(与式中辺)≦1.
等号成立はOABCが同一平面上にあるとき.つまり

が従属なとき.
最終更新:2013年10月04日 02:16