A

B

C

D

E

F

V_{ABCD}  = V_{BCED}, da
A_{ΔABD} = A_{ΔBED}
 und beide Pyramiden
haben C als Spitze.

V_{ECFD}  = V_{BCED}, da
A_{ΔECF} = A_{ΔBCE}
und beide Pyramiden
haben D als Spitze.

zerlege = 0 (slider from 0 to 10, step 0.1)
A = (-6.266666666666667, 4.1)
o = 9.9 (slider from 0 to 20, step 0.1)
a = 3 (slider from 0 to 8, step 0.1)
B: (x(A) + a, y(A))
J: (x(A) + o, y(A))
r = Segment(A, J)
I: (x(A) + zerlege, y(A))
K = Midpoint(B, I)
M = Midpoint(K, I)
b = 2.3000000000000003 (slider from 0 to 8, step 0.1)
α = 0.7853981633974483 rad (slider from 0 to 3.141592653589793, step 0.017453292519943295)
D_1: (x(B), y(A) + b)
C_1 = Rotate(B, α, A)
β = Angle(B, A, C_1)
c = Line(A, C_1)
d = Line(B, c)
e = Circle(B, b / 2)
C, F_1 = Intersect(e, d)
i = 4.6000000000000005 (slider from 0 to 8, step 0.1)
D: (x(A), y(A) + i)
P, e_1, a_1, b_1 = Polygon(A, B, C)
f = Line(D, e_1)
g = Line(D, b_1)
h = OrthogonalLine(B, e_1)
j = OrthogonalLine(C, e_1)
E = Intersect(f, h)
F = Intersect(g, j)
Q, h_1, a_2, g_1 = Polygon(D, E, F)
k = Segment(D, A)
l = Segment(B, E)
m = Segment(F, C)
u = Vector(A, I)
A_1' = Translate(D, u)
G' = Translate(E, u)
H' = Translate(F, u)
Q', h', a_1', g' = Polygon(A_1', G', H')
A' = Translate(A, u)
B' = Translate(B, u)
E' = Translate(C, u)
P', e', a', b' = Polygon(A', B', E')
n = Segment(A_1', A')
p = Segment(G', B')
q = Segment(E', H')
L = Midpoint(B, K)
v: 0.5 u
A'_1 = Translate(A, v)
B'_1 = Translate(B, v)
E'_1 = Translate(C, v)
P'_1, e'_1, a'_1, b'_1 = Polygon(A'_1, B'_1, E'_1)
A_2 = Translate(D, v)
G'_1 = Translate(E, v)
H'_1 = Translate(F, v)
Q'_1, h'_1, a_3, g'_1 = Polygon(A_2, G'_1, H'_1)
s = Segment(A_2, A'_1)
t = Segment(G'_1, B'_1)
c_1 = Segment(H'_1, E'_1)
R, b_2, a_4, a_5 = Polygon(D, A, B)
S, e_2, a_6, b_3 = Polygon(D, B, C)
A_3 = Translate(D, v)
A'_2 = Translate(A, v)
B'_2 = Translate(B, v)
R', b'_2, a_7, a'_2 = Polygon(A_3, A'_2, B'_2)
A_4 = Translate(D, v)
B'_3 = Translate(B, v)
E'_2 = Translate(C, v)
S', e'_2, a_8, b'_3 = Polygon(A_4, B'_3, E'_2)
T, b_4, a_9, g_2 = Polygon(D, E, B)
U, g_3, b_5, e_3 = Polygon(B, C, E)
A_5 = Translate(D, u)
G'_2 = Translate(E, u)
B'_4 = Translate(B, u)
T', b'_4, a_{10}, g'_2 = Polygon(A_5, G'_2, B'_4)
B'_5 = Translate(B, u)
E'_3 = Translate(C, u)
G'_3 = Translate(E, u)
U', g'_3, b'_5, e'_3 = Polygon(B'_5, E'_3, G'_3)
d_1 = Segment(A_5, E'_3)
V, e_4, g_4, h_2 = Polygon(E, F, C)
G_9: (x(I), y(I) - (x(I) - x(A)) 0.7)
w = Vector(A, G_9)
A_6 = Translate(D, w)
G'_4 = Translate(E, w)
H'_2 = Translate(F, w)
Q'_2, h'_2, a_{11}, g'_4 = Polygon(A_6, G'_4, H'_2)
A'_3 = Translate(A, w)
B'_6 = Translate(B, w)
E'_4 = Translate(C, w)
P'_2, e'_4, a'_3, b'_6 = Polygon(A'_3, B'_6, E'_4)
v_1: -v
A_6' = Translate(A_6, v_1)
G'_4' = Translate(G'_4, v_1)
H'_2' = Translate(H'_2, v_1)
Q'_2', h'_2', a_6', g'_4' = Polygon(A_6', G'_4', H'_2')
A'_3' = Translate(A'_3, v_1)
B'_6' = Translate(B'_6, v_1)
E'_4' = Translate(E'_4, v_1)
P'_2', e'_4', a'_3', b'_6' = Polygon(A'_3', B'_6', E'_4')
f_1 = Segment(A_6', A'_3')
i_1 = Segment(G'_4', B'_6')
j_1 = Segment(H'_2', E'_4')
k_1 = Segment(A_6, G_9)
l_1 = Segment(G'_4, B'_6)
m_1 = Segment(H'_2, E'_4)
W, h'_3, g'_5, e'_5 = Polygon(G'_4', E'_4', H'_2')
Y, e'_6, a_{12}, g'_6 = Polygon(A_6', G'_4', E'_4')
Z, g'_7, a_{13}, b'_7 = Polygon(A_6, B'_6, G'_4)
N, b'_8, g'_8, e'_7 = Polygon(G'_4, E'_4, B'_6)
n_1 = Segment(A_6, E'_4)
T3: "" + (If[zerlege > 9.5, T14, T17])
T4: "" + (If[zerlege > 9.5, T11, T17])
T5: "" + (If[zerlege > 9.5, T12, T17])
T6: "" + (If[zerlege > 9.5, T13, T17])
T7: "" + (If[zerlege > 9.5, T12, T17])
T8: "" + (If[zerlege > 9.5, T13, T17])
T9: "" + (If[zerlege > 9.5, T14, T17])
T10: "" + (If[zerlege > 9.5, T15, T17])
T18: "" + (If[zerlege > 9.5, T14, T17])
T19: "" + (If[zerlege > 9.5, T13, T17])
T20: "" + (If[zerlege > 9.5, T15, T17])
T21: "" + (If[zerlege > 9.5, T16, T17])
T22: "" + (If[zerlege > 9.5, T14, T17])
T23: "" + (If[zerlege > 9.5, T12, T17])
T24: "" + (If[zerlege > 9.5, T13, T17])
T25: "" + (If[zerlege > 9.5, T15, T17])
F_9: (x(D) + 10, y(D) + 2)
T26: "" + (If[zerlege > 9.5, T2, T17])
F_8: (x(A) + 2.5, y(A) - 5)
T27: "" + (If[zerlege > 9.5, T1, T17])