平行则角DEA=角EBC
而角EBC=角CFB
所以三角形ADE和CBF中
角CBF=角ADE
角A=C
AD=BC
所以DE=BF
又平行则角DEF=EFB
角EDO=FBO
所以三角形全等则OE=OF