.geometry "version 0.51";
v1 = .free(0.0299401, 0.461078, "A");
v2 = .free(0.538922, -0.143713, "B");
v3 = .free(-0.47006, 0.0272455, "C");
l1 = .l.vv(v1, v2);
l2 = .l.vv(v2, v3);
l3 = .l.vv(v3, v1);
l4 = .l.vlpar(v1, l2, .in);
l5 = .l.vlpar(v3, l1, .in);
l6 = .l.vlpar(v2, l3, .in);
v4 = .v.ll(l6, l4);
v5 = .v.ll(l4, l5);
v6 = .v.ll(l5, l6);
l7 = .l.vv(v5, v4);
l8 = .l.vv(v4, v6);
l9 = .l.vv(v6, v5);
c1 = .c.vvv(v1, v2, v4);
c2 = .c.vvv(v2, v3, v6);
c3 = .c.vvv(v5, v3, v1);
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("The superior triangle of \triangleABC is formed
by constructing lines parallel to its sides passing
through the opposide vertices.  Connect the circumcenters
of the newly-formed triangles to those opposite vertices
and they seem to meet at a point.  Do they?", .red);