vector反射影
$ \pmb{a}を$ \pmb{b}に平行なvectorとそれに直交するvectorとに分解したときの、後者の方のvecorのこと
$ \pmb{a}_{\bot\pmb{b}}:=\pmb{a}-\pmb{a}_{\parallel\pmb{b}}=\pmb{a}-(\pmb{a}\cdot\hat{\pmb{b}})\hat{\pmb{b}}
$ \pmb{b}\bot\pmb{a}_{\bot\pmb{b}}
証明
$ \pmb{b}\cdot\pmb{a}_{\bot\pmb{b}}=\pmb{b}\cdot\pmb{a}-\pmb{b}\cdot\hat{\pmb{b}}(\pmb{a}\cdot\hat{\pmb{b}})
$ = \pmb{b}\cdot\pmb{a}-|\pmb{b}|\pmb{a}\cdot\hat{\pmb{b}}
$ = \pmb{b}\cdot\pmb{a}-\pmb{a}\cdot\pmb{b}
$ =\underline{0\quad_\blacksquare}
一般に使われている用語かどうかは知らないが、名前があったほうが使いやすいので、今後このprojectではこれらの用語を使っていくことにする
References