内心と内接円 - DyGeom.m on Mathematica+KETpic

(* ver. 0.20 用*)
SetDirectory[NotebookDirectory[]];
<< ketpic6.m(*念のため*)
<< DyGeom.m
p1 = 点[{-4, -1}, pointname -> "A", pointposition -> "w"]
p2 = 点[{1, 4}, pointname -> "B", pointposition -> "nw"]
p3 = 点[{2, -1}, pointname -> "C", pointposition -> "e2"]
l1 = 直線[p1, p2, clipping -> {p1, p2}]
l2 = 直線[p2, p3, clipping -> {p2, p3}]
l3 = 直線[p3, p1, clipping -> {p1, p3}]
m1 = 角二等分[p1, p2, p3]
m2 = 角二等分[p2, p1, p3]
m3 = 角二等分[p1, p3, p2]
icenter = 交点[m1, m2, pointname -> "I", pointposition -> "nw2"]
m1 = AddOption[m1, clipping -> {p2, icenter}]
m2 = AddOption[m2, clipping -> {p1, icenter}]
m3 = AddOption[m3, clipping -> {p3, icenter}]
mk1 = 角度印[p3, p1, icenter, markshape -> "dash"]
mk2 = 角度印[icenter, p1, p2, markshape -> "dash"]
mk3 = 角度印[p1, p2, icenter, markshape -> "double"]
mk4 = 角度印[icenter, p2, p3, markshape -> "double"]
mk5 = 角度印[p2, p3, icenter, markshape -> "circle"]
mk6 = 角度印[icenter, p3, p1, markshape -> "circle"]
l4 = 垂線[icenter, l1]
p4 = 交点[l4, l1]
c1 = 円[icenter, p4]
DrawConstruction[p1, p2, p3, l1, l2, l3, m1, m2, m3, icenter, c1, mk1, mk2, mk3, mk4, mk5, mk6]

---