Quader - Senkrechte und parallele Kanten
Author: Kristina Emmerling

[BF]

[EF]

[FG]

[AB]

[BC]

[AE]

[DH]

[CG]

[EF]

A = (3, -1)
B = (8, -1)
a = Segment(A, B)
b = OrthogonalLine(A, a)
c = OrthogonalLine(B, a)
F = Point(c)
d = OrthogonalLine(F, c)
E = Intersect(b, d)
e = Segment(B, F)
f = Segment(F, E)
g = Segment(E, A)
C = (9.5, 0.5)
h = Segment(B, C)
i = Line(F, h)
j = Line(E, i)
k = Line(C, e)
G = Intersect(i, k)
l = Line(G, f)
H = Intersect(j, l)
m = Segment(C, G)
n = Segment(G, F)
p = Segment(H, G)
q = Segment(E, H)
s = Line(H, e)
r = Line(H, g)
t = Line(C, f)
D = Intersect(r, t)
a_1 = Segment(A, D)
b_1 = Segment(D, C)
c_1 = Segment(D, H)
I = (8, -1)
J = (8, 1)
d_1 = Segment(I, F)
o = false
e_1 = Segment(E, F)
f_1 = Segment(F, G)
g_1 = Segment(A, I)
h_1 = Segment(I, C)
u = true
v = false
w = false
z = false
i_1 = Segment(D, H)
j_1 = Segment(A, E)
k_1 = Segment(C, G)
l_1 = false
m_1 = false
n_1 = false
o_1 = false