,证明1:AB旋转90°后EF平行于AB
OE=0.5AB,FO=0.5CD
EF=OE+OF=AB
ABCD是平行四边形.
证明2:AO=OC
角FAO=角ECO
角AOF=角COE
三角形全等
AF=EC