Author: Ángel Corral Cedena

Pulsa para comprobar

A = (-2.5, 5.5)
B = (-1.5, 5.5)
C = (-1.5, 6)
D = (-0.5, 5)
E = (-1.5, 4)
F_1 = (-1.5, 4.5)
G_1 = (-2.5, 4.5)
F, a, b, c, d, e, f, g = Polygon(A, B, C, D, E, F_1, G_1)
H = (0.5, 4)
A' = Rotate(A, 255°, H)
B' = Rotate(B, 255°, H)
C' = Rotate(C, 255°, H)
D' = Rotate(D, 255°, H)
E' = Rotate(E, 255°, H)
F'_1 = Rotate(F_1, 255°, H)
G'_1 = Rotate(G_1, 255°, H)
F', a', b', c', d', e', f', g' = Polygon(A', B', C', D', E', F'_1, G'_1)
I = (6.5, 6.5)
J = (7.5, 4.5)
K = (9.5, 6)
L = (8, 5.5)
M = (8, 6.5)
G', i, j, k, l, m = Polygon(I, J, K, L, M)
N = (6.5, 4.5)
I' = Rotate(I, 135°, N)
J' = Rotate(J, 135°, N)
K' = Rotate(K, 135°, N)
L' = Rotate(L, 135°, N)
M' = Rotate(M, 135°, N)
G, i', j', k', l', m' = Polygon(I', J', K', L', M')
h = Segment(D, D')
q = LineBisector(h)
n = Segment(E, E')
p = LineBisector(n)
r = Segment(J', J)
s = Segment(K', K)
t = LineBisector(s)
a1 = LineBisector(r)
O = Point(p)
P = Point(p)
Q = Point(q)
R = Point(q)
S = Point(t)
T = Point(t)
U = Point(a1)
V = Point(a1)
b1 = Segment(Q, R)
c1 = Segment(O, P)
d1 = Segment(S, T)
e1 = Segment(V, U)
W = (1.5, 0.5)
pic2 = Rotate(pic1, 160°, W)
Z = (-0.4100718051709919, 1.2097726205307122)
A1 = (3.020251849897688, -0.7891929626388062)
f1 = Segment(Z, A1)
B1 = (0.009464181420141595, -0.12287110158230007)
C1 = (3.118966199683837, 0.5681293469207433)
g1 = Segment(B1, C1)
h1 = LineBisector(f1)
i1 = LineBisector(g1)
D1 = Point(i1)
E1 = Point(i1)
F1 = Point(h1)
G1 = Point(h1)
j1 = Segment(D1, E1)
k1 = Segment(F1, G1)
H1 = (10, -2)
pic4 = Rotate(pic3, 85°, H1)
I1 = (9.066505774299317, -0.27094262626152366)
J1 = (11.633078868739194, -0.8879073124249552)
l1 = Segment(I1, J1)
K1 = (7.536433352614007, -0.32029980115459816)
L1 = (11.460328756613432, 0.5928079343672806)
m1 = Segment(K1, L1)
n1 = LineBisector(l1)
p1 = LineBisector(m1)
M1 = Point(p1)
N1 = Intersect(n1, p1)
O1 = Intersect(n1, p1)
P1 = Intersect(n1, p1)
Q1 = Intersect(n1, p1)
R1 = Point(p1)
q1 = Segment(M1, R1)
S1 = Point(n1)
T1 = Point(n1)
r1 = Segment(S1, T1)
s1 = CircleSector(H, D', D)
α = Angle(D', H, D)
t1 = CircleSector(N, J, J')
β = Angle(J, N, J')
c2 = CircleSector(H1, L1, K1)
γ = Angle(L1, H1, K1)
d2 = CircleSector(W, C1, B1)
δ = Angle(C1, W, B1)
o = false