a: (7.5 * sin(79°) / sin(45°))
A = (-1.34, 2.76)
B = Point(Circle[A, 7.5])
f = Segment(A, B)
B' = Rotate(B, 56°, A)
α = Angle(B, A, B')
A' = Rotate(A, (-(45°)), B)
β = Angle(A', B, A)
g = Segment(A, B')
h = Segment(A', B)
E = Intersect(h, g)
t1, c, a_1, b = Polygon(A, B, E)
γ = Angle(A, E, B)
d: (7.5 / sin(79°) * sin(45°))
F = Rotate(A, 30°, E)
δ = Angle(A, E, F)
i = Line(E, F)
C_1 = Intersect(f, c)
D = Intersect(f, c)
I = Intersect(i, f)
ε = Angle(E, I, A)
e: (5.4 / sin(94°) * sin(56°))
j = Distance(E, I)
B'_1 = Rotate(B, (-(45°)), A)
ζ = Angle(B'_1, A, B)
k = Segment(A, B'_1)
A'_1 = Rotate(A, 67°, B)
η = Angle(A, B, A'_1)
l = Segment(B, A'_1)
C = Intersect(l, k)
t2, g_1, a_2, b_1 = Polygon(A, B, C)
ι = Angle(B, C, A)
m: (7.5 * sin(67°) / sin(68°))
G = Intersect(k, b_1)
J = Intersect(i, k)
κ = Angle(A, I, J)
n = Distance(I, J)
texte1 = LaTeX(n, true, true)
θ = Angle(I, J, A)
distanceAI = Distance(A, I)
Midpoint(A, I)
TexteAI: Name[A] + (Name[I]) + " = " + distanceAI
o: (2.71 / sin(49°) * sin(86°))
distanceAJ = Distance(A, J)
Midpoint(A, J)
TexteAJ: Name[A] + (Name[J]) + " = " + distanceAJ