Die Dreiecke ΔHBF und ΔFGC sind zueinander kongruent
⇒ die Fläche des Trapezes ABCD  =  Fläche des PG AHGD
⇒ die Fläche des Trapezes ABCD  =  Grundseite · zugehörige Höhe
⇒ die Fläche des Trapezes ABCD  =  m · h

Wir müssen ein weiteres Mal eine Höhe definieren:
Die Höhe in einem Trapez ist gleich dem Abstand der 
zueinander parallelen Seiten.

A = (-9.294352532575884, -1.6147151196492548)
B = (1.853470945860817, 0.2952266570100786)
a = Segment(A, B)
C = (-6.68279947993512, 4.173577815736684)
b = Segment(B, C)
h = Line(C, a)
D = Point(h)
d = Segment(A, D)
v1, a_1, b_1, c, d_1 = Polygon(A, B, C, D)
f = LineBisector(C, B)
F = Intersect(f, b)
g = LineBisector(D, A)
E = Intersect(g, d)
m = Segment(E, F)
Parallele = Line(F, d)
G = Intersect(Parallele, h)
H = Intersect(Parallele, a)
d1, f_1, h_1, b_2 = Polygon(H, B, F)
d2, g_1, c_1, f_2 = Polygon(C, F, G)
I = Point(c)
i = OrthogonalLine(I, a)
J, K = Intersect(i, v1)
Höhe = Segment(I, J)
α = Angle(I, J, A)
β = Angle(J, I, C)