■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

===================================