证明：在三角形AOE与三角形COF中,
AO=CO
角AOE=角COF
又AD//BC
所以角OAE=角OCF
则三角形AOE全等于三角形COF
所以OE=OF
又角AFC＝Rt角
故四边形AECF为矩形