因为AE垂直于BD,BD垂直于CF,所以AE平行于CF,所以角EAC=角FCA
在三角形AEO和三角形CFO中
因为,角EAC=角FCA
AO=OC
角AOB=角DOC
所以三角形AEO全等于三角形CFO
所以EO=OF