どうやら1投稿につき画像数の上限は10らしい
π/3≦θ≦π/2のとき
上記の操作により施される図形は下図である
このときO_{1},O{2},O{3}は△ABCの外側にある
なぜならば∠O_{1}BC=θ≧π/3 、O_{2},O_{3}も同様
∠O_{1}BA=∠O_{2}BC=θ-π/3より
∠O_{1}BO_{2}=(θ-π/3)+(θ-π/3)+π/3=2θ-π/3

白色部分は常に円板が通りうる領域
O_{1},O_{2}の交点のうちBでないほうをPとおく
∠O_{1}BO_{2}=2θ-π/3だから∠PBO_{1}=θ-π/6より
∠BO_{2}P=4π/3-2θゆえ赤色部分の扇形の中心角=π-(4π/3-2θ)=2θ-π/3
灰色部分の面積をS3とすると
S3は半径2,中心角2θ-π/3の扇形の面積から
半径1中心角4π/3-2θの扇形(上図赤色部分)+長さ1,1挟角2θ-π/3の二等辺三角形(上図水色部分)のそれぞれの面積
をひいたもので
S3=2(2θ-π/3)-(2θ-π/3)-sin(2θ-π/3)=2θ-π/3-sin(2θ-π/3)=S2
よってπ/6≦θ≦π/2において







