mt

Ha 2016

O = Intersect(xAxis, yAxis)
A = (4, 0)
c = Circle(O, A)
T = Point(c)
a = Ray(O, T)
R: 4
r: 2
d = Circle(O, R + r)
Q = Intersect(d, a)
e = Circle(Q, T)
t = Angle(A, O, T)
E, F = Intersect(e, a)
m: R / r
P = Rotate(T, (m * t), Q)
β = Angle(T, Q, P)
b = Ray(Q, P)
f = CircleArc(Q, T, P)
g = CircleArc(O, A, T)
h = OrthogonalLine(Q, xAxis)
U = Intersect(h, xAxis)
α = Angle(U, Q, P)
P_k = Point(b)
i = OrthogonalLine(P_k, h)
H = Intersect(h, i)
j = Segment(H, P_k)
k = Segment(H, P_k)