解:(1)证明:∵四边形ABCD是矩形,∴DC∥AB。 ∴∠OAE=∠OCF,∠OEA=∠OFC。 又∵AE=CF,∴△OEA≌△OFC(ASA)。 ∴OE=OF。 (2)如图,连接OB,
∵BE=BF,OE=OF,∴BO⊥EF,∠ABO=∠OBF。 ∵∠BEF=2∠BAC,∴∠OBE=∠BAC。 又∵矩形ABCD中,∠ABC=900,∴∠BOE=∠ABC=900。 ∴△OBE∽△BAC。∴。 ∵∠BEF=2∠BAC,∴∠OAE=∠AOE。∴AE=OE。 设AB=x,AE=OE=y,则。 ∵BC=,∴。 由(1)△OEA≌△OFC,得AO=CO,∴。 ∴。∴ ①。 又∵,即, 化简,得 ②。 由①②得,两边平方并化简,得, ∴,∴根据x的实际意义,得x=6。 ∴若BC=, AB的长为6。 |