動機は不明。

トレミーの定理なんぞベクトルでもシュワルツの不等式でイッパツじゃねーか