■正方形の面積を等分する(その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まで縮めることができた.これが最短と考えられているという.
===================================