と がなす角を とします。 すると、
　　　　　
　　　　　

今回は、 次の２つの式が成立することを幾何学的に証明してみましょう。
　　　　　
　　　　　

　　　　　

　 と の起点を とし、 の終点を とし、 の終点を とします。 点Ｂ から線分 に下した垂線の交点を とします。

線分 は次の式で表される直線上にあります。
　　　　　
線分 は次の式で表される直線上にあります。
　　　　　
　 と の連立方程式を解くことによって、 点 の成分が解ります。 そしてそれは次のようになります。