■正方形の面積を等分する(その6)
3等分するためには,(x,y)を中心とする12分円を描き,2つの円弧の交点と辺の中点を線分で結ぶことを考える.円弧と線分の交点を(c,c)とする.
y=x−1とy=tan75°(x−c)+cの交点,円弧の頂角は30°である.
(x−1)=tan75°(x−c)+c
tan75°=2+√3
(x−c)=−1/(tan75°−1)=−(√3−1)/2
(y−c)=−(√3−1)/2−1=−(√3+1)/2
r^2=(x−c)^2+(y−c)^2=2,r=√2
(x−c)−(y−c)=−(√3−1)/2+(√3+1)/2=1
x^2+(y+1)^2=2x^2
(x−c−1/2)^2+(y−c+1/2)^2
=(x−c)^2+(y−c)^2+1/2−(x−c)+(y−c)
=3/2
x<0に注意すると
πr^2/12+√2x・√2/2−1/2・√(3/2)・√2/2=S/6
π/6+x−√3/4=1/3
2π+12x−3√3=4
x=−(2π−3√3−4)/12
===================================