因为AD//BC,且E是AD上一点,F是BC上一点
所以AE//FC
又有AO=OC
根据相似三角形可得AE=FC
所以四边形AFCE为平行四边形
又因为AF⊥BC,即AF⊥FC
所以平行四边形AFCE为矩形