>>372
ベクトルの内積は

(x,y) = |x| |y| cosθ
のようにかけること
|aj| = 1であることを用いれば
当然の結果

あと、x = Σ bj ajと和で書けば (bj ∈R)