r_1 = 1.3 (slider from 0 to 5, step 0.1)
C_1 = (1, 0)
P = (1.2406352139682988, 0.905948316800929)
C_f = (0, 0)
a = Ray(C_f, P)
c = Circle(C_1, r_1)
PP_1, P_1 = Intersect(c, a)
b = OrthogonalLine(C_1, a)
H = Intersect(b, a)
d = Segment(H, C_1)
α = Angle(C_f, H, C_1)
X_P: (x(P), 0)
e = Segment(P, X_P)