x

x

x

E = (-0.5008516433337161, -0.5095704476559356)
B: (1, 0)
A: (-1, 0)
f = Segment(A, B)
i = Line(E, f)
C = Point(i)
g = OrthogonalLine(C, f)
h = LineBisector(f)
D = Point(h)
c = Circle(D, B)
F = Point(g)
j = Segment(F, B)
k = Segment(F, A)
α = Angle(A, F, B)
G = Point(c)
l = Segment(A, G)
m = Segment(B, G)
β = Angle(A, G, B)
H = Intersect(i, h)
d = Circle(A, Distance[C, H])
I = Intersect(d, h, 2)
e = Circle(I, B)
n = Segment(C, H)
p = Segment(A, I)
J = Intersect(e, g, 1)
loc1 = Locus(J, C)
q = Segment(J, I)