>>845
そもそも「内積」は定義だと思いますが,
ここを見つけました。
http://www.geisya.or.jp/~mwm48961/kou2/dot_product0.html