.geometry "version 0.51";
v1 = .free(0.0568862, 0.41018, "A");
v2 = .free(0.245509, 0.0419162, "B");
v3 = .free(-0.248503, 0.00299401, "C");
l1 = .l.vv(v1, v2);
l2 = .l.vv(v2, v3);
l3 = .l.vv(v3, v1);
v4 = .v.lvmirror(l2, v1, "A'");
v5 = .v.lvmirror(l3, v2, "B'");
v6 = .v.lvmirror(l1, v3, "C'");
l4 = .l.vv(v1, v5);
l5 = .l.vv(v5, v3);
l6 = .l.vv(v3, v4);
l7 = .l.vv(v4, v2);
l8 = .l.vv(v2, v6);
l9 = .l.vv(v6, v1);
c1 = .c.vvv(v1, v2, v6);
c2 = .c.vvv(v3, v4, v2);
c3 = .c.vvv(v3, v1, v5);
v7 = .v.ccenter(c3, "B''");
v8 = .v.ccenter(c1, "C''");
v9 = .v.ccenter(c2, "A''");
l10 = .l.vv(v1, v9);
l11 = .l.vv(v2, v7);
l12 = .l.vv(v3, v8);
.text("In \triangleABC, each vertex is reflected across
the opposite side forming 3 more triangles.  Note that
the circumcircles of these three triangle meet at a
point, and the lines connecting the original vertices
to the centers of the circumcircles also meet at a
point.", .red);