设a=(x1,y1),b(x2,y2)
那么两个向量对应的三角形对应的第3边是向量是 b-a=(x2-x1,y2-y1)
用余弦定理 cos =(|a|²+|b|²-|b-a|²)/2|a||b|
= (x1²+y1²+x2²+y2² - ((x2-x1)²+(y2-y1)²)/2|a||b|
=(x1*x2+y1*y2)/|a||b|
证毕