No hay refracción

n = 1.55 (slider from 0 to 3, step 0.01)
B = Intersect(xAxis, yAxis)
ControlCircunferencia = Point(xAxis)
c = Circle(B, ControlCircunferencia)
C_1 = Intersect(c, xAxis, 2)
D_1 = Intersect(c, yAxis, 1)
d = Semicircle(C_1, ControlCircunferencia)
A = Point(d)
f = Line(A, B)
D = Intersect(c, f, 2)
g = Segment(A, B)
h = Segment(B, D)
i_1 = OrthogonalLine(A, yAxis)
j = OrthogonalLine(A, xAxis)
C = Intersect(j, xAxis)
H = Intersect(i_1, yAxis)
k = Segment(C, A)
AH = Distance(A, H)
e: (1 / n * AH)
E = If(x(A) < 0, (e, 0), ((-e), 0))
l = OrthogonalLine(E, xAxis)
I = Intersect(c, l, 1)
m = OrthogonalLine(I, yAxis)
G = Intersect(m, yAxis)
F = Intersect(i_1, l)
p = Segment(G, I)
q = Segment(I, F)
r_1 = Segment(F, H)
s = Segment(H, A)
t = Segment(B, I)
a = Segment(C_1, ControlCircunferencia)
b = Segment(H, D_1)
i = Angle(H, B, A)
r = Angle(D_1, B, I)