A = (8.795213187353916, 4.297879197933323)
B = (6.230441874769343, 0.6157817689752729)
C = (12.553491942428339, 0.46341911674252606)
a = Ray(A, B)
b = Ray(A, C)
c = Segment(B, C)
d = AngularBisector(B, A, C)
D_1 = Point(a)
e = AngularBisector(D_1, B, C)
K = Intersect(d, e)
f = OrthogonalLine(K, c)
g = OrthogonalLine(K, b)
h = OrthogonalLine(K, a)
E = Intersect(g, b)
D = Intersect(f, c)
F = Intersect(h, a)
k = Circle(K, E)
i = Segment(A, K)
j = Segment(K, E)
l = Segment(D, K)
m = Segment(K, F)
n = Segment(B, K)
p = Segment(C, K)
α = Angle(K, F, B)
β = Angle(K, D, C)
γ = Angle(C, E, K)