ベクトルの成分分解
a の b からの反射影 a⊥b は零ベクトルであるかさもなくば b に直交する。
a⊥b = 0 (θ = 0°, 180° のとき);
a⊥b は b に垂直 (0° < θ < 180° のとき).