Comprobar

Regla1a = (4.38, -2.44)
Regla1b = Circle(Regla1a, 4)
Regla1c = Point(Regla1b)
Regla1c1 = 0.017453292519943295 rad (slider from 0 to 6.283185307179586, step 0.017453292519943295)
Regla1c2: Regla1c1 / 2
Regla1d: Angle[Regla1a + (1, 0), Regla1a, Regla1c] - Regla1c1 / 2
Regla1e = Rotate(Regla1a + (-7.68, -0.5), (Regla1c2 * Div[Regla1d + Regla1c2, Regla1c2]), Regla1a)
Regla1f = Rotate(Regla1a + (7.68, -0.5), (Regla1c2 * Div[Regla1d + Regla1c2, Regla1c2]), Regla1a)
Regla1g = Rotate(Regla1a - (0.19, 0.19), Regla1d, Regla1a)
Regla1h = Rotate(Regla1a - (-0.19, 0.19), Regla1d, Regla1a)
Regla1i: Regla1c - (0.21, 0.19)
Regla1j: Regla1c - (-0.21, 0.19)
a = false
A = (-3.58, -0.68)
B = Point(Ray[A + (1, 0), A + (2, 0)])
B' = Rotate(B, 70°, A)
α = Angle(B, A, B')
b = Segment(A, B)
C: A + (0, b) / 4
c = Ray(A, B')
d = Line(C, b)
e = Line(B, c)
D = Point(b)
E = Intersect(d, e)
F = Intersect(d, c)
f = Segment(D, E)
g = Segment(D, F)
h = Line(D, e)
G = Intersect(d, h)
i = Segment(D, G)
j = Segment(A, F)
k = Segment(F, E)
l = Segment(E, B)
polígono1: {Polygon[A, F, E, B]}