证明:∵四边形$ABCD$是矩形,
∴$AD=BC.$
∵$EF<AD$,
∴$EF≠ BC.$
又∵$EF// BC$,
∴四边形$BCFE$是梯形$.$
∵四边形$ABCD$是矩形,
∴四边形$ABCD$的对角线相等且互相平分,
∴$OA=OD=OB=OC.$
∵$OA=OD$,
∴$∠ OAD=∠ ODA.$
∵$EF// BC$,
∴$EF// AD$,
∴$∠ OAD=∠ OEF$,$∠ ODA=∠ OFE.$
∴$∠ OFE=∠ OEF$,
∴$OE=OF.$
$ $在$△ OEB$和$△ OFC$中,
$ \begin {cases}OE=OF, \\∠ EOB=∠ FOC, \\OB=OC,\end {cases}$
∴$△ OEB≌△ OFC(\mathrm {SAS})$,
∴$EB=FC$,
∴四边形$BCFE$是等腰梯形$.$