■n角形のn等分(その3)
点P0,P1,・・・,Pn-1に対して,原点が面心であるための必要十分条件は
P0+P2=x1P1
P1+P3=x2P2
・・・・・・・・
Pn-2+P0=xn-1Pn-1
Pn-1+P1=xnP0
を満たす(x1,x2,・・・,x0)が存在することである.
===================================
△OP1P2=1/2・det(P1,P2)
より,△OP0P1=△OP1P2←→
det(P0,P1)=det(P1,P2)
det(P0,P1)−det(P1,P2)=0
det(P0,P1)+det(P2,P1)=0
det(P0+P2,P1)=0
a(P0+P2)+bP1=0→ P0+P2=x1P1
===================================