Geval II

W = (-4, -6)
E: (x(W) + 100, y(W))
q = Ray(W, E)
E_1: (-1.3, -2.15)
Z = Point(q)
m_1 = Segment(Z, E_1)
g_1 = Segment(W, Z)
A_1 = Point(q)
c = Circle(A_1, g_1)
B_1, F = Intersect(c, q)
q_1 = Segment(W, E_1)
ι = Angle(W, Z, E_1)
ζ = Angle(Z, W, E_1)
l_1 = Line(A_1, q_1)
d = Line(F, m_1)
F_1 = Intersect(d, l_1)
r_1 = Segment(A_1, F_1)
n_1 = Segment(F, F_1)
θ = Angle(A_1, F, F_1)
J = Point(Segment[A_1, If[x(F) > x(B_1), F, B_1]])
p_1 = Segment(J, F_1)
κ = Angle(A_1, J, F_1)
i_1 = Segment(A_1, J)
A = (-5.007613286970824, -8.103355438036864)
η = Angle(F, A_1, F_1)
j_1 = Segment(J, If[x(F) > x(B_1), F, B_1])