3 circum = circle(A, B, C)
5 crcl1 = incircle(A, B, C)
7 F = intersection(line(A.C), perpendicular(line(A.C), D))
8 G = point(circum, arg(line(D.F)):)
10 crcl2 = circle(H, radius(crcl1))
15 A; B; C; D; E; F; G; H
20 A -90:; B -90:; C 0:; D -90:; E -90:; F 90:; G 90:; H 0: