>>199
そこの回答者さんのおっしゃる通りかと思いました
多分の中線定理の一般的な証明中ではベクトル和(と差)のノルムが現れるでしょう...
|u+v|^2 = |u|^2 + |v|^2 + 2u・v
これもう一般化された三平方定理と言えます
証明の途中でその定理を(直接あるいは間接的に)使うのは循環論法、ナンセンスです。