7 F = intersection(line(A.C), perpendicular(line(A.C), D))
8 G = point(circle(A, B, C), arg(line(D.F)):)
10 c3 = circle(H, radius(incircle(A, B, C)))
12 I = projection(E, line(B.C))
13 J = projection(E, line(A.B))
14 K = projection(E, line(A.C))
15 L = intersection(line(A.B), line(K.E))
16 M = projection(L, line(B.C))
27 A; B; C; D; E; F; G; H; I; J; K; L
32 A -90:; B -90:; C 0:; D -90:; E -45:; F -30:; G 90:; H 0:; I 0:; J -90:; K 90:; L -90:; M 0: