P (x, y)

x - x_0

y - y_0

Mediatriz de FD

C = Point(xAxis)
x2: x(C)
B = Point(xAxis)
x1: x(B)
x0: (x1 + x2) / 2.0
f: x = x0
V = Point(f)
a: y(V) / (x1 * x2 - x0^(2.0))
k: y = a * (x - x1) * (x - x2)
y0: y(V)
P = Point(k)
D: (x(P), y0 - 1.0 / (4.0 * a))
N: (x(P), y0)
j: y = y0
g = Segment(P, (x0, y(P)))
h = Segment(P, (x(P), y0))
x00: round(100.0 * x0) / 100.0
A: (x0, y(Corner[4.0]) - 0.1)
y00: round(100.0 * y0) / 100.0
F: V + (0.0, 1.0 / (4.0 * a))
c = Segment(F - (1.0 / (2.0 * a), 0.0), F + (1.0 / (2.0 * a), 0.0))
F2 = 0
b1 = Segment(F, V)
E = Intersect(k, yAxis)
texto1: "y\;=\;" + (If[a ≟ 1.0, "", If[a ≟ -1.0, "-", "" + a]]) + (If[x00 ≟ 0.0, "\;x^2", "\;(x"]) + (If[x00 ≟ 0.0, "", If[x00 > 0.0, "-\;" + (abs(x00)), "+\;" + (abs(x00))]]) + (If[x00 ≟ 0.0, "", ")^2"]) + (If[y00 ≟ 0.0, "", If[y00 > 0.0, "+\;" + (abs(y00)), "-\;" + (abs(y00))]])
texto2: "y\;=\;" + (If[a ≟ 1.0, "", If[a ≟ -1.0, "-", "" + a]]) + (If[x1 ≟ 0.0, "\;x", "\;(x"]) + (If[x1 ≟ 0.0, "", If[x1 > 0.0, "-\;" + (abs(x1)), "+\;" + (abs(x1))]]) + (If[x1 ≟ 0.0, "", ")"]) + (If[x2 ≟ 0.0, "\;x", "\;(x"]) + (If[x2 ≟ 0.0, "", If[x2 > 0.0, "-\;" + (abs(x2)), "+\;" + (abs(x2))]]) + (If[x2 ≟ 0.0, "", ")"])
d = LineBisector(F, D)