Cours
Author: Daniel Mentrard

Z_s:SDHIJ \rightarrow S'D'H'I'J'

El simétrico de un punto M es un punto M'.

El simétrico de un segmento es un segmento

El simétrico de una recta es una recta.

El simétrico de un ángulo es un ángulo

El simétrico de un triángulo es un triángulo

El simétrico de un círculo es un círculo

El simétrico de un cuadrado es un cuadrado

K = (-4.179944502845888, 0.5172019837859894)
L = (-6.41029555220708, 3.9197083291618204)
a = Segment(K, L)
Figuras = 0 (slider from 0 to 7, step 1)
E = (-3.9845852868434486, 0.9079204157908694)
F = (-5.628858688197316, 2.9266323144827493)
p = Line(E, F)
P = (-3.8055060055078767, 2.0475158424717694)
V = (-4.472983326849547, -0.8014727242304807)
R = (-6.621934702876387, 1.2497990437951394)
α = Angle(P, V, R)
b = Ray(V, R)
c = Ray(V, P)
M = (-6.214936336204638, 1.9986760384711593)
A = (-6.654494572210127, -0.2642348802237706)
B = (-2.942669468163767, 1.9986760384711593)
C = (-7.891769606892247, 4.766264931839059)
O = (-5.498619210862357, 3.0894316611514494)
G = (-4.179944502845889, 1.2009592397945292)
k = Circle(O, G)
e1 = Segment(O, G)
D = (-5.368379733527398, -0.19911514155629056)
H = (-2.3565918201564466, 2.5684737518116094)
I = (-4.000865221510317, 5.23838303717829)
J = (-5.173020517524956, 2.4382342744766494)
S = (-8.005729149560336, 2.1777553198067294)
poly2, d_1, h_1, i_1, j_1, m_1 = Polygon(D, H, I, J, S)
M_1 = (-7.387091632219277, 2.0312359078048994)
N = (-3.8869056788422283, 0.38696250645102914)
poly3, i, k1, u, w, U, Z = Polygon(M_1, N, 4.0)
p1 = Segment(U, N)
B1 = (-0.07740096679464875, -1.6968691309083306)
S_1 = (-1.5100352174792069, 5.124423494510199)
F1 = (-1.9658733881515686, 0.7776809384559089)
r = Line(S_1, F1)
M' = Mirror(M, r)
e = Segment(M, M')
K' = Mirror(K, r)
L' = Mirror(L, r)
f = Segment(K', L')
g = Segment(K, K')
h = Segment(L, L')
p' = Mirror(p, r)
E' = Mirror(E, r)
F' = Mirror(F, r)
j = Segment(E, E')
k_1 = Segment(F, F')
N_2 = Intersect(p, r)
V' = Mirror(V, r)
P' = Mirror(P, r)
l = Ray(V', P')
V'_1 = Mirror(V, r)
R' = Mirror(R, r)
m = Ray(V'_1, R')
β = Angle(R', V', P')
n = Segment(V, V')
q = Segment(R, R')
r_1 = Segment(P, P')
poly1, c_1, a_1, b_1 = Polygon(A, B, C)
A' = Mirror(A, r)
B' = Mirror(B, r)
C' = Mirror(C, r)
poly1', c', a', b' = Polygon(A', B', C')
t = Segment(C, C')
a1 = Segment(B, B')
b1 = Segment(A, A')
k' = Mirror(k, r)
D1 = Mirror(O, r)
O' = Mirror(O, r)
G' = Mirror(G, r)
c1 = Segment(O', G')
E1 = Mirror(G, r)
d = Segment(O, O')
d1 = Segment(G, G')
M'_1 = Mirror(M_1, r)
N' = Mirror(N, r)
U' = Mirror(U, r)
Z' = Mirror(Z, r)
poly3', m', n', u', z' = Polygon(M'_1, N', U', Z')
f1 = Segment(Z, Z')
g1 = Segment(U, U')
h1 = Segment(N, N')
i1 = Segment(M_1, M'_1)
D' = Mirror(D, r)
H' = Mirror(H, r)
I' = Mirror(I, r)
J' = Mirror(J, r)
S' = Mirror(S, r)
poly2', d', h', i', j', o'_1 = Polygon(D', H', I', J', S')
j1 = Segment(J, J')
l1 = Segment(I, I')
m1 = Segment(H, H')
n1 = Segment(S, S')
q1 = Segment(D, D')
Q = Intersect(r, e)
γ = Angle(M', Q, S_1)
s = Segment(M, Q)
e2 = Segment(Q, M')