何故内積はx1*y1+x2*y2なのか?