■正方形の面積を等分する(その3)

 (その2)では<2となったが,シュタイナー問題と同様,120°をなす三叉路を作ってみたらどうだろうか?

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

 そのためには,(−c,0)を中心とする24分円を描き,4つの円弧の中央を線分で結ぶことを考える.

  tan15°=x/(c+x)=2−√3

  c=(1+√3)x

  (c+x)^2+x^2=(8+4√3)x^2=(√6+√2)^2x^2=r^2

  r=(√6+√2)x

 円弧と線分の交点を(x,x)とすると

  π/24・r^2−(1+√3)/2・x^2=1/8

  x=0.461042・・・

したがって,円弧の長さの合計は

  πr/3=1.8654・・・

線分の長さは

  √2−2x√2

であるから,仕切り線の合計は

  πr/3+√2−2x√2=1.97559・・・<2

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

[まとめ]仕切り線の合計は1.97559・・・<2まで縮めることができた.これが最短と考えられているという.

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