B = (7, 0)
J: (x(B), y(B) - 8)
a = Ray(B, J)
C: (4, -5.19)
h = Ray(B, C)
c_1 = Circle(C, 2)
F, A = Intersect(c_1, h)
I = Mirror(If[y(F) > y(A), F, A], a)
i = Ray(B, I)
K = Point(i)
m = Ray(I, K)
f = Segment(If[y(F) > y(A), F, A], B)
n = Segment(B, C)
D = Point(m)
t = Segment(B, D)
stap = 8 (slider from 0 to 8, step 1)
d = Circle(I, F)
c = Circle(F, I)
G, H = Intersect(c, d)
s = Segment(B, H)
p = Segment(F, I)
r = Segment(I, H)
q = Segment(F, H)
g = Segment(B, I)
k = Segment(I, D)
E = (1.977055405883692, -8.789689135118492)
α = Angle(F, B, H)
β = Angle(I, B, H)
γ = Angle(C, B, D)
j = Segment(If[y(F) > y(A), F, A], C)
e = Circle(B, F)