El punto e está en la línea de extensión de BC, DF//CE,
EF//DC,
El cuadrilátero CEFD es un paralelogramo (dos conjuntos de lados opuestos Un paralelogramo paralelo es un paralelogramo),
EF=CD (un paralelogramo equilátero),
El ángulo ACB=90 grados, el punto D es el centro de la hipotenusa AB del Punto ACB del triángulo Rt,
CD=(1/2)AB=BD (la línea media sobre la hipotenusa de un triángulo rectángulo es igual a la mitad de la hipotenusa),
EF=BD (reemplazo equivalente), EF y BD no son paralelos,
DF//BE, DF y BE no son iguales,
Entonces el cuadrilátero BEFD es un trapezoide isósceles ( un conjunto de lados opuestos es paralelo pero no igual, el otro conjunto de lados opuestos
Un cuadrilátero que es igual pero no paralelo es un trapecio isósceles).