证明：∵矩形ABCD∴∠ABC＝90, ∠OAB＝∠OBA∴∠OBA+∠OBC＝∠ABC＝90∵FO⊥AC∴∠F+∠OAB＝90∴∠F+∠OBA＝90∴∠F＝∠OBC∵∠BOE＝∠FOB∴△OBE相似于△OFB∴OB/OE＝OF/OB∴OB²＝OE×OF
