因为: BD=CD , 角BFD=角CED=90度 , 角BDF=角CDE所以: 三角形BDF与三角形CDE是全等三角形 DF=DE , CE=BF因为: CE=BF , 角OFB=角AEC=90度 , 角BOF=角CAE所以: 三角形OBF与三角形AEC是全等三角形 AE=OF , AO=EF=2DE
