p = -0.25
m = 2
D: y = m x + p
A = Point(D)
F = (0, 0.25)
a = LineBisector(F, A)
b = OrthogonalLine(A, D)
M = Intersect(a, b)
loc1 = Locus(M, A)