由条件可得
角ODE+角OED=90度
角OCF+角OED=90度
所以角ODE=角OCF
在三角形DOE和COF中,角DOE=角COF,DO=CO,角ODE=角OCF,所以两个三角形全等
所以OE=OF (其实证明了这个后下面就很容易了)
在三角形OEF和OAD中,角EOF=角AOD,OE/OF=OA/OD
所以两个三角形相似,所以角OEF=角OAD,所以EF平行AD,故有EF平行BC,而BE和CF是不平行的,所以EBCF是梯形.
容易证明三角形ECB和FBC是全等的,所以EB=FC.所以EBCF是等腰梯形