D

P

S

E

K

O

C

S

P

(i)

(ii)

(iii)

(iv) Solución 1

(v) Solución 2

Reorganización

(a)

(b)

(c)

(d)

(e)

(f)

A - W

B - M

G - F

G = (13.9, 2.16)
radio = 1.78 (slider from 0 to 5, step 0.01)
c = Circle(G, radio)
A = (14.7, 4.26)
B = (16.46, 3.6)
f = Line(G, xAxis)
F = Point(f)
g = OrthogonalLine(F, f)
K: F + (0, Distance[G, A])
M: F + (0, (-Distance[G, B]))
h = Segment(M, K)
O = Midpoint(M, K)
i = OrthogonalLine(O, g)
α = Angle(B, G, A)
O' = Rotate(O, (-(90° - α / 2)), K)
j = Line(K, O')
C = Intersect(i, j)
k = Segment(C, K)
l = Line(B, G)
m = Line(A, G)
E_1, H_1 = Intersect(c, m)
I_1, J = Intersect(c, l)
d = CircleArc(G, I_1, E_1)
e = CircleArc(G, E_1, J)
L_1 = Point(d)
n = Ray(G, L_1)
N_1 = Point(n)
β = Angle(B, L_1, N_1)
γ = Angle(N_1, L_1, A)
s1: abs(β / ° - γ / °)
D = Minimize(s1, L_1)
D_1 = Point(e)
p = Ray(G, D_1)
q = Tangent(D_1, e)
Q_1 = Point(q)
δ = Angle(B, D_1, Q_1)
ε = Angle(Q_1, D_1, A)
s2: abs(δ / ° - ε / °)
R = Minimize(s2, D_1)
K' = Rotate(K, (-Angle[B, G, D]), C)
r = Line(K', C)
s = Line(F, r)
S = Intersect(i, s)
K'_1 = Rotate(K, (-Angle[B, G, R]), C)
t = Line(C, K'_1)
a = Line(F, t)
b = Segment(S, K)
P = Intersect(j, s)
P_2 = Intersect(a, j)
S_2 = Intersect(a, i)
g_1 = Segment(S, P)
h_1 = Segment(S_2, P_2)
i_1 = Segment(P, C)
j_1 = Ray(G, R)
k_1 = Ray(G, D)
c_1 = Circle(G, B)
T_1 = Intersect(c_1, j_1)
E = Intersect(c_1, k_1)
l_1 = Segment(G, B)
m_1 = Segment(G, E)
n_1 = Segment(G, A)
p_1 = Segment(G, T_1)
q_1 = Segment(B, D)
r_1 = Segment(D, A)
s_1 = Segment(B, R)
t_1 = Segment(R, A)
d_1 = Circle(G, Distance[F, K])
U = Intersect(d_1, l, 2)
a_1 = Segment(U, G)
V = Midpoint(U, B)
b_1 = OrthogonalLine(V, l)
e_1 = Segment(V, A)
c_2 = Circle(V, Distance[O, C])
W = Intersect(c_2, b_1, 1)
d_2 = Circle(V, Distance[O, S])
Z_1 = Intersect(d_2, b_1, 2)
f_2 = Segment(U, Z_1)
g_2 = Segment(U, W)
j_2 = Segment(W, Z_1)
l_2 = Segment(S_2, F)
h_2 = Ray(U, W)
e_2 = Circle(U, Distance[K, P])
A_1 = Intersect(e_2, h_2)
i_2 = Segment(W, A_1)
k_2 = Segment(A_1, Z_1)
o = Min(Distance[G, A], Distance[G, B])
m_2, j_3 = Tangent(D, c)
Y = Intersect(m_2, n_1)
N = Intersect(l_1, m_2)
n_2 = Segment(N, Y)
G' = Rotate(G, Angle[P, K, F], D)
Q = Intersect(Line[D, G'], Line[B, G])
p_2 = Segment(D, Q)
q_2 = Line(D, Q)
r_2 = OrthogonalLine(B, q_2)
Z = Intersect(r_2, q_2)
I = Mirror(D, Z)
s_2 = Segment(I, B)
t_2 = Segment(I, Q)
a_2 = Line(D, s_2)
L = Intersect(Line[B, G], a_2)
b_2 = Segment(D, L)
L' = Rotate(L, Angle[B, G, A], D)
H = Intersect(Line[D, L'], Line[B, G])
f_3 = Segment(D, H)
u = false
v = false
w = false
o_1 = false
u_1 = false
v_1 = false
w_1 = false
o_2 = false
u_2 = false
v_2 = false
w_2 = false
a_3 = false
B_1: A
C_1: B
g_3 = Line(H, q_1)
T = Intersect(g_3, m_1)
h_3 = Segment(T, H)
i_3 = Segment(P_2, K)
F_1: G
f_1 = Segment(C, O)
k_3 = Segment(O, S)