>>761

△ABCの辺を BC＝a, CA＝b, AB＝c とおく．
点Pと辺aを含む △PBC の
符号付き面積を考えると
S_a＝(1/2){(b1-p1)(c2-p2)-(c1-p1)(b2-p2)}
同様に
S_b＝△PCA＝(1/2){(c1-p1)(a2-p2)-(a1-p1)(c2-p2)}
S_c＝△PAB＝(1/2){(a1-p1)(b2-p2)-(b1-p1)(a2-p2)}

点Pが
△ABCの内側⇔3つの面積が0でなく同符号
△ABCの辺の上⇔1つが0、残りが0でなく同符号
△ABCの頂点の上⇔2つが0