P1

P2

P3

P4

P1'

P2'

P3'

P4'

Position face bleu:

Positon face brun :

ApparaîtrePoints

ApparaîtreBase

angledeplier = 0 (slider from 0 to 360, step 1)
hauteur = 18.1 (slider from 0 to 20, step 0.1)
D = (-14.334502836803296, 5.832035288440651)
C = (12.880511725069223, 6.365945965253164)
B = (33.18937241354843, 44.22985728910936)
A = (-5.267831868890922, 93.28083332228671)
γ = Angle(A, B, C)
α = Angle(C, D, A)
C'_1 = Rotate(C, (-(180° - α)), D)
β = Angle(D, A, B)
E = Rotate(C'_1, (-(180° - β)), A)
E' = Rotate(E, (-(180° - γ)), B)
P = If(180° + 180° + 180° - α - β - γ  <  angledeplier°, Rotate[E', 360° + 180° - α - β - γ + ((-angledeplier))°, C])
aireairepoly1, a_1, b, c, d = Polygon(A, B, C, D)
C' = If(0  <  angledeplier°  <  180° - α, Rotate[C, ((-angledeplier))°, D])
F = If(180° - α  <  angledeplier°  <  180° - α + 180° - β, Rotate[C'_1, 180° - α + ((-angledeplier))°, A])
G = If(180° + 180° - α - β  <  angledeplier°  <  180° + 180° + 180° - α - β - γ, Rotate[E, 360° - α - β + ((-angledeplier))°, B])
e = Segment(D, C')
f = Segment(A, F)
g = Segment(B, G)
H: C' + (0, 0, hauteur)
I: F + (0, 0, hauteur)
J: G + (0, 0, hauteur)
j, L, M, N, O, faceABML, faceBCNM, faceCDON, faceADOL, faceLMNO, arêteAL, arêteBM, arêteCN, arêteDO, arêteLM, arêteMN, arêteNO, arêteLO = Prism(aireairepoly1, hauteur)
poly2, b_1, g_1, j_1, m = Polygon(B, G, J, M)
poly3, a_2, f_1, i_1, l = Polygon(A, F, I, L)
poly4, d_1, c', h_1, o = Polygon(D, C', H, O)
K: P + (0, 0, hauteur)
δ = Angle(B, C, D)
poly5, c_1, p, k, n = Polygon(C, P, K, N)
Texteairepoly1: "Aire de  " + (Name[A]) + (Name[B]) + (Name[C]) + (Name[D]) + " = " + aireairepoly1
Pointpoly1 = PointIn(aireairepoly1)
Pointairepoly1 = PointIn(aireairepoly1)
e_1 = Distance(C, D)
e_2 = Distance(D, A)
e_3 = Distance(B, A)
e_4 = Distance(C, B)
h = Circle(C, e_4)
q = Circle(C, e_4 + e_3)
r = Circle(C, e_4 + e_3 + e_2)
Q = Intersect(h, c_1, 1)
R = Intersect(q, c_1, 1)
S = Intersect(r, c_1, 1)
s = Circle(B, e_3)
t = Circle(B, e_3 + e_2)
T = Intersect(s, g, 1)
U = Intersect(t, g, 1)
k_1 = Circle(A, e_2)
V = Intersect(k_1, f, 1)
ε = 0 rad (slider from 0 to 90*°, step 0.017453292519943295)
K' = Rotate(K, (-ε), Line[P, C])
N' = Rotate(N, (-ε), Line[P, C])
W: Q + (0, 0, hauteur)
Z: R + (0, 0, hauteur)
A_1: S + (0, 0, hauteur)
W' = Rotate(W, (-ε), Line[P, C])
Z' = Rotate(Z, (-ε), Line[P, C])
B_1 = Rotate(A_1, (-ε), Line[P, C])
poly1, c_4, n', w', q_1 = Polygon(C, N', W', Q)
poly10, r_1, q_2, w'_1, z' = Polygon(R, Q, W', Z')
poly11, s_1, r_2, z'_1, b_4 = Polygon(S, R, Z', B_1)
poly12, p_1, s_2, b_5, k' = Polygon(P, S, B_1, K')
C_1: T + (0, 0, hauteur)
D_1: U + (0, 0, hauteur)
E_1: V + (0, 0, hauteur)
poly13, f_2, i, e_5, v = Polygon(F, I, E_1, V)
poly14, v_1, e_6, l_3, a_4 = Polygon(V, E_1, L, A)
poly15, g_2, j_2, d_4, u = Polygon(G, J, D_1, U)
poly16, u_1, d_5, c_5, t_1 = Polygon(U, D_1, C_1, T)
poly17, t_2, c_6, m_3, b_6 = Polygon(T, C_1, M, B)
poly6 = If(0  <  angledeplier°  <  180° - α, Polygon[Rotate[A, ((-angledeplier))°, D], Rotate[B, ((-angledeplier))°, D], Rotate[C, ((-angledeplier))°, D], Rotate[D, ((-angledeplier))°, D]])
A' = Rotate(A, (-(180° - α)), D)
B' = Rotate(B, (-(180° - α)), D)
C'_2 = Rotate(C, (-(180° - α)), D)
D' = Rotate(D, (-(180° - α)), D)
aireairepoly1', a', b', c'_2, d' = Polygon(A', B', C'_2, D')
poly7 = If(180° - α  <  angledeplier°  <  180° - α + 180° - β, Polygon[Rotate[A', 180° - α + ((-angledeplier))°, A], Rotate[B', 180° - α + ((-angledeplier))°, A], Rotate[C'_2, 180° - α + ((-angledeplier))°, A], Rotate[D', 180° - α + ((-angledeplier))°, A]])
A'' = Rotate(A', (-(180° - β)), A)
B'' = Rotate(B', (-(180° - β)), A)
F_1 = Rotate(C'_2, (-(180° - β)), A)
D'' = Rotate(D', (-(180° - β)), A)
aireairepoly1'', a'', b'', f_3, d'' = Polygon(A'', B'', F_1, D'')
poly8 = If(180° + 180° - α - β  <  angledeplier°  <  180° + 180° + 180° - α - β - γ, Polygon[Rotate[A'', 360° - α - β + ((-angledeplier))°, B], Rotate[B'', 360° - α - β + ((-angledeplier))°, B], Rotate[F_1, 360° - α - β + ((-angledeplier))°, B], Rotate[D'', 360° - α - β + ((-angledeplier))°, B]])
A''' = Rotate(A'', (-(180° - γ)), B)
B''' = Rotate(B'', (-(180° - γ)), B)
G_1 = Rotate(F_1, (-(180° - γ)), B)
D''' = Rotate(D'', (-(180° - γ)), B)
aireairepoly1''', a''', b''', g_3, d''' = Polygon(A''', B''', G_1, D''')
poly9 = If(180° + 180° + 180° - α - β - γ  <  angledeplier°, Polygon[Rotate[A''', 360° + 180° - α - β - γ + ((-angledeplier))°, C], Rotate[B''', 360° + 180° - α - β - γ + ((-angledeplier))°, C], Rotate[G_1, 360° + 180° - α - β - γ + ((-angledeplier))°, C], Rotate[D''', 360° + 180° - α - β - γ + ((-angledeplier))°, C]])
H_1 = Translate(A''', Vector[(hauteur * (0, 0, 1))])
I_1 = Translate(B''', Vector[(hauteur * (0, 0, 1))])
J_1 = Translate(G_1, Vector[(hauteur * (0, 0, 1))])
K_1 = Translate(D''', Vector[(hauteur * (0, 0, 1))])
poly18, h_2, i_2, j_3, k_2 = Polygon(H_1, I_1, J_1, K_1)
poly9' = Translate(poly9, Vector[(hauteur * (0, 0, 1))])
poly8' = Translate(poly8, Vector[(hauteur * (0, 0, 1))])
poly7' = Translate(poly7, Vector[(hauteur * (0, 0, 1))])
poly6' = Translate(poly6, Vector[(hauteur * (0, 0, 1))])
poly9'' = Rotate(poly9', (-ε), Line[P, C])
poly9''' = Rotate(poly9'', (-ε), Line[K', B_1])
a = false
w = false
l_1 = true
m_1 = false
n_1 = false
o_1 = true
w_1 = false
b_2 = false
poly9'_1 = Rotate(poly9, 180° - α, S)
poly19 = Rotate(poly9'_1, 180° - β, R)
poly19' = Rotate(poly19, 180° - γ, Q)
poly8'_1 = Rotate(poly8, 180° - α, U)
poly7'_1 = Rotate(poly7, 180° - α, V)
poly20 = Rotate(poly8'_1, 180° - β, T)
poly8'' = Rotate(poly8', 180° - α, D_1)
poly7'' = Rotate(poly7', 180° - α, E_1)
poly8''' = Rotate(poly8'', 180° - β, C_1)
poly9'''_1 = Rotate(poly9'', 180° - α, Line[S, B_1])
poly21 = Rotate(poly9'''_1, 180° - β, Line[R, Z'])
poly21' = Rotate(poly21, 180° - γ, Line[Q, W'])
poly22 = Rotate(poly9'''_1, (-ε), Line[K', B_1])
poly21'_1 = Rotate(poly21, (-ε), Line[K', B_1])
poly21'' = Rotate(poly21', (-ε), Line[K', B_1])
c_2 = true
d_2 = true