Unité

Animer A

A_1 = (0.040000000000000036, -0.88)
B = (5.099999999999998, -0.86)
C = (6.82, 1.7)
E = Midpoint(A_1, C)
D = Mirror(B, E)
a = Segment(A_1, B)
b = Segment(B, C)
c = Segment(C, D)
d = Segment(D, A_1)
e = OrthogonalLine(D, a)
H = Intersect(e, a)
A = Point(a)
u = Vector(A_1, H)
v = Vector(H, D)
H' = Translate(A, u)
D' = Translate(H', v)
poly1, a', a''', a'' = Polygon(D', H', A)
poly2, d_1, a_1, h = Polygon(A_1, H, D)
F = (-0.08, -2.18)
G = Point(Circle[F, a])
f = Segment(F, G)