G: Ex 248. Miroir, mon beau miroir...
Author: Frédéric Chanez

Distances

Rayon lumineux

Triangles

B = (14, -2)
A = (-4, -2)
a = Line(A, B)
Q = Point(a)
F = Point(a)
j_1 = Segment(F, Q)
s = OrthogonalLine(F, a)
S = Point(s)
h_1 = Ray(F, S)
Miroir = Point(j_1)
c = Circle(Miroir, 1)
D = Intersect(c, a, 1)
b = Segment(D, Miroir)
E = Intersect(c, a, 2)
d = Segment(Miroir, E)
G = Point(h_1)
e = Segment(F, G)
f = OrthogonalLine(Miroir, a)
g = Line(G, Miroir)
g' = Mirror(g, f)
h = Segment(G, Miroir)
H = Point(g')
i = Ray(Miroir, H)
I = (12, 3.48)
J = (11.1, 1.48)
K = (11.620000000000001, 1.62)
L = (10.700000000000001, -0.02)
M = (11.44, 0.16)
N = (10.6, -1.32)
O = (12, -1)
poly1, i_1, j, k, l, m, n, o = Polygon(I, J, K, L, M, N, O)
I' = Mirror(I, o)
J' = Mirror(J, o)
K' = Mirror(K, o)
L' = Mirror(L, o)
M' = Mirror(M, o)
N' = Mirror(N, o)
O' = Mirror(O, o)
poly1', i', j', k', l', m', n', o' = Polygon(I', J', K', L', M', N', O')
P = Point(n)
R = Point(a)
poly2, p, o_1, q, r = Polygon(P, O, Q, R)
R' = Mirror(R, o_1)
P' = Mirror(P, o_1)
r' = Segment(R', P')
poly3, o'_1, p', r'_1, q_1 = Polygon(O', P', R', Q)
t = false
a_1 = Segment(F, Miroir)
b_1 = Segment(Miroir, Q)
c_1 = Segment(F, G)
u = false
d_1 = OrthogonalLine(Q, a)
C = Intersect(i, d_1)
e_1 = Segment(Q, C)
f_1 = Segment(Q, I)
g_1 = Segment(Miroir, C)
poly4, f_2, g_2, miroir = Polygon(G, Miroir, F)
poly5, miroir_1, c_2, q_2 = Polygon(C, Q, Miroir)
v = false