t = 1 (slider from 0 to 3, step 0.01)
A = (1.94, 0.12)
B: A + (9.0, 9.0) / 2.0
C: A - (9.0, 9.0) / 2.0
D: (x(B), y(A))
E = Rotate((x(B), y(A)), 2.0 * 3.141592653589793 * t / 3.0, A)
imagen1' = Rotate(imagen1, 2.0 * 3.141592653589793 * t / 3.0, A)
b = Segment(A, D)
a = Segment(A, E)
α = Angle(D, A, E)
z: 100.0 * t
texto1: "" + (floor(100.0 * t / 100.0)) + (If[t ≥ 1.0 ∧ t < 2.0, " coincidencia", " coincidencias"])