n = 2 (slider from 0.5 to 2, step 0.1)
C = (8.923865529393334, 3.274412156803387)
B = (7.4, 3.56)
u = Vector(B, C)
uu: u / Length[u]
A = (11.36662091926099, 1.7040694061741843)
v = Vector(A, B)
vu: v / Length[v]
cosα: abs(uu * vu)
sinα: sqrt(1 - cosα^(2))
a = Segment(A, B)
sinβ: sinα / n^(sgn(uu * vu))
cosβ: sqrt(1 - sinβ^(2))
faka: sinβ / (cosβ * sqrt((1 + cosα) / 2) + sinβ * sqrt((1 - cosα) / 2))
fakb: (sinα * cosβ - cosα * sinβ) / (cosβ * sqrt((1 + cosα) / 2) + sinβ * sqrt((1 - cosα) / 2))
l: fakb * sgn(uu * vu) * uu + faka * vu
b = Ray(B, l)
c = OrthogonalLine(B, u)
D = Point(b)
α = Angle(C, B, D)
d = Circle(B, 2)
e = Line(B, C)
E = Intersect(d, b, 1)
F = Intersect(d, a, 1)
f = OrthogonalLine(F, e)
g = OrthogonalLine(E, u)
G = Intersect(e, f)
H = Intersect(e, g)
abstandGF = Distance(G, F)
TextGF: "\overline{" + (Name[G]) + (Name[F]) + "} \, = \, " + abstandGF
abstandEH = Distance(E, H)
TextEH: "\overline{" + (Name[E]) + (Name[H]) + "} \, = \, " + abstandEH
β = Angle(uu, vu)
test: sin(β)