α

β

α

H_1

H_2

Figura 6

Figura 7

Figura 8

n_1

n_2

f = Line((0, 0), Vector[(-1, 0)])
F_1 = Point(f)
h_3 = Ray(F_1, Vector[(-1, 0)])
P = Point(xAxis)
P_1 = Point(Ray[F_1, Vector[(1, 0)]])
P_2 = Point(Ray[P_1, Vector[(1, 0)]])
g = OrthogonalLine(P, f)
h = OrthogonalLine(P_1, f)
i = OrthogonalLine(P_2, f)
n_1 = 1.85 (slider from 1 to 2.5, step 0.01)
n_2 = 2.5 (slider from 1 to 2.5, step 0.01)
d: ((Distance[F_1, P_1] * n_2)) / n_1
a = Distance(F_1, P_1)
c = Circle(P_1, d)
S = Point(g)
j = Line(S, F_1)
H_0 = Vector(P, S)
L_1 = Intersect(j, h)
S_2 = Line(L_1, f)
l = Line(S, f)
Q = Intersect(l, i)
p = Circle(P_2, d)
F_2 = Intersect(p, f, 1)
m = Line(F_2, Q)
S' = Intersect(S_2, m)
e = Circle(P_2, a)
k = Circle(F_2, a)
q = Circle(F_1, d)
N_1 = Intersect(q, f, 1)
N_2 = Intersect(k, f, 2)
n = Line(S, N_1)
r = Line(N_2, n)
s = OrthogonalLine(S', f)
P' = Intersect(f, s)
H_i = Vector(P', S')
t = Segment(S, Q)
b = Segment(Q, S')
f_3 = Segment(S, L_1)
g_1 = Segment(L_1, S')
h_1 = Line((x(L_1), y(L_1) - 0.5), Vector[(1, 0)])
i_1 = Line((x(L_1), y(L_1) - 1), Vector[(1, 0)])
k_1 = OrthogonalLine(F_1, f)
l_3 = OrthogonalLine(N_1, f)
m_1 = OrthogonalLine(F_2, f)
p_1 = OrthogonalLine(N_2, f)
C = Intersect(h_1, k_1)
D = Intersect(h, h_1)
E = Intersect(g, i_1)
F = Intersect(h, i_1)
G = Intersect(i, h_1)
H = Intersect(h_1, m_1)
I = Intersect(i, i_1)
J = Intersect(s, i_1)
K = Intersect(i_1, m_1)
L = Intersect(i_1, p_1)
M = Intersect(l, p_1)
A = Intersect(l, s)
B = Midpoint(P', A)
j_1 = Line(B, f)
N = Intersect(g, S_2)
O = Midpoint(N, P)
q_1 = Line(O, f)
R = Intersect(k_1, q_1)
T = Midpoint(O, R)
U = Midpoint(C, D)
V = Midpoint(F, E)
W = Midpoint(L, K)
Z = Midpoint(I, J)
A_1 = Midpoint(G, H)
l_1 = Vector(T, O)
v = Vector(T, R)
f_1 = Vector(U, C)
u_1 = Vector(U, D)
v_1 = Vector(V, F)
d_0 = Vector(V, E)
f_2 = Vector(A_1, G)
b_1 = Vector(A_1, H)
g_2 = Vector(W, L)
d_2 = Vector(W, K)
d_1 = Vector(Z, I)
r_1 = Vector(Z, J)
B_1 = Intersect(m_1, j_1)
C_1 = Midpoint(B_1, B)
l_2 = Vector(C_1, B_1)
t_1 = Vector(C_1, B)
f_4 = Segment(P, O)
g_3 = Segment(O, E)
h_2 = Segment(F_1, C)
i_2 = Segment(P_1, D)
j_2 = Segment(P_1, F)
l_4 = Segment(P_2, I)
m_2 = Segment(F_2, H)
p_2 = Segment(F_2, K)
q_2 = Segment(P', J)
r_2 = Segment(N_2, L)
s_2 = Segment(F_2, B_1)
t_2 = Segment(P', B)
L_2 = Intersect(i, S_2)
s_1 = Segment(S, P_1)
a_1 = Segment(S, N_1)
c_1 = OrthogonalLine(N_1, f)
e_1 = Segment(S', P_2)
D_1 = Intersect(i, r)
a_2 = Segment(D_1, S')
b_2 = OrthogonalLine(N_2, f)
M_1 = Intersect(l, c_1)
M_2 = Intersect(b_2, m)
α = Angle(S, P_1, P)
β = Angle(S, N_1, P)
γ = Angle(S', P_2, P')
δ = Angle(S', N_2, P')
H_1 = Segment(P_1, L_1)
k_2 = Segment(M_1, N_1)
c_2 = Segment(M_2, N_2)
H_2 = Segment(P_2, L_2)
o = false
u = false
w = false
E_1 = If(x(P) < -6, (x(P) - 2, y(P)), (-8, 0))
G_1 = If(x(P') > 6, (x(P') + 2, y(P')), (8, 0))
CasillaDeEntrada1 = Textfield(n_1)
CasillaDeEntrada2 = Textfield(n_2)
i_3 = OrthogonalLine(G_1, f)
j_3 = OrthogonalLine(E_1, f)
I_1 = Intersect(m, j_3)
J_1 = Intersect(m, i_3)
k_3 = Segment(I_1, J_1)
m_3 = Segment(F_1, R)
e_2 = Line(P, F_1)