Afficher l'intersection

Afficher les triangles égaux

Afficher le carré d'aire équivalente à l'intersection

zoom

zoo = 2
H_2 = (2.688706889501821, -6.245288684126865)
B = (2, -2)
A = (-2, -2)
poly1, a, b, c, d, C, D = Polygon(A, B, 4.0)
H = Midpoint(A, C)
f_2 = Circle(H, 4.0)
F = Point(f_2)
K = If(x(F) < 0.0, If[y(F) < 0.0, (0.0, -2.0), (-2.0, 0.0)], If[y(F) < 0.0, (2.0, 0.0), (0.0, 2.0)])
L = If(x(F) < 0.0, If[y(F) < 0.0, (-2.0, 0.0), (0.0, 2.0)], If[y(F) < 0.0, (0.0, -2.0), (2.0, 0.0)])
g_2 = Segment(F, H)
h_1 = LineBisector(g_2)
M = Intersect(h_1, g_2)
k = Circle(M, F)
E = Intersect(k, h_1, 2.0)
G = Intersect(k, h_1, 1.0)
poly2, e, f, g, h = Polygon(E, F, G, H)
J = If(x(F) < 0.0, If[y(F) < 0.0, Intersect[h, d], Intersect[h, c]], If[y(F) < 0.0, Intersect[h, a], Intersect[h, b]])
I = If(x(F) < 0.0, If[y(F) < 0.0, Intersect[g, a], Intersect[g, d]], If[y(F) < 0.0, Intersect[g, b], Intersect[g, c]])
v = Vector((7.0, 0.0))
poly3 = If(x(F) < 0.0, If[y(F) < 0.0, Polygon[A, K, H, L], Polygon[D, K, H, L]], If[y(F) < 0.0, Polygon[B, K, H, L], Polygon[C, K, H, L]])
poly4 = If(x(F) < 0.0, If[y(F) < 0.0, Polygon[A + v, K + v, H + v, L + v], Polygon[D + v, K + v, H + v, L + v]], If[y(F) < 0.0, Polygon[B + v, K + v, H + v, L + v], Polygon[C + v, K + v, H + v, L + v]])
A' = Translate(A, v)
B' = Translate(B, v)
C' = Translate(C, v)
D' = Translate(D, v)
poly1', a', b', c', d' = Polygon(A', B', C', D')
H': H + v
poly5 = If(x(F) < 0.0, If[y(F) < 0.0, Polygon[J, A, I, H], Polygon[J, D, I, H]], If[y(F) < 0.0, Polygon[J, B, I, H], Polygon[J, C, I, H]])
cond_{tri} = If(x(F) < 0.0 ∧ y(F) < x(F) ∨ x(F) > 0.0 ∧ y(F) < 0.0 ∧ abs(y(F)) < x(F) ∨ x(F) > 0.0 ∧ y(F) > x(F) ∨ x(F) < 0.0 ∧ y(F) > 0.0 ∧ y(F) < abs(x(F)), 1.0, 0.0)
o = false
s = false
t = false
J' = Translate(J, v)
I' = Translate(I, v)
L' = Translate(L, v)
K' = Translate(K, v)
poly9 = If(x(F) < 0.0, If[y(F) < 0.0, Polygon[A + v, K + v, H + v, L + v], Polygon[D + v, K + v, H + v, L + v]], If[y(F) < 0.0, Polygon[B + v, K + v, H + v, L + v], Polygon[C + v, K + v, H + v, L + v]])
j = If(cond_{tri} ≟ 1.0, Segment[H', J'], Segment[H', I'])
K_2: H_2 + zoo * Vector[H, K]
I_2: H_2 + zoo * Vector[H, I]
L_2: H_2 + zoo * Vector[H, L]
J_2: H_2 + zoo * Vector[H, J]
m = 0 (slider from 0 to 1, step 0.01)
H_3: H + m * Vector[H, H_2]
K_3: K + m * Vector[K, K_2]
I_3: I + m * Vector[I, I_2]
L_3: L + m * Vector[L, L_2]
J_3: J + m * Vector[J, J_2]
poly8, j_3, h_4, l_3 = Polygon(H_3, L_3, J_3)
poly10, i_3, h_5, k_3 = Polygon(H_3, K_3, I_3)
α = Angle(J_3, H_3, L_3)
ε = Angle(I_3, H_3, K_3)
β = Angle(H_3, K_3, I_3)
δ = Angle(H_3, L_3, J_3)
γ = Angle(L_3, J_3, H_3)
ζ = Angle(K_3, I_3, H_3)
poly6, j_1, h_2, l = Polygon(H, L, J)
poly7, i_1, h_3, k_1 = Polygon(H, K, I)
degrade = If(s, 0.95 * m, 0.0)
i = Segment(J, J_3)
n = Segment(L, L_3)
p = Segment(H, H_3)
q = Segment(I, I_3)
r = Segment(K, K_3)