>>568
ベクトルｕ,ｖ,ｗが貼る空間の次元は最大で3なので、
基底変換(内積は不変)により3次元空間内の3点の問題に落とせる。
その時問題の不等式は3次元単位球面上の三角不等式を表す。
成り立つ理由は大円は球面上の測地線だから