je trace un segment  p  perpendiculaire à l'axe  s ,
et comprenant le point  P

je trace un arc de cercle centré en I ,
et dont le rayon est égal à la distance  IP

je marque le point d'intersection
de ce segment avec l'axe  s

p

le point d'intersection  P'  de cet arc et du segment  p
est l'image du point  P  par la symétrie orthogonale
d'axe  s

cette procédure est répétée pour les points  Q  et  R

A = (2, 4)
B = (2, -3)
s = Line(A, B)
P = (-1, 4)
a = OrthogonalLine(P, s)
I = Intersect(s, a)
c = Circle(I, P)
P'_1 = Intersect(c, a, 2.0)
E = Point(c)
F = Point(c)
e = CircleArc(I, E, F)
G = Point(a)
H = Point(a)
pp = Segment(G, H)
J_1 = (-3.62, 5.98)
K_1 = (-1.68, 4.08)
u = Vector(J_1, K_1)
C = (2.94, 6.26)
D = (2.08, 4.18)
v = Vector(C, D)
L = (5.82, 5.0600000000000005)
M = (5.0200000000000005, 4.7)
w = Vector(L, M)
N = (6.66, 2.7)
O = (5.14, 3.88)
z = Vector(N, O)
Q = (-5, 0)
R = (1, -1)
S = (-6, 0)
T = (10, 0)
b = Segment(S, T)
J = Intersect(s, b)
d = Circle(J, Q)
Q' = Intersect(d, b, 2.0)
W = Point(d)
Z = Point(d)
f = CircleArc(J, W, Z)
g = OrthogonalLine(R, s)
Q_2 = Point(g)
V = Point(g)
h = Segment(Q_2, V)
K = Intersect(s, h)
k = Circle(K, R)
R'_1 = Intersect(k, h, 2.0)
U = Point(k)
A_1 = Point(k)
p = CircleArc(K, A_1, U)
poly1, r, p_1, q_1 = Polygon(P, Q, R)
P' = Mirror(P, s)
B_1 = Mirror(Q, s)
R' = Mirror(R, s)
poly1', r', p', b_1 = Polygon(P', B_1, R')
time = 38.5 (slider from 0 to 60, step 0.1)
poly2, r_1, q, p_2 = Polygon(Q, P, R)
poly3, b_2, r'_1, p'_1 = Polygon(R', P', B_1)