三角形中位线定理;平行线的判定;全等三角形的判定与性质.
(1)有BD=CD,可得∠1=∠BCD,那么就有∠2=∠BCD,从而CD∥AB;
(2)由∠2=∠3,可得BE=AE,又因为CD∥AB,同样可知DE=CE,根据SAS即可证出:△BDE≌△ACE;
(3)由于O是AB的中点,因此只需证得AF=EF即可得出OF是△ABE的中位线,进而可得出OF=
BE.根据(2)的全等三角形,可得出∠ACE=90°,因此可通过证CF是直角三角形ACE斜边上的中线,来得出AF=EF.
本题利用了内错角相等,两直线平行,以及全等三角形的判定和性质,等角对等边,中位线的判定等知识.综合性强,难度较大.
证明题.