设i是x轴正向上的单位向量,即i=(1,0)
设α是向量a与i的夹角,
按向量数量积的定义,有
a·i=|a|·|i|·cosα=|a|·cosα
另一方面,设a=(x,y),由向量数量积的坐标运算,得
则a·i=x×1+y×0=x
从而　|a|·cosα=x