2011-05-31から1日間の記事一覧
三角形の内接円を一般化して 与えられた平面図形 D に含まれる円の半径 r の範囲 を考えます. そのような r の条件は r≧0 ∧ ∃(a,b)∀(x,y)( (x-a)^2+(y-b)^2≦r^2 → (x,y)∈D ) ですから,Mathematica の場合,D の条件を f として Reduce[ r >= 0 && Exists[{…
三角形の内接円を一般化して 与えられた平面図形 D に含まれる円の半径 r の範囲 を考えます. そのような r の条件は r≧0 ∧ ∃(a,b)∀(x,y)( (x-a)^2+(y-b)^2≦r^2 → (x,y)∈D ) ですから,Mathematica の場合,D の条件を f として Reduce[ r >= 0 && Exists[{…