Author: DANIEL MENTRARD
Date: 16 juin 2008

b^2

a^2=b^2+c^2

c^2

a

b

b

b

c

c

c

Animación

A = (-12, 12)
B = (-12, 2)
C = (-8, 2)
poly1, b, c, a = Polygon(A, B, C)
d = OrthogonalLine(A, a)
e = OrthogonalLine(C, a)
P = (-12, 2)
Q = (2, 2)
R = (2, 16)
S = (-12, 16)
poly10, s_2, r_2, q_2, b_2 = Polygon(S, R, Q, B)
poly5, p, q, r, s = Polygon(P, Q, R, S)
D = Intersect(r, d)
f = OrthogonalLine(D, d)
G = Intersect(f, e)
t = 0 (slider from 0 to 15, step 0.1)
h = Circle(G, If[t < 10.0, t, 10.0])
T, U = Intersect(h, r_2)
H, I = Intersect(h, q)
t0 = 0
g = Circle(D, If[t < 10.8, t, 10.8])
E, F = Intersect(g, d)
poly2, g_1, d_1, r_1 = Polygon(D, R, G)
u = Vector(D, F)
D' = Translate(D, u)
R' = Translate(R, u)
G' = Translate(G, u)
poly2', g', d', r' = Polygon(D', R', G')
poly3, c_1, g_2, q_1 = Polygon(G, Q, C)
v = Vector(G, T)
G'_1 = Translate(G, v)
Q' = Translate(Q, v)
C' = Translate(C, v)
poly3', c', g'_1, q' = Polygon(G'_1, Q', C')
k = Circle(S, If[t < 10.0, 10.0, If[t < 14.0, t, 14.0]])
J = Intersect(k, r)
w = Vector(D, J)
poly4, a_1, s_1, d_2 = Polygon(S, D, A)
S' = Translate(S, w)
D'_1 = Translate(D, w)
A' = Translate(A, w)
poly4', a', s', d'_1 = Polygon(S', D'_1, A')
poly6, c_2, a_2, b_1 = Polygon(A, B, C)
poly8, g'_2, f_1, r'_1 = Polygon(F, R', G')
poly9, j, s'_1, a'_1 = Polygon(S', A', J)
K = Midpoint(A, C)
L = Midpoint(B, C)
M = Midpoint(B, A)
N = Midpoint(f_1)
poly7, t_1, q'_1, c'_1 = Polygon(Q', C', T)
O = Midpoint(g'_2)
V = Midpoint(j)
W = Midpoint(t_1)
i = Segment(A, D)
m = Segment(D, G)
n = Segment(G, C)