p = 7 (slider from 2 to 9, step 0.1)
b = -6 (slider from -10 to 0, step 0.1)
A = Point(yAxis)
F = (-10.811355480116392, -1.3583123181377295)
C_1 = (-9.972415638172109, -10.034163212066595)
B: (b, 0.0)
a_1 = Segment(A, B)
B' = Mirror(B, yAxis)
F' = Mirror(F, yAxis)
C'_1 = Mirror(C_1, yAxis)
b_1 = Segment(F, B)
c = Segment(A, B')
e = Segment(B', F')
f = Segment(C_1, C'_1)
E: (0.0, 10.0 - p)
P = Vector(A, E)
g = Line(A, E)
h = Line(B, P)
D = Intersect(h, f)
i = Segment(B, D)
D' = Mirror(D, g)
j = Segment(B', D')
a = Line(F, i)
G = Intersect(a, f)
H = Intersect(a, f)
I = Intersect(a, f)
k = Line(D, D')
C = Intersect(a, k)
C' = Mirror(C, g)
l = Segment(C, C')
d = Segment(F', C')
m = Segment(F, C)
n = Line(E, c)
q = Line(E, a_1)
J = Intersect(a_1, n)
K = Intersect(c, q)
r = Segment(J, E)
s = Segment(K, E)
U = Vector(A, J)
V = Vector(A, K)
distanceAJ = Distance(A, J)
TexteAJ: Name[A] + (Name[J]) + " \, = \, " + distanceAJ