Ipotesi:
EAM≅MBF
AM≅MB

Tesi:
EM≅MF

Dimostrazione

I triangoli AEM e MBF sono congruenti
per il secondo criterio in quanto hanno:
AM≅MB (ipotesi)
angolo EAM≅angolo MBF (ipotesi)
angolo EMA≅angoloBMF (opposti al vertice)

Quindi EM≅MF

CVD

Si possono modificare i punti in rosso

A = (1.54, -4.72)
B = (6.7, -4.7)
a = Segment(A, B)
C = (-0.7821818181818183, -0.086)
b = Ray(A, C)
α = Angle(B, A, C)
A' = Rotate(A, α, B)
β = Angle(A, B, A')
c = Ray(B, A')
M = Midpoint(A, B)
D = (11.009818181818183, -10.184)
d = Line(M, D)
E = Intersect(b, d)
F = Intersect(c, d)
e = Segment(A, M)
f = Segment(M, B)
g = Segment(E, M)
h = Segment(M, F)
poli1, m, a_1, e_1 = Polygon(A, E, M)
poli2, f_1, b_1, m_1 = Polygon(B, M, F)