Demostración: Sea la intersección de CF y BE o.
BF = BC, ∠1=∠2
Dividido en dos mitades verticalmente
∴BF=BC, EF=EC
∫EF∨AD
∴∠EFC=∠BCF=∠BFC
△ BEF es un triángulo isósceles.
∴BF=FE
∴BF=FE=CE=BC
∴El cuadrilátero BCEF es un rombo.
(2)
∵ El cuadrilátero BCEF es un rombo.
∴BC=EF
BC = AB, EF∨AB
∴El cuadrilátero ABEF es un paralelogramo.
∴AF=BE
De manera similar, podemos obtener CF=CE.
AC = BD
∴△ACF≌△BDE