A = (1.7666666666666666, -1.2666666666666666)
B = (7.5, 6.733333333333333)
a = Line(A, B)
C = (15.066666666666666, -0.8666666666666667)
b = Line(B, C)
c = Line(C, A)
d = Circle(B, A, C)
D = Point(d)
e = OrthogonalLine(D, b)
f = OrthogonalLine(D, c)
g = OrthogonalLine(D, a)
E = Intersect(a, g)
F = Intersect(b, e)
G = Intersect(c, f)
h = Line(E, F)