■ピザの公平な分け方(その18)

 r^2=cos2(θ−α)+R^2−{4R^2(cos(θ−α))^2−(sin2(θ−α))^2}^1/2

[1]∫cos2(θ−α)dθ=1/2・sin2(θ−α)・・・周期π

[2]∫cos(θ−α){R^2−(sin(θ−α))^2}^1/2dθ

=R/2・sin(θ−α){1−(sin(θ−α)/R)^2}^1/2+2R^2・arcsin(sin(θ−α)/R)・・・周期2π

 グラフを描いて検討してみたい.

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

【1】45°8ピース

[1]a+c=0,b+d=0,e+g=0,f+h=0

[2]a+e=0,b+f=0,c+g=0,d+h=0

  a+c+e+g=b+d+f+h=0は[1][2]を満たす.

 2人で公平にピザを分けることはできるが,4人で公平にピザを分けること

  a+e=0,b+f=0,c+g=0,d+h=0

は[2]を満たすが[1]を満たさない.

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

【2】60°6ピース

[1]a+c=0,b+e=0,d+f=0

[2]a+d=0,b+e=0,c+f=0

  a+c+e=b+d+f=0は[1][2]とも満たさない.4人で公平にピザを分けること

  a+d=0,b+e=0,c+f=0

は[2]を満たすが[1]を満たさない.

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

【3】22.5°16ピース

[1]a+e=0,b+f=0,c+g=0,d+h=0

   e+i=0,f+j=0,g+k=0,h+l=0

   i+m=0,j+n=0,k+o=0,l+p=0

[2]a+i=0,b+j=0,c+k=0,d+l=0

   m+e=0,n+f=0,o+g=0,p+h=0

[1][2]より

a+c+e+g+i+k+m+o=b+d+f+h+j+l+n+pは成り立つ.

a+e+i+m=c+g+k+o=b+f+j+n=d+h+l+pも成り立つ.したがって,2人でも4人でも均等に分けることができる.

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