Ipotesi:
angoli BAM≅MAC
AB≅AE
AF≅AC

Tesi:
BF≅EC

Dimostrazione:
Si ha ABF≅AEF per il primo criterio di
congruenza in quanto:
- AB≅AE per ipotesi
- AF≅AC per ipotesi
- angolo BAM≅MAC

Quindi BF≅EC

Si possono modificare i punti in rosso

A = (-0.78, 0.68)
B = (2.96, 3.54)
C = (7.12, -0.16)
poli1, c, a, b = Polygon(A, B, C)
d, e = AngularBisector(c, b)
M = Intersect(a, e)
α = Angle(C, A, M)
β = Angle(M, A, B)
f = Circle(A, B)
E, E_1 = Intersect(f, e)
g = Circle(A, C)
F, F_1 = Intersect(g, e)
h = Segment(B, F)
i = Segment(E, C)
j = Segment(A, E)
k = Segment(A, F)
poli2, f_1, a_1, b_1 = Polygon(A, B, F)
poli3, c_1, a_2, e_1 = Polygon(A, E, C)