I

M

C

O

K

F

(i)

(ii)

(iii)

(iv)

(a)

(b)

(c)

(d)

(e)

(f)

Figura reducida

C = (2.18, -0.58)
G = (11.34, 1.72)
radio = 2.23 (slider from 0 to Distance[G, E], step 0.01)
c = Circle(G, radio)
E = (14.84, 2.12)
I: C - (Distance[G, E], 0)
f = Line(E, G)
S = Intersect(c, f, 2)
d = Circle(G, E)
A_1 = Point(d)
m = Segment(G, A_1)
B = Intersect(c, m)
n = Segment(B, A_1)
D = Point(n)
α = Angle(D, G, S)
M: C + (Distance[G, D], 0)
i = Segment(I, M)
N = Midpoint(I, M)
j = OrthogonalLine(N, i)
q_1 = Line(C, j)
N' = Rotate(N, ((-α)) / 2, M)
k = Line(M, N')
O = Intersect(j, k)
l = Segment(M, O)
H_1 = Intersect(q_1, l)
g = Segment(S, E)
F_1 = Point(Segment[O, H_1])
h = Segment(G, D)
p = Line(C, F_1)
K_1 = Intersect(p, j)
EGGS: Distance[E, G] / Distance[G, S]
KFFM: Distance[K_1, F_1] / Distance[F_1, M]
a: abs(EGGS - KFFM)
F = Minimize(a, F_1)
r = Line(C, F)
K = Intersect(r, j)
b: abs(Distance[K, F] / Distance[F, M] - EGGS)
β = Angle(M, F, K)
E' = Rotate(E, (-β), G)
s = Ray(G, E')
A = Intersect(c, s)
t = Segment(G, A)
e = Segment(A, D)
f_1 = Segment(A, E)
h_1 = Segment(K, C)
γ = Angle(A, G, E)
δ = Angle(N, M, K)
E'_1 = Rotate(E, δ, A)
i_1 = Line(A, E'_1)
Z = Intersect(i_1, f)
q: (Distance[A, Z] * Distance[C, I] / Distance[M, C])
c_1 = Circle(Z, q)
Q = Intersect(c_1, i_1, 2)
j_1 = Segment(Q, E)
k_1 = Line(A, j_1)
T = Intersect(f, k_1)
l_1 = OrthogonalLine(E, i_1)
L = Intersect(i_1, l_1)
U = Intersect(e, f)
m_1 = Tangent(A, c)
D' = Mirror(D, A)
n_1 = Segment(D', A)
d_1 = Circle(A, (3 / 2 * radio))
H', H = Intersect(d_1, m_1)
p_1 = Segment(H, H')
r_1 = Segment(T, A)
s_1 = Segment(L, E)
a_1 = Segment(T, S)
factordereducción = 0.52 (slider from 0.01 to 1, step 0.01)
I': N + (((-factordereducción) * Distance[I, N]), 0)
M': N + ((factordereducción * Distance[N, M]), 0)
C': N + ((factordereducción * Distance[N, C]), 0)
O': N + (0, (factordereducción * Distance[N, O]))
K': N + (0, (factordereducción * Distance[N, K]))
b_1 = Segment(I', M')
e_1 = Segment(N, K')
f_2 = Segment(O', M')
g_2 = Segment(C', K')
F' = Intersect(f_2, g_2)
u = false
v = false
w = false
o_1 = false
u_1 = false
v_1 = false
w_1 = false
a_2 = false
b_2 = false
c_2 = false
d_2 = false
h_2 = Segment(N, K')
ε = Angle(K', F', M')
t_1 = Segment(A, Z)
i_2 = Segment(Z, Q)
g_1 = Segment(N, O)
j_2 = Segment(O, K)
k_2 = Segment(K, M)
l_2 = Segment(M', K')