En el cuadrilátero abcd

AE es perpendicular a BC, BE=EC, deriva AB =AC, rota el triángulo ABC en sentido antihorario alrededor del punto A para obtener el triángulo ACG, conecta DG, luego BD =CG, siempre y cuando se demuestre que el ángulo GDC =90°, podemos obtener CG =√DG ?+CD , y el problema se puede resolver.