A_1 = (-1.5, -3.92)
B_1 = (2.22, -3.96)
a_1 = Segment(A_1, B_1)
O = (6.3, 1.06)
c = Circle(O, a_1)
A = Point(c)
B = Point(c)
C = Point(c)
b = Line(B, O)
d = Segment(A, B)
e = Segment(B, C)
f = Segment(C, A)
B' = Intersect(c, b, 2.0)
g = Line(B, C)
h = Line(A, B)
i = Line(C, A)
j = OrthogonalLine(A, g)
k = OrthogonalLine(B, i)
l = OrthogonalLine(C, h)
H = Intersect(k, l)
m = Segment(B', B)
n = Segment(A, B')
p = Segment(B', C)