>>168
とりあえず前半ができたかな?
適当に近似してC^∞で考える。
diam=2とする。
領域はa(-π/2)=a(π/2)=0である関数を用いて領域
-1+a(t)≦xcos(t)+ysin(t)≦1+a(t)
にあるとしてよい。
直線族xcos(t)+ysin(t)=1+a(t)の包絡線を計算すると
x=acos(t)-a'sin(t)、y=asin(t)+a'cos(t)
となりこの包絡線の長さは
∫(1+a+a'')dt
である。
同様に直線族xcos(t)+ysin(t)=-1+a(t)の包絡線の長さは
∫(1-a-a'')dt
となり、これら二曲線の長さの和は2πである。
よって元の曲線の長さも>>172により2π以下とわかる。
以上により周率の最大値はπである。□