因为AB=AD
又因为AF=AF,角B=角ADF=90度
所以三角形ABF与三角形ADF是全等三角形
所以BF=DF
因为三角形ADE是由三角形ABC绕点A旋转所得,
所以BC=DE
所以BC=BF+FC=DF+FC=DE