Ｒ^ｎの標準内積を<.>で表します
Ｒ^ｎの単位球面の任意の点ｕ,ｖ,ｗについて

cos^(-1)<ｕ.ｖ> ≦ cos^(-1)<ｕ.ｗ> ＋ cos^(-1)<ｗ.ｖ>
が成り立つ理由を教えてください