+90°

autres

C = (-4.281838339494131, 2.2403147954937053)
Cx = Ray(C, C + (1, 0))
r_C = Point(Cx)
CR_C = Segment(C, r_C)
r_E = Point(CR_C)
CR_E = Segment(C, r_E)
c = Circle(C, r_C)
R = Point(c)
R_r: R + (2, 0)
d = Circle(R, R_r)
R_a = Point(d)
Rr = Segment(R, R_r)
Rz = Ray(R, R_a)
e = CircleArc(R, R_r, R_a)
α = Angle(R_r, R, R_a)
K = Rotate(Translate[R, Vector[C, r_E]], α + 90°, R)
KR = Segment(K, R)
Kz = Ray(K, Translate[K, Vector[R, R_a]])
β = Angle(R_a, R, K)
k = Circle(C, Translate[r_C, Vector[C, r_E]])
E = Intersect(k, Kz, 1)
CE = Segment(C, E)
T = Intersect(c, CE, 1)
Γ = Circle(E, T)
v_{KR} = Vector(K, R)
H = Translate(E, v_{KR})
v_{RR} = Vector(R, R_a)
H' = Translate(H, v_{RR})
hz = Ray(H, H')
AH = CircleArc(E, T, H)
RA = CircleArc(C, T, R)
K' = Mirror(K, R)
k' = Circle(C, Translate[r_C, Vector[(-Vector[C, r_E])]])
kz = Line(K, Rz)
kz' = Line(K', Rz)
A, B = Intersect(k', kz)
D, F = Intersect(k, kz)
G, I = Intersect(k, kz')
J, L = Intersect(k', kz')
f = Circle(D, CR_E)
g = Circle(G, CR_E)
h = Circle(I, CR_E)
p = Circle(B, CR_E)
q = Circle(L, CR_E)
r = Circle(J, CR_E)
s = Circle(A, CR_E)
i = Segment(I, C)
M = Intersect(c, i)
j = Segment(C, G)
l = Segment(C, D)
N = Intersect(c, j)
O = Intersect(c, l)
m = Ray(C, L)
n = Ray(C, B)
t = Ray(C, A)
a = Ray(C, J)
P = Intersect(c, m)
Q = Intersect(c, n)
S = Intersect(c, a)
U = Intersect(c, t)
b = Line(R, R_a)
V = Midpoint(D, Mirror[D, b])
W = Midpoint(G, Mirror[G, b])
Z = Midpoint(B, Mirror[B, b])
A_1 = Midpoint(I, Mirror[I, b])
B_1 = Midpoint(A, Mirror[A, b])
C_1 = Midpoint(J, Mirror[J, b])
D_1 = Midpoint(L, Mirror[L, b])
o = false