>>911
閉曲線が囲む図形は
・凸集合として良い
・尖ってる部分が無いとして良い（つまり閉曲線は微分可能）
・半円の境界に接していない部分は、少なくとも局所的に曲率が等しいとして良い
ことから>>903の形を仮定していいはず