TEOR. Il segmento che unisce i punti medi dei lati obliqui di un trapezio
è congruente alla semisomma delle basi

IP ABCD trapezio
AE≅ED
CF≅FB

TS EF≅(AB+DC)/2

DIM.  AB≅2EH+HF,  DC≅HF => (AB+DC)/2 ≅EH+HF≅EF c.v.d.

A = (0.72, -1.18)
B = (8.66, -1.12)
a = Line(A, B)
C_1 = (3.46, 1.6)
b = Line(C_1, a)
D = Point(b)
C = Point(b)
c = Segment(D, A)
d = Segment(C, B)
poli1, d_1, a_1, b_1, e = Polygon(D, A, B, C)
E = Midpoint(A, D)
F = Midpoint(C, B)
f = Segment(E, F)
g = Line(D, d)
G = Point(poli1)
H = Intersect(g, f)