A_1 = (1.42, 1.76)
B = (5.46, 5.68)
C_1 = Rotate(A_1, 47°, B)
β = Angle(A_1, B, C_1)
c_1 = Segment(A_1, B)
a_1 = Segment(B, C_1)
b_1 = Segment(A_1, C_1)
C = Point(Circle[B, 5.2])
d = Segment(B, C)
A = Point(Circle[C, 4.5])
b = Segment(C, A)
f = Line(B, C_1)
g = Line(B, A_1)
a = Segment(B, C)
i = Segment(C, A)
c = Segment(A, B)
e, h = AngularBisector(c, b)
j, k = AngularBisector(c, a)
l, m = AngularBisector(a, b)
M = Intersect(m, h)
n = OrthogonalLine(M, c)
D = Intersect(c, n)
r = Segment(D, M)
p = Circle(M, r)