证明:因为,角EAB=角EFB=90度,角ABE=角FBE;
所以,角AEB=角FEB;
所以,三角形ABE与三角形FBE全等;
所以,AE=EF;
因为,角EFC=角EDC=90度,角FCE=角DCE;
所以,角FEC=角DEC;
所以,三角形EDC与上进心EFC全等;
所以,EF=DE;
所以,AE=DE;
证明:因为,角EAB=角EFB=90度,角ABE=角FBE;
所以,角AEB=角FEB;
所以,三角形ABE与三角形FBE全等;
所以,AE=EF;
因为,角EFC=角EDC=90度,角FCE=角DCE;
所以,角FEC=角DEC;
所以,三角形EDC与上进心EFC全等;
所以,EF=DE;
所以,AE=DE;