F_1: (1, 2)
n = OrthogonalLine(F_1, yAxis)
F_2 = Point(n)
A = (5.32, 1.44)
c = Circle(F_1, A)
D = Point(c)
f = Line(D, F_1)
g = LineBisector(D, F_2)
P = Intersect(f, g)
h = Segment(F_2, P)
i = Segment(P, D)
j = Segment(D, F_2)
α = Angle(j, g)
M = Intersect(g, j)
k = Segment(F_2, M)
l = Segment(D, M)
β = Angle(F_2, P, M)
γ = Angle(M, P, D)
m = Segment(P, F_1)
loc1 = Locus(P, D)