公式■·■=x_1x_2+y_1y_2的另一种证法

高中数学第一册(下)(试验修订本)第120页中给出了平面向量的数量积的坐标表示公式:a·b=(x_1i+y_1j)·(x_2i+y_2j)=x_1x_2+y_1y_2;并给出了证明。下面我们给出此公式的另一种证法。