Rotation

Show Image

Show dotted segment

A = (1, 2)
B = (1, 3)
C = (3, 2)
a = Segment(A, B)
b = Segment(B, C)
c = Segment(A, C)
O = (0, 0)
r = 90 (slider from -360 to 360, step 1)
A' = Rotate(A, r * °, O)
B' = Rotate(B, r * °, O)
a' = Segment(A', B')
C' = Rotate(C, r * °, O)
d = Segment(A', C')
e = Segment(B', C')
f = false
g = Segment(O, A)
h = Segment(O, A')
i = false