>>213
周、内部がたがいに共有点をもたない直径d1,d2,d3の円を直径Dの円の内部にとれる
条件なら 2(1/d1^2+1/d2^2+1/d3^2+1/D^2)<(1/d1+1/d2+1/d3-1/D)^2かな。
by ソディの公式。