>>770
すまん。

ベクトル↑S(k)(1≦k≦n)
|↑S(k)|=1となるベクトル群と、
ベクトル↑T(k)(1≦k≦m)
|↑T(k)|=2となるベクトル群がある。
このときn,k,mは自然数でありn>mであり、
↑S(k)=(k=1→m)Σ(a(k)・↑T(k))で書けるとする。(a(k)は,実数関数でa(k)≠0)
このとき(k=1→n)Σ(b(k)・↑S(k))=0(b(k)は実数関数)が成り立つなら
(k=1→n)Σb(k)^2≠0であることを示せ。