Rotation

+

Etape3.1

Aide

- Fais varier le curseur 'α' pour varier l'amplitude de rotation

- Coche 'Constructions' pour voir les constructions à effectuer 
  pour déterminer l'image d'un point par la rotation donnée

- Tu peux modifier l'emplacement de chaque point pour obtenir 
  d'autres figures mais également modifier la position du centre
  de rotation

A = (2.44, 0.44)
B = (3.38, 3.54)
C = (5.08, -0.96)
poly1, c, a, b = Polygon(A, B, C)
α = 3.12413936106985 rad (slider from 0 to 6.283185307179586, step 0.017453292519943295)
O = (7.06, 1.46)
A' = Rotate(A, (-α), O)
B' = Rotate(B, (-α), O)
C' = Rotate(C, (-α), O)
poly1', c', a', b' = Polygon(A', B', C')
Constructions = false
d = Segment(B, O)
e = Segment(O, B')
β = Angle(B', O, B)
f = Segment(C, O)
h = Segment(O, C')
γ = Angle(C', O, C)
i = Segment(A, O)
j = Segment(O, A')
δ = Angle(A', O, A)
poly2, b'_1, c'_1, a'_1 = Polygon(C', A', B')
D = (-0.24, 2.26)
E = (0.4, 3.38)
F = (-1.26, 3.02)
k = CircleSector(D, E, F)
G = (-1.28, 3.4)
H = (-0.92, 3.04)
D_1 = (-2.68, -0.02)
E_1 = (-2.04, 1.1)
F_1 = (-3.7, 0.74)
k_1 = CircleSector(D_1, E_1, F_1)
G_1 = (-3.72, 1.12)
l_1 = Segment(F_1, G_1)
H_1 = (-3.36, 0.76)
m_1 = Segment(F_1, H_1)
p_1 = CircleArc(D_1, E_1, F_1)
g = false