中点の作図 - DyGeom.m on Mathematica+KETpic

ver 0.40以降用です．

---

SetDirectory[NotebookDirectory[]];
<< DyGeom.m
p1 = 点[{0, 0}]
p2 = 点[{3, 0}]
c1 = 円[p1, p2]
c2 = 円[p2, p1]
p3 = 交点[c1, c2]
p4 = 交点[c1, c2, not -> p3]
l1 = 直線[p1, p2]
l2 = 直線[p3, p4]
p5 = 交点[l1, l2]
作図[p1, p2, p3, p4, c1, c2, l1, l2, p5]

---