まず面積について復習し,符号付き面積(有向面積)を定義しよう.
南海 これの根拠となった面積の式は?
耕一 です.
南海 この角は大きさを表すのだが,これを OAからOBへの符号つきの角とし,左回りを正としよう. つまり3点O,A,Bが反時計回りに廻っているとき, の面積を正とし,逆回りのとき負とする.
このとき上の絶対値はどのようにはずすことができるか.
耕一
OAからOBへの符号つきの角をとします.
OAからOBへは回転と拡大なので
南海 このように符号まで考えた三角形の面積を と書こう. それでは の面積 はこの面積公式はどのようになるか.
耕一
点Aを基準点にするので,
から
への面積です.
だから
です. これは図のようになっていて, と の面積の和から の面積, ただし符号を除いた絶対値での話しですが, これを引いたものが の面積なるので, よくわかる等式です.
南海
この関係は点Oの代わりに
と点Pについてもいえる.
つまり