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

 丸いピザ(半径R)のなかに1点(cosα,sinα)を決める.その点を第1象限とすれば,R>1,0<α<π/2となる.その点を中心とする極座標は

  R^2=r^2+1−2rcos(π−α+θ)

  R^2=r^2+1+2rcos(α−θ)

  r^2+2rcos(θ−α)+1−R^2=0

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

 θ=αのとき,r=R−1,θ=α+πのとき,r=R+1であるから

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

として

  1/2・∫r^2dθ

を計算すればよい.

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

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

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

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

∫cos2(θ−α)dθ=1/2・sin2(θ−α)

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

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

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

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

 このように簡単な形になることは知らなかった.案外簡単かもしれない.

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